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-3719118-1338272858/watcher-3719118-1338272858 -o /tmp/evaluation-result-3719118-1338272858/solver-3719118-1338272858 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719118-1338272858.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 23991
/proc/meminfo: memFree=24570076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/23991/stat : 23991 (python) D 23989 23991 23529 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 293412149 15642624 526 33554432000 4194304 5683644 140735683018304 140735683004216 270330053520 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 3819 526 312 364 0 261 0
[startup+0.057583 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23991
/proc/meminfo: memFree=24570076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16588 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) D 23989 23991 23529 0 -1 4202496 1196 0 0 0 1 0 0 0 20 0 1 0 293412149 16986112 996 33554432000 4194304 5683644 140735683018304 140735682972648 270330052277 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4147 996 418 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23991
/proc/meminfo: memFree=24570076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300165 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23991
/proc/meminfo: memFree=24570076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23991
/proc/meminfo: memFree=24570076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50032 s]
/proc/loadavg: 2.16 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24530184/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=61260 CPUtime=1.39 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 156499 0 0 0 79 60 0 0 20 0 1 0 293412159 62730240 7615 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 15315 7615 329 183 0 11685 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 113288
[startup+3.10034 s]
/proc/loadavg: 2.16 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24524604/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=82508 CPUtime=2.99 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 236347 0 0 0 169 130 0 0 20 0 1 0 293412159 84488192 11023 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 20627 11023 329 183 0 16997 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 134536
[startup+6.30047 s]
/proc/loadavg: 2.15 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24467076/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=112332 CPUtime=6.19 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 349483 0 0 0 348 271 0 0 20 0 1 0 293412159 115027968 15743 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 28083 15743 329 183 0 24453 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 164360
[startup+12.7004 s]
/proc/loadavg: 2.14 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24440488/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=154444 CPUtime=12.59 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 511538 0 0 0 712 547 0 0 20 0 1 0 293412159 158150656 29839 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 38611 29839 329 183 0 34981 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 206472
[startup+25.5004 s]
/proc/loadavg: 2.12 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24331548/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=213708 CPUtime=25.39 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 746674 0 0 0 1426 1113 0 0 20 0 1 0 293412159 218836992 34175 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 53427 34175 329 183 0 49797 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 265736
[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 1.93 3/178 24026
/proc/meminfo: memFree=26484148/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=296140 CPUtime=50.98 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 1084046 0 0 0 2863 2235 0 0 20 0 1 0 293412159 303247360 53278 33554432000 4194304 4943705 140735496913744 140735496910880 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/23996/statm: 74035 53278 329 183 0 70405 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 348168
[startup+102.307 s]
/proc/loadavg: 2.15 2.06 1.95 3/185 24040
/proc/meminfo: memFree=25749312/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 567048
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/185 24043
/proc/meminfo: memFree=24204300/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=3479244 CPUtime=221.86 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 2535867 0 0 0 11885 10301 0 0 20 0 1 0 293412159 3562745856 426335 33554432000 4194304 4943705 140735496913744 140735496912656 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 27 0 0
/proc/23996/statm: 869811 426335 365 183 0 866181 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 3531272
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 1.95 3/185 24044
/proc/meminfo: memFree=22599408/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=7041932 CPUtime=281.67 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 2925804 0 0 0 15238 12929 0 0 20 0 1 0 293412159 7210938368 829341 33554432000 4194304 4943705 140735496913744 140735496910384 4361045 0 0 16781312 17608 0 0 0 17 5 0 0 45 0 0
/proc/23996/statm: 1760483 829341 365 183 0 1756853 0
Current children cumulated CPU time (s) 281.69
Current children cumulated vsize (KiB) 7093960
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/185 24044
/proc/meminfo: memFree=20950244/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=9872140 CPUtime=341.44 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 3235511 0 0 0 19137 15007 0 0 20 0 1 0 293412159 10109071360 1139040 33554432000 4194304 4943705 140735496913744 140735496912656 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 65 0 0
/proc/23996/statm: 2468035 1139040 365 183 0 2464405 0
Current children cumulated CPU time (s) 341.46
Current children cumulated vsize (KiB) 9924168
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/185 24044
/proc/meminfo: memFree=19227684/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=12138828 CPUtime=400.19 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 3483556 0 0 0 23035 16984 0 0 20 0 1 0 293412159 12430159872 1387077 33554432000 4194304 4943705 140735496913744 140735496911088 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 164 0 0
/proc/23996/statm: 3034707 1387077 365 183 0 3031077 0
Current children cumulated CPU time (s) 400.21
Current children cumulated vsize (KiB) 12190856
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/185 24044
/proc/meminfo: memFree=16653312/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=14113228 CPUtime=459.37 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 3699571 0 0 0 27004 18933 0 0 20 0 1 0 293412159 14451945472 1603092 33554432000 4194304 4943705 140735496913744 140735496912656 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 232 0 0
/proc/23996/statm: 3528307 1603092 365 183 0 3524677 0
Current children cumulated CPU time (s) 459.39
Current children cumulated vsize (KiB) 14165256
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+518.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/185 24044
/proc/meminfo: memFree=14564724/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=15822476 CPUtime=515.22 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 3886732 0 0 0 31021 20501 0 0 20 0 1 0 293412159 16202215424 1790221 33554432000 4194304 4943705 140735496913744 140735496912656 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 276 0 0
/proc/23996/statm: 3955619 1790221 365 183 0 3951989 0
Current children cumulated CPU time (s) 515.24
Current children cumulated vsize (KiB) 15874504
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+518.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/185 24044
/proc/meminfo: memFree=14564724/32873660 swapFree=7120/7120
[pid=23991] ppid=23989 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/23991/stat : 23991 (python) S 23989 23991 23529 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293412149 17399808 1081 33554432000 4194304 5683644 140735683018304 140735683016152 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23991/statm: 4248 1081 429 364 0 690 0
[pid=23993] ppid=23991 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (sh) S 23991 23991 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412156 9367552 266 33554432000 4194304 5064252 140735647984336 140735647983040 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23993/statm: 2287 266 226 213 0 72 0
[pid=23994] ppid=23993 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/23994/stat : 23994 (python) S 23993 23991 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293412157 17141760 1059 33554432000 4194304 5683644 140734868596096 140734868593944 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 4185 1059 429 364 0 627 0
[pid=23995] ppid=23994 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23995/stat : 23995 (sh) S 23994 23991 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412159 9367552 268 33554432000 4194304 5064252 140735367123104 140735367121808 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23995/statm: 2287 268 226 213 0 72 0
[pid=23996] ppid=23995 vsize=15822476 CPUtime=515.22 cores=1,3,5,7
/proc/23996/stat : 23996 (PBPASSolver-817) R 23995 23991 23529 0 -1 4202496 3886732 0 0 0 31021 20501 0 0 20 0 1 0 293412159 16202215424 1790221 33554432000 4194304 4943705 140735496913744 140735496912656 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 276 0 0
/proc/23996/statm: 3955619 1790221 365 183 0 3951989 0
Current children cumulated CPU time (s) 515.24
Current children cumulated vsize (KiB) 15874504
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23991 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=32994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=11998
# CPU time returned by wait4() is 0.044992
# while last known CPU time is 515.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 518.718
CPU time (s): 515.24
CPU user time (s): 310.23
CPU system time (s): 205.01
CPU usage (%): 99.3295
Max. virtual memory (cumulated for all children) (KiB): 15874504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.011998
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3488
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 0.91586 second user time and 2.34464 second system time
The end