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-3718639-1338270711/watcher-3718639-1338270711 -o /tmp/evaluation-result-3718639-1338270711/solver-3718639-1338270711 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718639-1338270711.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.99 1.70 3/182 10997
/proc/meminfo: memFree=28416748/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/10997/stat : 10997 (python) D 10995 10997 10753 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293195928 15642624 526 33554432000 4194304 5683644 140733866377424 140733866363336 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 3819 526 312 364 0 261 0
[startup+0.0978381 s]
/proc/loadavg: 2.00 1.99 1.70 3/182 10997
/proc/meminfo: memFree=28416748/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.100224 s]
/proc/loadavg: 2.00 1.99 1.70 3/182 10997
/proc/meminfo: memFree=28416748/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300229 s]
/proc/loadavg: 2.00 1.99 1.70 3/182 10997
/proc/meminfo: memFree=28416748/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700205 s]
/proc/loadavg: 2.00 1.99 1.70 3/182 10997
/proc/meminfo: memFree=28416748/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50037 s]
/proc/loadavg: 2.00 1.99 1.70 3/187 11002
/proc/meminfo: memFree=28193780/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=10999] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (sh) S 10997 10997 10753 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293195936 9367552 266 33554432000 4194304 5064252 140736651127648 140736651126352 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10999/statm: 2287 266 226 213 0 72 0
[pid=11000] ppid=10999 vsize=16740 CPUtime=0.02 cores=0,2,4,6
/proc/11000/stat : 11000 (python) S 10999 10997 10753 0 -1 4202496 1298 0 0 0 1 1 0 0 20 0 1 0 293195936 17141760 1058 33554432000 4194304 5683644 140736207997712 140736207995560 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11000/statm: 4185 1058 429 364 0 627 0
[pid=11001] ppid=11000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11001/stat : 11001 (sh) S 11000 10997 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293195939 9367552 267 33554432000 4194304 5064252 140735736255376 140735736254080 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11001/statm: 2287 267 226 213 0 72 0
[pid=11002] ppid=11001 vsize=652108 CPUtime=1.23 cores=0,2,4,6
/proc/11002/stat : 11002 (PBPASSolver-817) R 11001 10997 10753 0 -1 4202496 70404 0 0 0 62 61 0 0 20 0 1 0 293195939 667758592 70347 33554432000 4194304 4943705 140734139211728 140734139210000 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 15 0 0
/proc/11002/statm: 163027 70347 357 183 0 159397 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 704136
[startup+3.10039 s]
/proc/loadavg: 2.00 1.99 1.70 3/187 11002
/proc/meminfo: memFree=28008028/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=10999] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (sh) S 10997 10997 10753 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293195936 9367552 266 33554432000 4194304 5064252 140736651127648 140736651126352 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10999/statm: 2287 266 226 213 0 72 0
[pid=11000] ppid=10999 vsize=16740 CPUtime=0.02 cores=0,2,4,6
/proc/11000/stat : 11000 (python) S 10999 10997 10753 0 -1 4202496 1298 0 0 0 1 1 0 0 20 0 1 0 293195936 17141760 1058 33554432000 4194304 5683644 140736207997712 140736207995560 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11000/statm: 4185 1058 429 364 0 627 0
[pid=11001] ppid=11000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11001/stat : 11001 (sh) S 11000 10997 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293195939 9367552 267 33554432000 4194304 5064252 140735736255376 140735736254080 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11001/statm: 2287 267 226 213 0 72 0
[pid=11002] ppid=11001 vsize=1222732 CPUtime=2.82 cores=0,2,4,6
/proc/11002/stat : 11002 (PBPASSolver-817) R 11001 10997 10753 0 -1 4202496 132808 0 0 0 175 107 0 0 20 0 1 0 293195939 1252077568 132751 33554432000 4194304 4943705 140734139211728 140734139210000 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 15 0 0
/proc/11002/statm: 305683 132751 357 183 0 302053 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 1274760
[startup+6.30043 s]
/proc/loadavg: 2.00 1.99 1.70 3/185 11004
/proc/meminfo: memFree=27353528/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=10999] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (sh) S 10997 10997 10753 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293195936 9367552 266 33554432000 4194304 5064252 140736651127648 140736651126352 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10999/statm: 2287 266 226 213 0 72 0
[pid=11000] ppid=10999 vsize=16740 CPUtime=0.02 cores=0,2,4,6
/proc/11000/stat : 11000 (python) S 10999 10997 10753 0 -1 4202496 1298 0 0 0 1 1 0 0 20 0 1 0 293195936 17141760 1058 33554432000 4194304 5683644 140736207997712 140736207995560 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11000/statm: 4185 1058 429 364 0 627 0
[pid=11001] ppid=11000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11001/stat : 11001 (sh) S 11000 10997 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293195939 9367552 267 33554432000 4194304 5064252 140735736255376 140735736254080 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11001/statm: 2287 267 226 213 0 72 0
[pid=11002] ppid=11001 vsize=2087756 CPUtime=6.02 cores=0,2,4,6
/proc/11002/stat : 11002 (PBPASSolver-817) R 11001 10997 10753 0 -1 4202496 227416 0 0 0 439 163 0 0 20 0 1 0 293195939 2137862144 227359 33554432000 4194304 4943705 140734139211728 140734139210640 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/11002/statm: 521939 227364 357 183 0 518309 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 2139784
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.70 3/185 11004
/proc/meminfo: memFree=27212504/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=10999] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (sh) S 10997 10997 10753 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293195936 9367552 266 33554432000 4194304 5064252 140736651127648 140736651126352 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10999/statm: 2287 266 226 213 0 72 0
[pid=11000] ppid=10999 vsize=16740 CPUtime=0.02 cores=0,2,4,6
/proc/11000/stat : 11000 (python) S 10999 10997 10753 0 -1 4202496 1298 0 0 0 1 1 0 0 20 0 1 0 293195936 17141760 1058 33554432000 4194304 5683644 140736207997712 140736207995560 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11000/statm: 4185 1058 429 364 0 627 0
[pid=11001] ppid=11000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11001/stat : 11001 (sh) S 11000 10997 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293195939 9367552 267 33554432000 4194304 5064252 140735736255376 140735736254080 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11001/statm: 2287 267 226 213 0 72 0
[pid=11002] ppid=11001 vsize=2174604 CPUtime=12.33 cores=0,2,4,6
/proc/11002/stat : 11002 (PBPASSolver-817) R 11001 10997 10753 0 -1 4202496 236975 0 0 0 608 625 0 0 20 0 1 0 293195939 2226794496 238920 33554432000 4194304 4943705 140734139211728 140734139208912 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 22 0 0
/proc/11002/statm: 543651 238920 366 183 0 540021 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 2226632
[startup+25.5004 s]
/proc/loadavg: 2.08 2.00 1.71 3/185 11004
/proc/meminfo: memFree=27038196/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866375272 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=10999] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10999/stat : 10999 (sh) S 10997 10997 10753 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293195936 9367552 266 33554432000 4194304 5064252 140736651127648 140736651126352 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10999/statm: 2287 266 226 213 0 72 0
[pid=11000] ppid=10999 vsize=16740 CPUtime=0.02 cores=0,2,4,6
/proc/11000/stat : 11000 (python) S 10999 10997 10753 0 -1 4202496 1298 0 0 0 1 1 0 0 20 0 1 0 293195936 17141760 1058 33554432000 4194304 5683644 140736207997712 140736207995560 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11000/statm: 4185 1058 429 364 0 627 0
[pid=11001] ppid=11000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11001/stat : 11001 (sh) S 11000 10997 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293195939 9367552 267 33554432000 4194304 5064252 140735736255376 140735736254080 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11001/statm: 2287 267 226 213 0 72 0
[pid=11002] ppid=11001 vsize=2252364 CPUtime=25.1 cores=0,2,4,6
/proc/11002/stat : 11002 (PBPASSolver-817) R 11001 10997 10753 0 -1 4202496 245568 0 0 0 927 1583 0 0 20 0 1 0 293195939 2306420736 249817 33554432000 4194304 4943705 140734139211728 140734139209136 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 24 0 0
/proc/11002/statm: 563091 249817 366 183 0 559461 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 2304392
[startup+51.1003 s]
/proc/loadavg: 2.05 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26842192/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=413512 CPUtime=12.62 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 47460 0 0 0 1249 13 0 0 20 0 1 0 293199775 423436288 86735 33554432000 4194304 4734972 140735334799504 140735334790696 4537492 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 103378 86735 383 132 0 98278 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 439652
Solver just ended. Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 2.05 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26842192/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=413512 CPUtime=12.72 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 47460 0 0 0 1259 13 0 0 20 0 1 0 293199775 423436288 86735 33554432000 4194304 4734972 140735334799504 140735334790696 4537438 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 103378 86735 383 132 0 98278 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 439652
[startup+54.4003 s]
/proc/loadavg: 2.05 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26614436/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=560264 CPUtime=15.92 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 62251 0 0 0 1576 16 0 0 20 0 1 0 293199775 573710336 110074 33554432000 4194304 4734972 140735334799504 140735334790760 4595211 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 140066 110074 389 132 0 134966 0
Current children cumulated CPU time (s) 53.98
Current children cumulated vsize (KiB) 586404
[startup+56.0003 s]
/proc/loadavg: 2.05 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26540520/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=569328 CPUtime=17.51 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 62997 0 0 0 1735 16 0 0 20 0 1 0 293199775 582991872 112353 33554432000 4194304 4734972 140735334799504 140735334791528 4328365 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 142332 112353 401 132 0 137232 0
Current children cumulated CPU time (s) 55.57
Current children cumulated vsize (KiB) 595468
[startup+56.8003 s]
/proc/loadavg: 2.05 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26496376/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=569328 CPUtime=18.31 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 63000 0 0 0 1815 16 0 0 20 0 1 0 293199775 582991872 112356 33554432000 4194304 4734972 140735334799504 140735334791528 4385032 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 142332 112356 401 132 0 137232 0
Current children cumulated CPU time (s) 56.37
Current children cumulated vsize (KiB) 595468
[startup+57.2003 s]
/proc/loadavg: 2.04 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26455332/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=569328 CPUtime=18.72 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 63002 0 0 0 1856 16 0 0 20 0 1 0 293199775 582991872 112358 33554432000 4194304 4734972 140735334799504 140735334791528 4326604 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 142332 112358 401 132 0 137232 0
Current children cumulated CPU time (s) 56.78
Current children cumulated vsize (KiB) 595468
[startup+57.6003 s]
/proc/loadavg: 2.04 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26455332/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=569328 CPUtime=19.11 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 63019 0 0 0 1895 16 0 0 20 0 1 0 293199775 582991872 112374 33554432000 4194304 4734972 140735334799504 140735334791624 4309897 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 142332 112374 416 132 0 137232 0
Current children cumulated CPU time (s) 57.17
Current children cumulated vsize (KiB) 595468
[startup+57.7003 s]
/proc/loadavg: 2.04 2.00 1.72 3/185 11048
/proc/meminfo: memFree=26455332/32873844 swapFree=7372/7372
[pid=10997] ppid=10995 vsize=16992 CPUtime=38.06 cores=0,2,4,6
/proc/10997/stat : 10997 (python) S 10995 10997 10753 0 -1 4202496 1403 255272 0 0 1 0 1261 2544 20 0 1 0 293195928 17399808 1081 33554432000 4194304 5683644 140733866377424 140733866374968 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10997/statm: 4248 1081 429 364 0 690 0
[pid=11047] ppid=10997 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11047/stat : 11047 (sh) S 10997 10997 10753 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293199775 9367552 266 33554432000 4194304 5064252 140733921902176 140733921900880 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11047/statm: 2287 266 226 213 0 72 0
[pid=11048] ppid=11047 vsize=479180 CPUtime=19.22 cores=0,2,4,6
/proc/11048/stat : 11048 (CryptoMiniSat) R 11047 10997 10753 0 -1 4202496 63019 0 0 0 1905 17 0 0 20 0 1 0 293199775 490680320 95992 33554432000 4194304 4734972 140735334799504 140735334791624 215143130992 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11048/statm: 119795 95992 416 132 0 114695 0
Current children cumulated CPU time (s) 57.28
Current children cumulated vsize (KiB) 505320
Child status: 0
Real time (s): 57.741
CPU time (s): 57.3563
CPU user time (s): 31.7102
CPU system time (s): 25.6461
CPU usage (%): 99.3338
Max. virtual memory (cumulated for all children) (KiB): 2369032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7102
system time used= 25.6461
maximum resident set size= 1046408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 158
runsolver used 0.12798 second user time and 0.372943 second system time
The end