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-3718748-1338273037/watcher-3718748-1338273037 -o /tmp/evaluation-result-3718748-1338273037/solver-3718748-1338273037 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718748-1338273037.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.21 2.11 1.98 4/179 31215
/proc/meminfo: memFree=25764940/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/31215/stat : 31215 (python) D 31213 31215 30619 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293432927 15642624 528 33554432000 4194304 5683644 140736247651808 140736247637720 218213729168 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 3819 528 312 364 0 261 0
[startup+0.0699461 s]
/proc/loadavg: 2.21 2.11 1.98 4/179 31215
/proc/meminfo: memFree=25764940/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) D 31213 31215 30619 0 -1 4202496 1255 0 0 0 1 0 0 0 20 0 1 0 293432927 16990208 1042 33554432000 4194304 5683644 140736247651808 140736247637256 218213729168 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4148 1042 423 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592
[startup+0.100254 s]
/proc/loadavg: 2.21 2.11 1.98 4/179 31215
/proc/meminfo: memFree=25764940/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300307 s]
/proc/loadavg: 2.21 2.11 1.98 4/179 31215
/proc/meminfo: memFree=25764940/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700321 s]
/proc/loadavg: 2.21 2.11 1.98 4/179 31215
/proc/meminfo: memFree=25764940/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50051 s]
/proc/loadavg: 2.21 2.11 1.98 3/184 31220
/proc/meminfo: memFree=25740884/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=52044 CPUtime=1.39 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 144339 0 0 0 90 49 0 0 20 0 1 0 293432937 53293056 9377 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 13011 9377 329 183 0 9381 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 104076
[startup+3.1005 s]
/proc/loadavg: 2.21 2.11 1.98 3/184 31220
/proc/meminfo: memFree=25710532/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=68940 CPUtime=2.99 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 219427 0 0 0 196 103 0 0 20 0 1 0 293432937 70594560 9121 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 17235 9121 329 183 0 13605 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 120972
[startup+6.30051 s]
/proc/loadavg: 2.28 2.12 1.98 3/184 31220
/proc/meminfo: memFree=25690728/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=92108 CPUtime=6.19 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 322747 0 0 0 411 208 0 0 20 0 1 0 293432937 94318592 15185 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 23027 15185 329 183 0 19397 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 144140
[startup+12.7005 s]
/proc/loadavg: 2.25 2.12 1.98 3/184 31220
/proc/meminfo: memFree=25656844/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=124620 CPUtime=12.59 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 469877 0 0 0 841 418 0 0 20 0 1 0 293432937 127610880 14945 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 31155 14945 329 183 0 27525 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 176652
[startup+25.5005 s]
/proc/loadavg: 2.28 2.13 1.99 3/183 31220
/proc/meminfo: memFree=25662620/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=170188 CPUtime=25.38 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 679064 0 0 0 1701 837 0 0 20 0 1 0 293432937 174272512 21633 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 42547 21633 329 183 0 38917 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 222220
[startup+51.1005 s]
/proc/loadavg: 2.18 2.12 1.99 3/183 31220
/proc/meminfo: memFree=25589012/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=234700 CPUtime=50.98 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 982304 0 0 0 3429 1669 0 0 20 0 1 0 293432937 240332800 45825 33554432000 4194304 4943705 140735506930400 140735506927536 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/31220/statm: 58675 45825 329 183 0 55045 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 286732
[startup+102.301 s]
/proc/loadavg: 2.14 2.11 2.00 3/183 31221
/proc/meminfo: memFree=25380604/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 3768300
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 31266
/proc/meminfo: memFree=18934476/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=6213868 CPUtime=521 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 3679679 0 0 0 32460 19640 0 0 20 0 1 0 293432937 6363000832 722739 33554432000 4194304 4943705 140735506930400 140735506927776 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 93 0 0
/proc/31220/statm: 1553467 722739 366 183 0 1549837 0
Current children cumulated CPU time (s) 521.02
Current children cumulated vsize (KiB) 6265900
[startup+582.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/186 31269
/proc/meminfo: memFree=17035576/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=8355852 CPUtime=580.66 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 3914082 0 0 0 36042 22024 0 0 20 0 1 0 293432937 8556392448 957134 33554432000 4194304 4943705 140735506930400 140735506927168 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 127 0 0
/proc/31220/statm: 2088963 957134 366 183 0 2085333 0
Current children cumulated CPU time (s) 580.68
Current children cumulated vsize (KiB) 8407884
[startup+642.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/185 31269
/proc/meminfo: memFree=15344612/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=10286092 CPUtime=639.77 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 4125297 0 0 0 39800 24177 0 0 20 0 1 0 293432937 10532958208 1168349 33554432000 4194304 4943705 140735506930400 140735506929312 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 194 0 0
/proc/31220/statm: 2571523 1168349 366 183 0 2567893 0
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (KiB) 10338124
[startup+702.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 31314
/proc/meminfo: memFree=21652528/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=12010476 CPUtime=699.31 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 4314020 0 0 0 43620 26311 0 0 20 0 1 0 293432937 12298727424 1357064 33554432000 4194304 4943705 140735506930400 140735506927376 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 239 0 0
/proc/31220/statm: 3002619 1357064 366 183 0 2998989 0
Current children cumulated CPU time (s) 699.33
Current children cumulated vsize (KiB) 12062508
[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31315
/proc/meminfo: memFree=20518448/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=13735564 CPUtime=759.09 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 4502772 0 0 0 48013 27896 0 0 20 0 1 0 293432937 14065217536 1545816 33554432000 4194304 4943705 140735506930400 140735506929312 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 259 0 0
/proc/31220/statm: 3433891 1545816 366 183 0 3430261 0
Current children cumulated CPU time (s) 759.11
Current children cumulated vsize (KiB) 13787596
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31315
/proc/meminfo: memFree=19716972/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=15305612 CPUtime=818.88 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 4674679 0 0 0 52552 29336 0 0 20 0 1 0 293432937 15672946688 1717691 33554432000 4194304 4943705 140735506930400 140735506927584 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 278 0 0
/proc/31220/statm: 3826403 1717691 366 183 0 3822773 0
Current children cumulated CPU time (s) 818.9
Current children cumulated vsize (KiB) 15357644
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+843.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31315
/proc/meminfo: memFree=19431272/32873844 swapFree=7620/7620
[pid=31215] ppid=31213 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/31215/stat : 31215 (python) S 31213 31215 30619 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293432927 17403904 1082 33554432000 4194304 5683644 140736247651808 140736247649656 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31215/statm: 4249 1082 429 364 0 691 0
[pid=31217] ppid=31215 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31217/stat : 31217 (sh) S 31215 31215 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293432934 9367552 267 33554432000 4194304 5064252 140736740959536 140736740958240 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31217/statm: 2287 267 226 213 0 72 0
[pid=31218] ppid=31217 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/31218/stat : 31218 (python) S 31217 31215 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293432934 17141760 1059 33554432000 4194304 5683644 140736800003536 140736800001384 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31218/statm: 4185 1059 429 364 0 627 0
[pid=31219] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31219/stat : 31219 (sh) S 31218 31215 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293432937 9367552 268 33554432000 4194304 5064252 140733243156256 140733243154960 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31219/statm: 2287 268 226 213 0 72 0
[pid=31220] ppid=31219 vsize=15821324 CPUtime=839.74 cores=1,3,5,7
/proc/31220/stat : 31220 (PBPASSolver-817) R 31219 31215 30619 0 -1 4202496 4731106 0 0 0 54159 29815 0 0 20 0 1 0 293432937 16201035776 1774118 33554432000 4194304 4943705 140735506930400 140735506929312 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 283 0 0
/proc/31220/statm: 3955331 1774118 366 183 0 3951701 0
Current children cumulated CPU time (s) 839.76
Current children cumulated vsize (KiB) 15873356
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 31215 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=36994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.047992
# while last known CPU time is 839.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 843.22
CPU time (s): 839.76
CPU user time (s): 541.61
CPU system time (s): 298.15
CPU usage (%): 99.5897
Max. virtual memory (cumulated for all children) (KiB): 15873356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.036994
system time used= 0.010998
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 1.40379 second user time and 4.02639 second system time
The end