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-3718886-1338269125/watcher-3718886-1338269125 -o /tmp/evaluation-result-3718886-1338269125/solver-3718886-1338269125 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718886-1338269125.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: 1.98 1.21 0.50 3/178 13428
/proc/meminfo: memFree=30189844/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/13428/stat : 13428 (python) R 13426 13428 13289 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 293036917 15675392 543 33554432000 4194304 5683644 140733629351216 140733629337128 4293104 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 3827 545 316 364 0 269 0
[startup+0.0484991 s]
/proc/loadavg: 1.98 1.21 0.50 3/178 13428
/proc/meminfo: memFree=30189844/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=16440 CPUtime=0 cores=1,3,5,7
/proc/13428/stat : 13428 (python) D 13426 13428 13289 0 -1 4202496 1059 0 0 0 0 0 0 0 20 0 1 0 293036917 16834560 887 33554432000 4194304 5683644 140733629351216 140733629333368 239237677968 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4110 887 382 364 0 552 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16440
[startup+0.100315 s]
/proc/loadavg: 1.98 1.21 0.50 3/178 13428
/proc/meminfo: memFree=30189844/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.300303 s]
/proc/loadavg: 1.98 1.21 0.50 3/178 13428
/proc/meminfo: memFree=30189844/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.700324 s]
/proc/loadavg: 1.98 1.21 0.50 3/178 13428
/proc/meminfo: memFree=30189844/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+1.50047 s]
/proc/loadavg: 1.98 1.21 0.50 3/183 13433
/proc/meminfo: memFree=30045264/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=577516 CPUtime=1.39 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 128437 0 0 0 80 59 0 0 20 0 1 0 293036928 591376384 63754 33554432000 4194304 4943705 140733208985840 140733208982976 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/13433/statm: 144379 63758 357 183 0 140749 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 629548
[startup+3.10046 s]
/proc/loadavg: 1.98 1.22 0.51 3/183 13433
/proc/meminfo: memFree=29807804/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=1135084 CPUtime=2.99 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 189430 0 0 0 201 98 0 0 20 0 1 0 293036928 1162326016 124747 33554432000 4194304 4943705 140733208985840 140733208984752 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/13433/statm: 283771 124747 357 183 0 280141 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1187116
[startup+6.30044 s]
/proc/loadavg: 1.98 1.22 0.51 3/183 13433
/proc/meminfo: memFree=29430364/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=1862380 CPUtime=6.08 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 268973 0 0 0 464 144 0 0 20 0 1 0 293036928 1907077120 204291 33554432000 4194304 4943705 140733208985840 140733208984112 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/13433/statm: 465595 204292 357 183 0 461965 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 1914412
[startup+12.7004 s]
/proc/loadavg: 1.98 1.25 0.52 3/183 13433
/proc/meminfo: memFree=28932328/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=2895596 CPUtime=12.4 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 381983 0 0 0 1030 210 0 0 20 0 1 0 293036928 2965090304 317300 33554432000 4194304 4943705 140733208985840 140733208984752 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 15 0 0
/proc/13433/statm: 723899 317303 357 183 0 720269 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 2947628
[startup+25.5004 s]
/proc/loadavg: 1.98 1.27 0.54 3/183 13433
/proc/meminfo: memFree=28330840/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=4157932 CPUtime=25.08 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 520054 0 0 0 2212 296 0 0 20 0 1 0 293036928 4257722368 455371 33554432000 4194304 4943705 140733208985840 140733208984080 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/13433/statm: 1039483 455371 357 183 0 1035853 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 4209964
[startup+51.1004 s]
/proc/loadavg: 1.99 1.33 0.57 3/183 13433
/proc/meminfo: memFree=27631448/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=5720812 CPUtime=50.47 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 690994 0 0 0 4643 404 0 0 20 0 1 0 293036928 5858111488 626311 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 46 0 0
/proc/13433/statm: 1430203 626311 357 183 0 1426573 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 5772844
[startup+102.307 s]
/proc/loadavg: 2.14 1.47 0.66 3/183 13433
/proc/meminfo: memFree=26669412/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 7891756
[startup+162.3 s]
/proc/loadavg: 2.05 1.56 0.74 3/183 13433
/proc/meminfo: memFree=25763432/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=9743084 CPUtime=160.73 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1130932 0 0 0 15395 678 0 0 20 0 1 0 293036928 9976918016 1088135 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 133 0 0
/proc/13433/statm: 2435771 1088135 357 183 0 2432141 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 9795116
[startup+222.3 s]
/proc/loadavg: 2.10 1.66 0.83 3/183 13434
/proc/meminfo: memFree=24977740/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=11342316 CPUtime=220.26 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1305839 0 0 0 21234 792 0 0 20 0 1 0 293036928 11614531584 1276866 33554432000 4194304 4943705 140733208985840 140733208984752 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 176 0 0
/proc/13433/statm: 2835579 1276870 357 183 0 2831949 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 11394348
[startup+282.3 s]
/proc/loadavg: 2.09 1.73 0.90 3/184 13437
/proc/meminfo: memFree=24303608/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=12755948 CPUtime=279.84 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1460465 0 0 0 27090 894 0 0 20 0 1 0 293036928 13062090752 1445315 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 214 0 0
/proc/13433/statm: 3188987 1445315 357 183 0 3185357 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 12807980
[startup+342.3 s]
/proc/loadavg: 2.11 1.80 0.97 3/183 13437
/proc/meminfo: memFree=23665448/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=14026476 CPUtime=339.42 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1599430 0 0 0 32962 980 0 0 20 0 1 0 293036928 14363111424 1598103 33554432000 4194304 4943705 140733208985840 140733208984112 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 252 0 0
/proc/13433/statm: 3506619 1598103 357 183 0 3502989 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 14078508
[startup+402.3 s]
/proc/loadavg: 2.04 1.83 1.03 3/183 13437
/proc/meminfo: memFree=23099604/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=15202284 CPUtime=398.96 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1728036 0 0 0 38834 1062 0 0 20 0 1 0 293036928 15567138816 1740531 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 291 0 0
/proc/13433/statm: 3800571 1740531 357 183 0 3796941 0
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (KiB) 15254316
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+435.7 s]
/proc/loadavg: 2.07 1.86 1.07 3/183 13437
/proc/meminfo: memFree=22790732/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=15821036 CPUtime=432.12 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1795713 0 0 0 42107 1105 0 0 20 0 1 0 293036928 16200740864 1815119 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 313 0 0
/proc/13433/statm: 3955259 1815119 357 183 0 3951629 0
Current children cumulated CPU time (s) 432.15
Current children cumulated vsize (KiB) 15873068
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+435.7 s]
/proc/loadavg: 2.07 1.86 1.07 3/183 13437
/proc/meminfo: memFree=22790732/32873844 swapFree=7388/7388
[pid=13428] ppid=13426 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/13428/stat : 13428 (python) S 13426 13428 13289 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293036917 17408000 1082 33554432000 4194304 5683644 140733629351216 140733629349064 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13428/statm: 4250 1082 429 364 0 692 0
[pid=13430] ppid=13428 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (sh) S 13428 13428 13289 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293036925 9367552 267 33554432000 4194304 5064252 140737295722304 140737295721008 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13430/statm: 2287 267 226 213 0 72 0
[pid=13431] ppid=13430 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/13431/stat : 13431 (python) S 13430 13428 13289 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293036925 17137664 1058 33554432000 4194304 5683644 140736638459040 140736638456888 239237678464 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13431/statm: 4184 1058 429 364 0 626 0
[pid=13432] ppid=13431 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13432/stat : 13432 (sh) S 13431 13428 13289 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293036928 9367552 267 33554432000 4194304 5064252 140735592922688 140735592921392 239237490254 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13432/statm: 2287 267 226 213 0 72 0
[pid=13433] ppid=13432 vsize=15821036 CPUtime=432.12 cores=1,3,5,7
/proc/13433/stat : 13433 (PBPASSolver-817) R 13432 13428 13289 0 -1 4202496 1795713 0 0 0 42107 1105 0 0 20 0 1 0 293036928 16200740864 1815119 33554432000 4194304 4943705 140733208985840 140733208984752 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 313 0 0
/proc/13433/statm: 3955259 1815119 357 183 0 3951629 0
Current children cumulated CPU time (s) 432.15
Current children cumulated vsize (KiB) 15873068
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13428 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=27995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.051991
# while last known CPU time is 432.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 435.719
CPU time (s): 432.15
CPU user time (s): 421.09
CPU system time (s): 11.06
CPU usage (%): 99.1809
Max. virtual memory (cumulated for all children) (KiB): 15873068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.027995
system time used= 0.023996
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= 171
involuntary context switches= 3
runsolver used 0.901862 second user time and 2.05169 second system time
The end