runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450220-1307063838/watcher-3450220-1307063838 -o /tmp/evaluation-result-3450220-1307063838/solver-3450220-1307063838 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1037998027 HOME/instance-3450220-1307063838.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: 1.99 2.04 2.01 2/428 20134
/proc/meminfo: memFree=25756492/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/20134/stat : 20134 (python) R 20132 20134 19780 0 -1 4202496 996 0 0 0 0 0 0 0 22 0 1 0 817982211 16633856 870 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516495045 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20134/statm: 4061 870 368 364 0 548 0
[startup+0.0174579 s]
/proc/loadavg: 1.99 2.04 2.01 2/428 20134
/proc/meminfo: memFree=25756492/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=16248 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) R 20132 20134 19780 0 -1 4202496 1050 0 0 0 1 0 0 0 23 0 1 0 817982211 16637952 923 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516519232 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20134/statm: 4062 923 381 364 0 549 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16248
[startup+0.100508 s]
/proc/loadavg: 1.99 2.04 2.01 2/428 20134
/proc/meminfo: memFree=25756492/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.300466 s]
/proc/loadavg: 1.99 2.04 2.01 2/428 20134
/proc/meminfo: memFree=25756492/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.700366 s]
/proc/loadavg: 1.99 2.04 2.01 2/428 20134
/proc/meminfo: memFree=25756492/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+1.50022 s]
/proc/loadavg: 1.99 2.04 2.01 3/430 20136
/proc/meminfo: memFree=25746060/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=8364 CPUtime=1.46 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 2648 0 0 0 144 2 0 0 25 0 1 0 817982214 8564736 1532 33554432000 134512640 135907751 4294805904 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 2091 1532 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30264
[startup+3.10092 s]
/proc/loadavg: 1.99 2.04 2.01 3/430 20136
/proc/meminfo: memFree=25746060/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=84228 CPUtime=3.06 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 12706 0 0 0 301 5 0 0 25 0 1 0 817982214 86249472 10685 33554432000 134512640 135907751 4294805904 18446744073709551615 135340715 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 21057 10685 112 341 0 20713 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 106128
[startup+6.30038 s]
/proc/loadavg: 1.99 2.04 2.00 3/430 20136
/proc/meminfo: memFree=25562808/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=326664 CPUtime=6.26 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 82164 0 0 0 611 15 0 0 25 0 1 0 817982214 334503936 80142 33554432000 134512640 135907751 4294805904 18446744073709551615 134515169 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 81666 80142 112 341 0 81322 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 348564
[startup+12.7012 s]
/proc/loadavg: 1.99 2.04 2.00 3/430 20136
/proc/meminfo: memFree=25426184/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=326664 CPUtime=12.66 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 82259 0 0 0 1249 17 0 0 25 0 1 0 817982214 334503936 80237 33554432000 134512640 135907751 4294805904 18446744073709551615 134537562 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 81666 80237 112 341 0 81322 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 348564
[startup+25.5009 s]
/proc/loadavg: 1.99 2.04 2.00 3/430 20137
/proc/meminfo: memFree=25464740/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=326664 CPUtime=25.47 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 82509 0 0 0 2527 20 0 0 25 0 1 0 817982214 334503936 80487 33554432000 134512640 135907751 4294805904 18446744073709551615 134534355 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 81666 80487 112 341 0 81322 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 348564
[startup+51.1012 s]
/proc/loadavg: 1.99 2.03 2.00 3/430 20137
/proc/meminfo: memFree=25570208/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=21900 CPUtime=0.01 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 817982211 22425600 1350 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 5475 1350 443 364 0 930 0
[pid=20136] ppid=20134 vsize=289488 CPUtime=51.06 cores=0,2,4,6
/proc/20136/stat : 20136 (features) R 20134 20134 19780 0 -1 4202496 90877 0 0 0 5085 21 0 0 25 0 1 0 817982214 296435712 50846 33554432000 134512640 135907751 4294805904 18446744073709551615 134518653 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20136/statm: 72372 50846 112 341 0 72028 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 311388
[startup+102.301 s]
/proc/loadavg: 1.99 2.03 2.00 3/433 20142
/proc/meminfo: memFree=25240100/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=0.02 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 2165 0 0 0 2 0 0 0 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20141] ppid=20134 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20141/stat : 20141 (timerun) S 20134 20134 19780 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817991544 8908800 248 33554432000 4194304 4922060 140734208478640 18446744073709551615 246516653189 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20141/statm: 2175 248 208 178 0 68 0
[pid=20142] ppid=20141 vsize=623092 CPUtime=8.96 cores=0,2,4,6
/proc/20142/stat : 20142 (cryptominisat) R 20141 20134 19780 0 -1 4202496 126456 0 0 0 878 18 0 0 25 0 1 0 817991544 638046208 124603 33554432000 134512640 134994940 4293836304 18446744073709551615 134554630 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20142/statm: 155773 124603 321 118 0 154958 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 666192
[startup+162.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/433 20147
/proc/meminfo: memFree=25423996/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=25.05 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 2455 267679 0 0 2 0 2464 39 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20145] ppid=20134 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20145/stat : 20145 (timerun) S 20134 20134 19780 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 817994050 8908800 248 33554432000 4194304 4922060 140735734277536 18446744073709551615 246516653189 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20145/statm: 2175 248 208 178 0 68 0
[pid=20146] ppid=20145 vsize=337884 CPUtime=43.9 cores=0,2,4,6
/proc/20146/stat : 20146 (precosat) R 20145 20134 19780 0 -1 4202496 101910 0 0 0 4372 18 0 0 25 0 1 0 817994050 345993216 81834 33554432000 134512640 135142049 4294664976 18446744073709551615 134555712 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/20146/statm: 84471 81834 82 154 0 84315 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 380984
[startup+222.317 s]
/proc/loadavg: 2.04 2.04 2.00 3/433 20149
/proc/meminfo: memFree=25450904/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=25.05 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 2455 267679 0 0 2 0 2464 39 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20145] ppid=20134 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20145/stat : 20145 (timerun) S 20134 20134 19780 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 817994050 8908800 248 33554432000 4194304 4922060 140735734277536 18446744073709551615 246516653189 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20145/statm: 2175 248 208 178 0 68 0
[pid=20146] ppid=20145 vsize=337884 CPUtime=103.88 cores=0,2,4,6
/proc/20146/stat : 20146 (precosat) R 20145 20134 19780 0 -1 4202496 104670 0 0 0 10369 19 0 0 25 0 1 0 817994050 345993216 83212 33554432000 134512640 135142049 4294664976 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/20146/statm: 84471 83212 82 154 0 84315 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 380984
[startup+282.301 s]
################
# More data... #
################
/proc/20197/statm: 51539 51257 112 34 0 51154 0
Current children cumulated CPU time (s) 4541.9
Current children cumulated vsize (KiB) 240556
[startup+4602.3 s]
/proc/loadavg: 1.11 1.06 1.05 2/422 20779
/proc/meminfo: memFree=25741540/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=213892 CPUtime=3230.86 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1208011 0 0 0 322895 191 0 0 25 0 1 0 818119334 219025408 53191 33554432000 134512640 134650204 4286919344 18446744073709551615 134630328 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 53473 53191 112 34 0 53088 0
Current children cumulated CPU time (s) 4601.9
Current children cumulated vsize (KiB) 248292
[startup+4662.3 s]
/proc/loadavg: 1.04 1.05 1.05 2/422 20780
/proc/meminfo: memFree=25743240/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=211480 CPUtime=3290.87 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1215615 0 0 0 328895 192 0 0 25 0 1 0 818119334 216555520 52588 33554432000 134512640 134650204 4286919344 18446744073709551615 134630256 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 52870 52588 112 34 0 52485 0
Current children cumulated CPU time (s) 4661.91
Current children cumulated vsize (KiB) 245880
[startup+4722.3 s]
/proc/loadavg: 1.01 1.04 1.04 2/422 20782
/proc/meminfo: memFree=25749528/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=205536 CPUtime=3350.86 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1237582 0 0 0 334891 195 0 0 25 0 1 0 818119334 210468864 51070 33554432000 134512640 134650204 4286919344 18446744073709551615 134630298 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 51384 51070 112 34 0 50999 0
Current children cumulated CPU time (s) 4721.9
Current children cumulated vsize (KiB) 239936
[startup+4782.32 s]
/proc/loadavg: 1.00 1.03 1.04 2/422 20784
/proc/meminfo: memFree=25748256/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=207016 CPUtime=3410.87 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1240867 0 0 0 340891 196 0 0 25 0 1 0 818119334 211984384 51440 33554432000 134512640 134650204 4286919344 18446744073709551615 134630301 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 51754 51440 112 34 0 51369 0
Current children cumulated CPU time (s) 4781.91
Current children cumulated vsize (KiB) 241416
[startup+4842.3 s]
/proc/loadavg: 1.00 1.02 1.03 2/422 20785
/proc/meminfo: memFree=25748724/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=206280 CPUtime=3470.85 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1248711 0 0 0 346889 196 0 0 25 0 1 0 818119334 211230720 51256 33554432000 134512640 134650204 4286919344 18446744073709551615 134630576 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 51570 51256 112 34 0 51185 0
Current children cumulated CPU time (s) 4841.89
Current children cumulated vsize (KiB) 240680
[startup+4902.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/422 20787
/proc/meminfo: memFree=25739384/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=216316 CPUtime=3530.85 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1271682 0 0 0 352885 200 0 0 25 0 1 0 818119334 221507584 53765 33554432000 134512640 134650204 4286919344 18446744073709551615 134630270 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 54079 53765 112 34 0 53694 0
Current children cumulated CPU time (s) 4901.89
Current children cumulated vsize (KiB) 250716
[startup+4962.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/422 20788
/proc/meminfo: memFree=25743076/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=212616 CPUtime=3590.85 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1278977 0 0 0 358884 201 0 0 25 0 1 0 818119334 217718784 52840 33554432000 134512640 134650204 4286919344 18446744073709551615 134630291 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 53154 52840 112 34 0 52769 0
Current children cumulated CPU time (s) 4961.89
Current children cumulated vsize (KiB) 247016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5000.5 s]
/proc/loadavg: 1.00 1.00 1.01 2/422 20789
/proc/meminfo: memFree=25734616/32951124 swapFree=44043512/67111528
[pid=20134] ppid=20132 vsize=34400 CPUtime=1277.76 cores=0,2,4,6
/proc/20134/stat : 20134 (python) S 20132 20134 19780 0 -1 4202496 3755 1545862 0 0 2 1 127478 295 18 0 1 0 817982211 35225600 1408 33554432000 4194304 5683644 140735610226288 18446744073709551615 246516834048 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/20134/statm: 8600 1408 468 364 0 934 0
[pid=20136] ppid=20134 vsize=0 CPUtime=92.96 cores=0,2,4,6
/proc/20136/stat : 20136 (features) Z 20134 20134 19780 0 -1 4202524 111335 0 0 0 9271 25 0 0 25 0 1 0 817982214 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20136/statm: 0 0 0 0 0 0 0
[pid=20139] ppid=20134 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/20139/stat : 20139 (coach) Z 20134 20134 19780 0 -1 4202524 3928 0 0 0 32 0 0 0 20 0 1 0 817991509 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
[pid=20197] ppid=20134 vsize=221064 CPUtime=3629.05 cores=0,2,4,6
/proc/20197/stat : 20197 (lingeling) R 20134 20134 19780 0 -1 4202496 1281089 0 0 0 362704 201 0 0 25 0 1 0 818119334 226369536 54952 33554432000 134512640 134650204 4286919344 18446744073709551615 134543631 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/20197/statm: 55266 54952 112 34 0 54881 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 255464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20134 and gives
# childrusage.ru_utime.tv_sec=1274
# childrusage.ru_utime.tv_usec=811199
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=966549
# CPU time returned by wait4() is 1277.78
# while last known CPU time is 5000.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5000.52
CPU time (s): 5000.09
CPU user time (s): 4994.87
CPU system time (s): 5.22
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 2118080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1274.81
system time used= 2.96655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1549617
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= 286
involuntary context switches= 5222
runsolver used 21.9737 second user time and 46.307 second system time
The end