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-3705645-1338103347/watcher-3705645-1338103347 -o /tmp/evaluation-result-3705645-1338103347/solver-3705645-1338103347 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705645-1338103347.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.03 2.02 2.00 3/177 19615
/proc/meminfo: memFree=26711444/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=11704 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) R 19613 19615 16852 0 -1 4202496 732 0 0 0 0 0 0 0 20 0 1 0 276463448 11984896 686 33554432000 4194304 5963574 140737248470464 140734592827672 4395699 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 2926 686 170 432 0 814 0
[startup+0.0511859 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19615
/proc/meminfo: memFree=26711444/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=23944 CPUtime=0.04 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) R 19613 19615 16852 0 -1 4202496 3761 0 0 0 4 0 0 0 20 0 1 0 276463448 24518656 3560 33554432000 4194304 5963574 140737248470464 140734592827672 5117610 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 5986 3560 273 432 0 3874 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23944
[startup+0.100368 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19615
/proc/meminfo: memFree=26711444/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=31400 CPUtime=0.09 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) R 19613 19615 16852 0 -1 4202496 5780 0 0 0 9 0 0 0 20 0 1 0 276463448 32153600 5482 33554432000 4194304 5963574 140737248470464 140734592827672 4338756 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 7850 5484 368 432 0 5738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31400
[startup+0.300307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19615
/proc/meminfo: memFree=26711444/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=45616 CPUtime=0.29 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) R 19613 19615 16852 0 -1 4202496 9571 0 0 0 28 1 0 0 20 0 1 0 276463448 46710784 9144 33554432000 4194304 5963574 140737248470464 140737248468936 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 11404 9144 866 432 0 9292 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45616
[startup+0.700203 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19615
/proc/meminfo: memFree=26711444/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=145836 CPUtime=0.69 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 20031 0 0 0 67 2 0 0 20 0 2 0 276463448 149336064 17927 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 36459 17927 177 432 0 36024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145836
[startup+1.50024 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19617
/proc/meminfo: memFree=26592924/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=201000 CPUtime=1.49 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 39125 0 0 0 143 6 0 0 20 0 2 0 276463448 205824000 32949 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 50250 32949 192 432 0 49815 0
[pid=19615/tid=19617] ppid=19613 vsize=201000 CPUtime=0.83 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 23503 0 0 0 79 4 0 0 20 0 2 0 276463513 205824000 32949 33554432000 4194304 5963574 140737248470464 140729719679928 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201000
[startup+3.10025 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19617
/proc/meminfo: memFree=26580400/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=201000 CPUtime=3.09 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 39127 0 0 0 303 6 0 0 20 0 2 0 276463448 205824000 32951 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 50250 32951 194 432 0 49815 0
[pid=19615/tid=19617] ppid=19613 vsize=201000 CPUtime=2.43 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 23505 0 0 0 239 4 0 0 20 0 2 0 276463513 205824000 32951 33554432000 4194304 5963574 140737248470464 140729719679928 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201000
[startup+6.3003 s]
/proc/loadavg: 2.18 2.05 2.01 3/179 19617
/proc/meminfo: memFree=26579128/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=201000 CPUtime=6.29 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 39127 0 0 0 623 6 0 0 20 0 2 0 276463448 205824000 32951 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 50250 32951 194 432 0 49815 0
[pid=19615/tid=19617] ppid=19613 vsize=201000 CPUtime=5.63 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 23505 0 0 0 559 4 0 0 20 0 2 0 276463513 205824000 32951 33554432000 4194304 5963574 140737248470464 140729719679928 4403213 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 201000
[startup+12.7003 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 19617
/proc/meminfo: memFree=26544360/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=201000 CPUtime=12.68 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 47281 0 0 0 1261 7 0 0 20 0 2 0 276463448 205824000 41613 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 50250 41613 194 432 0 49815 0
[pid=19615/tid=19617] ppid=19613 vsize=201000 CPUtime=12.03 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 31659 0 0 0 1197 6 0 0 20 0 2 0 276463513 205824000 41613 33554432000 4194304 5963574 140737248470464 140729719679336 4388706 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) 201000
[startup+25.5004 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 19617
/proc/meminfo: memFree=26544096/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=201000 CPUtime=25.47 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 47281 0 0 0 2540 7 0 0 20 0 2 0 276463448 205824000 41613 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 50250 41613 194 432 0 49815 0
[pid=19615/tid=19617] ppid=19613 vsize=201000 CPUtime=24.83 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 31659 0 0 0 2477 6 0 0 20 0 2 0 276463513 205824000 41613 33554432000 4194304 5963574 140737248470464 140729719679336 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 201000
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 19617
/proc/meminfo: memFree=26512352/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=266536 CPUtime=51.07 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 55768 0 0 0 5097 10 0 0 20 0 2 0 276463448 272932864 50100 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 66634 50100 194 432 0 66199 0
[pid=19615/tid=19617] ppid=19613 vsize=266536 CPUtime=50.43 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 40146 0 0 0 5034 9 0 0 20 0 2 0 276463513 272932864 50100 33554432000 4194304 5963574 140737248470464 140729719678488 4403019 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 266536
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 19668
/proc/meminfo: memFree=26914432/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=332072 CPUtime=102.26 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 77197 0 0 0 10210 16 0 0 20 0 2 0 276463448 340041728 72139 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 83018 72139 194 432 0 82583 0
[pid=19615/tid=19617] ppid=19613 vsize=332072 CPUtime=101.63 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 61575 0 0 0 10147 16 0 0 20 0 2 0 276463513 340041728 72139 33554432000 4194304 5963574 140737248470464 140729719678488 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 332072
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 19669
/proc/meminfo: memFree=26779176/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=463144 CPUtime=162.22 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 104345 0 0 0 16197 25 0 0 20 0 2 0 276463448 474259456 99272 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 115786 99272 194 432 0 115351 0
[pid=19615/tid=19617] ppid=19613 vsize=463144 CPUtime=161.6 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 88723 0 0 0 16135 25 0 0 20 0 2 0 276463513 474259456 99272 33554432000 4194304 5963574 140737248470464 140729719678488 4388621 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 463144
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19669
/proc/meminfo: memFree=26628360/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=594216 CPUtime=222.18 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 135725 0 0 0 22183 35 0 0 20 0 2 0 276463448 608477184 131061 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 148554 131061 194 432 0 148119 0
[pid=19615/tid=19617] ppid=19613 vsize=594216 CPUtime=221.58 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 120103 0 0 0 22122 36 0 0 20 0 2 0 276463513 608477184 131061 33554432000 4194304 5963574 140737248470464 140729719678488 4399633 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 594216
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19669
/proc/meminfo: memFree=26480356/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=725288 CPUtime=282.16 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 167640 0 0 0 28171 45 0 0 20 0 2 0 276463448 742694912 162975 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 181322 162975 194 432 0 180887 0
[pid=19615/tid=19617] ppid=19613 vsize=725288 CPUtime=281.57 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 152018 0 0 0 28109 48 0 0 20 0 2 0 276463513 742694912 162975 33554432000 4194304 5963574 140737248470464 140729719678488 5133119 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 725288
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19669
/proc/meminfo: memFree=26319200/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=856360 CPUtime=342.15 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 201180 0 0 0 34159 56 0 0 20 0 2 0 276463448 876912640 196515 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 214090 196515 194 432 0 213655 0
[pid=19615/tid=19617] ppid=19613 vsize=856360 CPUtime=341.57 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 185558 0 0 0 34097 60 0 0 20 0 2 0 276463513 876912640 196515 33554432000 4194304 5963574 140737248470464 140729719678968 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 856360
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19670
/proc/meminfo: memFree=26172484/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=987432 CPUtime=402.14 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 233778 0 0 0 40149 65 0 0 20 0 2 0 276463448 1011130368 229117 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 246858 229117 194 432 0 246423 0
[pid=19615/tid=19617] ppid=19613 vsize=987432 CPUtime=401.57 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 218156 0 0 0 40087 70 0 0 20 0 2 0 276463513 1011130368 229117 33554432000 4194304 5963574 140737248470464 140729719678488 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 987432
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19674
/proc/meminfo: memFree=26018744/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1118504 CPUtime=462.11 cores=1,3,5,7
################
# More data... #
################
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 416913 0 0 0 129990 156 0 0 20 0 2 0 276463513 1816436736 428705 33554432000 4194304 5963574 140737248470464 140729719679336 4399451 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1773864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25240748/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1773864 CPUtime=1361.82 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 432603 0 0 0 136044 138 0 0 20 0 2 0 276463448 1816436736 428756 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 443466 428756 194 432 0 443031 0
[pid=19615/tid=19617] ppid=19613 vsize=1773864 CPUtime=1361.45 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 416981 0 0 0 135988 157 0 0 20 0 2 0 276463513 1816436736 428756 33554432000 4194304 5963574 140737248470464 140729719679336 4388608 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1773864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25232468/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1773864 CPUtime=1421.8 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 432628 0 0 0 142042 138 0 0 20 0 2 0 276463448 1816436736 428757 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 443466 428757 194 432 0 443031 0
[pid=19615/tid=19617] ppid=19613 vsize=1773864 CPUtime=1421.44 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 417006 0 0 0 141986 158 0 0 20 0 2 0 276463513 1816436736 428757 33554432000 4194304 5963574 140737248470464 140729719679336 4388700 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1773864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25218980/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1773864 CPUtime=1481.77 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 432656 0 0 0 148039 138 0 0 20 0 2 0 276463448 1816436736 428766 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 443466 428766 194 432 0 443031 0
[pid=19615/tid=19617] ppid=19613 vsize=1773864 CPUtime=1481.42 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 417034 0 0 0 147983 159 0 0 20 0 2 0 276463513 1816436736 428766 33554432000 4194304 5963574 140737248470464 140729719679336 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1773864
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25206732/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1773864 CPUtime=1541.76 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 432671 0 0 0 154038 138 0 0 20 0 2 0 276463448 1816436736 428766 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 443466 428766 194 432 0 443031 0
[pid=19615/tid=19617] ppid=19613 vsize=1773864 CPUtime=1541.41 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 417049 0 0 0 153981 160 0 0 20 0 2 0 276463513 1816436736 428766 33554432000 4194304 5963574 140737248470464 140729719679336 4399639 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1773864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25074952/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=1904936 CPUtime=1601.73 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 461171 0 0 0 160025 148 0 0 20 0 2 0 276463448 1950654464 457249 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 476234 457249 194 432 0 475799 0
[pid=19615/tid=19617] ppid=19613 vsize=1904936 CPUtime=1601.4 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 445549 0 0 0 159969 171 0 0 20 0 2 0 276463513 1950654464 457249 33554432000 4194304 5963574 140737248470464 140729719678488 4388683 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1904936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19685
/proc/meminfo: memFree=24932344/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2036008 CPUtime=1661.72 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 496386 0 0 0 166012 160 0 0 20 0 2 0 276463448 2084872192 492464 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 509002 492464 194 432 0 508567 0
[pid=19615/tid=19617] ppid=19613 vsize=2036008 CPUtime=1661.4 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 480764 0 0 0 165956 184 0 0 20 0 2 0 276463513 2084872192 492464 33554432000 4194304 5963574 140737248470464 140729719678488 4402906 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 2036008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24789256/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2167080 CPUtime=1721.72 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 530916 0 0 0 172000 172 0 0 20 0 2 0 276463448 2219089920 526994 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 541770 526994 194 432 0 541335 0
[pid=19615/tid=19617] ppid=19613 vsize=2167080 CPUtime=1721.4 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 515294 0 0 0 171943 197 0 0 20 0 2 0 276463513 2219089920 526994 33554432000 4194304 5963574 140737248470464 140729719678488 4388643 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 2167080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24707416/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1781.7 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 177993 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1781.41 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 177938 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 2232616
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24706796/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1791.31 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 178954 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1791.01 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 178898 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4388665 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 2232616
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24706796/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1794.51 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179274 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1794.21 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179218 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4388643 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 2232616
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24706300/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1797.7 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179593 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1797.41 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179538 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4403244 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 2232616
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24705928/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1798.5 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179673 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1798.21 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179618 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4403253 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 2232616
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24705556/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1798.91 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179714 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1798.61 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179658 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.91
Current children cumulated vsize (KiB) 2232616
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24705556/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1799.3 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179753 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1799.01 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179698 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4388621 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 2232616
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24705556/32873844 swapFree=6088/6088
[pid=19615] ppid=19613 vsize=2232616 CPUtime=1799.4 cores=1,3,5,7
/proc/19615/stat : 19615 (wbo1.7) S 19613 19615 16852 0 -1 4202496 548176 0 0 0 179763 177 0 0 20 0 2 0 276463448 2286198784 544254 33554432000 4194304 5963574 140737248470464 140737248469984 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19615/statm: 558154 544254 194 432 0 557719 0
[pid=19615/tid=19617] ppid=19613 vsize=2232616 CPUtime=1799.11 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (wbo1.7) R 19613 19615 16852 0 -1 4202560 532554 0 0 0 179708 203 0 0 20 0 2 0 276463513 2286198784 544254 33554432000 4194304 5963574 140737248470464 140729719678968 4388646 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 2232616
Child status: 255
Real time (s): 1800.04
CPU time (s): 1799.82
CPU user time (s): 1797.72
CPU system time (s): 2.10168
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 2232616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.72
system time used= 2.10168
maximum resident set size= 2177016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548176
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= 410
involuntary context switches= 1949
runsolver used 4.01139 second user time and 8.87565 second system time
The end