0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 8 threads
0.57/0.10 c This is CryptoMiniSat 3.0.0
0.57/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.57/0.10 c Reading file 'HOME/instance-3321056-1304322572.cnf'
0.57/0.11 c -- header says num vars: 155107
0.57/0.11 c -- header says num clauses: 675624
5.28/0.91 c -- clauses added: 0 learnts, 675624 normals, 0 xors
5.28/0.91 c -- vars added 155107
5.28/0.91 c Parsing time: 0.36 s
5.28/0.91 c N st 0 0 155107 121638 546615 0 1560264 0 no data no data
9.25/1.47 c asymm cl-useful: 9/1330/96468 lits-rem:36 time: 0.55
161.16/20.44 c Flit: 375 Blit: 3632 bXBeca: 0 bXProp: 1404 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 18.97
161.16/20.47 c Cleaning up after failed var search: 0.03 s
161.96/20.51 c Replacing 1404 vars Replaced 40857 lits Time: 0.04 s
161.96/20.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
162.75/20.60 c bin-w-bin subsume rem 18444 bins time: 0.03 s
162.75/20.66 c subs with bin: 2369 lits-rem: 21807 v-fix: 0 time: 0.06 s
209.16/26.43 c Subs w/ non-existent bins: 581 l-rem: 0 v-fix: 0 done: 29234 time: 5.77 s
211.52/26.79 c Removed useless bin: 667 fixed: 0 props: 20.01M time: 0.35 s
216.32/27.33 c lits-rem: 1638 cl-subs: 4457 v-elim: 34093 v-fix: 0 time: 0.52 s
216.32/27.36 c Finding binary XORs T: 0.03 s found: 547
216.32/27.40 c Replacing 547 vars Replaced 9696 lits Time: 0.03 s
217.16/27.46 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
217.16/27.46 c calculated reachability. Time: 0.00
217.16/27.48 c Calc default polars - time: 0.02 s pos: 14023 undec: 93946 neg: 47138
217.16/27.48 c =========================================================================================
217.16/27.48 c types(t): F = full restart, N = normal restart
217.16/27.48 c types(t): S = simplification begin/end, E = solution found
217.16/27.48 c restart types(rt): st = static, dy = dynamic
217.16/27.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
217.16/27.48 c B st 0 0 74678 134821 242193 0 1013794 0 no data no data
258.54/32.66 c N dy 16 4488 69709 128957 224519 4228 943301 714491 15.59 16.45
284.92/35.92 c Finding binary XORs T: 0.03 s found: 694
284.92/35.97 c Replacing 694 vars Replaced 29883 lits Time: 0.05 s
341.68/43.02 c N dy 34 9788 67324 125930 215412 9306 907014 1641299 14.28 15.08
396.84/49.91 c Finding binary XORs T: 0.04 s found: 4066
396.84/49.99 c Replacing 4066 vars Replaced 87376 lits Time: 0.07 s
422.43/53.15 c N dy 42 14701 54876 98207 188490 13898 752856 2265736 12.22 12.99
495.98/62.39 c N dy 46 19693 54870 98207 188513 18828 752856 3053012 11.22 11.82
554.34/69.63 c N dy 47 23967 49678 87742 171433 10032 675466 899724 10.38 11.71
561.53/70.53 c Finding binary XORs T: 0.03 s found: 235
565.53/71.04 c F st 49 25001 48842 86040 166569 10952 656936 966621 10.24 5.31
565.53/71.09 c Replacing 235 vars Replaced 5219 lits Time: 0.04 s
576.73/72.44 c E st 52 25698 48606 85954 166089 11596 655703 1010247 10.24 no data
576.73/72.44 c Following stats are for *FIRST FINISHED THREAD ONLY*
576.73/72.44 c num threads : 8
576.73/72.44 c restarts : 52
576.73/72.44 c dynamic restarts : 43
576.73/72.44 c static restarts : 9
576.73/72.44 c full restarts : 1
576.73/72.44 c total simplify time : 0.49
576.73/72.44 c learnts DL2 : 0
576.73/72.44 c learnts size 2 : 600212
576.73/72.44 c learnts size 1 : 69211 (44.62 % of vars)
576.73/72.44 c filedLit time : 19.00 (26.41 % time)
576.73/72.44 c v-elim SatELite : 34093 (21.98 % vars)
576.73/72.44 c SatELite time : 6.24 (8.68 % time)
576.73/72.44 c v-elim xor : 0 (0.00 % vars)
576.73/72.44 c xor elim time : 0.00 (0.00 % time)
576.73/72.44 c num binary xor trees : 4184
576.73/72.44 c binxor trees' crown : 6946 (1.66 leafs/tree)
576.73/72.44 c bin xor find time : 0.13
576.73/72.44 c OTF clause improved : 341 (0.01 clauses/conflict)
576.73/72.44 c OTF impr. size diff : 511 (1.50 lits/clause)
576.73/72.44 c OTF cl watch-shrink : 10738 (0.42 clauses/conflict)
576.73/72.44 c OTF cl watch-sh-lit : 26399 (2.46 lits/clause)
576.73/72.44 c tried to recurMin cls : 0 (0.00 % of conflicts)
576.73/72.44 c updated cache : 0 (nan lits/tried recurMin)
576.73/72.44 c unit cls recevied : 1809 (2.61 % of units)
576.73/72.44 c unit cls sent : 10013 (14.47 % of units)
576.73/72.44 c bin cls recevied : 15182
576.73/72.44 c bin cls sent : 26854
576.73/72.44 c clauses over max glue : 0 (0.00 % of all clauses)
576.73/72.44 c conflicts : 25698 (357.25 / sec)
576.73/72.44 c decisions : 82033 (0.00 % random)
576.73/72.44 c bogo-props : 1410668226 (19611118.43 / sec)
576.73/72.44 c conflict literals : 3695684 (40.22 % deleted)
576.73/72.44 c Memory used : 1243.48 MB
576.73/72.44 c single-thread CPU time : 71.93 s
576.73/72.44 c all-threads sum CPU time : 574.54 s
576.73/72.44 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321056-1304322572/watcher-3321056-1304322572 -o /tmp/evaluation-result-3321056-1304322572/solver-3321056-1304322572 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321056-1304322572.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.62 4.99 2.41 1/186 7723
/proc/meminfo: memFree=25312872/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7723/statm: 23047 353 299 106 0 18018 0
[pid=7723/tid=7724] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 208092030006 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 208092030006 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 353 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827762 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.05425 s]
/proc/loadavg: 5.62 4.99 2.41 1/186 7723
/proc/meminfo: memFree=25312872/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=92188 CPUtime=0.24 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 423 0 0 0 24 0 0 0 22 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7723/statm: 23047 362 303 106 0 18018 0
[pid=7723/tid=7724] ppid=7721 vsize=92188 CPUtime=0.05 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 5 0 0 0 5 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=92188 CPUtime=0.03 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 92188
[startup+0.101242 s]
/proc/loadavg: 5.62 4.99 2.41 1/186 7723
/proc/meminfo: memFree=25312872/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=92188 CPUtime=0.57 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 423 0 0 0 57 0 0 0 22 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7723/statm: 23047 362 303 106 0 18018 0
[pid=7723/tid=7724] ppid=7721 vsize=92188 CPUtime=0.09 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 5 0 0 0 9 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=92188 CPUtime=0.05 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=92188 CPUtime=0.07 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=92188 CPUtime=0.08 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=92188 CPUtime=0 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=92188 CPUtime=0.09 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=92188 CPUtime=0.07 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 8 0 543856888 94400512 362 33554432000 4194304 4627427 140734682993712 18446744073709551615 46931409827353 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 92188
[startup+0.301209 s]
/proc/loadavg: 5.62 4.99 2.41 1/186 7723
/proc/meminfo: memFree=25312872/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=811960 CPUtime=1.64 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) S 7721 7723 7584 0 -1 4202496 89061 0 0 0 135 29 0 0 17 0 8 0 543856888 831447040 73978 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7723/statm: 202990 73981 341 106 0 197961 0
[pid=7723/tid=7724] ppid=7721 vsize=811960 CPUtime=0.23 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 11406 0 0 0 20 3 0 0 17 0 8 0 543856888 831447040 73982 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=811960 CPUtime=0.19 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 10311 0 0 0 16 3 0 0 17 0 8 0 543856888 831447040 73982 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337390 0 0 4096 2 18446604471105681344 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=811960 CPUtime=0.22 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) D 7721 7723 7584 0 -1 4202560 11603 0 0 0 19 3 0 0 17 0 8 0 543856888 831447040 73982 33554432000 4194304 4627427 140734682993712 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=811960 CPUtime=0.21 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) D 7721 7723 7584 0 -1 4202560 11964 0 0 0 18 3 0 0 17 0 8 0 543856888 831447040 73982 33554432000 4194304 4627427 140734682993712 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=811960 CPUtime=0.09 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 10849 0 0 0 5 4 0 0 17 0 8 0 543856888 831447040 73987 33554432000 4194304 4627427 140734682993712 18446744073709551615 4301182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=811960 CPUtime=0.19 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) S 7721 7723 7584 0 -1 4202560 12050 0 0 0 17 2 0 0 17 0 8 0 543856888 831447040 73988 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=811960 CPUtime=0.22 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) S 7721 7723 7584 0 -1 4202560 10263 0 0 0 18 4 0 0 17 0 8 0 543856888 831447040 73989 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 811960
[startup+0.701132 s]
/proc/loadavg: 5.62 4.99 2.41 1/186 7723
/proc/meminfo: memFree=25312872/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=822624 CPUtime=4.08 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 112756 0 0 0 279 129 0 0 17 0 8 0 543856888 842366976 95555 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 205656 95559 343 106 0 200627 0
[pid=7723/tid=7724] ppid=7721 vsize=822624 CPUtime=0.52 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 13607 0 0 0 37 15 0 0 17 0 8 0 543856888 842366976 95567 33554432000 4194304 4627427 140734682993712 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=822624 CPUtime=0.51 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 13070 0 0 0 36 15 0 0 17 0 8 0 543856888 842366976 95567 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=822624 CPUtime=0.54 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 18164 0 0 0 37 17 0 0 17 0 8 0 543856888 842366976 95568 33554432000 4194304 4627427 140734682993712 18446744073709551615 208079899650 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=822624 CPUtime=0.5 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 14296 0 0 0 37 13 0 0 17 0 8 0 543856888 842366976 95570 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=822624 CPUtime=0.38 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 13312 0 0 0 21 17 0 0 17 0 8 0 543856888 842366976 95572 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=822624 CPUtime=0.49 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 14433 0 0 0 34 15 0 0 17 0 8 0 543856888 842366976 95575 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=822624 CPUtime=0.53 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 13120 0 0 0 35 18 0 0 17 0 8 0 543856888 842366976 95576 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 822624
[startup+1.50098 s]
/proc/loadavg: 5.62 4.99 2.41 9/194 7731
/proc/meminfo: memFree=24792380/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=971012 CPUtime=10.05 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 164882 0 0 0 825 180 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 242753 133115 368 106 0 237724 0
[pid=7723/tid=7724] ppid=7721 vsize=971012 CPUtime=1.27 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20558 0 0 0 104 23 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=971012 CPUtime=1.25 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 19604 0 0 0 104 21 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308783 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=971012 CPUtime=1.3 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21526 0 0 0 110 20 0 0 18 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=971012 CPUtime=1.24 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20742 0 0 0 105 19 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=971012 CPUtime=1.14 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20006 0 0 0 89 25 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=971012 CPUtime=1.22 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21357 0 0 0 101 21 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=971012 CPUtime=1.27 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20814 0 0 0 103 24 0 0 17 0 8 0 543856888 994316288 133115 33554432000 4194304 4627427 140734682993712 18446744073709551615 4321741 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 971012
[startup+3.10068 s]
/proc/loadavg: 5.62 4.99 2.41 10/194 7731
/proc/meminfo: memFree=24770308/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1036548 CPUtime=22.84 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 168249 0 0 0 2103 181 0 0 19 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 259137 136129 368 106 0 254108 0
[pid=7723/tid=7724] ppid=7721 vsize=1036548 CPUtime=2.87 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21345 0 0 0 264 23 0 0 19 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1036548 CPUtime=2.85 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 19763 0 0 0 264 21 0 0 20 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1036548 CPUtime=2.89 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21530 0 0 0 269 20 0 0 20 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1036548 CPUtime=2.84 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21544 0 0 0 265 19 0 0 19 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1036548 CPUtime=2.74 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20466 0 0 0 249 25 0 0 20 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1036548 CPUtime=2.82 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21359 0 0 0 261 21 0 0 20 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1036548 CPUtime=2.88 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21956 0 0 0 263 25 0 0 19 0 8 0 543856888 1061425152 136129 33554432000 4194304 4627427 140734682993712 18446744073709551615 208080256919 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.84
Current children cumulated vsize (KiB) 1036548
[startup+6.30107 s]
/proc/loadavg: 5.81 5.04 2.44 9/194 7731
/proc/meminfo: memFree=24768536/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1036548 CPUtime=48.43 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 169109 0 0 0 4661 182 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 259137 136751 368 106 0 254108 0
[pid=7723/tid=7724] ppid=7721 vsize=1036548 CPUtime=6.07 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21345 0 0 0 584 23 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1036548 CPUtime=6.05 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 19764 0 0 0 584 21 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1036548 CPUtime=6.08 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21531 0 0 0 588 20 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1036548 CPUtime=6.04 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21544 0 0 0 585 19 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1036548 CPUtime=5.94 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 20466 0 0 0 569 25 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309038 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1036548 CPUtime=6.03 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 21359 0 0 0 582 21 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1036548 CPUtime=6.07 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 22814 0 0 0 582 25 0 0 25 0 8 0 543856888 1061425152 136751 33554432000 4194304 4627427 140734682993712 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38922 0 0 0 5044 30 0 0 25 0 8 0 543856888 1470058496 233367 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1435604 CPUtime=50.83 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38490 0 0 0 5056 27 0 0 25 0 8 0 543856888 1470058496 233367 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1435604 CPUtime=50.87 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 29961 0 0 0 5057 30 0 0 25 0 8 0 543856888 1470058496 233367 33554432000 4194304 4627427 140734682993712 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 406.43
Current children cumulated vsize (KiB) 1435604
Solver just ended. Dumping a history of the last processes samples
[startup+63.9011 s]
/proc/loadavg: 7.20 5.55 2.77 9/194 7733
/proc/meminfo: memFree=24389356/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1364840 CPUtime=508.77 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 305599 0 0 0 50628 249 0 0 25 0 8 0 543856888 1397596160 232473 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 341210 232473 388 106 0 336181 0
[pid=7723/tid=7724] ppid=7721 vsize=1364840 CPUtime=63.68 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38243 0 0 0 6339 29 0 0 25 0 8 0 543856888 1397596160 232473 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1364840 CPUtime=63.59 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 36299 0 0 0 6327 32 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1364840 CPUtime=63.32 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 42115 0 0 0 6299 33 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1364840 CPUtime=63.6 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 36268 0 0 0 6326 34 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1364840 CPUtime=63.54 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 39539 0 0 0 6324 30 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1364840 CPUtime=63.62 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 40772 0 0 0 6335 27 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1364840 CPUtime=63.67 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 33445 0 0 0 6336 31 0 0 25 0 8 0 543856888 1397596160 232475 33554432000 4194304 4627427 140734682993712 18446744073709551615 4235629 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 508.77
Current children cumulated vsize (KiB) 1364840
[startup+67.1075 s]
/proc/loadavg: 7.26 5.59 2.79 9/194 7733
/proc/meminfo: memFree=24382536/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1364840 CPUtime=534.41 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 351695 0 0 0 53187 254 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 341210 234012 388 106 0 336181 0
[pid=7723/tid=7724] ppid=7721 vsize=1364840 CPUtime=66.88 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38414 0 0 0 6659 29 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1364840 CPUtime=66.79 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 36438 0 0 0 6647 32 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1364840 CPUtime=66.51 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 42361 0 0 0 6618 33 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4222425 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1364840 CPUtime=66.81 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 36560 0 0 0 6647 34 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1364840 CPUtime=66.74 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 39702 0 0 0 6644 30 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1364840 CPUtime=66.83 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 40963 0 0 0 6656 27 0 0 25 0 8 0 543856888 1397596160 234012 33554432000 4194304 4627427 140734682993712 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1364840 CPUtime=66.88 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78218 0 0 0 6653 35 0 0 25 0 8 0 543856888 1397596160 234013 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 534.41
Current children cumulated vsize (KiB) 1364840
[startup+70.3009 s]
/proc/loadavg: 7.32 5.63 2.82 9/194 7733
/proc/meminfo: memFree=24433504/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1273324 CPUtime=559.98 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 361290 0 0 0 55742 256 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 318331 221037 388 106 0 313302 0
[pid=7723/tid=7724] ppid=7721 vsize=1273324 CPUtime=70.08 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38641 0 0 0 6979 29 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1273324 CPUtime=70 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38469 0 0 0 6967 33 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1273324 CPUtime=69.7 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 44489 0 0 0 6936 34 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1273324 CPUtime=70 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38855 0 0 0 6966 34 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1273324 CPUtime=69.94 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41546 0 0 0 6964 30 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1273324 CPUtime=70.03 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41466 0 0 0 6975 28 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1273324 CPUtime=70.08 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78557 0 0 0 6973 35 0 0 25 0 8 0 543856888 1303883776 221037 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (KiB) 1273324
[startup+71.1007 s]
/proc/loadavg: 7.32 5.63 2.82 9/194 7733
/proc/meminfo: memFree=24433504/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1273324 CPUtime=566.33 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 361765 0 0 0 56377 256 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 208079887360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 318331 221512 388 106 0 313302 0
[pid=7723/tid=7724] ppid=7721 vsize=1273324 CPUtime=70.87 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38697 0 0 0 7058 29 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1273324 CPUtime=70.79 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38506 0 0 0 7046 33 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1273324 CPUtime=70.49 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 44551 0 0 0 7015 34 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1273324 CPUtime=70.8 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38978 0 0 0 7046 34 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1273324 CPUtime=70.73 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41604 0 0 0 7043 30 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1273324 CPUtime=70.83 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41521 0 0 0 7055 28 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1273324 CPUtime=70.87 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78610 0 0 0 7052 35 0 0 25 0 8 0 543856888 1303883776 221512 33554432000 4194304 4627427 140734682993712 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 566.33
Current children cumulated vsize (KiB) 1273324
[startup+71.9006 s]
/proc/loadavg: 7.32 5.63 2.82 9/194 7733
/proc/meminfo: memFree=24430904/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1273324 CPUtime=572.73 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 362372 0 0 0 57016 257 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 318331 221924 388 106 0 313302 0
[pid=7723/tid=7724] ppid=7721 vsize=1273324 CPUtime=71.67 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38730 0 0 0 7138 29 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1273324 CPUtime=71.59 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38540 0 0 0 7126 33 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1273324 CPUtime=71.28 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 44643 0 0 0 7094 34 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1273324 CPUtime=71.61 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 39065 0 0 0 7126 35 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1273324 CPUtime=71.53 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41641 0 0 0 7123 30 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1273324 CPUtime=71.63 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41552 0 0 0 7135 28 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1273324 CPUtime=71.67 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78876 0 0 0 7132 35 0 0 25 0 8 0 543856888 1303883776 221924 33554432000 4194304 4627427 140734682993712 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 572.73
Current children cumulated vsize (KiB) 1273324
[startup+72.3005 s]
/proc/loadavg: 7.32 5.63 2.82 9/194 7733
/proc/meminfo: memFree=24430904/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1273324 CPUtime=575.93 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 362544 0 0 0 57336 257 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 318331 222096 388 106 0 313302 0
[pid=7723/tid=7724] ppid=7721 vsize=1273324 CPUtime=72.07 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38743 0 0 0 7178 29 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1273324 CPUtime=71.99 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38560 0 0 0 7166 33 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1273324 CPUtime=71.68 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 44681 0 0 0 7134 34 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1273324 CPUtime=72.01 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 39098 0 0 0 7166 35 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1273324 CPUtime=71.94 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41659 0 0 0 7163 31 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1273324 CPUtime=72.03 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41569 0 0 0 7175 28 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1273324 CPUtime=72.07 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78895 0 0 0 7172 35 0 0 25 0 8 0 543856888 1303883776 222096 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 575.93
Current children cumulated vsize (KiB) 1273324
[startup+72.4005 s]
/proc/loadavg: 7.32 5.63 2.82 9/194 7733
/proc/meminfo: memFree=24430904/32950928 swapFree=67111348/67111528
[pid=7723] ppid=7721 vsize=1273324 CPUtime=576.73 cores=0-7
/proc/7723/stat : 7723 (strangenight2-m) R 7721 7723 7584 0 -1 4202496 362581 0 0 0 57416 257 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 318331 222133 388 106 0 313302 0
[pid=7723/tid=7724] ppid=7721 vsize=1273324 CPUtime=72.17 cores=0-7
/proc/7723/task/7724/stat : 7724 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38748 0 0 0 7188 29 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7723/tid=7725] ppid=7721 vsize=1273324 CPUtime=72.09 cores=0-7
/proc/7723/task/7725/stat : 7725 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 38565 0 0 0 7176 33 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=1273324 CPUtime=71.78 cores=0-7
/proc/7723/task/7726/stat : 7726 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 44687 0 0 0 7144 34 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=1273324 CPUtime=72.11 cores=0-7
/proc/7723/task/7727/stat : 7727 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 39103 0 0 0 7176 35 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=1273324 CPUtime=72.04 cores=0-7
/proc/7723/task/7728/stat : 7728 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41663 0 0 0 7173 31 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=1273324 CPUtime=72.13 cores=0-7
/proc/7723/task/7729/stat : 7729 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 41574 0 0 0 7185 28 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=1273324 CPUtime=72.17 cores=0-7
/proc/7723/task/7730/stat : 7730 (strangenight2-m) R 7721 7723 7584 0 -1 4202560 78900 0 0 0 7182 35 0 0 25 0 8 0 543856888 1303883776 222133 33554432000 4194304 4627427 140734682993712 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 576.73
Current children cumulated vsize (KiB) 1273324
Child status: 20
Real time (s): 72.4979
CPU time (s): 577.162
CPU user time (s): 574.538
CPU system time (s): 2.6246
CPU usage (%): 796.109
Max. virtual memory (cumulated for all children) (KiB): 1446292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 574.538
system time used= 2.6246
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206702
involuntary context switches= 3750
runsolver used 0.110983 second user time and 0.296954 second system time
The end
Begin job on node127 at 2011-05-02 09:49:32
IDJOB=3321056
IDBENCH=71003
IDSOLVER=1709
FILE ID=node127/3321056-1304322572
RUNJOBID= node127-1304322187-7598
PBS_JOBID= 13176799
Free space on /tmp= 73368 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321056-1304322572/watcher-3321056-1304322572 -o /tmp/evaluation-result-3321056-1304322572/solver-3321056-1304322572 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321056-1304322572.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=227994761
node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.60
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 25313152 kB
Buffers: 803808 kB
Cached: 3262748 kB
SwapCached: 8 kB
Active: 3201924 kB
Inactive: 3976240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 25313152 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 17292 kB
Writeback: 0 kB
AnonPages: 3111944 kB
Mapped: 18468 kB
Slab: 384888 kB
PageTables: 11584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 3642796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73360 MiB
End job on node127 at 2011-05-02 09:50:45