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-3704878-1338110445/watcher-3704878-1338110445 -o /tmp/evaluation-result-3704878-1338110445/solver-3704878-1338110445 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704878-1338110445.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.02 2.01 2.00 3/176 11731
/proc/meminfo: memFree=31373132/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=10376 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) R 11729 11731 8971 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 277172986 10625024 266 33554432000 4194304 5963574 140736815211984 140736955159032 4351915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 2594 266 173 432 0 349 0
[startup+0.080297 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 11731
/proc/meminfo: memFree=31373132/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=13992 CPUtime=0.07 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) R 11729 11731 8971 0 -1 4202496 1491 0 0 0 7 0 0 0 20 0 1 0 277172986 14327808 1444 33554432000 4194304 5963574 140736815211984 140736955159032 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 3498 1444 460 432 0 1253 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13992
[startup+0.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 11731
/proc/meminfo: memFree=31373132/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=15124 CPUtime=0.09 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) R 11729 11731 8971 0 -1 4202496 1851 0 0 0 9 0 0 0 20 0 1 0 277172986 15486976 1771 33554432000 4194304 5963574 140736815211984 140736955159032 4343827 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 3781 1771 541 432 0 1536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15124
[startup+0.300231 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 11731
/proc/meminfo: memFree=31373132/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=24232 CPUtime=0.29 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) R 11729 11731 8971 0 -1 4202496 4952 0 0 0 29 0 0 0 20 0 1 0 277172986 24813568 4807 33554432000 4194304 5963574 140736815211984 140736955159032 4224276 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 6058 4807 1316 432 0 3813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24232
[startup+0.700222 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 11731
/proc/meminfo: memFree=31373132/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=0.68 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 14926 0 0 0 66 2 0 0 20 0 2 0 277172986 108085248 12496 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 12496 186 432 0 25953 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105552
[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11733
/proc/meminfo: memFree=31323516/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=1.48 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 15273 0 0 0 146 2 0 0 20 0 2 0 277172986 108085248 12843 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 12843 187 432 0 25953 0
[pid=11731/tid=11733] ppid=11729 vsize=105552 CPUtime=1.01 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 7191 0 0 0 99 2 0 0 20 0 2 0 277173034 108085248 12843 33554432000 4194304 5963574 140736815211984 139674231277368 4392498 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105552
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11733
/proc/meminfo: memFree=31321160/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=3.09 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 15836 0 0 0 306 3 0 0 20 0 2 0 277172986 108085248 13406 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 13406 187 432 0 25953 0
[pid=11731/tid=11733] ppid=11729 vsize=105552 CPUtime=2.61 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 7754 0 0 0 259 2 0 0 20 0 2 0 277173034 108085248 13406 33554432000 4194304 5963574 140736815211984 139674231277368 4399546 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105552
[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11733
/proc/meminfo: memFree=31315092/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=6.28 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 16698 0 0 0 625 3 0 0 20 0 2 0 277172986 108085248 14268 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 14268 187 432 0 25953 0
[pid=11731/tid=11733] ppid=11729 vsize=105552 CPUtime=5.8 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 8616 0 0 0 578 2 0 0 20 0 2 0 277173034 108085248 14268 33554432000 4194304 5963574 140736815211984 139674231277368 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105552
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11733
/proc/meminfo: memFree=31302072/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=12.68 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 18680 0 0 0 1264 4 0 0 20 0 2 0 277172986 108085248 16250 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 16250 187 432 0 25953 0
[pid=11731/tid=11733] ppid=11729 vsize=105552 CPUtime=12.18 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 10598 0 0 0 1216 2 0 0 20 0 2 0 277173034 108085248 16250 33554432000 4194304 5963574 140736815211984 139674231277608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105552
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11733
/proc/meminfo: memFree=31282232/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=105552 CPUtime=25.48 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 21729 0 0 0 2543 5 0 0 20 0 2 0 277172986 108085248 19299 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 26388 19299 187 432 0 25953 0
[pid=11731/tid=11733] ppid=11729 vsize=105552 CPUtime=24.94 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 13647 0 0 0 2491 3 0 0 20 0 2 0 277173034 108085248 19299 33554432000 4194304 5963574 140736815211984 139674231277560 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105552
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11733
/proc/meminfo: memFree=31244984/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=171088 CPUtime=51.07 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 27364 0 0 0 5098 9 0 0 20 0 2 0 277172986 175194112 24934 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 42772 24934 187 432 0 42337 0
[pid=11731/tid=11733] ppid=11729 vsize=171088 CPUtime=50.48 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 19282 0 0 0 5040 8 0 0 20 0 2 0 277173034 175194112 24934 33554432000 4194304 5963574 140736815211984 139674231277608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 171088
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31197472/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=102.28 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 37822 0 0 0 10212 16 0 0 20 0 2 0 277172986 177684480 35903 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 35903 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=101.55 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 29740 0 0 0 10140 15 0 0 20 0 2 0 277173034 177684480 35903 33554432000 4194304 5963574 140736815211984 139674231277560 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 173520
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31183128/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=162.25 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 38622 0 0 0 16209 16 0 0 20 0 2 0 277172986 177684480 37220 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 37220 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=161.39 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 30540 0 0 0 16123 16 0 0 20 0 2 0 277173034 177684480 37220 33554432000 4194304 5963574 140736815211984 139674231277368 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 173520
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31173052/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=179.03 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 38795 0 0 0 17887 16 0 0 20 0 2 0 277172986 177684480 37447 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 37447 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=178.13 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 30713 0 0 0 17796 17 0 0 20 0 2 0 277173034 177684480 37447 33554432000 4194304 5963574 140736815211984 139674231277368 4402906 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 173520
[startup+185.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31167968/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=185.43 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 38961 0 0 0 18527 16 0 0 20 0 2 0 277172986 177684480 37613 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 37613 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=184.51 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 30879 0 0 0 18434 17 0 0 20 0 2 0 277173034 177684480 37613 33554432000 4194304 5963574 140736815211984 139674231277368 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 173520
[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31160760/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=191.83 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39571 0 0 0 19166 17 0 0 20 0 2 0 277172986 177684480 38322 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38322 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=190.89 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31489 0 0 0 19072 17 0 0 20 0 2 0 277173034 177684480 38322 33554432000 4194304 5963574 140736815211984 139674231277560 4390414 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 173520
[startup+193.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31158652/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=193.43 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39793 0 0 0 19326 17 0 0 20 0 2 0 277172986 177684480 38544 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38544 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=192.49 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31711 0 0 0 19231 18 0 0 20 0 2 0 277173034 177684480 38544 33554432000 4194304 5963574 140736815211984 139674231277608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 193.43
Current children cumulated vsize (KiB) 173520
[startup+195.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31157660/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=195.02 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39805 0 0 0 19485 17 0 0 20 0 2 0 277172986 177684480 38556 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38556 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=194.08 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31723 0 0 0 19390 18 0 0 20 0 2 0 277173034 177684480 38556 33554432000 4194304 5963574 140736815211984 139674231277368 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 195.02
Current children cumulated vsize (KiB) 173520
[startup+195.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31157412/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=195.82 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39875 0 0 0 19565 17 0 0 20 0 2 0 277172986 177684480 38626 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38626 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=194.88 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31793 0 0 0 19470 18 0 0 20 0 2 0 277173034 177684480 38626 33554432000 4194304 5963574 140736815211984 139674231277608 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 195.82
Current children cumulated vsize (KiB) 173520
[startup+196.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31157412/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=196.22 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39908 0 0 0 19605 17 0 0 20 0 2 0 277172986 177684480 38659 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38659 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=195.28 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31826 0 0 0 19510 18 0 0 20 0 2 0 277173034 177684480 38659 33554432000 4194304 5963574 140736815211984 139674231277608 4402912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 196.22
Current children cumulated vsize (KiB) 173520
[startup+196.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11734
/proc/meminfo: memFree=31157412/32873844 swapFree=6088/6088
[pid=11731] ppid=11729 vsize=173520 CPUtime=196.33 cores=1,3,5,7
/proc/11731/stat : 11731 (wbo1.7) S 11729 11731 8971 0 -1 4202496 39915 0 0 0 19615 18 0 0 20 0 2 0 277172986 177684480 38666 33554432000 4194304 5963574 140736815211984 140736815211504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11731/statm: 43380 38666 187 432 0 42945 0
[pid=11731/tid=11733] ppid=11729 vsize=173520 CPUtime=195.38 cores=1,3,5,7
/proc/11731/task/11733/stat : 11733 (wbo1.7) R 11729 11731 8971 0 -1 4202560 31833 0 0 0 19520 18 0 0 20 0 2 0 277173034 177684480 38666 33554432000 4194304 5963574 140736815211984 139674231277608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 196.33
Current children cumulated vsize (KiB) 173520
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11731 and gives
# childrusage.ru_utime.tv_sec=195
# childrusage.ru_utime.tv_usec=698249
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=215967
# CPU time returned by wait4() is 195.914
# while last known CPU time is 196.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 196.452
CPU time (s): 196.33
CPU user time (s): 196.15
CPU system time (s): 0.18
CPU usage (%): 99.9377
Max. virtual memory (cumulated for all children) (KiB): 173520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.698
system time used= 0.215967
maximum resident set size= 154696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39923
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= 35
involuntary context switches= 209
runsolver used 0.309952 second user time and 0.797878 second system time
The end