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-3718620-1338270767/watcher-3718620-1338270767 -o /tmp/evaluation-result-3718620-1338270767/solver-3718620-1338270767 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718620-1338270767.opb PrimePower CARD.DP ./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.00 1.97 1.71 2/180 16703
/proc/meminfo: memFree=31009732/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/16703/stat : 16703 (python) D 16701 16703 16417 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293201512 15642624 527 33554432000 4194304 5683644 140736020137456 140736020123368 215124624272 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 3819 527 312 364 0 261 0
[startup+0.03638 s]
/proc/loadavg: 2.00 1.97 1.71 2/180 16703
/proc/meminfo: memFree=31009732/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=15976 CPUtime=0 cores=0,2,4,6
/proc/16703/stat : 16703 (python) D 16701 16703 16417 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 293201512 16359424 820 33554432000 4194304 5683644 140736020137456 140736020107640 215124624272 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 3994 820 367 364 0 436 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15976
[startup+0.100229 s]
/proc/loadavg: 2.00 1.97 1.71 2/180 16703
/proc/meminfo: memFree=31009732/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300195 s]
/proc/loadavg: 2.00 1.97 1.71 2/180 16703
/proc/meminfo: memFree=31009732/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700157 s]
/proc/loadavg: 2.00 1.97 1.71 2/180 16703
/proc/meminfo: memFree=31009732/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.5003 s]
/proc/loadavg: 2.00 1.97 1.71 3/185 16708
/proc/meminfo: memFree=30934144/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=170380 CPUtime=1.38 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 17540 0 0 0 41 97 0 0 20 0 1 0 293201522 174469120 17483 33554432000 4194304 4943705 140734904928688 140734904923984 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/16708/statm: 42595 17483 366 183 0 38965 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 222420
[startup+3.10032 s]
/proc/loadavg: 2.00 1.97 1.71 3/185 16708
/proc/meminfo: memFree=30928872/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=172940 CPUtime=2.99 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 17824 0 0 0 77 222 0 0 20 0 1 0 293201522 177090560 17767 33554432000 4194304 4943705 140734904928688 140734904926096 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/16708/statm: 43235 17767 366 183 0 39605 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 224980
[startup+6.30036 s]
/proc/loadavg: 2.00 1.97 1.71 3/185 16708
/proc/meminfo: memFree=30916592/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=177292 CPUtime=6.06 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 18298 0 0 0 149 457 0 0 20 0 1 0 293201522 181547008 18241 33554432000 4194304 4943705 140734904928688 140734904924976 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 11 0 0
/proc/16708/statm: 44323 18241 366 183 0 40693 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 229332
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.72 3/185 16708
/proc/meminfo: memFree=30888164/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=186764 CPUtime=12.45 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 19341 0 0 0 293 952 0 0 20 0 1 0 293201522 191246336 19284 33554432000 4194304 4943705 140734904928688 140734904923888 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 12 0 0
/proc/16708/statm: 46691 19284 366 183 0 43061 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 238804
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.72 3/185 16708
/proc/meminfo: memFree=30840288/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=205964 CPUtime=25.22 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 21426 0 0 0 601 1921 0 0 20 0 1 0 293201522 210907136 21369 33554432000 4194304 4943705 140734904928688 140734904926096 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/16708/statm: 51491 21369 366 183 0 47861 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 258004
[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.73 3/185 16708
/proc/meminfo: memFree=30793252/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=243596 CPUtime=50.76 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 25550 0 0 0 1199 3877 0 0 20 0 1 0 293201522 249442304 25493 33554432000 4194304 4943705 140734904928688 140734904926096 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 22 0 0
/proc/16708/statm: 60899 25493 366 183 0 57269 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 295636
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 16708
/proc/meminfo: memFree=30659904/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=319404 CPUtime=101.83 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 33855 0 0 0 2393 7790 0 0 20 0 1 0 293201522 327069696 33798 33554432000 4194304 4943705 140734904928688 140734904926096 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 34 0 0
/proc/16708/statm: 79851 33798 366 183 0 76221 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 371444
[startup+162.3 s]
/proc/loadavg: 2.06 1.99 1.76 3/185 16708
/proc/meminfo: memFree=30459304/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135304 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16705] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16705/stat : 16705 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293201519 9367552 266 33554432000 4194304 5064252 140735855530272 140735855528976 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16705/statm: 2287 266 226 213 0 72 0
[pid=16706] ppid=16705 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/16706/stat : 16706 (python) S 16705 16703 16417 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293201519 17145856 1059 33554432000 4194304 5683644 140733929473776 140733929471624 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16706/statm: 4186 1059 429 364 0 628 0
[pid=16707] ppid=16706 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16707/stat : 16707 (sh) S 16706 16703 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293201522 9367552 267 33554432000 4194304 5064252 140735973946208 140735973944912 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16707/statm: 2287 267 226 213 0 72 0
[pid=16708] ppid=16707 vsize=407500 CPUtime=161.68 cores=0,2,4,6
/proc/16708/stat : 16708 (PBPASSolver-817) R 16707 16703 16417 0 -1 4202496 43486 0 0 0 3820 12348 0 0 20 0 1 0 293201522 417280000 43429 33554432000 4194304 4943705 140734904928688 140734904926064 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 49 0 0
/proc/16708/statm: 101875 43429 366 183 0 98245 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 459540
[startup+222.3 s]
/proc/loadavg: 2.02 1.99 1.77 3/183 16710
/proc/meminfo: memFree=29195520/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=1536616 CPUtime=10.04 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 107602 0 0 0 958 46 0 0 20 0 1 0 293222735 1573494784 329020 33554432000 4194304 4734972 140736286831472 140736286823224 4311933 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 384154 329020 368 132 0 379054 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 1562764
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.02 1.99 1.77 3/183 16710
/proc/meminfo: memFree=29177020/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=1544932 CPUtime=18.04 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 110226 0 0 0 1758 46 0 0 20 0 1 0 293222735 1582010368 332153 33554432000 4194304 4734972 140736286831472 140736286823224 4590098 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 386233 332153 375 132 0 381133 0
Current children cumulated CPU time (s) 229.54
Current children cumulated vsize (KiB) 1571080
[startup+243.107 s]
/proc/loadavg: 2.08 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28547756/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=2204528 CPUtime=30.83 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 210087 0 0 0 3018 65 0 0 20 0 1 0 293222735 2257436672 489874 33554432000 4194304 4734972 140736286831472 140736286822728 215124250516 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 551132 489874 389 132 0 546032 0
Current children cumulated CPU time (s) 242.33
Current children cumulated vsize (KiB) 2230676
[startup+249.5 s]
/proc/loadavg: 2.07 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28385632/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=2501892 CPUtime=37.23 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 268932 0 0 0 3645 78 0 0 20 0 1 0 293222735 2561937408 565826 33554432000 4194304 4734972 140736286831472 140736286823080 215124250516 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 625473 565826 389 132 0 620373 0
Current children cumulated CPU time (s) 248.73
Current children cumulated vsize (KiB) 2528040
[startup+251.1 s]
/proc/loadavg: 2.07 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28251248/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=2530800 CPUtime=38.83 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 270527 0 0 0 3805 78 0 0 20 0 1 0 293222735 2591539200 573042 33554432000 4194304 4734972 140736286831472 140736286823496 4382446 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 632700 573042 393 132 0 627600 0
Current children cumulated CPU time (s) 250.33
Current children cumulated vsize (KiB) 2556948
[startup+252.7 s]
/proc/loadavg: 2.07 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28249200/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=2530800 CPUtime=40.43 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 270545 0 0 0 3965 78 0 0 20 0 1 0 293222735 2591539200 573059 33554432000 4194304 4734972 140736286831472 140736286823592 215124236037 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 632700 573059 408 132 0 627600 0
Current children cumulated CPU time (s) 251.93
Current children cumulated vsize (KiB) 2556948
[startup+253.5 s]
/proc/loadavg: 2.07 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28248944/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=2166696 CPUtime=41.23 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202496 270547 0 0 0 4044 79 0 0 20 0 1 0 293222735 2218696704 499238 33554432000 4194304 4734972 140736286831472 140736286823592 4270196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 541674 499238 408 132 0 536574 0
Current children cumulated CPU time (s) 252.73
Current children cumulated vsize (KiB) 2192844
[startup+253.9 s]
/proc/loadavg: 2.07 2.00 1.78 3/183 16710
/proc/meminfo: memFree=28248944/32873844 swapFree=7620/7620
[pid=16703] ppid=16701 vsize=17000 CPUtime=211.5 cores=0,2,4,6
/proc/16703/stat : 16703 (python) S 16701 16703 16417 0 -1 4202496 1405 54039 0 0 1 0 5005 16144 20 0 1 0 293201512 17408000 1082 33554432000 4194304 5683644 140736020137456 140736020135000 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16703/statm: 4250 1082 429 364 0 692 0
[pid=16709] ppid=16703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16709/stat : 16709 (sh) S 16703 16703 16417 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293222735 9367552 267 33554432000 4194304 5064252 140736432961312 140736432960016 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16709/statm: 2287 267 226 213 0 72 0
[pid=16710] ppid=16709 vsize=0 CPUtime=41.63 cores=0,2,4,6
/proc/16710/stat : 16710 (CryptoMiniSat) R 16709 16703 16417 0 -1 4202500 270549 0 0 0 4081 82 0 0 20 0 1 0 293222735 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16710/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 253.13
Current children cumulated vsize (KiB) 26148
Child status: 0
Real time (s): 253.947
CPU time (s): 253.207
CPU user time (s): 90.8922
CPU system time (s): 162.314
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (KiB): 2556948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.8922
system time used= 162.314
maximum resident set size= 2292236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 923808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308
involuntary context switches= 290
runsolver used 0.382941 second user time and 1.02684 second system time
The end