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-3719107-1338272997/watcher-3719107-1338272997 -o /tmp/evaluation-result-3719107-1338272997/solver-3719107-1338272997 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719107-1338272997.opb PrimePower CARD.SN ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.05 1.95 3/176 3229
/proc/meminfo: memFree=25796320/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/3229/stat : 3229 (python) D 3227 3229 2770 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293425320 15642624 560 33554432000 4194304 5683644 140737269439984 140737269407928 252263089040 0 0 16781312 2 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 3819 560 324 364 0 261 0
[startup+0.0974671 s]
/proc/loadavg: 2.13 2.05 1.95 3/176 3229
/proc/meminfo: memFree=25796320/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100286 s]
/proc/loadavg: 2.13 2.05 1.95 3/176 3229
/proc/meminfo: memFree=25796320/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300271 s]
/proc/loadavg: 2.13 2.05 1.95 3/176 3229
/proc/meminfo: memFree=25796320/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700329 s]
/proc/loadavg: 2.13 2.05 1.95 3/176 3229
/proc/meminfo: memFree=25796320/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/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.13 2.05 1.95 3/181 3234
/proc/meminfo: memFree=25764188/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=61004 CPUtime=1.38 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 147105 0 0 0 78 60 0 0 20 0 1 0 293425331 62468096 10842 33554432000 4194304 4943705 140736746907440 140736746904576 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 15251 10842 329 183 0 11621 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 113032
[startup+3.10043 s]
/proc/loadavg: 2.13 2.05 1.95 3/181 3234
/proc/meminfo: memFree=25756556/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=82508 CPUtime=2.98 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 222623 0 0 0 170 128 0 0 20 0 1 0 293425331 84488192 10074 33554432000 4194304 4943705 140736746907440 140736746904576 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 20627 10074 329 183 0 16997 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 134536
[startup+6.3005 s]
/proc/loadavg: 2.12 2.05 1.95 3/182 3237
/proc/meminfo: memFree=25729272/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=111948 CPUtime=6.18 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 328429 0 0 0 350 268 0 0 20 0 1 0 293425331 114634752 17674 33554432000 4194304 4943705 140736746907440 140736746904576 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/3234/statm: 27987 17674 329 183 0 24357 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 163976
[startup+12.7004 s]
/proc/loadavg: 2.11 2.05 1.95 3/181 3237
/proc/meminfo: memFree=25511016/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=624076 CPUtime=12.5 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 404605 0 0 0 541 709 0 0 20 0 1 0 293425331 639053824 74279 33554432000 4194304 4943705 140736746907440 140736746904816 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 6 0 0
/proc/3234/statm: 156019 74279 365 183 0 152389 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 676104
[startup+25.5004 s]
/proc/loadavg: 2.09 2.05 1.95 3/182 3238
/proc/meminfo: memFree=24985616/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=1742348 CPUtime=25.3 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 526991 0 0 0 1012 1518 0 0 20 0 1 0 293425331 1784164352 196665 33554432000 4194304 4943705 140736746907440 140736746904848 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 6 0 0
/proc/3234/statm: 435587 196665 365 183 0 431957 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 1794376
[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 1.95 3/182 3238
/proc/meminfo: memFree=24128876/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=3612396 CPUtime=50.89 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 731631 0 0 0 2228 2861 0 0 20 0 1 0 293425331 3699093504 401305 33554432000 4194304 4943705 140736746907440 140736746906352 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 7 0 0
/proc/3234/statm: 903099 401305 365 183 0 899469 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 3664424
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 1.95 3/181 3238
/proc/meminfo: memFree=22737684/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=6601484 CPUtime=102.09 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 1058724 0 0 0 5157 5052 0 0 20 0 1 0 293425331 6759919616 728398 33554432000 4194304 4943705 140736746907440 140736746906352 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 7 0 0
/proc/3234/statm: 1650371 728398 365 183 0 1646741 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 6653512
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/182 3239
/proc/meminfo: memFree=21253452/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=9451756 CPUtime=162.08 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 1370633 0 0 0 9092 7116 0 0 20 0 1 0 293425331 9678598144 1040307 33554432000 4194304 4943705 140736746907440 140736746904848 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 8 0 0
/proc/3234/statm: 2362939 1040307 365 183 0 2359309 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 9503784
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/181 3239
/proc/meminfo: memFree=20317924/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=11868652 CPUtime=222.05 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 1635094 0 0 0 13334 8871 0 0 20 0 1 0 293425331 12153499648 1304768 33554432000 4194304 4943705 140736746907440 140736746906352 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 8 0 0
/proc/3234/statm: 2967163 1304768 365 183 0 2963533 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 11920680
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 3239
/proc/meminfo: memFree=19376856/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=13985260 CPUtime=282.04 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 1866682 0 0 0 17783 10421 0 0 20 0 1 0 293425331 14320906240 1536356 33554432000 4194304 4943705 140736746907440 140736746904112 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 8 0 0
/proc/3234/statm: 3496315 1536356 365 183 0 3492685 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 14037288
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+339.7 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 3240
/proc/meminfo: memFree=18518272/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=15820908 CPUtime=339.43 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 2067555 0 0 0 22174 11769 0 0 20 0 1 0 293425331 16200609792 1737229 33554432000 4194304 4943705 140736746907440 140736746906352 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 9 0 0
/proc/3234/statm: 3955227 1737229 365 183 0 3951597 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 15872936
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+339.7 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 3240
/proc/meminfo: memFree=18518272/32873852 swapFree=7624/7624
[pid=3229] ppid=3227 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3229/stat : 3229 (python) S 3227 3229 2770 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293425320 17403904 1082 33554432000 4194304 5683644 140737269439984 140737269437832 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3229/statm: 4249 1082 429 364 0 691 0
[pid=3231] ppid=3229 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3231/stat : 3231 (sh) S 3229 3229 2770 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293425328 9367552 267 33554432000 4194304 5064252 140735578588224 140735578586928 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3231/statm: 2287 267 226 213 0 72 0
[pid=3232] ppid=3231 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3232/stat : 3232 (python) S 3231 3229 2770 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293425328 17137664 1058 33554432000 4194304 5683644 140734750206912 140734750204760 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3232/statm: 4184 1058 429 364 0 626 0
[pid=3233] ppid=3232 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3233/stat : 3233 (sh) S 3232 3229 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293425331 9367552 267 33554432000 4194304 5064252 140733665878656 140733665877360 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3233/statm: 2287 267 226 213 0 72 0
[pid=3234] ppid=3233 vsize=15820908 CPUtime=339.43 cores=0,2,4,6
/proc/3234/stat : 3234 (PBPASSolver-817) R 3233 3229 2770 0 -1 4202496 2067555 0 0 0 22174 11769 0 0 20 0 1 0 293425331 16200609792 1737229 33554432000 4194304 4943705 140736746907440 140736746906352 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 9 0 0
/proc/3234/statm: 3955227 1737229 365 183 0 3951597 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 15872936
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3229 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.048992
# while last known CPU time is 339.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 339.719
CPU time (s): 339.45
CPU user time (s): 221.76
CPU system time (s): 117.69
CPU usage (%): 99.9209
Max. virtual memory (cumulated for all children) (KiB): 15872936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.016997
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.37479 second user time and 3.55246 second system time
The end