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-3743387-1338797717/watcher-3743387-1338797717 -o /tmp/evaluation-result-3743387-1338797717/solver-3743387-1338797717 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743387-1338797717.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 2.00 2.00 3/178 29436
/proc/meminfo: memFree=28555560/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=38652 CPUtime=0 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 345896578 39579648 340 33554432000 134512640 137136520 4289376304 4289374736 134531572 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 9663 340 188 641 0 2127 0
[startup+0.100912 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29436
/proc/meminfo: memFree=28555560/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=42900 CPUtime=0.09 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 1749 0 0 0 9 0 0 0 20 0 1 0 345896578 43929600 1662 33554432000 134512640 137136520 4289376304 4289374536 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 10725 1662 448 641 0 3189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42900
[startup+0.200217 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29436
/proc/meminfo: memFree=28555560/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=46516 CPUtime=0.19 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 2924 0 0 0 19 0 0 0 20 0 1 0 345896578 47632384 2758 33554432000 134512640 137136520 4289376304 4289374536 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 11629 2759 710 641 0 4093 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46516
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29436
/proc/meminfo: memFree=28555560/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=49736 CPUtime=0.29 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 4033 0 0 0 29 0 0 0 20 0 1 0 345896578 50929664 3818 33554432000 134512640 137136520 4289376304 4289374604 136490407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 12434 3819 960 641 0 4898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49736
[startup+0.700193 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29436
/proc/meminfo: memFree=28555560/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=62032 CPUtime=0.68 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 8269 0 0 0 67 1 0 0 20 0 1 0 345896578 63520768 7800 33554432000 134512640 137136520 4289376304 4289374712 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 15508 7800 1896 641 0 7972 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62032
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29437
/proc/meminfo: memFree=28520452/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=88272 CPUtime=1.49 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 16967 0 0 0 146 3 0 0 20 0 1 0 345896578 90390528 15992 33554432000 134512640 137136520 4289376304 4289374816 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 22068 15993 3537 641 0 14532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88272
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29437
/proc/meminfo: memFree=28487028/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=121248 CPUtime=3.09 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 27607 0 0 0 304 5 0 0 20 0 1 0 345896578 124157952 26643 33554432000 134512640 137136520 4289376304 4289374772 136523251 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 30312 26643 6202 641 0 22776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121248
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29444
/proc/meminfo: memFree=28651648/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175388 CPUtime=6.29 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44693 0 0 0 621 8 0 0 20 0 1 0 345896578 179597312 40300 33554432000 134512640 137136520 4289376304 4284564288 134563140 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 43847 40300 189 641 0 43203 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175388
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29468
/proc/meminfo: memFree=28680148/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175388 CPUtime=12.69 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44696 0 0 0 1261 8 0 0 20 0 1 0 345896578 179597312 40302 33554432000 134512640 137136520 4289376304 4284564064 134543603 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 43847 40302 189 641 0 43203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175388
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29485
/proc/meminfo: memFree=28497276/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175388 CPUtime=25.48 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44704 0 0 0 2540 8 0 0 20 0 1 0 345896578 179597312 40302 33554432000 134512640 137136520 4289376304 4284564064 134544366 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 43847 40302 189 641 0 43203 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175388
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29485
/proc/meminfo: memFree=28497120/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175520 CPUtime=51.05 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44727 0 0 0 5097 8 0 0 20 0 1 0 345896578 179732480 40309 33554432000 134512640 137136520 4289376304 4284563764 136498324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29436/statm: 43880 40309 189 641 0 43236 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 175520
[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29485
/proc/meminfo: memFree=28492400/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175520 CPUtime=102.25 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44736 0 0 0 10216 9 0 0 20 0 1 0 345896578 179732480 41510 33554432000 134512640 137136520 4289376304 4284563848 136502385 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29436/statm: 43880 41510 189 641 0 43236 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 175520
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 29486
/proc/meminfo: memFree=28492380/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=175520 CPUtime=162.22 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 44740 0 0 0 16212 10 0 0 20 0 1 0 345896578 179732480 41514 33554432000 134512640 137136520 4289376304 4284564064 134543603 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 43880 41514 189 641 0 43236 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175520
[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 29486
/proc/meminfo: memFree=28473608/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=183808 CPUtime=222.22 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 448176 0 0 0 22010 212 0 0 20 0 1 0 345896578 188219392 43622 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 45952 43622 198 641 0 45308 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183808
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/179 29486
/proc/meminfo: memFree=28476088/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=184540 CPUtime=282.2 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 788802 0 0 0 27945 275 0 0 20 0 1 0 345896578 188968960 43604 33554432000 134512640 137136520 4289376304 4288681768 134598516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 46135 43604 198 641 0 45491 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 184540
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/180 29489
/proc/meminfo: memFree=28472416/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=181084 CPUtime=342.2 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 1542868 0 0 0 33810 410 0 0 20 0 1 0 345896578 185430016 42941 33554432000 134512640 137136520 4289376304 4289374968 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 45271 42941 198 641 0 44627 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 181084
[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 29489
/proc/meminfo: memFree=28469572/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=186280 CPUtime=402.19 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 2536304 0 0 0 39630 589 0 0 20 0 1 0 345896578 190750720 44240 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 46570 44240 198 641 0 45926 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 186280
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 29490
/proc/meminfo: memFree=28467704/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=184264 CPUtime=462.18 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 2789180 0 0 0 45582 636 0 0 20 0 1 0 345896578 188686336 43736 33554432000 134512640 137136520 4289376304 4289375016 136502148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 46066 43736 198 641 0 45422 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 184264
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 29490
/proc/meminfo: memFree=28463612/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=189236 CPUtime=522.17 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 3166876 0 0 0 51515 702 0 0 20 0 1 0 345896578 193777664 44979 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 47309 44979 198 641 0 46665 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 189236
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 29490
/proc/meminfo: memFree=28466208/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=187332 CPUtime=582.15 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 3461485 0 0 0 57460 755 0 0 20 0 1 0 345896578 191827968 44502 33554432000 134512640 137136520 4289376304 4289375232 134544835 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 46833 44502 198 641 0 46189 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 187332
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28453976/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=199124 CPUtime=1122.07 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 6063484 0 0 0 110970 1237 0 0 20 0 1 0 345896578 203902976 47451 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 49781 47451 198 641 0 49137 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 199124
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 29495
/proc/meminfo: memFree=28453356/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=199992 CPUtime=1182.07 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 6305924 0 0 0 116924 1283 0 0 20 0 1 0 345896578 204791808 47668 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 49998 47668 198 641 0 49354 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 199992
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 29495
/proc/meminfo: memFree=28450068/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=200104 CPUtime=1242.05 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 6515787 0 0 0 122884 1321 0 0 20 0 1 0 345896578 204906496 47696 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 50026 47696 198 641 0 49382 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 200104
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 29495
/proc/meminfo: memFree=28450068/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=202220 CPUtime=1302.04 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 6824055 0 0 0 128830 1374 0 0 20 0 1 0 345896578 207073280 48225 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 50555 48225 198 641 0 49911 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 202220
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 29495
/proc/meminfo: memFree=28447588/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=204680 CPUtime=1362.03 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 7402505 0 0 0 134723 1480 0 0 20 0 1 0 345896578 209592320 48821 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 51170 48821 198 641 0 50526 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 204680
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 29496
/proc/meminfo: memFree=28450000/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=204680 CPUtime=1422.04 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 8119707 0 0 0 140590 1614 0 0 20 0 1 0 345896578 209592320 48840 33554432000 134512640 137136520 4289376304 4289375156 136509131 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 51170 48840 198 641 0 50526 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 204680
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 29496
/proc/meminfo: memFree=28442740/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=211876 CPUtime=1482.02 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 8776390 0 0 0 146470 1732 0 0 20 0 1 0 345896578 216961024 50639 33554432000 134512640 137136520 4289376304 4289374888 136295553 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 52969 50639 198 641 0 52325 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 211876
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 29499
/proc/meminfo: memFree=28439880/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=209512 CPUtime=1542.01 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 9129031 0 0 0 152404 1797 0 0 20 0 1 0 345896578 214540288 50048 33554432000 134512640 137136520 4289376304 4289375232 134543760 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29436/statm: 52378 50048 198 641 0 51734 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 209512
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 29499
/proc/meminfo: memFree=28438336/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=212908 CPUtime=1601.99 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 9574867 0 0 0 158323 1876 0 0 20 0 1 0 345896578 218017792 50897 33554432000 134512640 137136520 4289376304 4289374896 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 53227 50897 198 641 0 52583 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 212908
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 29499
/proc/meminfo: memFree=28440376/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=210880 CPUtime=1661.98 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 10129790 0 0 0 164223 1975 0 0 20 0 1 0 345896578 215941120 50390 33554432000 134512640 137136520 4289376304 4289375016 136503147 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 52720 50390 198 641 0 52076 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 210880
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28433988/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=212832 CPUtime=1721.97 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 10840758 0 0 0 170094 2103 0 0 20 0 1 0 345896578 217939968 50878 33554432000 134512640 137136520 4289376304 4289374812 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 53208 50878 198 641 0 52564 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 212832
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 29500
/proc/meminfo: memFree=28435288/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=221156 CPUtime=1781.96 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 11937293 0 0 0 175906 2290 0 0 20 0 1 0 345896578 226463744 52927 33554432000 134512640 137136520 4289376304 4289374836 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 55289 52927 198 641 0 54645 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 221156
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430576/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=216904 CPUtime=1791.66 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12149683 0 0 0 176843 2323 0 0 20 0 1 0 345896578 222109696 51896 33554432000 134512640 137136520 4289376304 4289375232 134544341 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 54226 51896 198 641 0 53582 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (KiB) 216904
[startup+1795.2 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28433924/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=216904 CPUtime=1794.86 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12181392 0 0 0 177157 2329 0 0 20 0 1 0 345896578 222109696 51896 33554432000 134512640 137136520 4289376304 4289375108 136509131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 54226 51896 198 641 0 53582 0
Current children cumulated CPU time (s) 1794.86
Current children cumulated vsize (KiB) 216904
[startup+1796.8 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430824/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=216904 CPUtime=1796.46 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12198434 0 0 0 177314 2332 0 0 20 0 1 0 345896578 222109696 51896 33554432000 134512640 137136520 4289376304 4289375232 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 54226 51896 198 641 0 53582 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 216904
[startup+1797.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430824/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=222184 CPUtime=1797.26 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12208202 0 0 0 177392 2334 0 0 20 0 1 0 345896578 227516416 53184 33554432000 134512640 137136520 4289376304 4289374900 136500556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 55546 53184 198 641 0 54902 0
Current children cumulated CPU time (s) 1797.26
Current children cumulated vsize (KiB) 222184
[startup+1798 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430824/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=216904 CPUtime=1797.66 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12222108 0 0 0 177429 2337 0 0 20 0 1 0 345896578 222109696 51896 33554432000 134512640 137136520 4289376304 4289375232 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 54226 51896 198 641 0 53582 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 216904
[startup+1798.2 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430824/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=220040 CPUtime=1797.86 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12224690 0 0 0 177449 2337 0 0 20 0 1 0 345896578 225320960 52680 33554432000 134512640 137136520 4289376304 4289375072 134573706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 55010 52680 198 641 0 54366 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 220040
[startup+1798.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29500
/proc/meminfo: memFree=28430824/32873844 swapFree=7620/7620
[pid=29436] ppid=29434 vsize=216904 CPUtime=1797.96 cores=0,2,4,6
/proc/29436/stat : 29436 (bsolo) R 29434 29436 27119 0 -1 4202496 12225364 0 0 0 177459 2337 0 0 20 0 1 0 345896578 222109696 51896 33554432000 134512640 137136520 4289376304 4289375016 136502388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29436/statm: 54226 51896 198 641 0 53582 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 216904
Child status: 0
Real time (s): 1798.39
CPU time (s): 1798.06
CPU user time (s): 1774.68
CPU system time (s): 23.3804
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 222864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.68
system time used= 23.3804
maximum resident set size= 213416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12226993
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= 39
involuntary context switches= 2704
runsolver used 3.2515 second user time and 7.92879 second system time
The end