runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/randadea40.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//randadea40.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/randadea40.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.19 1.17 1.07 5/36 29280 /proc/meminfo: memFree=472800/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4508 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) R 29279 29280 24102 769 24102 4202496 891 0 0 0 2 0 0 0 25 0 1 0 525150201 4616192 759 1283457024 134512640 135539072 4291995696 18446744073709551615 135044384 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/29280/statm: 1127 759 375 251 0 406 0 [startup+0.175058 s] /proc/loadavg: 1.19 1.17 1.07 5/36 29280 /proc/meminfo: memFree=472800/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.215073 s] /proc/loadavg: 1.19 1.17 1.07 5/36 29280 /proc/meminfo: memFree=472800/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.315098 s] /proc/loadavg: 1.19 1.17 1.07 5/36 29280 /proc/meminfo: memFree=472800/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.7152 s] /proc/loadavg: 1.19 1.17 1.07 5/36 29280 /proc/meminfo: memFree=472800/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+1.51544 s] /proc/loadavg: 1.19 1.17 1.07 2/38 29282 /proc/meminfo: memFree=462392/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 [pid=29282] ppid=29280 vsize=15400 CPUtime=1.5 /proc/29282/stat : 29282 (cudf2lp) R 29280 29280 24102 769 24102 4202496 3726 0 0 0 150 0 0 0 25 0 1 0 525150203 15769600 3522 1283457024 134512640 135993029 4288832864 18446744073709551615 134570566 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29282/statm: 3850 3522 110 362 0 3432 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 19996 [startup+3.11588 s] /proc/loadavg: 1.17 1.16 1.06 2/38 29282 /proc/meminfo: memFree=452720/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=0.02 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525150201 4706304 840 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 840 401 251 0 407 0 [pid=29282] ppid=29280 vsize=29668 CPUtime=3.09 /proc/29282/stat : 29282 (cudf2lp) R 29280 29280 24102 769 24102 4202496 7180 0 0 0 309 0 0 0 25 0 1 0 525150203 30380032 6976 1283457024 134512640 135993029 4288832864 18446744073709551615 134568051 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29282/statm: 7417 6976 110 362 0 6999 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 34264 [startup+6.30665 s] /proc/loadavg: 1.17 1.16 1.06 3/39 29284 /proc/meminfo: memFree=455680/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=5.3 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1218 17982 0 0 2 0 453 75 18 0 1 0 525150201 4706304 843 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 843 404 251 0 407 0 [pid=29283] ppid=29280 vsize=30552 CPUtime=0.85 /proc/29283/stat : 29283 (bingo) R 29280 29280 24102 769 24102 4202496 10013 0 0 0 79 6 0 0 25 0 1 0 525150733 31285248 6007 1283457024 134512640 136195415 4291463184 18446744073709551615 135162658 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29283/statm: 7638 6007 205 411 0 7225 0 [pid=29284] ppid=29280 vsize=22828 CPUtime=0.13 /proc/29284/stat : 29284 (clasp) S 29280 29280 24102 769 24102 4202496 6521 0 0 0 11 2 0 0 21 0 1 0 525150735 23375872 5294 1283457024 134512640 136080129 4293741088 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/29284/statm: 5707 5294 144 383 0 5322 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 57976 [startup+12.7055 s] /proc/loadavg: 1.15 1.16 1.06 2/39 29284 /proc/meminfo: memFree=95460/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4596 CPUtime=5.3 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1218 17982 0 0 2 0 453 75 18 0 1 0 525150201 4706304 843 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1149 843 404 251 0 407 0 [pid=29283] ppid=29280 vsize=0 CPUtime=6.17 /proc/29283/stat : 29283 (bingo) Z 29280 29280 24102 769 24102 4202508 111864 0 0 0 568 49 0 0 25 0 1 0 525150733 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29283/statm: 0 0 0 0 0 0 0 [pid=29284] ppid=29280 vsize=106692 CPUtime=1.19 /proc/29284/stat : 29284 (clasp) R 29280 29280 24102 769 24102 4202496 29875 0 0 0 108 11 0 0 18 0 1 0 525150735 109252608 25823 1283457024 134512640 136080129 4293741088 18446744073709551615 134701834 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29284/statm: 26673 25823 158 383 0 26288 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 111288 [startup+25.5099 s] /proc/loadavg: 1.12 1.15 1.06 2/39 29286 /proc/meminfo: memFree=340052/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=16.45 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1423 175766 0 0 2 0 1497 146 18 0 1 0 525150201 4837376 859 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 859 404 251 0 439 0 [pid=29285] ppid=29280 vsize=0 CPUtime=6.25 /proc/29285/stat : 29285 (bingo) Z 29280 29280 24102 769 24102 4202508 112412 0 0 0 588 37 0 0 25 0 1 0 525151850 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29285/statm: 0 0 0 0 0 0 0 [pid=29286] ppid=29280 vsize=130440 CPUtime=2.74 /proc/29286/stat : 29286 (clasp) R 29280 29280 24102 769 24102 4202496 41737 0 0 0 253 21 0 0 20 0 1 0 525151852 133570560 31860 1283457024 134512640 136080129 4289736256 18446744073709551615 135495327 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29286/statm: 32610 31860 177 383 0 32225 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 135164 Solver just ended. Dumping a history of the last processes samples [startup+25.6099 s] /proc/loadavg: 1.12 1.15 1.06 2/39 29286 /proc/meminfo: memFree=340052/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=16.45 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1423 175766 0 0 2 0 1497 146 18 0 1 0 525150201 4837376 859 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 859 404 251 0 439 0 [pid=29285] ppid=29280 vsize=0 CPUtime=6.25 /proc/29285/stat : 29285 (bingo) Z 29280 29280 24102 769 24102 4202508 112412 0 0 0 588 37 0 0 25 0 1 0 525151850 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29285/statm: 0 0 0 0 0 0 0 [pid=29286] ppid=29280 vsize=133728 CPUtime=2.84 /proc/29286/stat : 29286 (clasp) R 29280 29280 24102 769 24102 4202496 46014 0 0 0 262 22 0 0 20 0 1 0 525151852 136937472 32715 1283457024 134512640 136080129 4289736256 18446744073709551615 134795812 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29286/statm: 33432 32715 181 383 0 33047 0 Current children cumulated CPU time (s) 25.54 Current children cumulated vsize (KiB) 138452 [startup+38.4078 s] /proc/loadavg: 1.10 1.14 1.06 3/39 29290 /proc/meminfo: memFree=458008/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=36068 CPUtime=1.1 /proc/29289/stat : 29289 (bingo) R 29280 29280 24102 769 24102 4202496 12033 0 0 0 108 2 0 0 25 0 1 0 525153916 36933632 7891 1283457024 134512640 136195415 4288675168 18446744073709551615 135594677 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29289/statm: 9017 7891 205 411 0 8604 0 [pid=29290] ppid=29280 vsize=26648 CPUtime=0.14 /proc/29290/stat : 29290 (clasp) S 29280 29280 24102 769 24102 4202496 7556 0 0 0 9 5 0 0 21 0 1 0 525153918 27287552 6324 1283457024 134512640 136080129 4289433072 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/29290/statm: 6662 6324 149 383 0 6277 0 Current children cumulated CPU time (s) 38.33 Current children cumulated vsize (KiB) 67440 [startup+44.8092 s] /proc/loadavg: 1.17 1.16 1.07 2/39 29290 /proc/meminfo: memFree=83876/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=107864 CPUtime=1.33 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 30406 0 0 0 117 16 0 0 18 0 1 0 525153918 110452736 26107 1283457024 134512640 136080129 4289433072 18446744073709551615 134893344 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 26966 26107 163 383 0 26581 0 Current children cumulated CPU time (s) 44.71 Current children cumulated vsize (KiB) 112588 [startup+46.4097 s] /proc/loadavg: 1.15 1.16 1.07 2/39 29290 /proc/meminfo: memFree=343168/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=134720 CPUtime=2.92 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 46077 0 0 0 272 20 0 0 21 0 1 0 525153918 137953280 32975 1283457024 134512640 136080129 4289433072 18446744073709551615 134794120 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 33680 32975 183 383 0 33295 0 Current children cumulated CPU time (s) 46.3 Current children cumulated vsize (KiB) 139444 [startup+47.21 s] /proc/loadavg: 1.15 1.16 1.07 2/39 29290 /proc/meminfo: memFree=343168/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=125672 CPUtime=3.72 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 46175 0 0 0 352 20 0 0 23 0 1 0 525153918 128688128 30858 1283457024 134512640 136080129 4289433072 18446744073709551615 134842473 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 31418 30858 193 383 0 31033 0 Current children cumulated CPU time (s) 47.1 Current children cumulated vsize (KiB) 130396 [startup+47.6101 s] /proc/loadavg: 1.15 1.16 1.07 2/39 29290 /proc/meminfo: memFree=349244/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=125672 CPUtime=4.12 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 46175 0 0 0 392 20 0 0 25 0 1 0 525153918 128688128 30858 1283457024 134512640 136080129 4289433072 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 31418 30858 193 383 0 31033 0 Current children cumulated CPU time (s) 47.5 Current children cumulated vsize (KiB) 130396 [startup+48.0102 s] /proc/loadavg: 1.15 1.16 1.07 2/39 29290 /proc/meminfo: memFree=349244/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=125672 CPUtime=4.52 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 46175 0 0 0 432 20 0 0 25 0 1 0 525153918 128688128 30858 1283457024 134512640 136080129 4289433072 18446744073709551615 134809559 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 31418 30858 193 383 0 31033 0 Current children cumulated CPU time (s) 47.9 Current children cumulated vsize (KiB) 130396 [startup+48.1102 s] /proc/loadavg: 1.15 1.16 1.07 2/39 29290 /proc/meminfo: memFree=349244/1048576 swapFree=2095456/2097144 [pid=29280] ppid=29279 vsize=4724 CPUtime=37.09 /proc/29280/stat : 29280 (aspcud-trendy-1) S 29279 29280 24102 769 24102 4202496 1824 493495 0 0 2 0 3421 286 18 0 1 0 525150201 4837376 860 1283457024 134512640 135539072 4291995696 18446744073709551615 4159955886 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/29280/statm: 1181 860 404 251 0 439 0 [pid=29289] ppid=29280 vsize=0 CPUtime=6.29 /proc/29289/stat : 29289 (bingo) Z 29280 29280 24102 769 24102 4202508 113734 0 0 0 591 38 0 0 25 0 1 0 525153916 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29289/statm: 0 0 0 0 0 0 0 [pid=29290] ppid=29280 vsize=96260 CPUtime=4.62 /proc/29290/stat : 29290 (clasp) R 29280 29280 24102 769 24102 4202496 46185 0 0 0 442 20 0 0 25 0 1 0 525153918 98570240 23823 1283457024 134512640 136080129 4289433072 18446744073709551615 135495513 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/29290/statm: 24065 23823 203 383 0 23680 0 Current children cumulated CPU time (s) 48 Current children cumulated vsize (KiB) 100984 Child status: 0 Real time (s): 48.1991 CPU time (s): 48.107 CPU user time (s): 44.5948 CPU system time (s): 3.51222 CPU usage (%): 99.809 Max. virtual memory (cumulated for all children) (KiB): 588276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.5948 system time used= 3.51222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656578 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14492 involuntary context switches= 15076 runsolver used 0 second user time and 0 second system time The end