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-3705352-1338105041/watcher-3705352-1338105041 -o /tmp/evaluation-result-3705352-1338105041/solver-3705352-1338105041 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705352-1338105041.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 2.00 2/176 11289
/proc/meminfo: memFree=31124976/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=3856 CPUtime=0 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) R 11287 11289 8971 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 276632496 3948544 338 33554432000 4194304 5963574 140736555867184 140733611234152 4394875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 964 340 173 432 0 422 0
[startup+0.0832289 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11289
/proc/meminfo: memFree=31124976/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=0.07 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 3116 0 0 0 7 0 0 0 20 0 2 0 276632496 87605248 2734 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 2734 193 432 0 20953 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85552
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11289
/proc/meminfo: memFree=31124976/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=0.09 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 3154 0 0 0 9 0 0 0 20 0 2 0 276632496 87605248 2772 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 2772 194 432 0 20953 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85552
[startup+0.300143 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11289
/proc/meminfo: memFree=31124976/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=0.29 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 3236 0 0 0 29 0 0 0 20 0 2 0 276632496 87605248 2854 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 2854 195 432 0 20953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85552
[startup+0.700147 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 11289
/proc/meminfo: memFree=31124976/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=0.68 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 3712 0 0 0 68 0 0 0 20 0 2 0 276632496 87605248 3330 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 3330 195 432 0 20953 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85552
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11291
/proc/meminfo: memFree=31105492/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=1.48 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 4335 0 0 0 148 0 0 0 20 0 2 0 276632496 87605248 3953 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 3953 195 432 0 20953 0
[pid=11289/tid=11291] ppid=11287 vsize=85552 CPUtime=1.45 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 2953 0 0 0 145 0 0 0 20 0 2 0 276632500 87605248 3953 33554432000 4194304 5963574 140736555867184 140411424573768 4387484 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) 85552
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11291
/proc/meminfo: memFree=31100012/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=3.09 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 6868 0 0 0 308 1 0 0 20 0 2 0 276632496 87605248 6486 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 6486 195 432 0 20953 0
[pid=11289/tid=11291] ppid=11287 vsize=85552 CPUtime=3.04 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 5486 0 0 0 304 0 0 0 20 0 2 0 276632500 87605248 6486 33554432000 4194304 5963574 140736555867184 140411424573432 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85552
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11291
/proc/meminfo: memFree=31084388/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=6.29 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 8222 0 0 0 628 1 0 0 20 0 2 0 276632496 87605248 7840 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 7840 195 432 0 20953 0
[pid=11289/tid=11291] ppid=11287 vsize=85552 CPUtime=6.23 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 6840 0 0 0 623 0 0 0 20 0 2 0 276632500 87605248 7840 33554432000 4194304 5963574 140736555867184 140411424573432 4388621 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85552
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11291
/proc/meminfo: memFree=31063432/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=85552 CPUtime=12.68 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 12134 0 0 0 1267 1 0 0 20 0 2 0 276632496 87605248 11752 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 21388 11752 195 432 0 20953 0
[pid=11289/tid=11291] ppid=11287 vsize=85552 CPUtime=12.62 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 10752 0 0 0 1261 1 0 0 20 0 2 0 276632500 87605248 11752 33554432000 4194304 5963574 140736555867184 140411424573432 4399537 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) 85552
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=31010732/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=151304 CPUtime=25.48 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 18413 0 0 0 2545 3 0 0 20 0 2 0 276632496 154935296 18031 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 37826 18031 195 432 0 37391 0
[pid=11289/tid=11291] ppid=11287 vsize=151304 CPUtime=25.38 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 17031 0 0 0 2535 3 0 0 20 0 2 0 276632500 154935296 18031 33554432000 4194304 5963574 140736555867184 140411424573432 4220672 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) 151304
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=30887196/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=151412 CPUtime=51.07 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 33680 0 0 0 5101 6 0 0 20 0 2 0 276632496 155045888 33298 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 37853 33298 195 432 0 37418 0
[pid=11289/tid=11291] ppid=11287 vsize=151412 CPUtime=50.92 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 32298 0 0 0 5086 6 0 0 20 0 2 0 276632500 155045888 33298 33554432000 4194304 5963574 140736555867184 140411424573240 4399623 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) 151412
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11291
/proc/meminfo: memFree=30688700/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=282644 CPUtime=102.28 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 59430 0 0 0 10213 15 0 0 20 0 2 0 276632496 289427456 59048 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 70661 59048 195 432 0 70226 0
[pid=11289/tid=11291] ppid=11287 vsize=282644 CPUtime=101.99 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 58048 0 0 0 10184 15 0 0 20 0 2 0 276632500 289427456 59048 33554432000 4194304 5963574 140736555867184 140411424573432 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 282644
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11291
/proc/meminfo: memFree=30569192/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=283100 CPUtime=162.27 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 62764 0 0 0 16211 16 0 0 20 0 2 0 276632496 289894400 62378 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 70775 62378 195 432 0 70340 0
[pid=11289/tid=11291] ppid=11287 vsize=283100 CPUtime=161.83 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 61382 0 0 0 16166 17 0 0 20 0 2 0 276632500 289894400 62378 33554432000 4194304 5963574 140736555867184 140411424573240 4378544 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 283100
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 11291
/proc/meminfo: memFree=30446664/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=283100 CPUtime=222.25 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 63393 0 0 0 22209 16 0 0 20 0 2 0 276632496 289894400 63007 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 70775 63007 195 432 0 70340 0
[pid=11289/tid=11291] ppid=11287 vsize=283100 CPUtime=221.67 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 62011 0 0 0 22148 19 0 0 20 0 2 0 276632500 289894400 63007 33554432000 4194304 5963574 140736555867184 140411424573240 4388305 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 283100
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11293
/proc/meminfo: memFree=30291392/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=284180 CPUtime=282.24 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 63768 0 0 0 28208 16 0 0 20 0 2 0 276632496 291000320 63379 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 71045 63379 195 432 0 70610 0
[pid=11289/tid=11291] ppid=11287 vsize=284180 CPUtime=281.52 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 62386 0 0 0 28132 20 0 0 20 0 2 0 276632500 291000320 63379 33554432000 4194304 5963574 140736555867184 140411424573480 4388646 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 284180
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11293
/proc/meminfo: memFree=29892952/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=349932 CPUtime=342.19 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 79691 0 0 0 34198 21 0 0 20 0 2 0 276632496 358330368 79553 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 87483 79553 195 432 0 87048 0
[pid=11289/tid=11291] ppid=11287 vsize=349932 CPUtime=341.32 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 78309 0 0 0 34106 26 0 0 20 0 2 0 276632500 358330368 79553 33554432000 4194304 5963574 140736555867184 140411424573432 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 349932
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11293
/proc/meminfo: memFree=29638956/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=481580 CPUtime=402.13 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 112123 0 0 0 40180 33 0 0 20 0 2 0 276632496 493137920 111958 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 120395 111958 195 432 0 119960 0
[pid=11289/tid=11291] ppid=11287 vsize=481580 CPUtime=401.12 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 110741 0 0 0 40073 39 0 0 20 0 2 0 276632500 493137920 111958 33554432000 4194304 5963574 140736555867184 140411424573432 4399462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 481580
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11293
/proc/meminfo: memFree=29635412/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=481580 CPUtime=462.09 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11325
/proc/meminfo: memFree=27640916/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=884024 CPUtime=1421.9 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 201132 0 0 0 142115 75 0 0 20 0 2 0 276632496 905240576 201860 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 221006 201860 195 432 0 220571 0
[pid=11289/tid=11291] ppid=11287 vsize=884024 CPUtime=1418.41 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 199750 0 0 0 141746 95 0 0 20 0 2 0 276632500 905240576 201860 33554432000 4194304 5963574 140736555867184 140411424573432 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 884024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11326
/proc/meminfo: memFree=27443116/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=949560 CPUtime=1481.84 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 216539 0 0 0 148104 80 0 0 20 0 2 0 276632496 972349440 217267 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 237390 217267 195 432 0 236955 0
[pid=11289/tid=11291] ppid=11287 vsize=949560 CPUtime=1478.2 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 215157 0 0 0 147718 102 0 0 20 0 2 0 276632500 972349440 217267 33554432000 4194304 5963574 140736555867184 140411424573432 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 949560
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11326
/proc/meminfo: memFree=27269716/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=949560 CPUtime=1541.78 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 216610 0 0 0 154098 80 0 0 20 0 2 0 276632496 972349440 217416 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 237390 217416 195 432 0 236955 0
[pid=11289/tid=11291] ppid=11287 vsize=949560 CPUtime=1538.01 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 215228 0 0 0 153698 103 0 0 20 0 2 0 276632500 972349440 217416 33554432000 4194304 5963574 140736555867184 140411424573432 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 949560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11326
/proc/meminfo: memFree=27068012/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1015852 CPUtime=1601.73 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 241217 0 0 0 160085 88 0 0 20 0 2 0 276632496 1040232448 242028 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 253963 242028 195 432 0 253528 0
[pid=11289/tid=11291] ppid=11287 vsize=1015852 CPUtime=1597.82 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 239835 0 0 0 159670 112 0 0 20 0 2 0 276632500 1040232448 242028 33554432000 4194304 5963574 140736555867184 140411424573432 4399505 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1015852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11365
/proc/meminfo: memFree=30518708/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1016176 CPUtime=1661.7 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 246879 0 0 0 166079 91 0 0 20 0 2 0 276632496 1040564224 247669 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 254044 247669 195 432 0 253609 0
[pid=11289/tid=11291] ppid=11287 vsize=1016176 CPUtime=1657.64 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 245497 0 0 0 165649 115 0 0 20 0 2 0 276632500 1040564224 247669 33554432000 4194304 5963574 140736555867184 140411424573480 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1016176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11365
/proc/meminfo: memFree=30479772/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1016176 CPUtime=1721.69 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 246906 0 0 0 172078 91 0 0 20 0 2 0 276632496 1040564224 247696 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 254044 247696 195 432 0 253609 0
[pid=11289/tid=11291] ppid=11287 vsize=1016176 CPUtime=1717.49 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 245524 0 0 0 171633 116 0 0 20 0 2 0 276632500 1040564224 247696 33554432000 4194304 5963574 140736555867184 140411424573480 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1016176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11368
/proc/meminfo: memFree=30362096/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1147896 CPUtime=1781.67 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 266311 0 0 0 178068 99 0 0 20 0 2 0 276632496 1175445504 267101 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 286974 267101 195 432 0 286539 0
[pid=11289/tid=11291] ppid=11287 vsize=1147896 CPUtime=1777.33 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 264929 0 0 0 177607 126 0 0 20 0 2 0 276632500 1175445504 267101 33554432000 4194304 5963574 140736555867184 140411424573432 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1147896
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30343364/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148704 CPUtime=1791.28 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 270637 0 0 0 179027 101 0 0 20 0 2 0 276632496 1176272896 271427 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287176 271427 195 432 0 286741 0
[pid=11289/tid=11291] ppid=11287 vsize=1148704 CPUtime=1786.91 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 269255 0 0 0 178563 128 0 0 20 0 2 0 276632500 1176272896 271427 33554432000 4194304 5963574 140736555867184 140411424573432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1148704
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30335552/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148704 CPUtime=1794.48 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 271714 0 0 0 179346 102 0 0 20 0 2 0 276632496 1176272896 272504 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287176 272504 195 432 0 286741 0
[pid=11289/tid=11291] ppid=11287 vsize=1148704 CPUtime=1790.11 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 270332 0 0 0 178882 129 0 0 20 0 2 0 276632500 1176272896 272504 33554432000 4194304 5963574 140736555867184 140411424573480 4399642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 1148704
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30331832/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148920 CPUtime=1797.68 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 272534 0 0 0 179665 103 0 0 20 0 2 0 276632496 1176494080 273324 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287230 273324 195 432 0 286795 0
[pid=11289/tid=11291] ppid=11287 vsize=1148920 CPUtime=1793.29 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 271152 0 0 0 179200 129 0 0 20 0 2 0 276632500 1176494080 273324 33554432000 4194304 5963574 140736555867184 140411424573432 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1148920
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30329228/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148920 CPUtime=1798.48 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 272823 0 0 0 179745 103 0 0 20 0 2 0 276632496 1176494080 273613 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287230 273614 195 432 0 286795 0
[pid=11289/tid=11291] ppid=11287 vsize=1148920 CPUtime=1794.09 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 271442 0 0 0 179279 130 0 0 20 0 2 0 276632500 1176494080 273614 33554432000 4194304 5963574 140736555867184 140411424573432 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 1148920
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30326624/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148920 CPUtime=1798.88 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 272944 0 0 0 179785 103 0 0 20 0 2 0 276632496 1176494080 273734 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287230 273734 195 432 0 286795 0
[pid=11289/tid=11291] ppid=11287 vsize=1148920 CPUtime=1794.5 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 271562 0 0 0 179320 130 0 0 20 0 2 0 276632500 1176494080 273734 33554432000 4194304 5963574 140736555867184 140411424573432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.88
Current children cumulated vsize (KiB) 1148920
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30326624/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148920 CPUtime=1799.27 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 273034 0 0 0 179824 103 0 0 20 0 2 0 276632496 1176494080 273824 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287230 273824 195 432 0 286795 0
[pid=11289/tid=11291] ppid=11287 vsize=1148920 CPUtime=1794.89 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 271652 0 0 0 179359 130 0 0 20 0 2 0 276632500 1176494080 273824 33554432000 4194304 5963574 140736555867184 140411424573432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 1148920
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11369
/proc/meminfo: memFree=30326624/32873844 swapFree=6088/6088
[pid=11289] ppid=11287 vsize=1148920 CPUtime=1799.37 cores=1,3,5,7
/proc/11289/stat : 11289 (wbo1.7) S 11287 11289 8971 0 -1 4202496 273056 0 0 0 179834 103 0 0 20 0 2 0 276632496 1176494080 273846 33554432000 4194304 5963574 140736555867184 140736555866704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11289/statm: 287230 273846 195 432 0 286795 0
[pid=11289/tid=11291] ppid=11287 vsize=1148920 CPUtime=1794.99 cores=1,3,5,7
/proc/11289/task/11291/stat : 11291 (wbo1.7) R 11287 11289 8971 0 -1 4202560 271674 0 0 0 179369 130 0 0 20 0 2 0 276632500 1176494080 273846 33554432000 4194304 5963574 140736555867184 140411424573432 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 1148920
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11289 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=726312
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=341796
# CPU time returned by wait4() is 1795.07
# while last known CPU time is 1799.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.03
CPU time (s): 1799.37
CPU user time (s): 1798.34
CPU system time (s): 1.03
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 1148920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 1.3418
maximum resident set size= 1095384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273056
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= 348
involuntary context switches= 2591
runsolver used 3.57945 second user time and 7.46486 second system time
The end