runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729744-1338680048/watcher-3729744-1338680048 -o /tmp/evaluation-result-3729744-1338680048/solver-3729744-1338680048 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729744-1338680048.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 27641
/proc/meminfo: memFree=28133600/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=4772 CPUtime=0 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 334130155 4886528 396 33554432000 134512640 135840783 4287932960 4287931776 5137703 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1193 396 327 325 0 108 0
[startup+0.0137991 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 27641
/proc/meminfo: memFree=28133600/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=5092 CPUtime=0 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 334130155 5214208 514 33554432000 134512640 135840783 4287932960 4287929292 16602160 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1273 514 343 325 0 209 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5092
[startup+0.100185 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 27641
/proc/meminfo: memFree=28133600/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=5736 CPUtime=0.09 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 763 0 0 0 9 0 0 0 20 0 1 0 334130155 5873664 679 33554432000 134512640 135840783 4287932960 4287932320 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1434 679 348 325 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5736
[startup+0.30018 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 27641
/proc/meminfo: memFree=28133600/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=6792 CPUtime=0.29 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1029 0 0 0 29 0 0 0 20 0 1 0 334130155 6955008 945 33554432000 134512640 135840783 4287932960 4287932320 134551469 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1698 945 348 325 0 634 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6792
[startup+0.700159 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 27641
/proc/meminfo: memFree=28133600/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=7444 CPUtime=0.69 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1189 0 0 0 69 0 0 0 20 0 1 0 334130155 7622656 1105 33554432000 134512640 135840783 4287932960 4287932320 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1861 1105 348 325 0 797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7444
[startup+1.50015 s]
/proc/loadavg: 2.00 1.98 1.72 3/179 27642
/proc/meminfo: memFree=28130212/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=7972 CPUtime=1.49 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1337 0 0 0 149 0 0 0 20 0 1 0 334130155 8163328 1253 33554432000 134512640 135840783 4287932960 4287932032 5135084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 1993 1253 348 325 0 929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7972
[startup+3.10015 s]
/proc/loadavg: 2.00 1.98 1.72 3/179 27642
/proc/meminfo: memFree=28129220/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=8620 CPUtime=3.09 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1501 0 0 0 309 0 0 0 20 0 1 0 334130155 8826880 1417 33554432000 134512640 135840783 4287932960 4287932320 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27641/statm: 2155 1417 348 325 0 1091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8620
[startup+6.30022 s]
/proc/loadavg: 2.00 1.98 1.72 3/179 27642
/proc/meminfo: memFree=28127856/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=9132 CPUtime=6.28 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1636 0 0 0 628 0 0 0 20 0 1 0 334130155 9351168 1552 33554432000 134512640 135840783 4287932960 4287932320 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 2283 1552 348 325 0 1219 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9132
[startup+12.7002 s]
/proc/loadavg: 2.00 1.98 1.72 3/179 27642
/proc/meminfo: memFree=28126780/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=9908 CPUtime=12.68 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 1815 0 0 0 1268 0 0 0 20 0 1 0 334130155 10145792 1731 33554432000 134512640 135840783 4287932960 4287932256 134572679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 2477 1731 348 325 0 1413 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9908
[startup+25.5003 s]
/proc/loadavg: 2.00 1.98 1.73 3/179 27642
/proc/meminfo: memFree=28126680/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=10768 CPUtime=25.48 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2027 0 0 0 2548 0 0 0 20 0 1 0 334130155 11026432 1943 33554432000 134512640 135840783 4287932960 4287932320 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 2692 1943 348 325 0 1628 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10768
[startup+51.1003 s]
/proc/loadavg: 2.00 1.98 1.73 3/179 27642
/proc/meminfo: memFree=28124820/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=12168 CPUtime=51.08 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2388 0 0 0 5107 1 0 0 20 0 1 0 334130155 12460032 2304 33554432000 134512640 135840783 4287932960 4287932320 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3042 2304 348 325 0 1978 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12168
[startup+102.3 s]
/proc/loadavg: 2.00 1.98 1.74 3/179 27643
/proc/meminfo: memFree=28123512/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=12168 CPUtime=102.28 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2392 0 0 0 10227 1 0 0 20 0 1 0 334130155 12460032 2305 33554432000 134512640 135840783 4287932960 4287932320 134550924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3042 2305 348 325 0 1978 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12168
[startup+162.3 s]
/proc/loadavg: 2.00 1.98 1.75 3/179 27643
/proc/meminfo: memFree=28119356/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=13408 CPUtime=162.26 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2696 0 0 0 16225 1 0 0 20 0 1 0 334130155 13729792 2609 33554432000 134512640 135840783 4287932960 4287932320 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3352 2609 348 325 0 2288 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13408
[startup+222.306 s]
/proc/loadavg: 2.00 1.98 1.77 3/179 27643
/proc/meminfo: memFree=28119164/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=13940 CPUtime=222.26 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2828 0 0 0 22225 1 0 0 20 0 1 0 334130155 14274560 2740 33554432000 134512640 135840783 4287932960 4287932320 134551321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3485 2740 348 325 0 2421 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13940
[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.78 3/179 27643
/proc/meminfo: memFree=28118544/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=14288 CPUtime=282.24 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2933 0 0 0 28223 1 0 0 20 0 1 0 334130155 14630912 2845 33554432000 134512640 135840783 4287932960 4287932320 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3572 2845 348 325 0 2508 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14288
[startup+342.3 s]
/proc/loadavg: 2.00 1.98 1.79 3/179 27643
/proc/meminfo: memFree=28118544/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=14288 CPUtime=342.23 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2933 0 0 0 34222 1 0 0 20 0 1 0 334130155 14630912 2845 33554432000 134512640 135840783 4287932960 4287932320 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3572 2845 348 325 0 2508 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14288
[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.80 3/180 27686
/proc/meminfo: memFree=28137088/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=14388 CPUtime=402.22 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 2942 0 0 0 40221 1 0 0 20 0 1 0 334130155 14733312 2854 33554432000 134512640 135840783 4287932960 4287932480 134551936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 3597 2854 348 325 0 2533 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14388
[startup+462.3 s]
/proc/loadavg: 2.00 1.98 1.81 3/179 27686
/proc/meminfo: memFree=28043628/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16064 CPUtime=462.21 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3363 0 0 0 46220 1 0 0 20 0 1 0 334130155 16449536 3275 33554432000 134512640 135840783 4287932960 4287932320 134550957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4016 3275 348 325 0 2952 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 16064
[startup+522.3 s]
/proc/loadavg: 2.00 1.98 1.82 3/179 27686
/proc/meminfo: memFree=27990724/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16016 CPUtime=522.2 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3364 0 0 0 52219 1 0 0 20 0 1 0 334130155 16400384 3275 33554432000 134512640 135840783 4287932960 4287932480 134551968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4004 3275 348 325 0 2940 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16016
[startup+582.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/179 27686
/proc/meminfo: memFree=27940876/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16016 CPUtime=582.19 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3364 0 0 0 58218 1 0 0 20 0 1 0 334130155 16400384 3275 33554432000 134512640 135840783 4287932960 4287932320 134551321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4004 3275 348 325 0 2940 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16016
[startup+642.3 s]
/proc/loadavg: 2.08 2.01 1.84 3/178 27686
/proc/meminfo: memFree=27907712/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16016 CPUtime=642.18 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3364 0 0 0 64217 1 0 0 20 0 1 0 334130155 16400384 3275 33554432000 134512640 135840783 4287932960 4287932320 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4004 3275 348 325 0 2940 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 16016
[startup+702.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/179 27688
/proc/meminfo: memFree=27871152/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16684 CPUtime=702.17 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3520 0 0 0 70216 1 0 0 20 0 1 0 334130155 17084416 3431 33554432000 134512640 135840783 4287932960 4287932320 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4171 3431 348 325 0 3107 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 16684
[startup+762.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27835768/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16680 CPUtime=762.17 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3520 0 0 0 76216 1 0 0 20 0 1 0 334130155 17080320 3431 33554432000 134512640 135840783 4287932960 4287932096 5135659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4170 3431 348 325 0 3106 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 16680
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27807248/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16680 CPUtime=822.15 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3520 0 0 0 82214 1 0 0 20 0 1 0 334130155 17080320 3431 33554432000 134512640 135840783 4287932960 4287932272 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4170 3431 348 325 0 3106 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 16680
Solver just ended. Dumping a history of the last processes samples
[startup+832 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27802536/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16920 CPUtime=831.85 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 83184 1 0 0 20 0 1 0 334130155 17326080 3489 33554432000 134512640 135840783 4287932960 4287932320 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4230 3489 348 325 0 3166 0
Current children cumulated CPU time (s) 831.85
Current children cumulated vsize (KiB) 16920
[startup+844.8 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16916 CPUtime=844.65 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 84464 1 0 0 20 0 1 0 334130155 17321984 3489 33554432000 134512640 135840783 4287932960 4287932320 134550767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4229 3489 348 325 0 3165 0
Current children cumulated CPU time (s) 844.65
Current children cumulated vsize (KiB) 16916
[startup+851.2 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16912 CPUtime=851.05 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 85104 1 0 0 20 0 1 0 334130155 17317888 3489 33554432000 134512640 135840783 4287932960 4287931552 134573451 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4228 3489 348 325 0 3164 0
Current children cumulated CPU time (s) 851.05
Current children cumulated vsize (KiB) 16912
[startup+852.8 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16912 CPUtime=852.65 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 85264 1 0 0 20 0 1 0 334130155 17317888 3489 33554432000 134512640 135840783 4287932960 4287932320 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4228 3489 348 325 0 3164 0
Current children cumulated CPU time (s) 852.65
Current children cumulated vsize (KiB) 16912
[startup+854.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16912 CPUtime=854.25 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 85424 1 0 0 20 0 1 0 334130155 17317888 3489 33554432000 134512640 135840783 4287932960 4287932320 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4228 3489 348 325 0 3164 0
Current children cumulated CPU time (s) 854.25
Current children cumulated vsize (KiB) 16912
[startup+855.2 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16912 CPUtime=855.05 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 85504 1 0 0 20 0 1 0 334130155 17317888 3489 33554432000 134512640 135840783 4287932960 4287932320 134551575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4228 3489 348 325 0 3164 0
Current children cumulated CPU time (s) 855.05
Current children cumulated vsize (KiB) 16912
[startup+855.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 27688
/proc/meminfo: memFree=27798072/32873844 swapFree=7124/7124
[pid=27641] ppid=27639 vsize=16912 CPUtime=855.24 cores=0,2,4,6
/proc/27641/stat : 27641 (bsolo3.0.17) R 27639 27641 27204 0 -1 4202496 3578 0 0 0 85523 1 0 0 20 0 1 0 334130155 17317888 3489 33554432000 134512640 135840783 4287932960 4287932096 5136882 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27641/statm: 4228 3489 348 325 0 3164 0
Current children cumulated CPU time (s) 855.24
Current children cumulated vsize (KiB) 16912
Child status: 0
Real time (s): 855.442
CPU time (s): 855.302
CPU user time (s): 855.282
CPU system time (s): 0.019996
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 16920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 855.282
system time used= 0.019996
maximum resident set size= 13956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3581
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= 12
involuntary context switches= 981
runsolver used 1.49377 second user time and 4.17736 second system time
The end