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-3719127-1338273156/watcher-3719127-1338273156 -o /tmp/evaluation-result-3719127-1338273156/solver-3719127-1338273156 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719127-1338273156.opb PrimePower CARD.SN ./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.00 2.00 1.92 3/180 1538
/proc/meminfo: memFree=30919172/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/1538/stat : 1538 (python) R 1536 1538 1013 0 -1 4202496 732 0 0 0 0 0 0 0 20 0 1 0 293444175 15749120 609 33554432000 4194304 5683644 140733607930128 140733607902312 249649663892 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 3845 610 331 364 0 287 0
[startup+0.0843301 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 1538
/proc/meminfo: memFree=30919172/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.100357 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 1538
/proc/meminfo: memFree=30919172/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 1538
/proc/meminfo: memFree=30919172/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700246 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 1538
/proc/meminfo: memFree=30919172/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=30847876/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=83692 CPUtime=1.43 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 91907 0 0 0 57 86 0 0 20 0 1 0 293444180 85700608 9851 33554432000 4194304 4943705 140737068852656 140737068849328 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/1544/statm: 20923 9851 365 183 0 17293 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 135728
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=30772732/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=211436 CPUtime=3.04 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 105888 0 0 0 91 213 0 0 20 0 1 0 293444180 216510464 23832 33554432000 4194304 4943705 140737068852656 140737068849296 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/1544/statm: 52859 23832 365 183 0 49229 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 263472
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=30574340/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=429356 CPUtime=6.12 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 129733 0 0 0 160 452 0 0 20 0 1 0 293444180 439660544 47677 33554432000 4194304 4943705 140737068852656 140737068851568 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/1544/statm: 107339 47677 365 183 0 103709 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 481392
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=30162644/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=886668 CPUtime=12.51 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 179766 0 0 0 333 918 0 0 20 0 1 0 293444180 907948032 97710 33554432000 4194304 4943705 140737068852656 140737068849296 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 12 0 0
/proc/1544/statm: 221667 97710 365 183 0 218037 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 938704
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 1/185 1544
/proc/meminfo: memFree=29393092/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=1705932 CPUtime=25.15 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 269444 0 0 0 764 1751 0 0 20 0 1 0 293444180 1746874368 187372 33554432000 4194304 4943705 140737068852656 140737068850928 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/1544/statm: 426483 187372 365 183 0 422853 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 1757968
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=28045784/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=3167340 CPUtime=50.58 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 429385 0 0 0 1855 3203 0 0 20 0 1 0 293444180 3243356160 347313 33554432000 4194304 4943705 140737068852656 140737068850064 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 44 0 0
/proc/1544/statm: 791835 347313 365 183 0 788205 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 3219376
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=25681892/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 5630608
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1544
/proc/meminfo: memFree=23372048/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=7933036 CPUtime=160.1 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 950929 0 0 0 8375 7635 0 0 20 0 1 0 293444180 8123428864 868823 33554432000 4194304 4943705 140737068852656 140737068850032 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 187 0 0
/proc/1544/statm: 1983259 868823 365 183 0 1979629 0
Current children cumulated CPU time (s) 160.12
Current children cumulated vsize (KiB) 7985072
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1545
/proc/meminfo: memFree=21320868/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=9924588 CPUtime=218.39 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1168882 0 0 0 12453 9386 0 0 20 0 1 0 293444180 10162778112 1086768 33554432000 4194304 4943705 140737068852656 140737068851568 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 337 0 0
/proc/1544/statm: 2481147 1086768 365 183 0 2477517 0
Current children cumulated CPU time (s) 218.41
Current children cumulated vsize (KiB) 9976624
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 1545
/proc/meminfo: memFree=19516324/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=11708460 CPUtime=277.38 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1364075 0 0 0 16783 10955 0 0 20 0 1 0 293444180 11989463040 1281961 33554432000 4194304 4943705 140737068852656 140737068850000 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 424 0 0
/proc/1544/statm: 2927115 1281961 365 183 0 2923485 0
Current children cumulated CPU time (s) 277.4
Current children cumulated vsize (KiB) 11760496
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/183 1547
/proc/meminfo: memFree=24062944/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=13366316 CPUtime=336.96 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1545492 0 0 0 21371 12325 0 0 20 0 1 0 293444180 13687107584 1465674 33554432000 4194304 4943705 140737068852656 140737068851568 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 461 0 0
/proc/1544/statm: 3341579 1465674 365 183 0 3337949 0
Current children cumulated CPU time (s) 336.98
Current children cumulated vsize (KiB) 13418352
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/183 1547
/proc/meminfo: memFree=22828056/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=14923404 CPUtime=396.75 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1715892 0 0 0 26216 13459 0 0 20 0 1 0 293444180 15281565696 1649880 33554432000 4194304 4943705 140737068852656 140737068849808 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 479 0 0
/proc/1544/statm: 3730851 1649880 365 183 0 3727221 0
Current children cumulated CPU time (s) 396.77
Current children cumulated vsize (KiB) 14975440
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+439.1 s]
/proc/loadavg: 2.03 2.02 1.93 3/183 1547
/proc/meminfo: memFree=22247064/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=15820812 CPUtime=433.37 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1814070 0 0 0 29235 14102 0 0 20 0 1 0 293444180 16200511488 1754969 33554432000 4194304 4943705 140737068852656 140737068851568 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 494 0 0
/proc/1544/statm: 3955203 1754969 365 183 0 3951573 0
Current children cumulated CPU time (s) 433.39
Current children cumulated vsize (KiB) 15872848
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+439.1 s]
/proc/loadavg: 2.03 2.02 1.93 3/183 1547
/proc/meminfo: memFree=22247064/32873844 swapFree=7116/7116
[pid=1538] ppid=1536 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/1538/stat : 1538 (python) S 1536 1538 1013 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293444175 17408000 1082 33554432000 4194304 5683644 140733607930128 140733607927976 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1538/statm: 4250 1082 429 364 0 692 0
[pid=1541] ppid=1538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (sh) S 1538 1538 1013 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293444177 9367552 267 33554432000 4194304 5064252 140736377915840 140736377914544 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2287 267 226 213 0 72 0
[pid=1542] ppid=1541 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/1542/stat : 1542 (python) S 1541 1538 1013 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293444177 17141760 1058 33554432000 4194304 5683644 140733804477376 140733804475224 249650038144 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4185 1058 429 364 0 627 0
[pid=1543] ppid=1542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (sh) S 1542 1538 1013 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293444180 9367552 268 33554432000 4194304 5064252 140737392501824 140737392500528 249649849934 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1543/statm: 2287 268 226 213 0 72 0
[pid=1544] ppid=1543 vsize=15820812 CPUtime=433.37 cores=1,3,5,7
/proc/1544/stat : 1544 (PBPASSolver-817) R 1543 1538 1013 0 -1 4202496 1814070 0 0 0 29235 14102 0 0 20 0 1 0 293444180 16200511488 1754969 33554432000 4194304 4943705 140737068852656 140737068851568 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 494 0 0
/proc/1544/statm: 3955203 1754969 365 183 0 3951573 0
Current children cumulated CPU time (s) 433.39
Current children cumulated vsize (KiB) 15872848
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1538 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=8998
# CPU time returned by wait4() is 0.037993
# while last known CPU time is 433.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 439.119
CPU time (s): 433.39
CPU user time (s): 292.37
CPU system time (s): 141.02
CPU usage (%): 98.6952
Max. virtual memory (cumulated for all children) (KiB): 15872848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.028995
system time used= 0.008998
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3492
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= 116
involuntary context switches= 3
runsolver used 0.779881 second user time and 2.21766 second system time
The end