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-3705681-1338094344/watcher-3705681-1338094344 -o /tmp/evaluation-result-3705681-1338094344/solver-3705681-1338094344 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705681-1338094344.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.00 2.00 1.97 3/177 18909
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=4080 CPUtime=0 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) R 18907 18909 16852 0 -1 4202496 469 0 0 0 0 0 0 0 20 0 1 0 275562996 4177920 422 33554432000 4194304 5963574 140735526470128 140733396275528 5371522 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 1020 422 170 432 0 531 0
[startup+0.0346619 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18909
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=0.02 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 2091 0 0 0 2 0 0 0 20 0 2 0 275562996 87568384 1990 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 1990 192 432 0 20944 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 85516
[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18909
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=0.09 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 2323 0 0 0 9 0 0 0 20 0 2 0 275562996 87568384 2222 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 2222 194 432 0 20944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85516
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18909
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=0.29 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 2441 0 0 0 29 0 0 0 20 0 2 0 275562996 87568384 2340 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 2340 194 432 0 20944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85516
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18909
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=0.69 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 3102 0 0 0 69 0 0 0 20 0 2 0 275562996 87568384 3001 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 3001 194 432 0 20944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85516
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26501748/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=1.48 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 4677 0 0 0 147 1 0 0 20 0 2 0 275562996 87568384 4576 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 4576 194 432 0 20944 0
[pid=18909/tid=18911] ppid=18907 vsize=85516 CPUtime=1.46 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 3470 0 0 0 145 1 0 0 20 0 2 0 275562998 87568384 4576 33554432000 4194304 5963574 140735526470128 139911976425464 5135572 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) 85516
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26493564/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=3.08 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 7125 0 0 0 306 2 0 0 20 0 2 0 275562996 87568384 7024 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 7024 194 432 0 20944 0
[pid=18909/tid=18911] ppid=18907 vsize=85516 CPUtime=3.06 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 5918 0 0 0 304 2 0 0 20 0 2 0 275562998 87568384 7024 33554432000 4194304 5963574 140735526470128 139911976425272 4399614 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) 85516
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26485380/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85660 CPUtime=6.28 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 7610 0 0 0 626 2 0 0 20 0 2 0 275562996 87715840 7509 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21415 7509 194 432 0 20980 0
[pid=18909/tid=18911] ppid=18907 vsize=85660 CPUtime=6.27 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 6403 0 0 0 624 3 0 0 20 0 2 0 275562998 87715840 7509 33554432000 4194304 5963574 140735526470128 139911976425512 4392480 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) 85660
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26480304/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=85516 CPUtime=12.68 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 9437 0 0 0 1266 2 0 0 20 0 2 0 275562996 87568384 9308 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 21379 9308 194 432 0 20944 0
[pid=18909/tid=18911] ppid=18907 vsize=85516 CPUtime=12.66 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 8231 0 0 0 1263 3 0 0 20 0 2 0 275562998 87568384 9309 33554432000 4194304 5963574 140735526470128 139911976425272 5135572 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) 85516
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26445508/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=151268 CPUtime=25.48 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 17949 0 0 0 2543 5 0 0 20 0 2 0 275562996 154898432 17820 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 37817 17820 194 432 0 37382 0
[pid=18909/tid=18911] ppid=18907 vsize=151268 CPUtime=25.46 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 16742 0 0 0 2540 6 0 0 20 0 2 0 275562998 154898432 17820 33554432000 4194304 5963574 140735526470128 139911976425464 4402879 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151268
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390172/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=151376 CPUtime=51.07 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 30802 0 0 0 5096 11 0 0 20 0 2 0 275562996 155009024 30673 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 37844 30673 194 432 0 37409 0
[pid=18909/tid=18911] ppid=18907 vsize=151376 CPUtime=51.06 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 29595 0 0 0 5095 11 0 0 20 0 2 0 275562998 155009024 30673 33554432000 4194304 5963574 140735526470128 139911976425272 4391318 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) 151376
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27025540/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=217072 CPUtime=102.24 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 41699 0 0 0 10209 15 0 0 20 0 2 0 275562996 222281728 41845 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 54268 41845 194 432 0 53833 0
[pid=18909/tid=18911] ppid=18907 vsize=217072 CPUtime=102.25 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 40492 0 0 0 10208 17 0 0 20 0 2 0 275562998 222281728 41845 33554432000 4194304 5963574 140735526470128 139911976425464 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 217072
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/179 18962
/proc/meminfo: memFree=26968280/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=282608 CPUtime=162.2 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 51062 0 0 0 16201 19 0 0 20 0 2 0 275562996 289390592 51277 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 70652 51277 194 432 0 70217 0
[pid=18909/tid=18911] ppid=18907 vsize=282608 CPUtime=162.2 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 49855 0 0 0 16198 22 0 0 20 0 2 0 275562998 289390592 51277 33554432000 4194304 5963574 140735526470128 139911976425464 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 282608
[startup+222.3 s]
/proc/loadavg: 2.09 2.03 1.98 3/179 18962
/proc/meminfo: memFree=26898012/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=283928 CPUtime=222.17 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 59038 0 0 0 22193 24 0 0 20 0 2 0 275562996 290742272 59438 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 70982 59438 194 432 0 70547 0
[pid=18909/tid=18911] ppid=18907 vsize=283928 CPUtime=222.19 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 57831 0 0 0 22191 28 0 0 20 0 2 0 275562998 290742272 59438 33554432000 4194304 5963574 140735526470128 139911976425464 4399614 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 283928
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/179 18963
/proc/meminfo: memFree=26824436/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=351300 CPUtime=282.14 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 71047 0 0 0 28184 30 0 0 20 0 2 0 275562996 359731200 71514 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 87825 71514 194 432 0 87390 0
[pid=18909/tid=18911] ppid=18907 vsize=351300 CPUtime=282.17 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 69840 0 0 0 28183 34 0 0 20 0 2 0 275562998 359731200 71514 33554432000 4194304 5963574 140735526470128 139911976425464 4390707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 351300
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 18963
/proc/meminfo: memFree=26798360/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=351300 CPUtime=342.12 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 71490 0 0 0 34182 30 0 0 20 0 2 0 275562996 359731200 72022 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 87825 72022 194 432 0 87390 0
[pid=18909/tid=18911] ppid=18907 vsize=351300 CPUtime=342.16 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 70283 0 0 0 34180 36 0 0 20 0 2 0 275562998 359731200 72022 33554432000 4194304 5963574 140735526470128 139911976425464 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 351300
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/179 18963
/proc/meminfo: memFree=26738632/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=352488 CPUtime=402.09 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 79289 0 0 0 40175 34 0 0 20 0 2 0 275562996 360947712 79862 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 88122 79862 194 432 0 87687 0
[pid=18909/tid=18911] ppid=18907 vsize=352488 CPUtime=402.15 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 78082 0 0 0 40174 41 0 0 20 0 2 0 275562998 360947712 79862 33554432000 4194304 5963574 140735526470128 139911976425272 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 352488
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 18966
/proc/meminfo: memFree=26672112/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=418024 CPUtime=462.08 cores=1,3,5,7
################
# More data... #
################
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 130135 77 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4390948 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 544268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18995
/proc/meminfo: memFree=26325188/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1361.87 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 122293 0 0 0 136130 57 0 0 20 0 2 0 275562996 557330432 118532 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 118532 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1362.11 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 136133 78 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 544268
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18995
/proc/meminfo: memFree=26304760/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1421.87 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 122293 0 0 0 142130 57 0 0 20 0 2 0 275562996 557330432 118532 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 118532 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1422.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 142133 79 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4389768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 544268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26298188/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1481.85 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 122293 0 0 0 148128 57 0 0 20 0 2 0 275562996 557330432 118532 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 118532 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1482.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 148132 80 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 544268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26268668/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1541.84 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 122293 0 0 0 154127 57 0 0 20 0 2 0 275562996 557330432 118532 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 118532 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1542.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 154131 81 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 544268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26257508/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1601.83 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 122293 0 0 0 160126 57 0 0 20 0 2 0 275562996 557330432 118532 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 118532 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1602.13 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 121086 0 0 0 160131 82 0 0 20 0 2 0 275562998 557330432 118532 33554432000 4194304 5963574 140735526470128 139911976426424 4400055 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 544268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 18999
/proc/meminfo: memFree=26219480/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1661.83 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130477 0 0 0 166122 61 0 0 20 0 2 0 275562996 557330432 126731 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 126731 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1662.13 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129270 0 0 0 166127 86 0 0 20 0 2 0 275562998 557330432 126731 33554432000 4194304 5963574 140735526470128 139911976425464 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 544268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18999
/proc/meminfo: memFree=26197832/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1721.81 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130671 0 0 0 172120 61 0 0 20 0 2 0 275562996 557330432 127008 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127008 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1722.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129464 0 0 0 172125 87 0 0 20 0 2 0 275562998 557330432 127008 33554432000 4194304 5963574 140735526470128 139911976425400 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 544268
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 18999
/proc/meminfo: memFree=26191260/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1781.8 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 178119 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1782.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 178124 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4400052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 544268
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191260/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1791.4 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179079 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1791.73 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179085 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 544268
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191260/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1794.6 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179399 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1794.93 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179405 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4409042 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 544268
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191384/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1797.8 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179719 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1798.12 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179724 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4388700 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 544268
[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191384/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1798.6 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179799 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1798.92 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179804 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 544268
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191384/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1799 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179839 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1799.33 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179845 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 544268
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191384/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1799.4 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179879 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1799.72 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179884 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 544268
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19000
/proc/meminfo: memFree=26191384/32873844 swapFree=6088/6088
[pid=18909] ppid=18907 vsize=544268 CPUtime=1799.5 cores=1,3,5,7
/proc/18909/stat : 18909 (wbo1.7) S 18907 18909 16852 0 -1 4202496 130699 0 0 0 179889 61 0 0 20 0 2 0 275562996 557330432 127036 33554432000 4194304 5963574 140735526470128 140735526469648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18909/statm: 136067 127036 194 432 0 135632 0
[pid=18909/tid=18911] ppid=18907 vsize=544268 CPUtime=1799.82 cores=1,3,5,7
/proc/18909/task/18911/stat : 18911 (wbo1.7) R 18907 18909 16852 0 -1 4202560 129492 0 0 0 179894 88 0 0 20 0 2 0 275562998 557330432 127036 33554432000 4194304 5963574 140735526470128 139911976425400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 544268
Child status: 255
Real time (s): 1800
CPU time (s): 1799.87
CPU user time (s): 1798.97
CPU system time (s): 0.893864
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 569368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 0.893864
maximum resident set size= 508144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130699
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= 244
involuntary context switches= 2001
runsolver used 2.71259 second user time and 7.11992 second system time
The end