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-3719128-1338272918/watcher-3719128-1338272918 -o /tmp/evaluation-result-3719128-1338272918/solver-3719128-1338272918 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719128-1338272918.opb PrimePower CARD.SN ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/178 5104
/proc/meminfo: memFree=28516820/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=15308 CPUtime=0 cores=0,2,4,6
/proc/5104/stat : 5104 (python) R 5102 5104 4555 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 293418589 15675392 553 33554432000 4194304 5683644 140736978119664 140736978105384 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 3827 556 316 364 0 269 0
[startup+0.0232191 s]
/proc/loadavg: 2.00 2.00 1.91 2/178 5104
/proc/meminfo: memFree=28516820/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=15576 CPUtime=0 cores=0,2,4,6
/proc/5104/stat : 5104 (python) D 5102 5104 4555 0 -1 4202496 845 0 0 0 0 0 0 0 20 0 1 0 293418589 15949824 711 33554432000 4194304 5683644 140736978119664 140736978078120 271787574160 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 3894 711 347 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576
[startup+0.100154 s]
/proc/loadavg: 2.00 2.00 1.91 2/178 5104
/proc/meminfo: memFree=28516820/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 1.91 2/178 5104
/proc/meminfo: memFree=28516820/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 1.91 2/178 5104
/proc/meminfo: memFree=28516820/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=28476544/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=140236 CPUtime=1.38 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 66245 0 0 0 43 95 0 0 20 0 1 0 293418600 143601664 15378 33554432000 4194304 4943705 140733528451200 140733528448576 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/5109/statm: 35059 15378 365 183 0 31429 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 192260
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=28426044/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=279756 CPUtime=2.83 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 81529 0 0 0 84 199 0 0 20 0 1 0 293418600 286470144 30662 33554432000 4194304 4943705 140733528451200 140733528448512 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/5109/statm: 69939 30662 365 183 0 66309 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 331780
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=28282376/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=582700 CPUtime=6.03 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 114661 0 0 0 181 422 0 0 20 0 1 0 293418600 596684800 63794 33554432000 4194304 4943705 140733528451200 140733528448608 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/5109/statm: 145675 63794 365 183 0 142045 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 634724
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=28011748/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=1149964 CPUtime=12.4 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 176769 0 0 0 397 843 0 0 20 0 1 0 293418600 1177563136 125886 33554432000 4194304 4943705 140733528451200 140733528447872 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/5109/statm: 287491 125886 365 183 0 283861 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 1201988
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=27524860/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=2183788 CPUtime=25.18 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 289924 0 0 0 905 1613 0 0 20 0 1 0 293418600 2236198912 239041 33554432000 4194304 4943705 140733528451200 140733528447840 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 19 0 0
/proc/5109/statm: 545947 239041 365 183 0 542317 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 2235812
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5109
/proc/meminfo: memFree=26714500/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=3978764 CPUtime=50.72 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 486335 0 0 0 2155 2917 0 0 20 0 1 0 293418600 4074254336 435436 33554432000 4194304 4943705 140733528451200 140733528448608 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 25 0 0
/proc/5109/statm: 994691 435436 365 183 0 991061 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 4030788
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 5112
/proc/meminfo: memFree=25342104/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=6880780 CPUtime=101.69 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 803924 0 0 0 5117 5052 0 0 20 0 1 0 293418600 7045918720 753017 33554432000 4194304 4943705 140733528451200 140733528448608 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 48 0 0
/proc/5109/statm: 1720195 753017 365 183 0 1716565 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 6932804
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5112
/proc/meminfo: memFree=24061056/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=9640876 CPUtime=161.33 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 1105946 0 0 0 9035 7098 0 0 20 0 1 0 293418600 9872257024 1055031 33554432000 4194304 4943705 140733528451200 140733528450144 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 78 0 0
/proc/5109/statm: 2410219 1055031 365 183 0 2406589 0
Current children cumulated CPU time (s) 161.35
Current children cumulated vsize (KiB) 9692900
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/183 5113
/proc/meminfo: memFree=22950048/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=12020172 CPUtime=221.09 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 1366324 0 0 0 13258 8851 0 0 20 0 1 0 293418600 12308656128 1315401 33554432000 4194304 4943705 140733528451200 140733528450112 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 100 0 0
/proc/5109/statm: 3005043 1315401 365 183 0 3001413 0
Current children cumulated CPU time (s) 221.11
Current children cumulated vsize (KiB) 12072196
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/184 5114
/proc/meminfo: memFree=21989528/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=14123276 CPUtime=280.9 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 1596441 0 0 0 17673 10417 0 0 20 0 1 0 293418600 14462234624 1545510 33554432000 4194304 4943705 140733528451200 140733528448544 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 119 0 0
/proc/5109/statm: 3530819 1545510 365 183 0 3527189 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 14175300
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+335.2 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 5114
/proc/meminfo: memFree=21197112/32873648 swapFree=6852/6852
[pid=5104] ppid=5102 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/5104/stat : 5104 (python) S 5102 5104 4555 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293418589 17399808 1081 33554432000 4194304 5683644 140736978119664 140736978117512 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5104/statm: 4248 1081 429 364 0 690 0
[pid=5106] ppid=5104 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5106/stat : 5106 (sh) S 5104 5104 4555 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293418597 9367552 267 33554432000 4194304 5064252 140733859902640 140733859901344 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5106/statm: 2287 267 226 213 0 72 0
[pid=5107] ppid=5106 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/5107/stat : 5107 (python) S 5106 5104 4555 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293418597 17137664 1058 33554432000 4194304 5683644 140735528455776 140735528453624 271787574656 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5107/statm: 4184 1058 429 364 0 626 0
[pid=5108] ppid=5107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5108/stat : 5108 (sh) S 5107 5104 4555 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293418600 9367552 268 33554432000 4194304 5064252 140733903808656 140733903807360 271787386446 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5108/statm: 2287 268 226 213 0 72 0
[pid=5109] ppid=5108 vsize=15821228 CPUtime=333.63 cores=0,2,4,6
/proc/5109/stat : 5109 (PBPASSolver-817) R 5108 5104 4555 0 -1 4202496 1782256 0 0 0 21693 11670 0 0 20 0 1 0 293418600 16200937472 1731325 33554432000 4194304 4943705 140733528451200 140733528447840 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 135 0 0
/proc/5109/statm: 3955307 1731325 365 183 0 3951677 0
Current children cumulated CPU time (s) 333.65
Current children cumulated vsize (KiB) 15873252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5104 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=30995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.041993
# while last known CPU time is 333.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 335.219
CPU time (s): 333.65
CPU user time (s): 216.95
CPU system time (s): 116.7
CPU usage (%): 99.532
Max. virtual memory (cumulated for all children) (KiB): 15873252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.010998
maximum resident set size= 4328
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= 5
runsolver used 1.38579 second user time and 3.47947 second system time
The end