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-3705236-1338101046/watcher-3705236-1338101046 -o /tmp/evaluation-result-3705236-1338101046/solver-3705236-1338101046 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705236-1338101046.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.16 2.06 2.01 3/176 12945
/proc/meminfo: memFree=27606976/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 771 0 0 0 0 0 0 0 20 0 2 0 276231406 85581824 717 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 717 190 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=0 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 2 0 276231407 85581824 717 33554432000 4194304 5963574 140733441982048 140735273842840 5130146 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.065733 s]
/proc/loadavg: 2.16 2.06 2.01 3/176 12945
/proc/meminfo: memFree=27606976/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=0.06 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 935 0 0 0 6 0 0 0 20 0 2 0 276231406 85581824 881 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 881 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=0.05 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 229 0 0 0 5 0 0 0 20 0 2 0 276231407 85581824 881 33554432000 4194304 5963574 140733441982048 140735273842840 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83576
[startup+0.100285 s]
/proc/loadavg: 2.16 2.06 2.01 3/176 12945
/proc/meminfo: memFree=27606976/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=0.09 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 1028 0 0 0 9 0 0 0 20 0 2 0 276231406 85581824 974 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 974 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=0.08 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 322 0 0 0 8 0 0 0 20 0 2 0 276231407 85581824 974 33554432000 4194304 5963574 140733441982048 140735273842840 5178411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83576
[startup+0.300248 s]
/proc/loadavg: 2.16 2.06 2.01 3/176 12945
/proc/meminfo: memFree=27606976/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=0.29 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 1435 0 0 0 29 0 0 0 20 0 2 0 276231406 85581824 1381 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 1384 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=0.28 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 732 0 0 0 28 0 0 0 20 0 2 0 276231407 85581824 1384 33554432000 4194304 5963574 140733441982048 140587686664184 5178411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83576
[startup+0.700248 s]
/proc/loadavg: 2.16 2.06 2.01 3/176 12945
/proc/meminfo: memFree=27606976/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=0.69 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 2038 0 0 0 69 0 0 0 20 0 2 0 276231406 85581824 1984 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 1984 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=0.68 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 1332 0 0 0 68 0 0 0 20 0 2 0 276231407 85581824 1984 33554432000 4194304 5963574 140733441982048 140587686664120 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83576
[startup+1.50025 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 12947
/proc/meminfo: memFree=27595684/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83720 CPUtime=1.49 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 2657 0 0 0 149 0 0 0 20 0 2 0 276231406 85729280 2603 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20930 2603 192 432 0 20495 0
[pid=12945/tid=12946] ppid=12943 vsize=83720 CPUtime=1.48 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 1951 0 0 0 148 0 0 0 20 0 2 0 276231407 85729280 2603 33554432000 4194304 5963574 140733441982048 140587686664232 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83720
[startup+3.10024 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 12947
/proc/meminfo: memFree=27590352/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83792 CPUtime=3.08 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 3853 0 0 0 308 0 0 0 20 0 2 0 276231406 85803008 3799 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20948 3799 192 432 0 20513 0
[pid=12945/tid=12946] ppid=12943 vsize=83792 CPUtime=3.07 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 3147 0 0 0 307 0 0 0 20 0 2 0 276231407 85803008 3799 33554432000 4194304 5963574 140733441982048 140587686663992 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83792
[startup+6.30026 s]
/proc/loadavg: 2.15 2.06 2.01 3/178 12947
/proc/meminfo: memFree=27573136/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=6.29 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 5210 0 0 0 628 1 0 0 20 0 2 0 276231406 85581824 5114 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 5114 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=6.26 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 4504 0 0 0 625 1 0 0 20 0 2 0 276231407 85581824 5114 33554432000 4194304 5963574 140733441982048 140587686665144 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83576
[startup+12.7003 s]
/proc/loadavg: 2.13 2.06 2.01 3/178 12947
/proc/meminfo: memFree=27548080/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83576 CPUtime=12.69 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 6793 0 0 0 1267 2 0 0 20 0 2 0 276231406 85581824 6697 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20894 6697 192 432 0 20459 0
[pid=12945/tid=12946] ppid=12943 vsize=83576 CPUtime=12.65 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 6087 0 0 0 1263 2 0 0 20 0 2 0 276231407 85581824 6697 33554432000 4194304 5963574 140733441982048 140587686663992 4399645 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83576
[startup+25.5003 s]
/proc/loadavg: 2.10 2.06 2.01 3/178 12947
/proc/meminfo: memFree=27525328/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=83900 CPUtime=25.48 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 10344 0 0 0 2545 3 0 0 20 0 2 0 276231406 85913600 10248 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 20975 10248 192 432 0 20540 0
[pid=12945/tid=12946] ppid=12943 vsize=83900 CPUtime=25.41 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 9638 0 0 0 2538 3 0 0 20 0 2 0 276231407 85913600 10248 33554432000 4194304 5963574 140733441982048 140587686663992 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83900
[startup+51.1003 s]
/proc/loadavg: 2.15 2.07 2.01 3/178 12947
/proc/meminfo: memFree=27481020/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=84708 CPUtime=51.08 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 16335 0 0 0 5103 5 0 0 20 0 2 0 276231406 86740992 16239 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 21177 16239 192 432 0 20742 0
[pid=12945/tid=12946] ppid=12943 vsize=84708 CPUtime=50.95 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 15629 0 0 0 5090 5 0 0 20 0 2 0 276231407 86740992 16239 33554432000 4194304 5963574 140733441982048 140587686663992 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84708
[startup+102.306 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12948
/proc/meminfo: memFree=27347464/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=151456 CPUtime=102.25 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 25917 0 0 0 10218 7 0 0 20 0 2 0 276231406 155090944 26604 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 37864 26604 192 432 0 37429 0
[pid=12945/tid=12946] ppid=12943 vsize=151456 CPUtime=101.99 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 25211 0 0 0 10191 8 0 0 20 0 2 0 276231407 155090944 26604 33554432000 4194304 5963574 140733441982048 140587686663992 4400052 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151456
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 12948
/proc/meminfo: memFree=27336632/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=222976 CPUtime=162.24 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 35252 0 0 0 16212 12 0 0 20 0 2 0 276231406 228327424 36569 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 55744 36569 192 432 0 55309 0
[pid=12945/tid=12946] ppid=12943 vsize=222976 CPUtime=161.83 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 34546 0 0 0 16169 14 0 0 20 0 2 0 276231407 228327424 36569 33554432000 4194304 5963574 140733441982048 140587686663992 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 222976
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 12948
/proc/meminfo: memFree=27300016/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=224468 CPUtime=222.22 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 43975 0 0 0 22207 15 0 0 20 0 2 0 276231406 229855232 45266 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 56117 45266 192 432 0 55682 0
[pid=12945/tid=12946] ppid=12943 vsize=224468 CPUtime=221.68 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 43269 0 0 0 22150 18 0 0 20 0 2 0 276231407 229855232 45266 33554432000 4194304 5963574 140733441982048 140587686663992 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 224468
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12949
/proc/meminfo: memFree=27197164/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=229000 CPUtime=282.2 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 49741 0 0 0 28201 19 0 0 20 0 2 0 276231406 234496000 51102 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 57250 51102 192 432 0 56815 0
[pid=12945/tid=12946] ppid=12943 vsize=229000 CPUtime=281.5 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 49035 0 0 0 28127 23 0 0 20 0 2 0 276231407 234496000 51102 33554432000 4194304 5963574 140733441982048 140587686663992 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 229000
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 12949
/proc/meminfo: memFree=27109608/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=297356 CPUtime=342.16 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 61687 0 0 0 34190 26 0 0 20 0 2 0 276231406 304492544 63452 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 74339 63452 192 432 0 73904 0
[pid=12945/tid=12946] ppid=12943 vsize=297356 CPUtime=341.31 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 60981 0 0 0 34100 31 0 0 20 0 2 0 276231407 304492544 63452 33554432000 4194304 5963574 140733441982048 140587686664184 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 297356
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 12952
/proc/meminfo: memFree=26969340/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=299212 CPUtime=402.15 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 64925 0 0 0 40188 27 0 0 20 0 2 0 276231406 306393088 66689 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12981
/proc/meminfo: memFree=26196196/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=670976 CPUtime=1421.93 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 158179 0 0 0 142104 89 0 0 20 0 2 0 276231406 687079424 160008 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 167744 160008 192 432 0 167309 0
[pid=12945/tid=12946] ppid=12943 vsize=670976 CPUtime=1418.48 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 157473 0 0 0 141738 110 0 0 20 0 2 0 276231407 687079424 160008 33554432000 4194304 5963574 140733441982048 140587686664232 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 670976
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12981
/proc/meminfo: memFree=26150096/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=742660 CPUtime=1481.88 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 169501 0 0 0 148092 96 0 0 20 0 2 0 276231406 760483840 171456 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 185665 171456 192 432 0 185230 0
[pid=12945/tid=12946] ppid=12943 vsize=742660 CPUtime=1478.29 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 168795 0 0 0 147711 118 0 0 20 0 2 0 276231407 760483840 171456 33554432000 4194304 5963574 140733441982048 140587686663784 4378784 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 742660
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12982
/proc/meminfo: memFree=26167008/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1541.84 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179283 0 0 0 154084 100 0 0 20 0 2 0 276231406 756670464 167194 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167194 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1538.11 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178577 0 0 0 153688 123 0 0 20 0 2 0 276231407 756670464 167194 33554432000 4194304 5963574 140733441982048 140587686665144 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 738936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12985
/proc/meminfo: memFree=26167852/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1601.83 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179291 0 0 0 160083 100 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1597.96 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178585 0 0 0 159672 124 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 738936
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12985
/proc/meminfo: memFree=26167736/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1661.82 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179291 0 0 0 166082 100 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1657.8 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178585 0 0 0 165655 125 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 738936
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 12985
/proc/meminfo: memFree=26167736/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1721.81 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179291 0 0 0 172081 100 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1717.65 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178585 0 0 0 171639 126 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4400044 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 738936
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/179 12985
/proc/meminfo: memFree=26167736/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1781.81 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179291 0 0 0 178081 100 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1777.5 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178585 0 0 0 177623 127 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 738936
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 13024
/proc/meminfo: memFree=26983948/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1791.41 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179295 0 0 0 179040 101 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1787.08 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178589 0 0 0 178580 128 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 738936
[startup+1795.1 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 13024
/proc/meminfo: memFree=26979492/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1794.61 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179295 0 0 0 179360 101 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1790.27 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178589 0 0 0 178899 128 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 738936
[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 13024
/proc/meminfo: memFree=26977640/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1797.81 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179295 0 0 0 179680 101 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1793.45 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178589 0 0 0 179217 128 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4400331 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 738936
[startup+1799.1 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 13024
/proc/meminfo: memFree=26976400/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1798.61 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179295 0 0 0 179760 101 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1794.25 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178589 0 0 0 179297 128 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 738936
[startup+1799.5 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 13024
/proc/meminfo: memFree=26974912/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1799.01 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179295 0 0 0 179800 101 0 0 20 0 2 0 276231406 756670464 167203 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167203 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1794.66 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178589 0 0 0 179338 128 0 0 20 0 2 0 276231407 756670464 167203 33554432000 4194304 5963574 140733441982048 140587686665144 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 738936
[startup+1799.9 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 13024
/proc/meminfo: memFree=26974912/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1799.4 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179300 0 0 0 179839 101 0 0 20 0 2 0 276231406 756670464 167226 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167226 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1795.04 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178594 0 0 0 179376 128 0 0 20 0 2 0 276231407 756670464 167226 33554432000 4194304 5963574 140733441982048 140587686665144 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 738936
[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 13024
/proc/meminfo: memFree=26974912/32873648 swapFree=6848/6848
[pid=12945] ppid=12943 vsize=738936 CPUtime=1799.5 cores=0,2,4,6
/proc/12945/stat : 12945 (wbo1.7) S 12943 12945 12137 0 -1 4202496 179300 0 0 0 179849 101 0 0 20 0 2 0 276231406 756670464 167226 33554432000 4194304 5963574 140733441982048 140733441981568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12945/statm: 184734 167226 192 432 0 184299 0
[pid=12945/tid=12946] ppid=12943 vsize=738936 CPUtime=1795.14 cores=0,2,4,6
/proc/12945/task/12946/stat : 12946 (wbo1.7) R 12943 12945 12137 0 -1 4202560 178594 0 0 0 179386 128 0 0 20 0 2 0 276231407 756670464 167226 33554432000 4194304 5963574 140733441982048 140587686665144 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 738936
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12945 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=879288
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=295803
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.5
CPU user time (s): 1798.49
CPU system time (s): 1.01
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 808196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 1.2958
maximum resident set size= 725132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179300
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= 281
involuntary context switches= 2148
runsolver used 2.6306 second user time and 7.19991 second system time
The end