runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3275945-1303657217/watcher-3275945-1303657217 -o /tmp/evaluation-result-3275945-1303657217/solver-3275945-1303657217 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 448806243 HOME/instance-3275945-1303657217.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/181 32727
/proc/meminfo: memFree=21073328/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=15244 CPUtime=0 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 740 0 0 0 0 0 0 0 25 0 1 0 209912990 15609856 631 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/32727/statm: 3811 631 333 379 0 284 0
[startup+0.0850079 s]
/proc/loadavg: 2.00 2.00 1.97 2/181 32727
/proc/meminfo: memFree=21073328/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960
[startup+0.101004 s]
/proc/loadavg: 2.00 2.00 1.97 2/181 32727
/proc/meminfo: memFree=21073328/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960
[startup+0.300932 s]
/proc/loadavg: 2.00 2.00 1.97 2/181 32727
/proc/meminfo: memFree=21073328/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960
[startup+0.700856 s]
/proc/loadavg: 2.00 2.00 1.97 2/181 32727
/proc/meminfo: memFree=21073328/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960
[startup+1.50075 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 32729
/proc/meminfo: memFree=21060652/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
[pid=32729] ppid=32727 vsize=8364 CPUtime=1.46 cores=0,2,4,6
/proc/32729/stat : 32729 (features) R 32727 32727 31305 0 -1 4202496 2645 0 0 0 144 2 0 0 25 0 1 0 209912993 8564736 1528 33554432000 134512640 135907751 4291446592 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32729/statm: 2091 1528 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30324
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 32729
/proc/meminfo: memFree=21063008/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
[pid=32729] ppid=32727 vsize=4844 CPUtime=3.05 cores=0,2,4,6
/proc/32729/stat : 32729 (features) R 32727 32727 31305 0 -1 4202496 2915 0 0 0 302 3 0 0 25 0 1 0 209912993 4960256 893 33554432000 134512640 135907751 4291446592 18446744073709551615 134851245 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32729/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 26804
[startup+6.3009 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 32729
/proc/meminfo: memFree=21065724/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 1530 0 0 0 1 0 0 0 25 0 1 0 209912990 22487040 1367 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 5490 1367 463 379 0 931 0
[pid=32729] ppid=32727 vsize=4844 CPUtime=6.26 cores=0,2,4,6
/proc/32729/stat : 32729 (features) R 32727 32727 31305 0 -1 4202496 2915 0 0 0 622 4 0 0 25 0 1 0 209912993 4960256 893 33554432000 134512640 135907751 4291446592 18446744073709551615 134518699 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32729/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26804
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32733
/proc/meminfo: memFree=21059928/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=0.02 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2177 0 0 0 2 0 0 0 18 0 1 0 209912990 35287040 1426 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1426 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32731] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32731/stat : 32731 (timerun) S 32727 32727 31305 0 -1 4202496 758 0 0 0 0 0 0 0 17 0 1 0 209913727 8908800 248 33554432000 4194304 4922060 140736803500832 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32731/statm: 2175 248 208 178 0 68 0
[pid=32732] ppid=32731 vsize=22968 CPUtime=5.3 cores=0,2,4,6
/proc/32732/stat : 32732 (cryptominisat) R 32731 32727 31305 0 -1 4202496 7906 0 0 0 530 0 0 0 19 0 1 0 209913728 23519232 3472 33554432000 134512640 134994940 4289734160 18446744073709551615 134794314 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32732/statm: 5742 3472 355 118 0 4927 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 66128
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32733
/proc/meminfo: memFree=21047604/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=0.02 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2178 0 0 0 2 0 0 0 18 0 1 0 209912990 35287040 1427 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1427 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32731] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32731/stat : 32731 (timerun) S 32727 32727 31305 0 -1 4202496 758 0 0 0 0 0 0 0 17 0 1 0 209913727 8908800 248 33554432000 4194304 4922060 140736803500832 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32731/statm: 2175 248 208 178 0 68 0
[pid=32732] ppid=32731 vsize=34236 CPUtime=18.1 cores=0,2,4,6
/proc/32732/stat : 32732 (cryptominisat) R 32731 32727 31305 0 -1 4202496 17354 0 0 0 1808 2 0 0 25 0 1 0 209913728 35057664 5717 33554432000 134512640 134994940 4289734160 18446744073709551615 134798023 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32732/statm: 8559 5717 355 118 0 7744 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 77396
Solver just ended. Dumping a history of the last processes samples
[startup+27.1012 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32733
/proc/meminfo: memFree=21046984/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=0.02 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2178 0 0 0 2 0 0 0 18 0 1 0 209912990 35287040 1427 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1427 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32731] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32731/stat : 32731 (timerun) S 32727 32727 31305 0 -1 4202496 758 0 0 0 0 0 0 0 17 0 1 0 209913727 8908800 248 33554432000 4194304 4922060 140736803500832 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32731/statm: 2175 248 208 178 0 68 0
[pid=32732] ppid=32731 vsize=33896 CPUtime=19.7 cores=0,2,4,6
/proc/32732/stat : 32732 (cryptominisat) R 32731 32727 31305 0 -1 4202496 17612 0 0 0 1968 2 0 0 25 0 1 0 209913728 34709504 5926 33554432000 134512640 134994940 4289734160 18446744073709551615 134661940 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32732/statm: 8474 5926 355 118 0 7659 0
Current children cumulated CPU time (s) 27.03
Current children cumulated vsize (KiB) 77056
[startup+27.9011 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32733
/proc/meminfo: memFree=21045496/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=0.02 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2178 0 0 0 2 0 0 0 18 0 1 0 209912990 35287040 1427 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1427 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32731] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32731/stat : 32731 (timerun) S 32727 32727 31305 0 -1 4202496 758 0 0 0 0 0 0 0 17 0 1 0 209913727 8908800 248 33554432000 4194304 4922060 140736803500832 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32731/statm: 2175 248 208 178 0 68 0
[pid=32732] ppid=32731 vsize=33896 CPUtime=20.5 cores=0,2,4,6
/proc/32732/stat : 32732 (cryptominisat) R 32731 32727 31305 0 -1 4202496 17999 0 0 0 2048 2 0 0 25 0 1 0 209913728 34709504 6313 33554432000 134512640 134994940 4289734160 18446744073709551615 134642225 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32732/statm: 8474 6313 355 118 0 7659 0
Current children cumulated CPU time (s) 27.83
Current children cumulated vsize (KiB) 77056
[startup+28.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32733
/proc/meminfo: memFree=21045496/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=0.02 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2178 0 0 0 2 0 0 0 18 0 1 0 209912990 35287040 1427 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1427 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32731] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32731/stat : 32731 (timerun) S 32727 32727 31305 0 -1 4202496 758 0 0 0 0 0 0 0 17 0 1 0 209913727 8908800 248 33554432000 4194304 4922060 140736803500832 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32731/statm: 2175 248 208 178 0 68 0
[pid=32732] ppid=32731 vsize=34100 CPUtime=20.9 cores=0,2,4,6
/proc/32732/stat : 32732 (cryptominisat) R 32731 32727 31305 0 -1 4202496 18180 0 0 0 2088 2 0 0 25 0 1 0 209913728 34918400 6494 33554432000 134512640 134994940 4289734160 18446744073709551615 134642732 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32732/statm: 8525 6494 355 118 0 7710 0
Current children cumulated CPU time (s) 28.23
Current children cumulated vsize (KiB) 77260
[startup+28.501 s]
/proc/loadavg: 2.00 2.00 1.97 3/186 32735
/proc/meminfo: memFree=21066576/32951124 swapFree=67111528/67111528
[pid=32727] ppid=32725 vsize=34460 CPUtime=21.01 cores=0,2,4,6
/proc/32727/stat : 32727 (python) S 32725 32727 31305 0 -1 4202496 2339 18979 0 0 2 0 2097 2 18 0 1 0 209912990 35287040 1428 33554432000 4194304 5745468 140735506192432 18446744073709551615 268660662016 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32727/statm: 8615 1428 488 379 0 935 0
[pid=32729] ppid=32727 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/32729/stat : 32729 (features) Z 32727 32727 31305 0 -1 4202524 2928 0 0 0 695 4 0 0 25 0 1 0 209912993 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32729/statm: 0 0 0 0 0 0 0
[pid=32730] ppid=32727 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/32730/stat : 32730 (coach) Z 32727 32727 31305 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 209913693 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32730/statm: 0 0 0 0 0 0 0
[pid=32734] ppid=32727 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32734/stat : 32734 (timerun) S 32727 32727 31305 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 209915828 8908800 247 33554432000 4194304 4922060 140733279587504 18446744073709551615 268660481157 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/32734/statm: 2175 247 208 178 0 68 0
[pid=32735] ppid=32734 vsize=418172 CPUtime=0.11 cores=0,2,4,6
/proc/32735/stat : 32735 (adaptg2wsat2009) R 32734 32727 31305 0 -1 4194304 680 0 0 0 11 0 0 0 22 0 1 0 209915828 428208128 626 33554432000 134512640 134546244 4288513808 18446744073709551615 134524533 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32735/statm: 104543 626 91 9 0 103207 0
Current children cumulated CPU time (s) 28.43
Current children cumulated vsize (KiB) 461332
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32727 and gives
# childrusage.ru_utime.tv_sec=28
# childrusage.ru_utime.tv_usec=271702
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=92985
# CPU time returned by wait4() is 28.3647
# while last known CPU time is 28.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 28.5766
CPU time (s): 28.43
CPU user time (s): 28.37
CPU system time (s): 0.06
CPU usage (%): 99.487
Max. virtual memory (cumulated for all children) (KiB): 461332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2717
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28773
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= 308
involuntary context switches= 142
runsolver used 0.042993 second user time and 0.117982 second system time
The end