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-3718583-1338268854/watcher-3718583-1338268854 -o /tmp/evaluation-result-3718583-1338268854/solver-3718583-1338268854 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718583-1338268854.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: 0.00 0.00 0.00 1/172 12579
/proc/meminfo: memFree=31526620/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=1844 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (python) D 12577 12579 12549 0 -1 4194304 48 0 0 0 0 0 0 0 20 0 1 0 293010272 1888256 1 33554432000 0 0 140736753948314 140736278112328 5057063 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/12579/statm: 461 1 0 0 0 37 0
[startup+0.07903 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 12579
/proc/meminfo: memFree=31526620/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=16008 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (python) R 12577 12579 12549 0 -1 4202496 941 0 3 0 0 0 0 0 20 0 1 0 293010272 16392192 795 33554432000 4194304 5683644 140736753940320 140736753898808 213419640192 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0
/proc/12579/statm: 4002 796 356 364 0 444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16008
[startup+0.10031 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 12579
/proc/meminfo: memFree=31526620/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=16108 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (python) D 12577 12579 12549 0 -1 4202496 1012 0 3 0 0 0 0 0 20 0 1 0 293010272 16494592 846 33554432000 4194304 5683644 140736753940320 140736753865080 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 2 0 0
/proc/12579/statm: 4027 846 368 364 0 469 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16108
[startup+0.300186 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 12579
/proc/meminfo: memFree=31526620/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=0.02 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1331 0 3 0 1 1 0 0 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753938168 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.700174 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 12579
/proc/meminfo: memFree=31526620/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=0.02 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1331 0 3 0 1 1 0 0 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753938168 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+1.50032 s]
/proc/loadavg: 0.00 0.00 0.00 3/186 12602
/proc/meminfo: memFree=31489280/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=0.02 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1331 0 3 0 1 1 0 0 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753938168 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12581] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12581/stat : 12581 (sh) S 12579 12579 12549 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293010294 9367552 267 33554432000 4194304 5064252 140736953447744 140736953446448 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12581/statm: 2287 267 226 213 0 72 0
[pid=12582] ppid=12581 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/12582/stat : 12582 (python) S 12581 12579 12549 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010294 17137664 1058 33554432000 4194304 5683644 140733336384144 140733336381992 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12582/statm: 4184 1058 429 364 0 626 0
[pid=12583] ppid=12582 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12583/stat : 12583 (sh) S 12582 12579 12549 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010297 9367552 267 33554432000 4194304 5064252 140734018198672 140734018197376 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12583/statm: 2287 267 226 213 0 72 0
[pid=12584] ppid=12583 vsize=31084 CPUtime=1.24 cores=0,2,4,6
/proc/12584/stat : 12584 (PBPASSolver-817) R 12583 12579 12549 0 -1 4202496 2279 0 0 0 24 100 0 0 20 0 1 0 293010297 31830016 2482 33554432000 4194304 4943705 140733256740848 140733256738256 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/12584/statm: 7771 2482 366 183 0 4141 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 83116
[startup+3.10032 s]
/proc/loadavg: 0.00 0.00 0.00 3/186 12602
/proc/meminfo: memFree=31477004/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=0.02 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1331 0 3 0 1 1 0 0 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753938168 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12581] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12581/stat : 12581 (sh) S 12579 12579 12549 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293010294 9367552 267 33554432000 4194304 5064252 140736953447744 140736953446448 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12581/statm: 2287 267 226 213 0 72 0
[pid=12582] ppid=12581 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/12582/stat : 12582 (python) S 12581 12579 12549 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010294 17137664 1058 33554432000 4194304 5683644 140733336384144 140733336381992 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12582/statm: 4184 1058 429 364 0 626 0
[pid=12583] ppid=12582 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12583/stat : 12583 (sh) S 12582 12579 12549 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010297 9367552 267 33554432000 4194304 5064252 140734018198672 140734018197376 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12583/statm: 2287 267 226 213 0 72 0
[pid=12584] ppid=12583 vsize=46764 CPUtime=2.83 cores=0,2,4,6
/proc/12584/stat : 12584 (PBPASSolver-817) R 12583 12579 12549 0 -1 4202496 3986 0 0 0 50 233 0 0 20 0 1 0 293010297 47886336 4189 33554432000 4194304 4943705 140733256740848 140733256738256 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/12584/statm: 11691 4189 366 183 0 8061 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 98796
[startup+6.30026 s]
/proc/loadavg: 0.16 0.03 0.01 2/184 12604
/proc/meminfo: memFree=31473896/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=67824 CPUtime=0.88 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 9072 0 2 0 86 2 0 0 20 0 1 0 293010809 69451776 8569 33554432000 4194304 4734972 140734525803088 140734525794840 4310822 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0
/proc/12604/statm: 16956 8569 369 132 0 11856 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 93972
[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 3/181 12606
/proc/meminfo: memFree=31421968/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=68088 CPUtime=7.27 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 9169 0 2 0 725 2 0 0 20 0 1 0 293010809 69722112 8925 33554432000 4194304 4734972 140734525803088 140734525794072 4561330 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0
/proc/12604/statm: 17022 8925 371 132 0 11922 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 94236
[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/181 12606
/proc/meminfo: memFree=31386496/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=81376 CPUtime=20.06 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 12739 0 2 0 2003 3 0 0 20 0 1 0 293010809 83329024 13545 33554432000 4194304 4734972 140734525803088 140734525795112 4255481 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 20344 13545 404 132 0 15244 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 107524
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/181 12606
/proc/meminfo: memFree=31174116/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=191404 CPUtime=45.65 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 39302 0 2 0 4558 7 0 0 20 0 1 0 293010809 195997696 39914 33554432000 4194304 4734972 140734525803088 140734525793864 4311933 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 47851 39914 406 132 0 42751 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 217552
[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/181 12606
/proc/meminfo: memFree=31087520/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=224992 CPUtime=96.85 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 47051 0 2 0 9677 8 0 0 20 0 1 0 293010809 230391808 49100 33554432000 4194304 4734972 140734525803088 140734525794312 4440872 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 56248 49100 406 132 0 51148 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 251140
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/181 12606
/proc/meminfo: memFree=31055004/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=236872 CPUtime=156.83 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 49846 0 2 0 15674 9 0 0 20 0 1 0 293010809 242556928 51297 33554432000 4194304 4734972 140734525803088 140734525795112 4327096 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59218 51297 406 132 0 54118 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 263020
[startup+222.3 s]
/proc/loadavg: 2.00 1.05 0.42 3/180 12650
/proc/meminfo: memFree=31129700/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=237372 CPUtime=216.81 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 51625 0 2 0 21670 11 0 0 20 0 1 0 293010809 243068928 51249 33554432000 4194304 4734972 140734525803088 140734525795112 4327471 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59343 51249 406 132 0 54243 0
Current children cumulated CPU time (s) 221.66
Current children cumulated vsize (KiB) 263520
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.00 1.08 0.43 3/181 12651
/proc/meminfo: memFree=31126404/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=240680 CPUtime=224.81 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 51968 0 2 0 22470 11 0 0 20 0 1 0 293010809 246456320 52103 33554432000 4194304 4734972 140734525803088 140734525794872 4417936 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 60170 52103 406 132 0 55070 0
Current children cumulated CPU time (s) 229.66
Current children cumulated vsize (KiB) 266828
[startup+243.107 s]
/proc/loadavg: 2.00 1.11 0.45 3/181 12651
/proc/meminfo: memFree=31119484/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=240612 CPUtime=237.6 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52125 0 2 0 23749 11 0 0 20 0 1 0 293010809 246386688 52150 33554432000 4194304 4734972 140734525803088 140734525795112 4253713 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 60153 52150 406 132 0 55053 0
Current children cumulated CPU time (s) 242.45
Current children cumulated vsize (KiB) 266760
[startup+249.5 s]
/proc/loadavg: 2.00 1.14 0.47 3/181 12651
/proc/meminfo: memFree=31115388/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=240612 CPUtime=243.99 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52127 0 2 0 24388 11 0 0 20 0 1 0 293010809 246386688 53174 33554432000 4194304 4734972 140734525803088 140734525795112 4328419 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 60153 53174 406 132 0 55053 0
Current children cumulated CPU time (s) 248.84
Current children cumulated vsize (KiB) 266760
[startup+255.9 s]
/proc/loadavg: 2.00 1.15 0.47 3/181 12651
/proc/meminfo: memFree=31106004/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=239140 CPUtime=250.38 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52690 0 2 0 25027 11 0 0 20 0 1 0 293010809 244879360 52505 33554432000 4194304 4734972 140734525803088 140734525795112 4328169 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59785 52505 406 132 0 54685 0
Current children cumulated CPU time (s) 255.23
Current children cumulated vsize (KiB) 265288
[startup+259.1 s]
/proc/loadavg: 2.00 1.17 0.48 3/181 12651
/proc/meminfo: memFree=31113700/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=239140 CPUtime=253.58 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52775 0 2 0 25347 11 0 0 20 0 1 0 293010809 244879360 53101 33554432000 4194304 4734972 140734525803088 140734525795112 4328327 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59785 53101 406 132 0 54685 0
Current children cumulated CPU time (s) 258.43
Current children cumulated vsize (KiB) 265288
[startup+259.9 s]
/proc/loadavg: 2.00 1.17 0.48 3/181 12651
/proc/meminfo: memFree=31110288/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=239140 CPUtime=254.38 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52775 0 2 0 25427 11 0 0 20 0 1 0 293010809 244879360 53101 33554432000 4194304 4734972 140734525803088 140734525795112 4328314 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59785 53101 406 132 0 54685 0
Current children cumulated CPU time (s) 259.23
Current children cumulated vsize (KiB) 265288
[startup+260.3 s]
/proc/loadavg: 2.00 1.17 0.48 3/181 12651
/proc/meminfo: memFree=31110288/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=239140 CPUtime=254.78 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52775 0 2 0 25467 11 0 0 20 0 1 0 293010809 244879360 53101 33554432000 4194304 4734972 140734525803088 140734525795112 4328320 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59785 53101 406 132 0 54685 0
Current children cumulated CPU time (s) 259.63
Current children cumulated vsize (KiB) 265288
[startup+260.5 s]
/proc/loadavg: 2.00 1.17 0.48 3/181 12651
/proc/meminfo: memFree=31110288/32873844 swapFree=6608/6608
[pid=12579] ppid=12577 vsize=17000 CPUtime=4.85 cores=0,2,4,6
/proc/12579/stat : 12579 (python) S 12577 12579 12549 0 -1 4202496 1402 6531 3 0 1 1 83 400 20 0 1 0 293010272 17408000 1082 33554432000 4194304 5683644 140736753940320 140736753937864 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/12579/statm: 4250 1082 429 364 0 692 0
[pid=12603] ppid=12579 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12603/stat : 12603 (sh) S 12579 12579 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010809 9367552 267 33554432000 4194304 5064252 140734277911328 140734277910032 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12603/statm: 2287 267 226 213 0 72 0
[pid=12604] ppid=12603 vsize=239140 CPUtime=254.98 cores=0,2,4,6
/proc/12604/stat : 12604 (CryptoMiniSat) R 12603 12579 12549 0 -1 4202496 52775 0 2 0 25487 11 0 0 20 0 1 0 293010809 244879360 53101 33554432000 4194304 4734972 140734525803088 140734525795112 4253655 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0
/proc/12604/statm: 59785 53101 406 132 0 54685 0
Current children cumulated CPU time (s) 259.83
Current children cumulated vsize (KiB) 265288
Child status: 0
Real time (s): 260.545
CPU time (s): 259.917
CPU user time (s): 255.765
CPU system time (s): 4.15237
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 310540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.765
system time used= 4.15237
maximum resident set size= 220112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61598
page faults= 5
swaps= 0
block input operations= 5192
block output operations= 10816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 816
runsolver used 0.540917 second user time and 1.3338 second system time
The end