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-3705190-1338103232/watcher-3705190-1338103232 -o /tmp/evaluation-result-3705190-1338103232/solver-3705190-1338103232 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705190-1338103232.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.02 2.02 2.00 4/176 10919
/proc/meminfo: memFree=29411900/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=6892 CPUtime=0 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) R 10917 10919 9313 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 276448622 7057408 297 33554432000 4194304 5963574 140736770814272 140737359669192 5178411 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 1723 297 170 432 0 382 0
[startup+0.018956 s]
/proc/loadavg: 2.02 2.02 2.00 4/176 10919
/proc/meminfo: memFree=29411900/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=7816 CPUtime=0.01 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) R 10917 10919 9313 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 276448622 8003584 572 33554432000 4194304 5963574 140736770814272 140737359669192 4344320 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 1954 572 206 432 0 613 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7816
[startup+0.100218 s]
/proc/loadavg: 2.02 2.02 2.00 4/176 10919
/proc/meminfo: memFree=29411900/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=14372 CPUtime=0.09 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) R 10917 10919 9313 0 -1 4202496 2501 0 0 0 9 0 0 0 20 0 1 0 276448622 14716928 2453 33554432000 4194304 5963574 140736770814272 140737359669192 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 3593 2454 449 432 0 2252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14372
[startup+0.300208 s]
/proc/loadavg: 2.02 2.02 2.00 4/176 10919
/proc/meminfo: memFree=29411900/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=30532 CPUtime=0.29 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) R 10917 10919 9313 0 -1 4202496 7057 0 0 0 29 0 0 0 20 0 1 0 276448622 31264768 7009 33554432000 4194304 5963574 140736770814272 140736770812744 4344432 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 7633 7009 1037 432 0 6292 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30532
[startup+0.700278 s]
/proc/loadavg: 2.02 2.02 2.00 4/176 10919
/proc/meminfo: memFree=29411900/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=0.69 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 14076 0 0 0 67 2 0 0 20 0 2 0 276448622 110702592 12951 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 12951 192 432 0 26592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 108108
[startup+1.5003 s]
/proc/loadavg: 2.02 2.02 2.00 2/175 10922
/proc/meminfo: memFree=29938724/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=1.49 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 14112 0 0 0 147 2 0 0 20 0 2 0 276448622 110702592 12987 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 12987 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=1.18 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 6414 0 0 0 116 2 0 0 20 0 2 0 276448653 110702592 12987 33554432000 4194304 5963574 140736770814272 140540831946744 4403255 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108108
[startup+3.1003 s]
/proc/loadavg: 1.94 2.00 1.99 2/174 10950
/proc/meminfo: memFree=29945124/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=3.09 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 14204 0 0 0 307 2 0 0 20 0 2 0 276448622 110702592 13079 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 13079 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=2.78 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 6506 0 0 0 276 2 0 0 20 0 2 0 276448653 110702592 13079 33554432000 4194304 5963574 140736770814272 140540831946680 4403257 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108108
[startup+6.3003 s]
/proc/loadavg: 1.94 2.00 1.99 3/178 10961
/proc/meminfo: memFree=29924212/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=6.29 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 14356 0 0 0 627 2 0 0 20 0 2 0 276448622 110702592 13232 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 13232 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=5.97 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 6658 0 0 0 595 2 0 0 20 0 2 0 276448653 110702592 13232 33554432000 4194304 5963574 140736770814272 140540831946552 4403255 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108108
[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 1.99 3/178 10961
/proc/meminfo: memFree=29920580/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=12.68 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 14716 0 0 0 1266 2 0 0 20 0 2 0 276448622 110702592 13592 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 13592 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=12.35 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 7018 0 0 0 1233 2 0 0 20 0 2 0 276448653 110702592 13592 33554432000 4194304 5963574 140736770814272 140540831946744 4403213 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 108108
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 1.99 3/178 10961
/proc/meminfo: memFree=29911892/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=25.47 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 15240 0 0 0 2545 2 0 0 20 0 2 0 276448622 110702592 14198 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 14198 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=25.1 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 7542 0 0 0 2508 2 0 0 20 0 2 0 276448653 110702592 14198 33554432000 4194304 5963574 140736770814272 140540831946552 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 108108
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 10961
/proc/meminfo: memFree=29898484/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108108 CPUtime=51.07 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 16111 0 0 0 5103 4 0 0 20 0 2 0 276448622 110702592 15303 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27027 15303 194 432 0 26592 0
[pid=10919/tid=10922] ppid=10917 vsize=108108 CPUtime=50.63 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 8413 0 0 0 5060 3 0 0 20 0 2 0 276448653 110702592 15303 33554432000 4194304 5963574 140736770814272 140540831946680 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 108108
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10961
/proc/meminfo: memFree=29873108/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108432 CPUtime=102.27 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 17832 0 0 0 10222 5 0 0 20 0 2 0 276448622 111034368 17024 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27108 17024 194 432 0 26673 0
[pid=10919/tid=10922] ppid=10917 vsize=108432 CPUtime=101.7 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 10134 0 0 0 10165 5 0 0 20 0 2 0 276448653 111034368 17024 33554432000 4194304 5963574 140736770814272 140540831946552 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 108432
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10962
/proc/meminfo: memFree=29866400/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108592 CPUtime=162.25 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 19474 0 0 0 16219 6 0 0 20 0 2 0 276448622 111198208 18669 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27148 18669 194 432 0 26713 0
[pid=10919/tid=10922] ppid=10917 vsize=108592 CPUtime=161.54 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 11776 0 0 0 16147 7 0 0 20 0 2 0 276448653 111198208 18669 33554432000 4194304 5963574 140736770814272 140540831946792 4402912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 108592
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10962
/proc/meminfo: memFree=29858944/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108592 CPUtime=222.24 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 20682 0 0 0 22217 7 0 0 20 0 2 0 276448622 111198208 19881 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27148 19881 194 432 0 26713 0
[pid=10919/tid=10922] ppid=10917 vsize=108592 CPUtime=221.39 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 12984 0 0 0 22130 9 0 0 20 0 2 0 276448653 111198208 19881 33554432000 4194304 5963574 140736770814272 140540831946744 4222474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 108592
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10962
/proc/meminfo: memFree=29834508/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108832 CPUtime=282.23 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 22315 0 0 0 28214 9 0 0 20 0 2 0 276448622 111443968 21541 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27208 21541 194 432 0 26773 0
[pid=10919/tid=10922] ppid=10917 vsize=108832 CPUtime=281.23 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 14617 0 0 0 28111 12 0 0 20 0 2 0 276448653 111443968 21541 33554432000 4194304 5963574 140736770814272 140540831946552 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 108832
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10962
/proc/meminfo: memFree=29818488/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=108832 CPUtime=342.23 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 23693 0 0 0 34212 11 0 0 20 0 2 0 276448622 111443968 22919 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 27208 22919 194 432 0 26773 0
[pid=10919/tid=10922] ppid=10917 vsize=108832 CPUtime=341.08 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 15995 0 0 0 34093 15 0 0 20 0 2 0 276448653 111443968 22919 33554432000 4194304 5963574 140736770814272 140540831946792 4402906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 108832
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10963
/proc/meminfo: memFree=29804080/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=174368 CPUtime=402.21 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 24415 0 0 0 40210 11 0 0 20 0 2 0 276448622 178552832 23658 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 43592 23658 194 432 0 43157 0
[pid=10919/tid=10922] ppid=10917 vsize=174368 CPUtime=400.92 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 16717 0 0 0 40075 17 0 0 20 0 2 0 276448653 178552832 23658 33554432000 4194304 5963574 140736770814272 140540831946552 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 174368
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10964
/proc/meminfo: memFree=29789820/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=174368 CPUtime=462.21 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10973
/proc/meminfo: memFree=29643288/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1422.06 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 43936 0 0 0 142175 31 0 0 20 0 2 0 276448622 246030336 43334 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 43334 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1418.29 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 36238 0 0 0 141778 51 0 0 20 0 2 0 276448653 246030336 43334 33554432000 4194304 5963574 140736770814272 140540831946792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 240264
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10973
/proc/meminfo: memFree=29639568/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1482.05 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 44827 0 0 0 148173 32 0 0 20 0 2 0 276448622 246030336 44225 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 44225 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1478.13 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 37129 0 0 0 147760 53 0 0 20 0 2 0 276448653 246030336 44225 33554432000 4194304 5963574 140736770814272 140540831946792 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 240264
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 10973
/proc/meminfo: memFree=29640196/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1542.04 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 44829 0 0 0 154172 32 0 0 20 0 2 0 276448622 246030336 44227 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 44227 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1537.98 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 37131 0 0 0 153744 54 0 0 20 0 2 0 276448653 246030336 44227 33554432000 4194304 5963574 140736770814272 140540831946792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 240264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10974
/proc/meminfo: memFree=29634596/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1602.03 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 46197 0 0 0 160170 33 0 0 20 0 2 0 276448622 246030336 45675 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 45675 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1597.82 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 38499 0 0 0 159726 56 0 0 20 0 2 0 276448653 246030336 45675 33554432000 4194304 5963574 140736770814272 140540831946744 4402906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 240264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10975
/proc/meminfo: memFree=29630752/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1662.02 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47098 0 0 0 166168 34 0 0 20 0 2 0 276448622 246030336 46576 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 46576 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1657.67 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 39400 0 0 0 165708 59 0 0 20 0 2 0 276448653 246030336 46576 33554432000 4194304 5963574 140736770814272 140540831946744 4392498 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 240264
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10975
/proc/meminfo: memFree=29630876/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1722.01 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47098 0 0 0 172167 34 0 0 20 0 2 0 276448622 246030336 46576 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 46576 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1717.52 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 39400 0 0 0 171692 60 0 0 20 0 2 0 276448653 246030336 46576 33554432000 4194304 5963574 140736770814272 140540831946744 4403036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 240264
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10978
/proc/meminfo: memFree=29626776/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1782.01 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47432 0 0 0 178166 35 0 0 20 0 2 0 276448622 246030336 46910 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 46910 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1777.36 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 39734 0 0 0 177675 61 0 0 20 0 2 0 276448653 246030336 46910 33554432000 4194304 5963574 140736770814272 140540831946744 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 240264
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10978
/proc/meminfo: memFree=29625536/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1791.61 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47717 0 0 0 179126 35 0 0 20 0 2 0 276448622 246030336 47195 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47195 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1786.94 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40019 0 0 0 178633 61 0 0 20 0 2 0 276448653 246030336 47195 33554432000 4194304 5963574 140736770814272 140540831946744 4402906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 240264
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29625152/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1794.8 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47815 0 0 0 179445 35 0 0 20 0 2 0 276448622 246030336 47314 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47314 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1790.13 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40117 0 0 0 178952 61 0 0 20 0 2 0 276448653 246030336 47314 33554432000 4194304 5963574 140736770814272 140540831946792 4403263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 240264
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29624780/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1798 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47923 0 0 0 179765 35 0 0 20 0 2 0 276448622 246030336 47422 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47422 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1793.32 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40225 0 0 0 179271 61 0 0 20 0 2 0 276448653 246030336 47422 33554432000 4194304 5963574 140736770814272 140540831946552 4403234 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 240264
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29624532/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1798.79 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47951 0 0 0 179844 35 0 0 20 0 2 0 276448622 246030336 47450 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47450 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1794.11 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40253 0 0 0 179350 61 0 0 20 0 2 0 276448653 246030336 47450 33554432000 4194304 5963574 140736770814272 140540831946792 4403257 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 240264
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29624284/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1799.2 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47967 0 0 0 179885 35 0 0 20 0 2 0 276448622 246030336 47466 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47466 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1794.52 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40269 0 0 0 179391 61 0 0 20 0 2 0 276448653 246030336 47466 33554432000 4194304 5963574 140736770814272 140540831946744 4222317 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 240264
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29624284/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1799.59 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47981 0 0 0 179924 35 0 0 20 0 2 0 276448622 246030336 47480 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47480 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1794.91 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40283 0 0 0 179429 62 0 0 20 0 2 0 276448653 246030336 47480 33554432000 4194304 5963574 140736770814272 140540831946744 4402906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 240264
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10978
/proc/meminfo: memFree=29624284/32873852 swapFree=7624/7624
[pid=10919] ppid=10917 vsize=240264 CPUtime=1799.69 cores=0,2,4,6
/proc/10919/stat : 10919 (wbo1.7) S 10917 10919 9313 0 -1 4202496 47985 0 0 0 179934 35 0 0 20 0 2 0 276448622 246030336 47484 33554432000 4194304 5963574 140736770814272 140736770813792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10919/statm: 60066 47484 194 432 0 59631 0
[pid=10919/tid=10922] ppid=10917 vsize=240264 CPUtime=1795.01 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (wbo1.7) R 10917 10919 9313 0 -1 4202560 40287 0 0 0 179439 62 0 0 20 0 2 0 276448653 246030336 47484 33554432000 4194304 5963574 140736770814272 140540831946744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 240264
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10919 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=698164
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=638902
# CPU time returned by wait4() is 1795.34
# while last known CPU time is 1799.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.69
CPU user time (s): 1799.34
CPU system time (s): 0.35
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 240264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 0.638902
maximum resident set size= 189948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47988
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= 79
involuntary context switches= 1901
runsolver used 2.78158 second user time and 7.03993 second system time
The end