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-3718637-1338270889/watcher-3718637-1338270889 -o /tmp/evaluation-result-3718637-1338270889/solver-3718637-1338270889 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718637-1338270889.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.74 3/180 3762
/proc/meminfo: memFree=29867328/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3762/stat : 3762 (python) R 3760 3762 3430 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 293217464 15749120 630 33554432000 4194304 5683644 140736549879344 140736549824072 247064247989 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 3845 630 334 364 0 287 0
[startup+0.0492839 s]
/proc/loadavg: 2.00 1.97 1.74 3/180 3762
/proc/meminfo: memFree=29867328/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.100292 s]
/proc/loadavg: 2.00 1.97 1.74 3/180 3762
/proc/meminfo: memFree=29867328/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300286 s]
/proc/loadavg: 2.00 1.97 1.74 3/180 3762
/proc/meminfo: memFree=29867328/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700229 s]
/proc/loadavg: 2.00 1.97 1.74 3/180 3762
/proc/meminfo: memFree=29867328/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50042 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 3767
/proc/meminfo: memFree=29633432/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=693612 CPUtime=1.31 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 77805 0 0 0 64 67 0 0 20 0 1 0 293217470 710258688 75110 33554432000 4194304 4943705 140737396580544 140737396578816 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 12 0 0
/proc/3767/statm: 173403 75111 357 183 0 169773 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 745640
[startup+3.10043 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 3767
/proc/meminfo: memFree=29436272/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=1247340 CPUtime=2.9 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 138346 0 0 0 170 120 0 0 20 0 1 0 293217470 1277276160 135651 33554432000 4194304 4943705 140737396580544 140737396579456 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 12 0 0
/proc/3767/statm: 311835 135651 357 183 0 308205 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 1299368
[startup+6.30043 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 3767
/proc/meminfo: memFree=29012440/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=2073452 CPUtime=6.09 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 228726 0 0 0 409 200 0 0 20 0 1 0 293217470 2123214848 226031 33554432000 4194304 4943705 140737396580544 140737396579488 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 13 0 0
/proc/3767/statm: 518363 226031 357 183 0 514733 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 2125480
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 3767
/proc/meminfo: memFree=28416116/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=3256940 CPUtime=12.48 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 358162 0 0 0 932 316 0 0 20 0 1 0 293217470 3335106560 355468 33554432000 4194304 4943705 140737396580544 140737396578816 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 14 0 0
/proc/3767/statm: 814235 355468 357 183 0 810605 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 3308968
[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.75 2/183 3769
/proc/meminfo: memFree=28655584/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=3450252 CPUtime=25.24 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 379328 0 0 0 1303 1221 0 0 20 0 1 0 293217470 3533058048 376633 33554432000 4194304 4943705 140737396580544 140737396577216 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 18 0 0
/proc/3767/statm: 862563 376633 366 183 0 858933 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 3502280
[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.75 3/185 3811
/proc/meminfo: memFree=28746700/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549877192 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3764] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (sh) S 3762 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217467 9367552 267 33554432000 4194304 5064252 140736684497488 140736684496192 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 267 226 213 0 72 0
[pid=3765] ppid=3764 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/3765/stat : 3765 (python) S 3764 3762 3430 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293217467 17141760 1059 33554432000 4194304 5683644 140735475646560 140735475644408 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 4185 1059 429 364 0 627 0
[pid=3766] ppid=3765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3766/stat : 3766 (sh) S 3765 3762 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293217470 9367552 268 33554432000 4194304 5064252 140736506068672 140736506067376 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3766/statm: 2287 268 226 213 0 72 0
[pid=3767] ppid=3766 vsize=3546860 CPUtime=50.8 cores=0,2,4,6
/proc/3767/stat : 3767 (PBPASSolver-817) R 3766 3762 3430 0 -1 4202496 389936 0 0 0 1809 3271 0 0 20 0 1 0 293217470 3631984640 393865 33554432000 4194304 4943705 140737396580544 140737396576832 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 22 0 0
/proc/3767/statm: 886715 393865 366 183 0 883085 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 3598888
[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/181 3815
/proc/meminfo: memFree=29347796/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=748588 CPUtime=27.96 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 85961 0 0 0 2775 21 0 0 20 0 1 0 293224896 766554112 163801 33554432000 4194304 4734972 140734241743408 140734241735432 4327579 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 187147 163801 401 132 0 182047 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 774728
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 2.00 1.97 1.76 3/181 3815
/proc/meminfo: memFree=29347796/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=748588 CPUtime=28.06 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 85961 0 0 0 2785 21 0 0 20 0 1 0 293224896 766554112 163801 33554432000 4194304 4734972 140734241743408 140734241735432 4326585 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 187147 163801 401 132 0 182047 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 774728
[startup+115.2 s]
/proc/loadavg: 2.07 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29201260/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=710848 CPUtime=40.86 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 88921 0 0 0 4063 23 0 0 20 0 1 0 293224896 727908352 166253 33554432000 4194304 4734972 140734241743408 140734241734024 4310862 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 177712 166253 405 132 0 172612 0
Current children cumulated CPU time (s) 114.87
Current children cumulated vsize (KiB) 736988
[startup+121.6 s]
/proc/loadavg: 2.07 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29203620/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=711132 CPUtime=47.26 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 88977 0 0 0 4703 23 0 0 20 0 1 0 293224896 728199168 166307 33554432000 4194304 4734972 140734241743408 140734241734008 4313122 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 177783 166307 405 132 0 172683 0
Current children cumulated CPU time (s) 121.27
Current children cumulated vsize (KiB) 737272
[startup+128 s]
/proc/loadavg: 2.06 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29134812/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=762688 CPUtime=53.65 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 94673 0 0 0 5341 24 0 0 20 0 1 0 293224896 780992512 179153 33554432000 4194304 4734972 140734241743408 140734241734248 4417289 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 190672 179153 405 132 0 185572 0
Current children cumulated CPU time (s) 127.66
Current children cumulated vsize (KiB) 788828
[startup+129.6 s]
/proc/loadavg: 2.06 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29135060/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=762688 CPUtime=55.25 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 94675 0 0 0 5501 24 0 0 20 0 1 0 293224896 780992512 180177 33554432000 4194304 4734972 140734241743408 140734241735192 4526062 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 190672 180177 405 132 0 185572 0
Current children cumulated CPU time (s) 129.26
Current children cumulated vsize (KiB) 788828
[startup+131.2 s]
/proc/loadavg: 2.06 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29130344/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=762688 CPUtime=56.85 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 94675 0 0 0 5661 24 0 0 20 0 1 0 293224896 780992512 180177 33554432000 4194304 4734972 140734241743408 140734241735432 4385048 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 190672 180177 405 132 0 185572 0
Current children cumulated CPU time (s) 130.86
Current children cumulated vsize (KiB) 788828
[startup+131.6 s]
/proc/loadavg: 2.06 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29130344/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=762688 CPUtime=57.25 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 94691 0 0 0 5701 24 0 0 20 0 1 0 293224896 780992512 180192 33554432000 4194304 4734972 140734241743408 140734241735432 247063869786 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 190672 180192 420 132 0 185572 0
Current children cumulated CPU time (s) 131.26
Current children cumulated vsize (KiB) 788828
[startup+132 s]
/proc/loadavg: 2.05 1.99 1.77 3/181 3816
/proc/meminfo: memFree=29241280/32873844 swapFree=7108/7108
[pid=3762] ppid=3760 vsize=16992 CPUtime=74.01 cores=0,2,4,6
/proc/3762/stat : 3762 (python) S 3760 3762 3430 0 -1 4202496 1403 402529 0 0 1 0 2288 5112 20 0 1 0 293217464 17399808 1081 33554432000 4194304 5683644 140736549879344 140736549876888 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3762/statm: 4248 1081 429 364 0 690 0
[pid=3812] ppid=3762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3812/stat : 3812 (sh) S 3762 3762 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293224896 9367552 267 33554432000 4194304 5064252 140735007948288 140735007946992 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3812/statm: 2287 267 226 213 0 72 0
[pid=3813] ppid=3812 vsize=643828 CPUtime=57.66 cores=0,2,4,6
/proc/3813/stat : 3813 (CryptoMiniSat) R 3812 3762 3430 0 -1 4202496 94691 0 0 0 5741 25 0 0 20 0 1 0 293224896 659279872 152227 33554432000 4194304 4734972 140734241743408 140734241735432 247063870196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 160957 152227 420 132 0 155857 0
Current children cumulated CPU time (s) 131.67
Current children cumulated vsize (KiB) 669968
Child status: 0
Real time (s): 132.036
CPU time (s): 131.726
CPU user time (s): 80.3228
CPU system time (s): 51.4032
CPU usage (%): 99.7654
Max. virtual memory (cumulated for all children) (KiB): 3690376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.3228
system time used= 51.4032
maximum resident set size= 1634128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 193360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 179
runsolver used 0.246962 second user time and 0.622905 second system time
The end