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-3734905-1338717469/watcher-3734905-1338717469 -o /tmp/evaluation-result-3734905-1338717469/solver-3734905-1338717469 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734905-1338717469.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/176 9974
/proc/meminfo: memFree=26732244/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=26412 CPUtime=0 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 337871251 27045888 249 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 6603 249 198 641 0 5959 0
[startup+0.07291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9974
/proc/meminfo: memFree=26732244/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=19112 CPUtime=0.07 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 451 0 0 0 7 0 0 0 20 0 1 0 337871251 19570688 402 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 4778 402 198 641 0 4134 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19112
[startup+0.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9974
/proc/meminfo: memFree=26732244/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=19380 CPUtime=0.09 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 514 0 0 0 9 0 0 0 20 0 1 0 337871251 19845120 465 33554432000 134512640 137136520 4291870096 4291869024 134543942 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 4845 465 198 641 0 4201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19380
[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9974
/proc/meminfo: memFree=26732244/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=20536 CPUtime=0.29 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 793 0 0 0 29 0 0 0 20 0 1 0 337871251 21028864 744 33554432000 134512640 137136520 4291870096 4291869024 134544122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5134 744 198 641 0 4490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20536
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9974
/proc/meminfo: memFree=26732244/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=20924 CPUtime=0.69 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 885 0 0 0 69 0 0 0 20 0 1 0 337871251 21426176 836 33554432000 134512640 137136520 4291870096 4291869024 134544245 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5231 836 198 641 0 4587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20924
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26729556/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=21568 CPUtime=1.49 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1041 0 0 0 149 0 0 0 20 0 1 0 337871251 22085632 992 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5392 992 198 641 0 4748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26728812/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=22208 CPUtime=3.09 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1201 0 0 0 308 1 0 0 20 0 1 0 337871251 22740992 1152 33554432000 134512640 137136520 4291870096 4291868984 135982528 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5552 1152 198 641 0 4908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22208
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26727456/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=22852 CPUtime=6.28 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1366 0 0 0 627 1 0 0 20 0 1 0 337871251 23400448 1317 33554432000 134512640 137136520 4291870096 4291868712 135982525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5713 1317 198 641 0 5069 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22852
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26726340/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=23364 CPUtime=12.69 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1514 0 0 0 1266 3 0 0 20 0 1 0 337871251 23924736 1465 33554432000 134512640 137136520 4291870096 4291869136 134540859 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9974/statm: 5841 1465 198 641 0 5197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23364
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26725548/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=24132 CPUtime=25.48 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1685 0 0 0 2542 6 0 0 20 0 1 0 337871251 24711168 1635 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6033 1635 198 641 0 5389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24132
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26724864/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=25032 CPUtime=51.08 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 1913 0 0 0 5096 12 0 0 20 0 1 0 337871251 25632768 1862 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6258 1862 198 641 0 5614 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25032
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=26723624/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=26036 CPUtime=102.28 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2166 0 0 0 10207 21 0 0 20 0 1 0 337871251 26660864 2115 33554432000 134512640 137136520 4291870096 4291869136 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6509 2115 198 641 0 5865 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26036
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9978
/proc/meminfo: memFree=26722064/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=27060 CPUtime=162.26 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2422 0 0 0 16194 32 0 0 20 0 1 0 337871251 27709440 2370 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6765 2370 198 641 0 6121 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27060
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10002
/proc/meminfo: memFree=26721444/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=27260 CPUtime=222.25 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2475 0 0 0 22182 43 0 0 20 0 1 0 337871251 27914240 2423 33554432000 134512640 137136520 4291870096 4291869136 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6815 2423 198 641 0 6171 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27260
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10002
/proc/meminfo: memFree=26720832/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=27804 CPUtime=282.24 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2612 0 0 0 28169 55 0 0 20 0 1 0 337871251 28471296 2560 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6951 2560 198 641 0 6307 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27804
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10002
/proc/meminfo: memFree=26720832/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=27932 CPUtime=342.23 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2662 0 0 0 34159 64 0 0 20 0 1 0 337871251 28602368 2610 33554432000 134512640 137136520 4291870096 4291869024 134543942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 6983 2610 198 641 0 6339 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27932
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10002
/proc/meminfo: memFree=26720148/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=28708 CPUtime=402.22 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2848 0 0 0 40150 72 0 0 20 0 1 0 337871251 29396992 2795 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7177 2795 198 641 0 6533 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28708
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10002
/proc/meminfo: memFree=26719464/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=28784 CPUtime=462.21 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2859 0 0 0 46140 81 0 0 20 0 1 0 337871251 29474816 2806 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7196 2806 198 641 0 6552 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28784
[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 10003
/proc/meminfo: memFree=26719216/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=28908 CPUtime=522.2 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2894 0 0 0 52132 88 0 0 20 0 1 0 337871251 29601792 2841 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7227 2841 198 641 0 6583 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 28908
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 10003
/proc/meminfo: memFree=26719216/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=28908 CPUtime=582.19 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 2894 0 0 0 58122 97 0 0 20 0 1 0 337871251 29601792 2841 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7227 2841 198 641 0 6583 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28908
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26716424/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31296 CPUtime=1122.12 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3489 0 0 0 112040 172 0 0 20 0 1 0 337871251 32047104 3435 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7824 3435 198 641 0 7180 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 31296
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10008
/proc/meminfo: memFree=26716424/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31280 CPUtime=1182.1 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3489 0 0 0 118030 180 0 0 20 0 1 0 337871251 32030720 3435 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7820 3435 198 641 0 7176 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 31280
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10008
/proc/meminfo: memFree=26716052/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31488 CPUtime=1242.09 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 124021 188 0 0 20 0 1 0 337871251 32243712 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7872 3482 198 641 0 7228 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 31488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10008
/proc/meminfo: memFree=26716052/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31476 CPUtime=1302.09 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 130013 196 0 0 20 0 1 0 337871251 32231424 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7869 3482 198 641 0 7225 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 31476
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10011
/proc/meminfo: memFree=26715920/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31468 CPUtime=1362.07 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 136003 204 0 0 20 0 1 0 337871251 32223232 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7867 3482 198 641 0 7223 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 31468
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10012
/proc/meminfo: memFree=26715928/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31468 CPUtime=1422.07 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 141993 214 0 0 20 0 1 0 337871251 32223232 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7867 3482 198 641 0 7223 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 31468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10012
/proc/meminfo: memFree=26715060/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31460 CPUtime=1482.05 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 147982 223 0 0 20 0 1 0 337871251 32215040 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7865 3482 198 641 0 7221 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 31460
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10060
/proc/meminfo: memFree=26705068/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31456 CPUtime=1542.05 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3536 0 0 0 153970 235 0 0 20 0 1 0 337871251 32210944 3482 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7864 3482 198 641 0 7220 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 31456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10060
/proc/meminfo: memFree=26663624/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=31948 CPUtime=1602.03 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3654 0 0 0 159959 244 0 0 20 0 1 0 337871251 32714752 3600 33554432000 134512640 137136520 4291870096 4291869136 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 7987 3600 198 641 0 7343 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 31948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10060
/proc/meminfo: memFree=26640480/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32444 CPUtime=1662.03 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 165949 254 0 0 20 0 1 0 337871251 33222656 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8111 3722 198 641 0 7467 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 32444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26622916/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32440 CPUtime=1722.02 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 171940 262 0 0 20 0 1 0 337871251 33218560 3722 33554432000 134512640 137136520 4291870096 4291869136 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8110 3722 198 641 0 7466 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 32440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26604044/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32436 CPUtime=1782.01 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 177932 269 0 0 20 0 1 0 337871251 33214464 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8109 3722 198 641 0 7465 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 32436
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 10061
/proc/meminfo: memFree=26602060/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1791.61 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 178891 270 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 32432
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26601440/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1794.82 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179211 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291868984 135982497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 32432
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26601068/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1796.41 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179370 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 32432
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26600820/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1797.21 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179450 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 32432
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26600820/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1797.61 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179490 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 32432
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26600820/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1797.81 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179510 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 32432
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10061
/proc/meminfo: memFree=26600820/32873844 swapFree=7628/7628
[pid=9974] ppid=9972 vsize=32432 CPUtime=1797.91 cores=0,2,4,6
/proc/9974/stat : 9974 (bsolo) R 9972 9974 8349 0 -1 4202496 3766 0 0 0 179520 271 0 0 20 0 1 0 337871251 33210368 3722 33554432000 134512640 137136520 4291870096 4291869212 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9974/statm: 8108 3722 198 641 0 7464 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 32432
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1795.29
CPU system time (s): 2.71559
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 32444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.29
system time used= 2.71559
maximum resident set size= 14888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3767
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= 7
involuntary context switches= 1881
runsolver used 2.71959 second user time and 7.08992 second system time
The end