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-3731517-1338694426/watcher-3731517-1338694426 -o /tmp/evaluation-result-3731517-1338694426/solver-3731517-1338694426 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731517-1338694426.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.10 2.07 2.01 3/176 21454
/proc/meminfo: memFree=28641876/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335571083 11186176 292 33554432000 134512640 137136520 4292491936 4292484536 136502025 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 2731 292 189 641 0 2087 0
[startup+0.0426131 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 21454
/proc/meminfo: memFree=28641876/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=12292 CPUtime=0.04 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 652 0 0 0 4 0 0 0 20 0 1 0 335571083 12587008 588 33554432000 134512640 137136520 4292491936 4292489768 135463992 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 3073 588 284 641 0 2429 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12292
[startup+0.100257 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 21454
/proc/meminfo: memFree=28641876/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=12452 CPUtime=0.09 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 757 0 0 0 9 0 0 0 20 0 1 0 335571083 12750848 669 33554432000 134512640 137136520 4292491936 4292489856 135444718 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 3113 669 284 641 0 2469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12452
[startup+0.300217 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 21454
/proc/meminfo: memFree=28641876/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=12620 CPUtime=0.29 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 1286 0 0 0 29 0 0 0 20 0 1 0 335571083 12922880 679 33554432000 134512640 137136520 4292491936 4292489024 135435260 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 3155 679 284 641 0 2511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12620
[startup+0.700221 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 21454
/proc/meminfo: memFree=28641876/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=13156 CPUtime=0.69 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 3736 0 0 0 69 0 0 0 20 0 1 0 335571083 13471744 670 33554432000 134512640 137136520 4292491936 4292489836 135438861 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 3289 670 289 641 0 2645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13156
[startup+1.50022 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21455
/proc/meminfo: memFree=28640636/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=13256 CPUtime=1.49 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 7707 0 0 0 149 0 0 0 20 0 1 0 335571083 13574144 681 33554432000 134512640 137136520 4292491936 4292489856 135444623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21454/statm: 3314 681 289 641 0 2670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13256
[startup+3.10028 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21455
/proc/meminfo: memFree=28640140/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=13500 CPUtime=3.08 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 20265 0 0 0 307 1 0 0 20 0 1 0 335571083 13824000 557 33554432000 134512640 137136520 4292491936 4292489624 135443223 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 3375 557 289 641 0 2731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13500
[startup+6.30027 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 21455
/proc/meminfo: memFree=28639776/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=14660 CPUtime=6.29 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 54669 0 0 0 622 7 0 0 20 0 1 0 335571083 15011840 770 33554432000 134512640 137136520 4292491936 4292489784 135464210 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 3665 770 292 641 0 3021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14660
[startup+12.7003 s]
/proc/loadavg: 2.08 2.07 2.00 3/177 21455
/proc/meminfo: memFree=28639040/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=15400 CPUtime=12.68 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 110322 0 0 0 1254 14 0 0 20 0 1 0 335571083 15769600 1025 33554432000 134512640 137136520 4292491936 4292490176 135356694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 3850 1025 295 641 0 3206 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15400
[startup+25.5003 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 21455
/proc/meminfo: memFree=28632236/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=22644 CPUtime=25.48 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 305087 0 0 0 2504 44 0 0 20 0 1 0 335571083 23187456 2631 33554432000 134512640 137136520 4292491936 4292489712 134732432 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 5661 2631 296 641 0 5017 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22644
[startup+51.1003 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 21456
/proc/meminfo: memFree=28618224/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=37856 CPUtime=51.08 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 706710 0 0 0 5000 108 0 0 20 0 1 0 335571083 38764544 6496 33554432000 134512640 137136520 4292491936 4292489776 134732473 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 9464 6498 296 641 0 8820 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37856
[startup+102.307 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 21457
/proc/meminfo: memFree=28560776/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=92292 CPUtime=102.28 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 1842815 0 0 0 9910 318 0 0 20 0 1 0 335571083 94507008 20041 33554432000 134512640 137136520 4292491936 4292489624 135442568 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 23073 20041 296 641 0 22429 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92292
[startup+162.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 21457
/proc/meminfo: memFree=28553156/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=100276 CPUtime=162.23 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 2734023 0 0 0 15673 550 0 0 20 0 1 0 335571083 102682624 22106 33554432000 134512640 137136520 4292491936 4292489624 135442575 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 25069 22106 296 641 0 24425 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100276
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 21457
/proc/meminfo: memFree=28532944/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=114308 CPUtime=222.23 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 3693636 0 0 0 21436 787 0 0 20 0 1 0 335571083 117051392 26256 33554432000 134512640 137136520 4292491936 4292491052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 28577 26256 296 641 0 27933 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 114308
[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 21457
/proc/meminfo: memFree=28530336/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=119068 CPUtime=282.22 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 4555933 0 0 0 27194 1028 0 0 20 0 1 0 335571083 121925632 26846 33554432000 134512640 137136520 4292491936 4292489736 136504572 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 29614 26840 296 641 0 28970 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 119068
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 21458
/proc/meminfo: memFree=28511636/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=137840 CPUtime=342.2 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 5505338 0 0 0 32951 1269 0 0 20 0 1 0 335571083 141148160 31533 33554432000 134512640 137136520 4292491936 4292490008 136504572 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 34460 31533 296 641 0 33816 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 137840
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 21461
/proc/meminfo: memFree=28511380/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=137556 CPUtime=402.19 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 6274149 0 0 0 38732 1487 0 0 20 0 1 0 335571083 140857344 31530 33554432000 134512640 137136520 4292491936 4292490128 134845443 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 34389 31530 296 641 0 33745 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 137556
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 21461
/proc/meminfo: memFree=28510644/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=135376 CPUtime=462.17 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 6910561 0 0 0 44524 1693 0 0 20 0 1 0 335571083 138625024 31523 33554432000 134512640 137136520 4292491936 4292490832 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 33844 31523 296 641 0 33200 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 135376
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 21509
/proc/meminfo: memFree=28640376/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=135360 CPUtime=522.17 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 7512266 0 0 0 50336 1881 0 0 20 0 1 0 335571083 138608640 31519 33554432000 134512640 137136520 4292491936 4292487064 136502029 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 33840 31519 296 641 0 33196 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 135360
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 21509
/proc/meminfo: memFree=28608700/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=135340 CPUtime=582.15 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 8144208 0 0 0 56134 2081 0 0 20 0 1 0 335571083 138588160 31514 33554432000 134512640 137136520 4292491936 4292490864 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 33835 31514 296 641 0 33191 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 135340
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28528024/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=161916 CPUtime=1062.08 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 13607166 0 0 0 102576 3632 0 0 20 0 1 0 335571083 165801984 38632 33554432000 134512640 137136520 4292491936 4292490832 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 40479 38632 296 641 0 39835 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 161916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21514
/proc/meminfo: memFree=28526656/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=164264 CPUtime=1122.07 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 14349656 0 0 0 108362 3845 0 0 20 0 1 0 335571083 168206336 38631 33554432000 134512640 137136520 4292491936 4292489736 136504572 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 41066 38631 296 641 0 40422 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 164264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21514
/proc/meminfo: memFree=28518472/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=162028 CPUtime=1182.06 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 15052610 0 0 0 114157 4049 0 0 20 0 1 0 335571083 165916672 38628 33554432000 134512640 137136520 4292491936 4292490976 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 40507 38628 296 641 0 39863 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 162028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21514
/proc/meminfo: memFree=28518036/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=164264 CPUtime=1242.05 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 15741311 0 0 0 119953 4252 0 0 20 0 1 0 335571083 168206336 38629 33554432000 134512640 137136520 4292491936 4292490000 134730253 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 41066 38629 296 641 0 40422 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 164264
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21515
/proc/meminfo: memFree=28517780/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=161856 CPUtime=1302.05 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 16378866 0 0 0 125766 4439 0 0 20 0 1 0 335571083 165740544 38617 33554432000 134512640 137136520 4292491936 4292491052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 40464 38617 296 641 0 39820 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 161856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21515
/proc/meminfo: memFree=28510712/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=164220 CPUtime=1362.03 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 17063598 0 0 0 131567 4636 0 0 20 0 1 0 335571083 168161280 38627 33554432000 134512640 137136520 4292491936 4292489736 136504572 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 41055 38627 296 641 0 40411 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 164220
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21515
/proc/meminfo: memFree=28502404/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=169240 CPUtime=1422.03 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 17820116 0 0 0 137371 4832 0 0 20 0 1 0 335571083 173301760 40463 33554432000 134512640 137136520 4292491936 4292491052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 42310 40463 296 641 0 41666 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 169240
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21515
/proc/meminfo: memFree=28473132/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198584 CPUtime=1482.02 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 18777500 0 0 0 143132 5070 0 0 20 0 1 0 335571083 203350016 47799 33554432000 134512640 137136520 4292491936 4292487008 134600647 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49646 47799 296 641 0 49002 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 198584
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21515
/proc/meminfo: memFree=28473440/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=200860 CPUtime=1542 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 19510115 0 0 0 148928 5272 0 0 20 0 1 0 335571083 205680640 47804 33554432000 134512640 137136520 4292491936 4292489736 136504572 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49642 47795 296 641 0 48998 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 200860
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21519
/proc/meminfo: memFree=28473832/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=200096 CPUtime=1601.99 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 20089418 0 0 0 154730 5469 0 0 20 0 1 0 335571083 204898304 47798 33554432000 134512640 137136520 4292491936 4292489784 134731460 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 50177 47800 296 641 0 49533 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 200096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21542
/proc/meminfo: memFree=28473460/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=200380 CPUtime=1661.98 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 20576246 0 0 0 160572 5626 0 0 20 0 1 0 335571083 205189120 47799 33554432000 134512640 137136520 4292491936 4292490144 135249028 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49640 47793 296 641 0 48996 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 200380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473468/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198560 CPUtime=1721.97 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 20996526 0 0 0 166423 5774 0 0 20 0 1 0 335571083 203325440 47793 33554432000 134512640 137136520 4292491936 4292490864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49640 47793 296 641 0 48996 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 198560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28472972/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=199484 CPUtime=1781.95 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21300219 0 0 0 172306 5889 0 0 20 0 1 0 335571083 204271616 47799 33554432000 134512640 137136520 4292491936 4292490036 134728612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49871 47799 296 641 0 49227 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 199484
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198872 CPUtime=1791.56 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21323353 0 0 0 173254 5902 0 0 20 0 1 0 335571083 203644928 47797 33554432000 134512640 137136520 4292491936 4292490832 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49718 47797 296 641 0 49074 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 198872
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=199492 CPUtime=1794.76 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21331123 0 0 0 173569 5907 0 0 20 0 1 0 335571083 204279808 47799 33554432000 134512640 137136520 4292491936 4292489784 134731460 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49873 47799 296 641 0 49229 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 199492
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198872 CPUtime=1796.35 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21334945 0 0 0 173726 5909 0 0 20 0 1 0 335571083 203644928 47797 33554432000 134512640 137136520 4292491936 4292490704 134623506 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49718 47797 296 641 0 49074 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 198872
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=199492 CPUtime=1797.16 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21336826 0 0 0 173805 5911 0 0 20 0 1 0 335571083 204279808 47798 33554432000 134512640 137136520 4292491936 4292489784 134731460 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49873 47798 296 641 0 49229 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 199492
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198876 CPUtime=1797.55 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21337698 0 0 0 173844 5911 0 0 20 0 1 0 335571083 203649024 47796 33554432000 134512640 137136520 4292491936 4292486740 136498324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49719 47796 296 641 0 49075 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 198876
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473096/32873844 swapFree=6872/6872
[pid=21454] ppid=21452 vsize=198876 CPUtime=1797.96 cores=0,2,4,6
/proc/21454/stat : 21454 (bsolo) R 21452 21454 8274 0 -1 4202496 21338523 0 0 0 173884 5912 0 0 20 0 1 0 335571083 203649024 47797 33554432000 134512640 137136520 4292491936 4292490864 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21454/statm: 49719 47797 296 641 0 49075 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 198876
Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.01
CPU user time (s): 1738.88
CPU system time (s): 59.124
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 201208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.88
system time used= 59.124
maximum resident set size= 191396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21338609
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= 116
involuntary context switches= 1889
runsolver used 2.87856 second user time and 8.12876 second system time
The end