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-3718740-1338273250/watcher-3718740-1338273250 -o /tmp/evaluation-result-3718740-1338273250/solver-3718740-1338273250 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718740-1338273250.opb PrimePower CARD.DP ./CryptoMiniSat
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.01 2.04 1.96 3/180 3582
/proc/meminfo: memFree=27089616/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/3582/stat : 3582 (runsolver) D 3580 3582 2898 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 293392086 12095488 51 33554432000 4194304 5436572 140737283665136 140737283661432 4883175 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/3582/statm: 2953 51 31 304 0 2645 0
[startup+0.050415 s]
/proc/loadavg: 2.01 2.04 1.96 3/180 3582
/proc/meminfo: memFree=27089616/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=15972 CPUtime=0 cores=1,3,5,7
/proc/3582/stat : 3582 (python) R 3580 3582 2898 0 -1 4202496 950 0 0 0 0 0 0 0 20 0 1 0 293392086 16355328 799 33554432000 4194304 5683644 140736570387760 140736570358728 209097408260 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4001 809 359 364 0 443 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100311 s]
/proc/loadavg: 2.01 2.04 1.96 3/180 3582
/proc/meminfo: memFree=27089616/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.300312 s]
/proc/loadavg: 2.01 2.04 1.96 3/180 3582
/proc/meminfo: memFree=27089616/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.700306 s]
/proc/loadavg: 2.01 2.04 1.96 3/180 3582
/proc/meminfo: memFree=27089616/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+1.50049 s]
/proc/loadavg: 2.01 2.04 1.96 3/185 3587
/proc/meminfo: memFree=27037908/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=52428 CPUtime=1.37 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 122357 0 0 0 90 47 0 0 20 0 1 0 293392098 53686272 9359 33554432000 4194304 4943705 140734771344464 140734771341600 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/3587/statm: 13107 9359 329 183 0 9477 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 104460
[startup+3.10048 s]
/proc/loadavg: 2.01 2.04 1.96 3/185 3587
/proc/meminfo: memFree=27000312/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=69580 CPUtime=2.97 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 185214 0 0 0 199 98 0 0 20 0 1 0 293392098 71249920 7517 33554432000 4194304 4943705 140734771344464 140734771341600 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/3587/statm: 17395 7525 329 183 0 13765 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 121612
[startup+6.30037 s]
/proc/loadavg: 2.01 2.04 1.96 3/185 3587
/proc/meminfo: memFree=26935084/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=64524 CPUtime=6.17 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 267290 0 0 0 400 217 0 0 20 0 1 0 293392098 66072576 11328 33554432000 4194304 4943705 140734771344464 140734771341600 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/3587/statm: 16131 11328 366 183 0 12501 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 116556
[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 1.96 3/185 3587
/proc/meminfo: memFree=26646988/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=496236 CPUtime=12.45 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 314535 0 0 0 543 702 0 0 20 0 1 0 293392098 508145664 58573 33554432000 4194304 4943705 140734771344464 140734771341872 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 10 0 0
/proc/3587/statm: 124059 58573 366 183 0 120429 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 548268
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 1.96 3/185 3588
/proc/meminfo: memFree=26028832/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=1312844 CPUtime=25.23 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 403898 0 0 0 929 1594 0 0 20 0 1 0 293392098 1344352256 147936 33554432000 4194304 4943705 140734771344464 140734771343376 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 12 0 0
/proc/3587/statm: 328211 147936 366 183 0 324581 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 1364876
[startup+51.1004 s]
/proc/loadavg: 2.00 2.03 1.96 3/185 3588
/proc/meminfo: memFree=24969948/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=2708716 CPUtime=50.66 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 556638 0 0 0 1918 3148 0 0 20 0 1 0 293392098 2773725184 300676 33554432000 4194304 4943705 140734771344464 140734771341744 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 29 0 0
/proc/3587/statm: 677179 300676 366 183 0 673549 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 2760748
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 1.96 3/185 3588
/proc/meminfo: memFree=23053200/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 7354636
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/185 3588
/proc/meminfo: memFree=19324204/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=9270796 CPUtime=220.63 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1274717 0 0 0 11848 10215 0 0 20 0 1 0 293392098 9493295104 1018723 33554432000 4194304 4943705 140734771344464 140734771341072 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 146 0 0
/proc/3587/statm: 2317699 1018723 366 183 0 2314069 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 9322828
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 3633
/proc/meminfo: memFree=25565600/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=10955916 CPUtime=279.71 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1459071 0 0 0 15793 12178 0 0 20 0 1 0 293392098 11218857984 1214587 33554432000 4194304 4943705 140734771344464 140734771343376 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 229 0 0
/proc/3587/statm: 2738979 1214587 366 183 0 2735349 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 11007948
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 3634
/proc/meminfo: memFree=24537368/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=12636460 CPUtime=339.56 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1642978 0 0 0 20329 13627 0 0 20 0 1 0 293392098 12939735040 1412318 33554432000 4194304 4943705 140734771344464 140734771343376 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 244 0 0
/proc/3587/statm: 3159115 1412318 366 183 0 3155485 0
Current children cumulated CPU time (s) 339.59
Current children cumulated vsize (KiB) 12688492
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/184 3637
/proc/meminfo: memFree=23759768/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=14143116 CPUtime=399.4 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1807880 0 0 0 24991 14949 0 0 20 0 1 0 293392098 14482550784 1591042 33554432000 4194304 4943705 140734771344464 140734771343376 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 258 0 0
/proc/3587/statm: 3535779 1591042 366 183 0 3532149 0
Current children cumulated CPU time (s) 399.43
Current children cumulated vsize (KiB) 14195148
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 3637
/proc/meminfo: memFree=22964956/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=15533484 CPUtime=459.19 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1960001 0 0 0 29746 16173 0 0 20 0 1 0 293392098 15906287616 1756964 33554432000 4194304 4943705 140734771344464 140734771343376 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 272 0 0
/proc/3587/statm: 3883371 1756964 366 183 0 3879741 0
Current children cumulated CPU time (s) 459.22
Current children cumulated vsize (KiB) 15585516
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+475.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 3637
/proc/meminfo: memFree=22818620/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=15821804 CPUtime=472.16 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1991539 0 0 0 30783 16433 0 0 20 0 1 0 293392098 16201527296 1790805 33554432000 4194304 4943705 140734771344464 140734771341872 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 276 0 0
/proc/3587/statm: 3955451 1790805 366 183 0 3951821 0
Current children cumulated CPU time (s) 472.19
Current children cumulated vsize (KiB) 15873836
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+475.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 3637
/proc/meminfo: memFree=22818620/32873844 swapFree=6872/6872
[pid=3582] ppid=3580 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/3582/stat : 3582 (python) S 3580 3582 2898 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293392086 17403904 1082 33554432000 4194304 5683644 140736570387760 140736570385608 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/3582/statm: 4249 1082 429 364 0 691 0
[pid=3584] ppid=3582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3584/stat : 3584 (sh) S 3582 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392095 9367552 267 33554432000 4194304 5064252 140735271980336 140735271979040 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3584/statm: 2287 267 226 213 0 72 0
[pid=3585] ppid=3584 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/3585/stat : 3585 (python) S 3584 3582 2898 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293392095 17141760 1059 33554432000 4194304 5683644 140735030070592 140735030068440 209097409920 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3585/statm: 4185 1059 429 364 0 627 0
[pid=3586] ppid=3585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3586/stat : 3586 (sh) S 3585 3582 2898 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392098 9367552 268 33554432000 4194304 5064252 140734913270160 140734913268864 209097221710 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3586/statm: 2287 268 226 213 0 72 0
[pid=3587] ppid=3586 vsize=15821804 CPUtime=472.16 cores=1,3,5,7
/proc/3587/stat : 3587 (PBPASSolver-817) R 3586 3582 2898 0 -1 4202496 1991539 0 0 0 30783 16433 0 0 20 0 1 0 293392098 16201527296 1790805 33554432000 4194304 4943705 140734771344464 140734771341872 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 276 0 0
/proc/3587/statm: 3955451 1790805 366 183 0 3951821 0
Current children cumulated CPU time (s) 472.19
Current children cumulated vsize (KiB) 15873836
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3582 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=28995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.048991
# while last known CPU time is 472.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 475.319
CPU time (s): 472.19
CPU user time (s): 307.85
CPU system time (s): 164.34
CPU usage (%): 99.3416
Max. virtual memory (cumulated for all children) (KiB): 15873836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.028995
system time used= 0.019996
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
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= 191
involuntary context switches= 3
runsolver used 0.855869 second user time and 2.57561 second system time
The end