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-3718629-1338270871/watcher-3718629-1338270871 -o /tmp/evaluation-result-3718629-1338270871/solver-3718629-1338270871 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718629-1338270871.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/178 3675
/proc/meminfo: memFree=30170944/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=15412 CPUtime=0 cores=0,2,4,6
/proc/3675/stat : 3675 (python) R 3673 3675 3430 0 -1 4202496 748 0 0 0 0 0 0 0 20 0 1 0 293215723 15781888 625 33554432000 4194304 5683644 140736764231472 140736764189928 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 3853 625 331 364 0 295 0
[startup+0.0414069 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 3675
/proc/meminfo: memFree=30170944/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100273 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 3675
/proc/meminfo: memFree=30170944/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300218 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 3675
/proc/meminfo: memFree=30170944/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700177 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 3675
/proc/meminfo: memFree=30170944/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50036 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3680
/proc/meminfo: memFree=30070992/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3677] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3677/stat : 3677 (sh) S 3675 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215726 9367552 267 33554432000 4194304 5064252 140737367759376 140737367758080 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3677/statm: 2287 267 226 213 0 72 0
[pid=3678] ppid=3677 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3678/stat : 3678 (python) S 3677 3675 3430 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293215726 17137664 1058 33554432000 4194304 5683644 140733996530960 140733996528808 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3678/statm: 4184 1058 429 364 0 626 0
[pid=3679] ppid=3678 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3679/stat : 3679 (sh) S 3678 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 268 33554432000 4194304 5064252 140733312884352 140733312883056 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3679/statm: 2287 268 226 213 0 72 0
[pid=3680] ppid=3679 vsize=228972 CPUtime=1.43 cores=0,2,4,6
/proc/3680/stat : 3680 (PBPASSolver-817) R 3679 3675 3430 0 -1 4202496 23917 0 0 0 41 102 0 0 20 0 1 0 293215729 234467328 23860 33554432000 4194304 4943705 140734177819776 140734177817088 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/3680/statm: 57243 23860 366 183 0 53613 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 281000
[startup+3.10038 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3680
/proc/meminfo: memFree=30066148/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3677] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3677/stat : 3677 (sh) S 3675 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215726 9367552 267 33554432000 4194304 5064252 140737367759376 140737367758080 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3677/statm: 2287 267 226 213 0 72 0
[pid=3678] ppid=3677 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3678/stat : 3678 (python) S 3677 3675 3430 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293215726 17137664 1058 33554432000 4194304 5683644 140733996530960 140733996528808 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3678/statm: 4184 1058 429 364 0 626 0
[pid=3679] ppid=3678 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3679/stat : 3679 (sh) S 3678 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 268 33554432000 4194304 5064252 140733312884352 140733312883056 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3679/statm: 2287 268 226 213 0 72 0
[pid=3680] ppid=3679 vsize=238956 CPUtime=2.89 cores=0,2,4,6
/proc/3680/stat : 3680 (PBPASSolver-817) R 3679 3675 3430 0 -1 4202496 25015 0 0 0 77 212 0 0 20 0 1 0 293215729 244690944 24958 33554432000 4194304 4943705 140734177819776 140734177817152 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/3680/statm: 59739 24958 366 183 0 56109 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 290984
[startup+6.30041 s]
/proc/loadavg: 2.00 1.97 1.74 3/185 3723
/proc/meminfo: memFree=29846864/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229320 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3677] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3677/stat : 3677 (sh) S 3675 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215726 9367552 267 33554432000 4194304 5064252 140737367759376 140737367758080 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3677/statm: 2287 267 226 213 0 72 0
[pid=3678] ppid=3677 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/3678/stat : 3678 (python) S 3677 3675 3430 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293215726 17137664 1058 33554432000 4194304 5683644 140733996530960 140733996528808 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3678/statm: 4184 1058 429 364 0 626 0
[pid=3679] ppid=3678 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3679/stat : 3679 (sh) S 3678 3675 3430 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 268 33554432000 4194304 5064252 140733312884352 140733312883056 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3679/statm: 2287 268 226 213 0 72 0
[pid=3680] ppid=3679 vsize=256364 CPUtime=6.09 cores=0,2,4,6
/proc/3680/stat : 3680 (PBPASSolver-817) R 3679 3675 3430 0 -1 4202496 26928 0 0 0 144 465 0 0 20 0 1 0 293215729 262516736 29175 33554432000 4194304 4943705 140734177819776 140734177816928 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/3680/statm: 64091 29175 366 183 0 60461 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 308392
[startup+12.7002 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3725
/proc/meminfo: memFree=29816348/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=8.61 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1404 30625 0 0 1 0 185 675 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229016 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3724] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3724/stat : 3724 (sh) S 3675 3675 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293216601 9367552 267 33554432000 4194304 5064252 140735376408704 140735376407408 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3724/statm: 2287 267 226 213 0 72 0
[pid=3725] ppid=3724 vsize=100728 CPUtime=3.91 cores=0,2,4,6
/proc/3725/stat : 3725 (CryptoMiniSat) R 3724 3675 3430 0 -1 4202496 14819 0 0 0 389 2 0 0 20 0 1 0 293216601 103145472 15705 33554432000 4194304 4734972 140734588470912 140734588462664 4312052 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3725/statm: 25182 15705 370 132 0 20082 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 126872
Solver just ended. Dumping a history of the last processes samples
[startup+14.3064 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3725
/proc/meminfo: memFree=29806344/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=8.61 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1404 30625 0 0 1 0 185 675 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229016 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3724] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3724/stat : 3724 (sh) S 3675 3675 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293216601 9367552 267 33554432000 4194304 5064252 140735376408704 140735376407408 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3724/statm: 2287 267 226 213 0 72 0
[pid=3725] ppid=3724 vsize=101124 CPUtime=5.51 cores=0,2,4,6
/proc/3725/stat : 3725 (CryptoMiniSat) R 3724 3675 3430 0 -1 4202496 14924 0 0 0 549 2 0 0 20 0 1 0 293216601 103550976 15810 33554432000 4194304 4734972 140734588470912 140734588461896 4312474 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3725/statm: 25281 15810 370 132 0 20181 0
Current children cumulated CPU time (s) 14.12
Current children cumulated vsize (KiB) 127268
[startup+15.9003 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3725
/proc/meminfo: memFree=29802004/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=8.61 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1404 30625 0 0 1 0 185 675 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229016 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3724] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3724/stat : 3724 (sh) S 3675 3675 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293216601 9367552 267 33554432000 4194304 5064252 140735376408704 140735376407408 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3724/statm: 2287 267 226 213 0 72 0
[pid=3725] ppid=3724 vsize=101792 CPUtime=7.11 cores=0,2,4,6
/proc/3725/stat : 3725 (CryptoMiniSat) R 3724 3675 3430 0 -1 4202496 15084 0 0 0 709 2 0 0 20 0 1 0 293216601 104235008 15970 33554432000 4194304 4734972 140734588470912 140734588462248 4310865 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3725/statm: 25448 15970 370 132 0 20348 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 127936
[startup+16.7003 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3725
/proc/meminfo: memFree=29795556/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=8.61 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1404 30625 0 0 1 0 185 675 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229016 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3724] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3724/stat : 3724 (sh) S 3675 3675 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293216601 9367552 267 33554432000 4194304 5064252 140735376408704 140735376407408 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3724/statm: 2287 267 226 213 0 72 0
[pid=3725] ppid=3724 vsize=110184 CPUtime=7.9 cores=0,2,4,6
/proc/3725/stat : 3725 (CryptoMiniSat) R 3724 3675 3430 0 -1 4202496 17051 0 0 0 788 2 0 0 20 0 1 0 293216601 112828416 17937 33554432000 4194304 4734972 140734588470912 140734588462040 4433499 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3725/statm: 27546 17939 380 132 0 22446 0
Current children cumulated CPU time (s) 16.51
Current children cumulated vsize (KiB) 136328
[startup+17.1003 s]
/proc/loadavg: 2.00 1.97 1.74 3/183 3725
/proc/meminfo: memFree=29795556/32873844 swapFree=7108/7108
[pid=3675] ppid=3673 vsize=16996 CPUtime=8.61 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3673 3675 3430 0 -1 4202496 1404 30625 0 0 1 0 185 675 20 0 1 0 293215723 17403904 1082 33554432000 4194304 5683644 140736764231472 140736764229016 247064249728 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3675/statm: 4249 1082 429 364 0 691 0
[pid=3724] ppid=3675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3724/stat : 3724 (sh) S 3675 3675 3430 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293216601 9367552 267 33554432000 4194304 5064252 140735376408704 140735376407408 247064061518 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3724/statm: 2287 267 226 213 0 72 0
[pid=3725] ppid=3724 vsize=117768 CPUtime=8.31 cores=0,2,4,6
/proc/3725/stat : 3725 (CryptoMiniSat) R 3724 3675 3430 0 -1 4202496 18488 0 0 0 828 3 0 0 20 0 1 0 293216601 120594432 19885 33554432000 4194304 4734972 140734588470912 140734588462024 4537492 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3725/statm: 29442 19885 383 132 0 24342 0
Current children cumulated CPU time (s) 16.92
Current children cumulated vsize (KiB) 143912
Child status: 0
Real time (s): 17.1447
CPU time (s): 16.9854
CPU user time (s): 10.1905
CPU system time (s): 6.79497
CPU usage (%): 99.0709
Max. virtual memory (cumulated for all children) (KiB): 318888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1905
system time used= 6.79497
maximum resident set size= 121376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 49
runsolver used 0.068989 second user time and 0.12998 second system time
The end