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-3712875-1338204859/watcher-3712875-1338204859 -o /tmp/evaluation-result-3712875-1338204859/solver-3712875-1338204859 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712875-1338204859.wbo
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.00 2.00 2.00 3/177 19595
/proc/meminfo: memFree=30280392/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=3392 CPUtime=0 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) R 19593 19595 18639 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 286611964 3473408 305 33554432000 4194304 5964318 140735839307696 140737058484920 4395103 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 848 305 170 433 0 389 0
[startup+0.05282 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19595
/proc/meminfo: memFree=30280392/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84208 CPUtime=0.04 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 1308 0 0 0 4 0 0 0 20 0 2 0 286611964 86228992 1238 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21052 1238 194 433 0 20616 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84208
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19595
/proc/meminfo: memFree=30280392/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84208 CPUtime=0.09 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 1450 0 0 0 9 0 0 0 20 0 2 0 286611964 86228992 1380 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21052 1380 194 433 0 20616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84208
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19595
/proc/meminfo: memFree=30280392/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84208 CPUtime=0.29 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 1945 0 0 0 29 0 0 0 20 0 2 0 286611964 86228992 1875 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21052 1875 194 433 0 20616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84208
[startup+0.700116 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19595
/proc/meminfo: memFree=30280392/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84352 CPUtime=0.69 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 2543 0 0 0 69 0 0 0 20 0 2 0 286611964 86376448 2473 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21088 2473 194 433 0 20652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84352
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30267192/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84352 CPUtime=1.48 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 3747 0 0 0 148 0 0 0 20 0 2 0 286611964 86376448 3677 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21088 3677 194 433 0 20652 0
[pid=19595/tid=19597] ppid=19593 vsize=84352 CPUtime=1.47 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 2891 0 0 0 147 0 0 0 20 0 2 0 286611965 86376448 3677 33554432000 4194304 5964318 140735839307696 140593449875448 4400741 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84352
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30256404/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84424 CPUtime=3.08 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 7656 0 0 0 307 1 0 0 20 0 2 0 286611964 86450176 7586 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21106 7588 194 433 0 20670 0
[pid=19595/tid=19597] ppid=19593 vsize=84424 CPUtime=3.07 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 6802 0 0 0 306 1 0 0 20 0 2 0 286611965 86450176 7588 33554432000 4194304 5964318 140735839307696 140593449875448 5136324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84424
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30222336/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=84424 CPUtime=6.28 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 11594 0 0 0 626 2 0 0 20 0 2 0 286611964 86450176 11524 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 21106 11524 194 433 0 20670 0
[pid=19595/tid=19597] ppid=19593 vsize=84424 CPUtime=6.27 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 10738 0 0 0 624 3 0 0 20 0 2 0 286611965 86450176 11524 33554432000 4194304 5964318 140735839307696 140593449875448 4389033 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84424
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30186376/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=150068 CPUtime=12.68 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 19636 0 0 0 1264 4 0 0 20 0 2 0 286611964 153669632 19566 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 37517 19566 194 433 0 37081 0
[pid=19595/tid=19597] ppid=19593 vsize=150068 CPUtime=12.67 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 18780 0 0 0 1262 5 0 0 20 0 2 0 286611965 153669632 19566 33554432000 4194304 5964318 140735839307696 140593449875448 4399842 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150068
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30123928/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=215764 CPUtime=25.49 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 33936 0 0 0 2540 9 0 0 20 0 2 0 286611964 220942336 33866 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 53941 33866 194 433 0 53505 0
[pid=19595/tid=19597] ppid=19593 vsize=215764 CPUtime=25.47 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 33080 0 0 0 2538 9 0 0 20 0 2 0 286611965 220942336 33866 33554432000 4194304 5964318 140735839307696 140593449875448 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 215764
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=30007836/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=281540 CPUtime=51.08 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 50375 0 0 0 5095 13 0 0 20 0 2 0 286611964 288296960 50305 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 70385 50305 194 433 0 69949 0
[pid=19595/tid=19597] ppid=19593 vsize=281540 CPUtime=51.07 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 49519 0 0 0 5094 13 0 0 20 0 2 0 286611965 288296960 50305 33554432000 4194304 5964318 140735839307696 140593449875448 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 281540
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19597
/proc/meminfo: memFree=29940372/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=347076 CPUtime=102.28 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 68804 0 0 0 10211 17 0 0 20 0 2 0 286611964 355405824 68711 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 86769 68713 194 433 0 86333 0
[pid=19595/tid=19597] ppid=19593 vsize=347076 CPUtime=102.28 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 67950 0 0 0 10209 19 0 0 20 0 2 0 286611965 355405824 68713 33554432000 4194304 5964318 140735839307696 140593449875448 5136324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 347076
[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 19636
/proc/meminfo: memFree=29977472/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=412756 CPUtime=162.24 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 85361 0 0 0 16202 22 0 0 20 0 2 0 286611964 422662144 85247 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 103189 85247 194 433 0 102753 0
[pid=19595/tid=19597] ppid=19593 vsize=412756 CPUtime=162.25 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 84505 0 0 0 16200 25 0 0 20 0 2 0 286611965 422662144 85247 33554432000 4194304 5964318 140735839307696 140593449875448 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 412756
[startup+222.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 19636
/proc/meminfo: memFree=29800428/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=478796 CPUtime=222.22 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 104529 0 0 0 22194 28 0 0 20 0 2 0 286611964 490287104 104408 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 119699 104408 194 433 0 119263 0
[pid=19595/tid=19597] ppid=19593 vsize=478796 CPUtime=222.24 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 103673 0 0 0 22193 31 0 0 20 0 2 0 286611965 490287104 104408 33554432000 4194304 5964318 140735839307696 140593449875448 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 478796
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 19637
/proc/meminfo: memFree=29656616/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=544836 CPUtime=282.17 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 127294 0 0 0 28182 35 0 0 20 0 2 0 286611964 557912064 127152 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 136209 127154 194 433 0 135773 0
[pid=19595/tid=19597] ppid=19593 vsize=544836 CPUtime=282.2 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 126440 0 0 0 28180 40 0 0 20 0 2 0 286611965 557912064 127154 33554432000 4194304 5964318 140735839307696 140593449875448 5136324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 544836
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 19640
/proc/meminfo: memFree=29724176/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=411888 CPUtime=342.15 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 128835 0 0 0 34178 37 0 0 20 0 2 0 286611964 421773312 92317 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 102972 92317 198 433 0 102536 0
[pid=19595/tid=19597] ppid=19593 vsize=411888 CPUtime=342.18 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 127979 0 0 0 34175 43 0 0 20 0 2 0 286611965 421773312 92317 33554432000 4194304 5964318 140735839307696 140593449876408 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 411888
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 19640
/proc/meminfo: memFree=29631708/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=411888 CPUtime=402.14 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 128835 0 0 0 40177 37 0 0 20 0 2 0 286611964 421773312 92317 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 102972 92317 198 433 0 102536 0
[pid=19595/tid=19597] ppid=19593 vsize=411888 CPUtime=402.18 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 127979 0 0 0 40174 44 0 0 20 0 2 0 286611965 421773312 92317 33554432000 4194304 5964318 140735839307696 140593449876408 4399960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 411888
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19640
/proc/meminfo: memFree=29631716/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=411888 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 231796 0 0 0 124124 90 0 0 20 0 2 0 286611965 826089472 182599 33554432000 4194304 5964318 140735839307696 140593449875448 4400532 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 806728
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19646
/proc/meminfo: memFree=29095412/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=806728 CPUtime=1301.94 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 245897 0 0 0 130117 77 0 0 20 0 2 0 286611964 826089472 195877 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201682 195877 198 433 0 201246 0
[pid=19595/tid=19597] ppid=19593 vsize=806728 CPUtime=1302.14 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 245041 0 0 0 130117 97 0 0 20 0 2 0 286611965 826089472 195877 33554432000 4194304 5964318 140735839307696 140593449875448 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 806728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19646
/proc/meminfo: memFree=29062704/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=806728 CPUtime=1361.92 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 245938 0 0 0 136115 77 0 0 20 0 2 0 286611964 826089472 195931 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201682 195931 198 433 0 201246 0
[pid=19595/tid=19597] ppid=19593 vsize=806728 CPUtime=1362.12 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 245082 0 0 0 136114 98 0 0 20 0 2 0 286611965 826089472 195931 33554432000 4194304 5964318 140735839307696 140593449875448 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 806728
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19646
/proc/meminfo: memFree=29060444/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=806728 CPUtime=1421.88 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 245984 0 0 0 142111 77 0 0 20 0 2 0 286611964 826089472 195941 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201682 195941 198 433 0 201246 0
[pid=19595/tid=19597] ppid=19593 vsize=806728 CPUtime=1422.1 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 245128 0 0 0 142111 99 0 0 20 0 2 0 286611965 826089472 195941 33554432000 4194304 5964318 140735839307696 140593449875448 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 806728
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19647
/proc/meminfo: memFree=29029316/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=872264 CPUtime=1481.87 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254276 0 0 0 148107 80 0 0 20 0 2 0 286611964 893198336 204232 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 218066 204232 198 433 0 217630 0
[pid=19595/tid=19597] ppid=19593 vsize=872264 CPUtime=1482.09 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253420 0 0 0 148107 102 0 0 20 0 2 0 286611965 893198336 204232 33554432000 4194304 5964318 140735839307696 140593449875448 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 872264
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19650
/proc/meminfo: memFree=29062956/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1541.85 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 154105 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1542.08 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 154104 104 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 805104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19689
/proc/meminfo: memFree=29615200/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1601.84 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 160104 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1602.08 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 160103 105 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 805104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19712
/proc/meminfo: memFree=29548804/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1661.83 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 166103 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1662.08 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 166102 106 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 805104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19712
/proc/meminfo: memFree=29485692/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1721.82 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 172102 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1722.08 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 172101 107 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 805104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29456012/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1781.81 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 178101 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1782.08 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 178100 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 805104
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 19713
/proc/meminfo: memFree=29450656/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1791.51 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179071 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1791.79 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179071 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 805104
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29448424/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1794.71 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179391 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1794.99 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179391 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 805104
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29446920/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1797.91 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179711 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1798.19 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179711 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399721 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 805104
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29445804/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1798.71 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179791 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1798.99 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179791 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399836 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 805104
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29444688/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1799.11 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179831 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1799.39 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179831 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 805104
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19713
/proc/meminfo: memFree=29444688/32873648 swapFree=6860/6860
[pid=19595] ppid=19593 vsize=805104 CPUtime=1799.51 cores=1,3,5,7
/proc/19595/stat : 19595 (wbo1.71) S 19593 19595 18639 0 -1 4202496 254293 0 0 0 179871 80 0 0 20 0 2 0 286611964 824426496 195559 33554432000 4194304 5964318 140735839307696 140735839307216 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19595/statm: 201276 195559 198 433 0 200840 0
[pid=19595/tid=19597] ppid=19593 vsize=805104 CPUtime=1799.79 cores=1,3,5,7
/proc/19595/task/19597/stat : 19597 (wbo1.71) R 19593 19595 18639 0 -1 4202560 253437 0 0 0 179871 108 0 0 20 0 2 0 286611965 824426496 195559 33554432000 4194304 5964318 140735839307696 140593449876408 4399960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 805104
Child status: 255
Real time (s): 1800
CPU time (s): 1799.82
CPU user time (s): 1798.72
CPU system time (s): 1.09483
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 872264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.09483
maximum resident set size= 816932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254295
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= 332
involuntary context switches= 5926
runsolver used 5.46517 second user time and 13.001 second system time
The end