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-3705281-1338102523/watcher-3705281-1338102523 -o /tmp/evaluation-result-3705281-1338102523/solver-3705281-1338102523 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705281-1338102523.opb
running on 4 cores: 1,3,5,7
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.02 2.01 2.00 3/177 17191
/proc/meminfo: memFree=30447904/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 2 0 276376733 85729280 729 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20930 729 189 432 0 20495 0
[pid=17191/tid=17192] ppid=17189 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 2 0 276376733 85729280 729 33554432000 4194304 5963574 140737424426544 140733402992168 4388700 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.101396 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17191
/proc/meminfo: memFree=30447904/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83720 CPUtime=0.09 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 1000 0 0 0 9 0 0 0 20 0 2 0 276376733 85729280 949 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20930 949 191 432 0 20495 0
[pid=17191/tid=17192] ppid=17189 vsize=83720 CPUtime=0.08 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 281 0 0 0 8 0 0 0 20 0 2 0 276376733 85729280 949 33554432000 4194304 5963574 140737424426544 140733402992168 4382270 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83720
[startup+0.200372 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17191
/proc/meminfo: memFree=30447904/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83720 CPUtime=0.19 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 1192 0 0 0 19 0 0 0 20 0 2 0 276376733 85729280 1141 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20930 1141 191 432 0 20495 0
[pid=17191/tid=17192] ppid=17189 vsize=83720 CPUtime=0.18 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 473 0 0 0 18 0 0 0 20 0 2 0 276376733 85729280 1141 33554432000 4194304 5963574 140737424426544 140733402992168 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83720
[startup+0.300392 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17191
/proc/meminfo: memFree=30447904/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83720 CPUtime=0.29 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 1374 0 0 0 29 0 0 0 20 0 2 0 276376733 85729280 1323 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20930 1323 191 432 0 20495 0
[pid=17191/tid=17192] ppid=17189 vsize=83720 CPUtime=0.28 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 655 0 0 0 28 0 0 0 20 0 2 0 276376733 85729280 1323 33554432000 4194304 5963574 140737424426544 140733402992168 4381216 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83720
[startup+0.700323 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17191
/proc/meminfo: memFree=30447904/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83720 CPUtime=0.69 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 1983 0 0 0 69 0 0 0 20 0 2 0 276376733 85729280 1932 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20930 1932 191 432 0 20495 0
[pid=17191/tid=17192] ppid=17189 vsize=83720 CPUtime=0.68 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 1264 0 0 0 68 0 0 0 20 0 2 0 276376733 85729280 1932 33554432000 4194304 5963574 140737424426544 140132526622712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83720
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17193
/proc/meminfo: memFree=30439464/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83864 CPUtime=1.49 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 2445 0 0 0 149 0 0 0 20 0 2 0 276376733 85876736 2394 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20966 2394 191 432 0 20531 0
[pid=17191/tid=17192] ppid=17189 vsize=83864 CPUtime=1.48 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 1726 0 0 0 148 0 0 0 20 0 2 0 276376733 85876736 2394 33554432000 4194304 5963574 140737424426544 140132526622520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17193
/proc/meminfo: memFree=30437224/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83936 CPUtime=3.08 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 3421 0 0 0 308 0 0 0 20 0 2 0 276376733 85950464 3370 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20984 3370 191 432 0 20549 0
[pid=17191/tid=17192] ppid=17189 vsize=83936 CPUtime=3.07 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 2702 0 0 0 307 0 0 0 20 0 2 0 276376733 85950464 3370 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83936
[startup+6.3004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17193
/proc/meminfo: memFree=30425444/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=83936 CPUtime=6.29 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 4703 0 0 0 628 1 0 0 20 0 2 0 276376733 85950464 4652 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 20984 4652 191 432 0 20549 0
[pid=17191/tid=17192] ppid=17189 vsize=83936 CPUtime=6.27 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 3984 0 0 0 626 1 0 0 20 0 2 0 276376733 85950464 4652 33554432000 4194304 5963574 140737424426544 140132526622712 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83936
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17193
/proc/meminfo: memFree=30412240/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=84204 CPUtime=12.69 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 7637 0 0 0 1267 2 0 0 20 0 2 0 276376733 86224896 7586 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 21051 7586 191 432 0 20616 0
[pid=17191/tid=17192] ppid=17189 vsize=84204 CPUtime=12.65 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 6918 0 0 0 1264 1 0 0 20 0 2 0 276376733 86224896 7586 33554432000 4194304 5963574 140737424426544 140132526622520 4402947 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84204
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17193
/proc/meminfo: memFree=30396104/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=84204 CPUtime=25.49 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 10631 0 0 0 2546 3 0 0 20 0 2 0 276376733 86224896 10580 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 21051 10580 191 432 0 20616 0
[pid=17191/tid=17192] ppid=17189 vsize=84204 CPUtime=25.41 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 9912 0 0 0 2538 3 0 0 20 0 2 0 276376733 86224896 10580 33554432000 4194304 5963574 140737424426544 140132526622712 4403257 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84204
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17193
/proc/meminfo: memFree=30366544/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=84444 CPUtime=51.09 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 15444 0 0 0 5103 6 0 0 20 0 2 0 276376733 86470656 15393 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 21111 15393 191 432 0 20676 0
[pid=17191/tid=17192] ppid=17189 vsize=84444 CPUtime=50.95 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 14725 0 0 0 5090 5 0 0 20 0 2 0 276376733 86470656 15393 33554432000 4194304 5963574 140737424426544 140132526622760 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84444
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17196
/proc/meminfo: memFree=30310308/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=150628 CPUtime=102.27 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 22316 0 0 0 10217 10 0 0 20 0 2 0 276376733 154243072 22293 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 37657 22293 191 432 0 37222 0
[pid=17191/tid=17192] ppid=17189 vsize=150628 CPUtime=102.01 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 21597 0 0 0 10190 11 0 0 20 0 2 0 276376733 154243072 22293 33554432000 4194304 5963574 140737424426544 140132526622712 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150628
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17196
/proc/meminfo: memFree=30251416/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=152356 CPUtime=162.23 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 30979 0 0 0 16205 18 0 0 20 0 2 0 276376733 156012544 31917 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 38089 31917 191 432 0 37654 0
[pid=17191/tid=17192] ppid=17189 vsize=152356 CPUtime=161.83 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 30260 0 0 0 16163 20 0 0 20 0 2 0 276376733 156012544 31917 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 152356
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17196
/proc/meminfo: memFree=30209600/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=219080 CPUtime=222.24 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 35430 0 0 0 22201 23 0 0 20 0 2 0 276376733 224337920 36368 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 54770 36368 191 432 0 54335 0
[pid=17191/tid=17192] ppid=17189 vsize=219080 CPUtime=221.68 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 34711 0 0 0 22142 26 0 0 20 0 2 0 276376733 224337920 36368 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 219080
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17197
/proc/meminfo: memFree=30152392/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=221276 CPUtime=282.21 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 43270 0 0 0 28190 31 0 0 20 0 2 0 276376733 226586624 44217 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 55319 44217 191 432 0 54884 0
[pid=17191/tid=17192] ppid=17189 vsize=221276 CPUtime=281.49 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 42551 0 0 0 28114 35 0 0 20 0 2 0 276376733 226586624 44217 33554432000 4194304 5963574 140737424426544 140132526622760 4378832 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 221276
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17197
/proc/meminfo: memFree=30114968/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=221636 CPUtime=342.2 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 47973 0 0 0 34183 37 0 0 20 0 2 0 276376733 226955264 48916 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 55409 48916 191 432 0 54974 0
[pid=17191/tid=17192] ppid=17189 vsize=221636 CPUtime=341.32 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 47254 0 0 0 34091 41 0 0 20 0 2 0 276376733 226955264 48916 33554432000 4194304 5963574 140737424426544 140132526622712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 221636
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17197
/proc/meminfo: memFree=30079064/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=221816 CPUtime=402.19 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 50588 0 0 0 40179 40 0 0 20 0 2 0 276376733 227139584 51531 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17206
/proc/meminfo: memFree=29663724/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=433076 CPUtime=1361.99 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 99704 0 0 0 136081 118 0 0 20 0 2 0 276376733 443469824 100578 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 108269 100578 191 432 0 107834 0
[pid=17191/tid=17192] ppid=17189 vsize=433076 CPUtime=1358.58 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 98985 0 0 0 135720 138 0 0 20 0 2 0 276376733 443469824 100578 33554432000 4194304 5963574 140737424426544 140132526622712 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 433076
[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17206
/proc/meminfo: memFree=29640880/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=499116 CPUtime=1421.97 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 103967 0 0 0 142073 124 0 0 20 0 2 0 276376733 511094784 104828 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 124779 104828 191 432 0 124344 0
[pid=17191/tid=17192] ppid=17189 vsize=499116 CPUtime=1418.42 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 103248 0 0 0 141697 145 0 0 20 0 2 0 276376733 511094784 104828 33554432000 4194304 5963574 140737424426544 140132526622712 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 499116
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 17206
/proc/meminfo: memFree=29622528/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=499332 CPUtime=1481.97 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 107155 0 0 0 148067 130 0 0 20 0 2 0 276376733 511315968 108016 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 124833 108016 191 432 0 124398 0
[pid=17191/tid=17192] ppid=17189 vsize=499332 CPUtime=1478.25 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 106436 0 0 0 147673 152 0 0 20 0 2 0 276376733 511315968 108016 33554432000 4194304 5963574 140737424426544 140132526622760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 499332
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 17207
/proc/meminfo: memFree=29578632/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=500428 CPUtime=1541.96 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 113343 0 0 0 154058 138 0 0 20 0 2 0 276376733 512438272 114204 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 125107 114204 191 432 0 124672 0
[pid=17191/tid=17192] ppid=17189 vsize=500428 CPUtime=1538.1 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 112624 0 0 0 153649 161 0 0 20 0 2 0 276376733 512438272 114204 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 500428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17207
/proc/meminfo: memFree=29561056/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=500428 CPUtime=1601.95 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 114330 0 0 0 160055 140 0 0 20 0 2 0 276376733 512438272 115191 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 125107 115191 191 432 0 124672 0
[pid=17191/tid=17192] ppid=17189 vsize=500428 CPUtime=1597.94 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 113611 0 0 0 159630 164 0 0 20 0 2 0 276376733 512438272 115191 33554432000 4194304 5963574 140737424426544 140132526622712 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 500428
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17207
/proc/meminfo: memFree=29530352/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=500588 CPUtime=1661.94 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 118651 0 0 0 166047 147 0 0 20 0 2 0 276376733 512602112 119512 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 125147 119512 191 432 0 124712 0
[pid=17191/tid=17192] ppid=17189 vsize=500588 CPUtime=1657.78 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 117932 0 0 0 165606 172 0 0 20 0 2 0 276376733 512602112 119512 33554432000 4194304 5963574 140737424426544 140132526622760 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 500588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17285
/proc/meminfo: memFree=29990368/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567276 CPUtime=1721.92 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 122538 0 0 0 172037 155 0 0 20 0 2 0 276376733 580890624 123387 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141819 123387 191 432 0 141384 0
[pid=17191/tid=17192] ppid=17189 vsize=567276 CPUtime=1717.62 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 121819 0 0 0 171581 181 0 0 20 0 2 0 276376733 580890624 123387 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 567276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29976820/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567384 CPUtime=1781.9 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 122580 0 0 0 178035 155 0 0 20 0 2 0 276376733 581001216 123419 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141846 123419 191 432 0 141411 0
[pid=17191/tid=17192] ppid=17189 vsize=567384 CPUtime=1777.45 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 121861 0 0 0 177564 181 0 0 20 0 2 0 276376733 581001216 123419 33554432000 4194304 5963574 140737424426544 140132526622760 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 567384
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29960204/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1791.6 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 122678 0 0 0 179005 155 0 0 20 0 2 0 276376733 581074944 123517 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 123517 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1787.13 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 121959 0 0 0 178531 182 0 0 20 0 2 0 276376733 581074944 123517 33554432000 4194304 5963574 140737424426544 140132526622712 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 567456
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29954128/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1794.8 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 122958 0 0 0 179324 156 0 0 20 0 2 0 276376733 581074944 123797 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 123797 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1790.32 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 122239 0 0 0 178849 183 0 0 20 0 2 0 276376733 581074944 123797 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 567456
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29944084/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1798 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 123221 0 0 0 179644 156 0 0 20 0 2 0 276376733 581074944 124060 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 124060 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1793.5 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 122502 0 0 0 179167 183 0 0 20 0 2 0 276376733 581074944 124060 33554432000 4194304 5963574 140737424426544 140132526622712 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 567456
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29943836/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1798.79 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 123284 0 0 0 179723 156 0 0 20 0 2 0 276376733 581074944 124123 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 124123 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1794.3 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 122565 0 0 0 179247 183 0 0 20 0 2 0 276376733 581074944 124123 33554432000 4194304 5963574 140737424426544 140132526622712 4400064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 567456
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29943588/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1799.2 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 123317 0 0 0 179764 156 0 0 20 0 2 0 276376733 581074944 124156 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 124156 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1794.71 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 122598 0 0 0 179288 183 0 0 20 0 2 0 276376733 581074944 124156 33554432000 4194304 5963574 140737424426544 140132526622760 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 567456
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17324
/proc/meminfo: memFree=29943588/32873844 swapFree=7388/7388
[pid=17191] ppid=17189 vsize=567456 CPUtime=1799.59 cores=1,3,5,7
/proc/17191/stat : 17191 (wbo1.7) S 17189 17191 16265 0 -1 4202496 123348 0 0 0 179803 156 0 0 20 0 2 0 276376733 581074944 124187 33554432000 4194304 5963574 140737424426544 140737424426064 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 141864 124187 191 432 0 141429 0
[pid=17191/tid=17192] ppid=17189 vsize=567456 CPUtime=1795.1 cores=1,3,5,7
/proc/17191/task/17192/stat : 17192 (wbo1.7) R 17189 17191 16265 0 -1 4202560 122629 0 0 0 179327 183 0 0 20 0 2 0 276376733 581074944 124187 33554432000 4194304 5963574 140737424426544 140132526622760 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 567456
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17191 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=278380
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=844719
# CPU time returned by wait4() is 1795.12
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.59
CPU user time (s): 1798.03
CPU system time (s): 1.56
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 567456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.28
system time used= 1.84472
maximum resident set size= 496752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123349
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= 209
involuntary context switches= 1846
runsolver used 10.9023 second user time and 12.905 second system time
The end