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-3727383-1338655126/watcher-3727383-1338655126 -o /tmp/evaluation-result-3727383-1338655126/solver-3727383-1338655126 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727383-1338655126.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.05 2.01 1.92 3/177 21680
/proc/meminfo: memFree=27134544/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=0 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 833 0 0 0 0 0 0 0 20 0 2 0 331639968 85708800 779 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 779 193 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=0 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 2 0 331639969 85708800 779 33554432000 4194304 5964350 140737305089712 140734726290968 5236791 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.094752 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 21680
/proc/meminfo: memFree=27134544/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=0.08 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 1125 0 0 0 8 0 0 0 20 0 2 0 331639968 85708800 1071 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 1072 197 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=0.07 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 387 0 0 0 7 0 0 0 20 0 2 0 331639969 85708800 1072 33554432000 4194304 5964350 140737305089712 140734726290968 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83700
[startup+0.100285 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 21680
/proc/meminfo: memFree=27134544/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=0.09 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 1126 0 0 0 9 0 0 0 20 0 2 0 331639968 85708800 1072 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 1072 197 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=0.08 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 387 0 0 0 8 0 0 0 20 0 2 0 331639969 85708800 1072 33554432000 4194304 5964350 140737305089712 140734726290968 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83700
[startup+0.300238 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 21680
/proc/meminfo: memFree=27134544/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=0.29 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 1384 0 0 0 29 0 0 0 20 0 2 0 331639968 85708800 1330 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 1330 197 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=0.28 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 645 0 0 0 28 0 0 0 20 0 2 0 331639969 85708800 1330 33554432000 4194304 5964350 140737305089712 140734726290968 4395119 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83700
[startup+0.700242 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 21680
/proc/meminfo: memFree=27134544/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=0.69 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 1674 0 0 0 69 0 0 0 20 0 2 0 331639968 85708800 1620 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 1620 197 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=0.68 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 935 0 0 0 68 0 0 0 20 0 2 0 331639969 85708800 1620 33554432000 4194304 5964350 140737305089712 140734726290968 4399889 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83700
[startup+1.5002 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 21682
/proc/meminfo: memFree=27107412/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84084 CPUtime=1.49 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 2056 0 0 0 149 0 0 0 20 0 2 0 331639968 86102016 1971 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21021 1971 197 433 0 20585 0
[pid=21680/tid=21681] ppid=21678 vsize=84084 CPUtime=1.48 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 1317 0 0 0 148 0 0 0 20 0 2 0 331639969 86102016 1971 33554432000 4194304 5964350 140737305089712 140461097511272 5136340 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) 84084
[startup+3.10025 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 21682
/proc/meminfo: memFree=27084348/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84228 CPUtime=3.08 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 2729 0 0 0 308 0 0 0 20 0 2 0 331639968 86249472 2644 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21057 2644 197 433 0 20621 0
[pid=21680/tid=21681] ppid=21678 vsize=84228 CPUtime=3.08 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 1990 0 0 0 308 0 0 0 20 0 2 0 331639969 86249472 2644 33554432000 4194304 5964350 140737305089712 140461097510712 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84228
[startup+6.30019 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 21682
/proc/meminfo: memFree=27025820/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84084 CPUtime=6.29 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 3431 0 0 0 628 1 0 0 20 0 2 0 331639968 86102016 3217 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21021 3217 197 433 0 20585 0
[pid=21680/tid=21681] ppid=21678 vsize=84084 CPUtime=6.28 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 2692 0 0 0 628 0 0 0 20 0 2 0 331639969 86102016 3217 33554432000 4194304 5964350 140737305089712 140461097511864 4387868 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) 84084
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 21682
/proc/meminfo: memFree=26942792/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84408 CPUtime=12.68 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 6248 0 0 0 1267 1 0 0 20 0 2 0 331639968 86433792 6034 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21102 6034 197 433 0 20666 0
[pid=21680/tid=21681] ppid=21678 vsize=84408 CPUtime=12.68 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 5509 0 0 0 1266 2 0 0 20 0 2 0 331639969 86433792 6034 33554432000 4194304 5964350 140737305089712 140461097510904 5136410 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) 84408
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 21682
/proc/meminfo: memFree=26899500/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84568 CPUtime=25.48 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 10337 0 0 0 2545 3 0 0 20 0 2 0 331639968 86597632 10123 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21142 10123 197 433 0 20706 0
[pid=21680/tid=21681] ppid=21678 vsize=84568 CPUtime=25.48 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 9598 0 0 0 2544 4 0 0 20 0 2 0 331639969 86597632 10123 33554432000 4194304 5964350 140737305089712 140461097510712 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84568
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 21682
/proc/meminfo: memFree=26859912/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=83700 CPUtime=51.08 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 12879 0 0 0 5103 5 0 0 20 0 2 0 331639968 85708800 12476 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 20925 12476 197 433 0 20489 0
[pid=21680/tid=21681] ppid=21678 vsize=83700 CPUtime=51.08 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 12140 0 0 0 5102 6 0 0 20 0 2 0 331639969 85708800 12476 33554432000 4194304 5964350 140737305089712 140461097511864 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83700
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.92 3/180 21685
/proc/meminfo: memFree=26841540/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=84424 CPUtime=102.28 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 17503 0 0 0 10222 6 0 0 20 0 2 0 331639968 86450176 17100 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 21106 17100 197 433 0 20670 0
[pid=21680/tid=21681] ppid=21678 vsize=84424 CPUtime=102.29 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 16764 0 0 0 10222 7 0 0 20 0 2 0 331639969 86450176 17100 33554432000 4194304 5964350 140737305089712 140461097510904 4403615 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 84424
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21685
/proc/meminfo: memFree=26759260/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=150320 CPUtime=162.26 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 30560 0 0 0 16216 10 0 0 20 0 2 0 331639968 153927680 30156 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 37580 30156 197 433 0 37144 0
[pid=21680/tid=21681] ppid=21678 vsize=150320 CPUtime=162.29 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 29821 0 0 0 16216 13 0 0 20 0 2 0 331639969 153927680 30156 33554432000 4194304 5964350 140737305089712 140461097510712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 150320
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 21685
/proc/meminfo: memFree=26715340/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=215856 CPUtime=222.25 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 40928 0 0 0 22210 15 0 0 20 0 2 0 331639968 221036544 40582 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 53964 40582 197 433 0 53528 0
[pid=21680/tid=21681] ppid=21678 vsize=215856 CPUtime=222.29 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 40189 0 0 0 22210 19 0 0 20 0 2 0 331639969 221036544 40582 33554432000 4194304 5964350 140737305089712 140461097510904 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 215856
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 21685
/proc/meminfo: memFree=26653316/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=215856 CPUtime=282.21 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 46886 0 0 0 28203 18 0 0 20 0 2 0 331639968 221036544 46975 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 53964 46975 197 433 0 53528 0
[pid=21680/tid=21681] ppid=21678 vsize=215856 CPUtime=282.26 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 46147 0 0 0 28203 23 0 0 20 0 2 0 331639969 221036544 46975 33554432000 4194304 5964350 140737305089712 140461097510712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 215856
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21686
/proc/meminfo: memFree=26596888/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=281932 CPUtime=342.16 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 55325 0 0 0 34193 23 0 0 20 0 2 0 331639968 288698368 56300 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 70483 56300 197 433 0 70047 0
[pid=21680/tid=21681] ppid=21678 vsize=281932 CPUtime=342.23 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 54586 0 0 0 34194 29 0 0 20 0 2 0 331639969 288698368 56300 33554432000 4194304 5964350 140737305089712 140461097510712 4389030 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 281932
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21686
/proc/meminfo: memFree=26532892/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=281932 CPUtime=402.15 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 62839 0 0 0 40188 27 0 0 20 0 2 0 331639968 288698368 63813 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 130676 0 0 0 130124 94 0 0 20 0 2 0 331639969 631365632 134361 33554432000 4194304 5964350 140737305089712 140461097510952 4379152 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 616568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21718
/proc/meminfo: memFree=26104832/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=616568 CPUtime=1361.89 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 134576 0 0 0 136113 76 0 0 20 0 2 0 331639968 631365632 137517 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 154142 137517 197 433 0 153706 0
[pid=21680/tid=21681] ppid=21678 vsize=616568 CPUtime=1362.18 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 133837 0 0 0 136121 97 0 0 20 0 2 0 331639969 631365632 137517 33554432000 4194304 5964350 140737305089712 140461097510712 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 616568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21718
/proc/meminfo: memFree=26103732/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=616568 CPUtime=1421.89 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 134838 0 0 0 142113 76 0 0 20 0 2 0 331639968 631365632 137778 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 154142 137778 197 433 0 153706 0
[pid=21680/tid=21681] ppid=21678 vsize=616568 CPUtime=1422.19 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 134099 0 0 0 142121 98 0 0 20 0 2 0 331639969 631365632 137778 33554432000 4194304 5964350 140737305089712 140461097510712 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 616568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21718
/proc/meminfo: memFree=26092944/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=616568 CPUtime=1481.88 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 137501 0 0 0 148109 79 0 0 20 0 2 0 331639968 631365632 140441 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 154142 140441 197 433 0 153706 0
[pid=21680/tid=21681] ppid=21678 vsize=616568 CPUtime=1482.18 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 136762 0 0 0 148116 102 0 0 20 0 2 0 331639969 631365632 140441 33554432000 4194304 5964350 140737305089712 140461097510952 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 616568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21719
/proc/meminfo: memFree=26063148/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=618376 CPUtime=1541.86 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 144331 0 0 0 154103 83 0 0 20 0 2 0 331639968 633217024 147267 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 154594 147267 197 433 0 154158 0
[pid=21680/tid=21681] ppid=21678 vsize=618376 CPUtime=1542.19 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 143592 0 0 0 154112 107 0 0 20 0 2 0 331639969 633217024 147267 33554432000 4194304 5964350 140737305089712 140461097510952 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 618376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21719
/proc/meminfo: memFree=26043716/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=684272 CPUtime=1601.86 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 148960 0 0 0 160098 88 0 0 20 0 2 0 331639968 700694528 151896 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171068 151896 197 433 0 170632 0
[pid=21680/tid=21681] ppid=21678 vsize=684272 CPUtime=1602.19 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 148221 0 0 0 160107 112 0 0 20 0 2 0 331639969 700694528 151896 33554432000 4194304 5964350 140737305089712 140461097510904 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 684272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21719
/proc/meminfo: memFree=26044100/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=684272 CPUtime=1661.85 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 148963 0 0 0 166097 88 0 0 20 0 2 0 331639968 700694528 151899 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171068 151899 197 433 0 170632 0
[pid=21680/tid=21681] ppid=21678 vsize=684272 CPUtime=1662.2 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 148224 0 0 0 166107 113 0 0 20 0 2 0 331639969 700694528 151899 33554432000 4194304 5964350 140737305089712 140461097510904 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 684272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21720
/proc/meminfo: memFree=26019752/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=684996 CPUtime=1721.84 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 155033 0 0 0 172090 94 0 0 20 0 2 0 331639968 701435904 157969 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171249 157969 197 433 0 170813 0
[pid=21680/tid=21681] ppid=21678 vsize=684996 CPUtime=1722.2 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 154294 0 0 0 172099 121 0 0 20 0 2 0 331639969 701435904 157969 33554432000 4194304 5964350 140737305089712 140461097510712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 684996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21720
/proc/meminfo: memFree=26010700/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1781.83 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 157364 0 0 0 178088 95 0 0 20 0 2 0 331639968 702177280 160211 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 160211 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1782.2 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 156625 0 0 0 178097 123 0 0 20 0 2 0 331639969 702177280 160211 33554432000 4194304 5964350 140737305089712 140461097510904 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 685720
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21720
/proc/meminfo: memFree=26007724/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1791.43 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 158172 0 0 0 179048 95 0 0 20 0 2 0 331639968 702177280 161019 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 161019 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1791.81 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 157433 0 0 0 179058 123 0 0 20 0 2 0 331639969 702177280 161019 33554432000 4194304 5964350 140737305089712 140461097510712 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 685720
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21720
/proc/meminfo: memFree=26005492/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1794.63 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 158721 0 0 0 179367 96 0 0 20 0 2 0 331639968 702177280 161568 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 161568 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1795.01 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 157982 0 0 0 179377 124 0 0 20 0 2 0 331639969 702177280 161568 33554432000 4194304 5964350 140737305089712 140461097510952 4392623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 685720
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26597176/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1797.82 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 159242 0 0 0 179686 96 0 0 20 0 2 0 331639968 702177280 162089 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 162089 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1798.2 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 158503 0 0 0 179696 124 0 0 20 0 2 0 331639969 702177280 162089 33554432000 4194304 5964350 140737305089712 140461097510712 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 685720
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26594200/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1798.62 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 159361 0 0 0 179766 96 0 0 20 0 2 0 331639968 702177280 162208 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 162208 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1799 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 158622 0 0 0 179776 124 0 0 20 0 2 0 331639969 702177280 162208 33554432000 4194304 5964350 140737305089712 140461097510904 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 685720
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26591828/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1799.03 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 159422 0 0 0 179807 96 0 0 20 0 2 0 331639968 702177280 162269 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 162269 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1799.41 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 158683 0 0 0 179817 124 0 0 20 0 2 0 331639969 702177280 162269 33554432000 4194304 5964350 140737305089712 140461097510904 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 685720
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26591828/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1799.43 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 159521 0 0 0 179846 97 0 0 20 0 2 0 331639968 702177280 162368 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 162368 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1799.8 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 158782 0 0 0 179856 124 0 0 20 0 2 0 331639969 702177280 162368 33554432000 4194304 5964350 140737305089712 140461097510904 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 685720
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26591828/32873648 swapFree=7120/7120
[pid=21680] ppid=21678 vsize=685720 CPUtime=1799.53 cores=0,2,4,6
/proc/21680/stat : 21680 (wbo1.72) S 21678 21680 19663 0 -1 4202496 159522 0 0 0 179856 97 0 0 20 0 2 0 331639968 702177280 162369 33554432000 4194304 5964350 140737305089712 140737305089232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21680/statm: 171430 162369 197 433 0 170994 0
[pid=21680/tid=21681] ppid=21678 vsize=685720 CPUtime=1799.9 cores=0,2,4,6
/proc/21680/task/21681/stat : 21681 (wbo1.72) R 21678 21680 19663 0 -1 4202560 158783 0 0 0 179866 124 0 0 20 0 2 0 331639969 702177280 162369 33554432000 4194304 5964350 140737305089712 140461097510904 4399906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 685720
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.93
CPU user time (s): 1798.67
CPU system time (s): 1.26281
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 685720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.26281
maximum resident set size= 649484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159524
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= 239
involuntary context switches= 1867
runsolver used 4.53031 second user time and 10.4964 second system time
The end