0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3394946-1306109724.cnf'
0.00/0.02 c -- header says num vars: 8400
0.00/0.02 c -- header says num clauses: 25061
0.00/0.62 c -- clauses added: 0 learnts, 25061 normals, 0 xors
0.00/0.62 c -- vars added 8400
0.00/0.62 c Parsing time: 0.01 s
0.00/0.62 c N st 0 0 8400 8541 16520 0 58730 0 no data no data
0.00/0.66 c asymm cl-useful: 2/8541/8541 lits-rem:6 time: 0.55
17.33/2.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 804 Bins: 0 BRemL: 0 BRemN: 0 P: 15.9M T: 1.55
17.33/2.21 c Replacing 804 vars Replaced 12463 lits Time: 0.00 s
17.33/2.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17.33/2.21 c bin-w-bin subsume rem 34 bins time: 0.00 s
17.33/2.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
17.33/2.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7596 time: 0.06 s
18.12/2.36 c Removed useless bin: 478 fixed: 0 props: 5.48M time: 0.08 s
18.12/2.38 c lits-rem: 2 cl-subs: 6 v-elim: 2532 v-fix: 0 time: 0.02 s
18.93/2.43 c Finding binary XORs T: 0.05 s found: 107
18.93/2.43 c Replacing 107 vars Replaced 1526 lits Time: 0.00 s
18.93/2.43 c Finding non-binary XORs: 0.00 s (found: 70, avg size: 3.0)
18.93/2.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
18.93/2.44 c calculated reachability. Time: 0.01
18.93/2.44 c Calc default polars - time: 0.00 s pos: 2384 undec: 3532 neg: 2484
18.93/2.44 c =========================================================================================
18.93/2.44 c types(t): F = full restart, N = normal restart
18.93/2.44 c types(t): S = simplification begin/end, E = solution found
18.93/2.44 c restart types(rt): st = static, dy = dynamic
18.93/2.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.93/2.44 c B st 0 0 4957 7133 10425 0 44915 0 no data no data
23.01/2.93 c N dy 12 4021 4957 7133 10610 3815 44915 262459 8.00 8.43
26.90/3.42 c N dy 30 8032 4955 7133 11515 5318 44915 185248 9.27 9.76
30.90/3.98 c N dy 38 12173 4947 7133 11601 5235 44915 124718 8.57 9.11
35.69/4.57 c Finding binary XORs T: 0.02 s found: 280
35.69/4.58 c Replacing 281 vars Replaced 23624 lits Time: 0.01 s
36.49/4.69 c N dy 57 16250 4664 7066 11366 8735 44548 282906 8.56 11.88
42.08/5.33 c N dy 86 20265 4664 7066 12145 7416 44548 146867 8.84 9.33
47.68/6.09 c N dy 104 24737 4663 7066 12222 11781 44548 303864 8.76 9.40
48.48/6.14 c F st 107 25000 4663 7066 12955 12038 44548 316068 8.77 no data
54.86/6.93 c N dy 113 30001 4663 7050 12931 10461 44444 306676 8.77 no data
54.86/6.93 c S st 113 30001 4663 7050 12931 10461 44444 306676 8.77 no data
54.86/6.95 c Finding binary XORs T: 0.02 s found: 189
54.86/6.96 c Replacing 189 vars Replaced 16174 lits Time: 0.01 s
55.66/7.06 c S st 113 30505 4469 7038 12541 10324 44364 324974 8.77 no data
55.66/7.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
76.54/9.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 469 Bins: 68331 BRemL: 19270 BRemN: 14 P: 21.1M T: 2.57
77.20/9.71 c Replacing 469 vars Replaced 50054 lits Time: 0.02 s
77.20/9.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
77.20/9.72 c bin-w-bin subsume rem 5789 bins time: 0.01 s
77.20/9.73 c subs with bin: 146 lits-rem: 96 v-fix: 0 time: 0.01 s
77.20/9.76 c Subs w/ non-existent bins: 44 l-rem: 186 v-fix: 0 done: 4000 time: 0.03 s
77.20/9.76 c Removed useless bin: 10 fixed: 0 props: 0.20M time: 0.00 s
77.20/9.78 c lits-rem: 0 cl-subs: 896 v-elim: 592 v-fix: 0 time: 0.02 s
78.00/9.80 c subs with bin: 278 lits-rem: 1159 v-fix: 0 time: 0.01 s
78.00/9.81 c lits-rem: 28 cl-subs: 345 v-elim: 0 v-fix: 0 time: 0.01 s
81.20/10.27 c asymm cl-useful: 303/6289/6289 lits-rem:371 time: 0.46
81.20/10.28 c calculated reachability. Time: 0.00
81.20/10.28 c N dy 113 30505 3408 6286 42144 3831 35860 101945 8.77 no data
82.01/10.31 c Finding binary XORs T: 0.04 s found: 17
86.79/10.95 c N dy 133 34780 3402 6286 43317 8028 35860 229336 8.72 9.31
92.39/11.66 c N dy 147 39321 3396 6286 80102 8055 35860 268888 8.60 9.31
94.10/11.84 c Finding binary XORs T: 0.02 s found: 181
94.10/11.85 c Replacing 206 vars Replaced 31346 lits Time: 0.01 s
100.37/12.60 c N dy 158 44482 3182 6258 88738 12257 35562 405587 8.39 8.85
102.06/12.87 c S st 160 45758 3180 6258 88768 6821 35562 208791 8.30 4.49
102.89/12.94 c S st 160 46258 3180 6258 88770 7319 35562 228599 8.30 no data
102.89/12.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
117.13/14.72 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 218 Bins: 18399 BRemL: 45534 BRemN: 13 P: 10.8M T: 1.75
117.13/14.72 c Replacing 222 vars Replaced 18660 lits Time: 0.01 s
117.13/14.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
117.13/14.74 c bin-w-bin subsume rem 18989 bins time: 0.01 s
117.13/14.74 c subs with bin: 163 lits-rem: 22 v-fix: 0 time: 0.01 s
117.13/14.76 c Subs w/ non-existent bins: 94 l-rem: 16 v-fix: 0 done: 2956 time: 0.02 s
117.13/14.76 c Removed useless bin: 16 fixed: 0 props: 0.16M time: 0.00 s
117.13/14.78 c lits-rem: 0 cl-subs: 523 v-elim: 120 v-fix: 0 time: 0.01 s
117.13/14.79 c subs with bin: 226 lits-rem: 1033 v-fix: 0 time: 0.01 s
117.93/14.80 c lits-rem: 30 cl-subs: 255 v-elim: 0 v-fix: 0 time: 0.01 s
117.93/14.81 c vivif2 -- cl tried 5629 cl shrink 203 lits rem 225 time: 0.01
117.93/14.82 c vivif2 -- cl tried 5744 cl shrink 1003 lits rem 1904 time: 0.01
121.11/15.24 c asymm cl-useful: 26/5577/5577 lits-rem:28 time: 0.40
121.11/15.24 c calculated reachability. Time: 0.00
121.11/15.24 c N dy 160 46258 2836 5577 36027 5735 31286 98577 8.30 no data
121.11/15.26 c Finding binary XORs T: 0.02 s found: 1
125.90/15.85 c N dy 167 50800 2826 5577 56406 10160 31286 246182 8.10 8.53
127.51/16.00 c Finding binary XORs T: 0.02 s found: 104
127.51/16.01 c Replacing 117 vars Replaced 15904 lits Time: 0.01 s
131.50/16.58 c N dy 175 55276 2688 5531 54431 12701 30954 283693 7.96 8.43
133.10/16.72 c Following stats are for *FIRST FINISHED THREAD ONLY*
133.10/16.72 c num threads : 8
133.10/16.72 c restarts : 232
133.10/16.72 c dynamic restarts : 220
133.10/16.72 c static restarts : 12
133.10/16.72 c full restarts : 1
133.10/16.72 c total simplify time : 0.23
133.10/16.72 c learnts DL2 : 0
133.10/16.72 c learnts size 2 : 175685
133.10/16.72 c learnts size 1 : 302 (3.60 % of vars)
133.10/16.72 c filedLit time : 4.00 (24.02 % time)
133.10/16.72 c v-elim SatELite : 3124 (37.19 % vars)
133.10/16.72 c SatELite time : 0.12 (0.74 % time)
133.10/16.72 c v-elim xor : 0 (0.00 % vars)
133.10/16.72 c xor elim time : 0.00 (0.02 % time)
133.10/16.72 c num binary xor trees : 1641
133.10/16.72 c binxor trees' crown : 2412 (1.47 leafs/tree)
133.10/16.72 c bin xor find time : 0.20
133.10/16.72 c OTF clause improved : 614 (0.01 clauses/conflict)
133.10/16.72 c OTF impr. size diff : 833 (1.36 lits/clause)
133.10/16.72 c OTF cl watch-shrink : 37246 (0.57 clauses/conflict)
133.10/16.72 c OTF cl watch-sh-lit : 129580 (3.48 lits/clause)
133.10/16.72 c tried to recurMin cls : 32095 (49.32 % of conflicts)
133.10/16.72 c updated cache : 0 (0.00 lits/tried recurMin)
133.10/16.72 c unit cls recevied : 58 (19.21 % of units)
133.10/16.72 c unit cls sent : 21 (6.95 % of units)
133.10/16.72 c bin cls recevied : 91769
133.10/16.72 c bin cls sent : 16305
133.10/16.72 c clauses over max glue : 0 (0.00 % of all clauses)
133.10/16.72 c conflicts : 65073 (3909.59 / sec)
133.10/16.72 c decisions : 126825 (0.60 % random)
133.10/16.72 c bogo-props : 488964508 (29376996.53 / sec)
133.10/16.72 c conflict literals : 1993256 (27.92 % deleted)
133.10/16.72 c Memory used : 708.18 MB
133.10/16.72 c single-thread CPU time : 16.64 s
133.10/16.72 c all-threads sum CPU time : 132.89 s
133.10/16.72 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3394946-1306109724/watcher-3394946-1306109724 -o /tmp/evaluation-result-3394946-1306109724/solver-3394946-1306109724 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394946-1306109724.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: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=92144 CPUtime=0.04 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 413 0 0 0 4 0 0 0 25 0 8 0 722572108 94355456 353 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23963/statm: 23036 353 299 95 0 18018 0
[pid=23963/tid=23964] ppid=23961 vsize=92144 CPUtime=0.01 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=92144 CPUtime=0.01 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947161 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=92144 CPUtime=0 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=92144 CPUtime=0.01 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947161 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=92144 CPUtime=0 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=92144 CPUtime=0 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947161 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=92144 CPUtime=0.01 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572108 94355456 361 33554432000 4194304 4580107 140735568912816 18446744073709551615 47356737947161 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.620191 s]
/proc/loadavg: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=634688 CPUtime=4.81 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) S 23961 23963 23937 0 -1 4202496 11419 0 0 0 471 10 0 0 18 0 8 0 722572108 649920512 9519 33554432000 4194304 4580107 140735568912816 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 158672 9702 360 95 0 153654 0
[pid=23963/tid=23964] ppid=23961 vsize=635092 CPUtime=0.62 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1390 0 0 0 61 1 0 0 18 0 8 0 722572108 650334208 10526 33554432000 4194304 4580107 140735568912816 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=636040 CPUtime=0.64 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1665 0 0 0 63 1 0 0 18 0 8 0 722572108 651304960 12134 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=637300 CPUtime=0.66 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1928 0 0 0 65 1 0 0 18 0 8 0 722572108 652595200 13767 33554432000 4194304 4580107 140735568912816 18446744073709551615 4235764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=637576 CPUtime=0.68 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 2084 0 0 0 67 1 0 0 18 0 8 0 722572108 652877824 14121 33554432000 4194304 4580107 140735568912816 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=639096 CPUtime=0.72 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 2273 0 0 0 71 1 0 0 18 0 8 0 722572108 654434304 16379 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=639768 CPUtime=0.74 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 2596 0 0 0 73 1 0 0 18 0 8 0 722572108 655122432 17491 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=640168 CPUtime=0.76 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1593 0 0 0 75 1 0 0 18 0 8 0 722572108 655532032 18128 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 634688
[startup+0.912859 s]
/proc/loadavg: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=644420 CPUtime=7.04 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 26425 0 0 0 690 14 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 4234877 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 161105 24525 360 95 0 156087 0
[pid=23963/tid=23964] ppid=23961 vsize=644420 CPUtime=0.88 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) D 23961 23963 23937 0 -1 4202560 3441 0 0 0 86 2 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 274474010807 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=644420 CPUtime=0.87 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) D 23961 23963 23937 0 -1 4202560 3413 0 0 0 86 1 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 274474010807 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=644420 CPUtime=0.86 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 3450 0 0 0 85 1 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=644420 CPUtime=0.87 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 3597 0 0 0 86 1 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=644420 CPUtime=0.87 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 3376 0 0 0 86 1 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=644420 CPUtime=0.87 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) D 23961 23963 23937 0 -1 4202560 3629 0 0 0 85 2 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=644420 CPUtime=0.88 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1613 0 0 0 87 1 0 0 19 0 8 0 722572108 659886080 24525 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 644420
[startup+1.00094 s]
/proc/loadavg: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=647404 CPUtime=7.75 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 31168 0 0 0 759 16 0 0 19 0 8 0 722572108 662941696 28963 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 161851 28963 360 95 0 156833 0
[pid=23963/tid=23964] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4077 0 0 0 94 2 0 0 19 0 8 0 722572108 662941696 28963 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4086 0 0 0 95 1 0 0 19 0 8 0 722572108 662941696 28966 33554432000 4194304 4580107 140735568912816 18446744073709551615 4231568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=647404 CPUtime=0.95 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4122 0 0 0 93 2 0 0 19 0 8 0 722572108 662941696 28969 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4267 0 0 0 95 1 0 0 19 0 8 0 722572108 662941696 28970 33554432000 4194304 4580107 140735568912816 18446744073709551615 4234877 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4037 0 0 0 95 1 0 0 19 0 8 0 722572108 662941696 28975 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4297 0 0 0 94 2 0 0 19 0 8 0 722572108 662941696 28976 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=647404 CPUtime=0.96 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1735 0 0 0 95 1 0 0 19 0 8 0 722572108 662941696 28976 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 647404
[startup+1.10093 s]
/proc/loadavg: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=650504 CPUtime=8.55 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 36373 0 0 0 838 17 0 0 19 0 8 0 722572108 666116096 34168 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 162626 34169 360 95 0 157608 0
[pid=23963/tid=23964] ppid=23961 vsize=650504 CPUtime=1.07 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4847 0 0 0 104 3 0 0 19 0 8 0 722572108 666116096 34172 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=650504 CPUtime=1.06 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4833 0 0 0 105 1 0 0 19 0 8 0 722572108 666116096 34172 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=650504 CPUtime=1.04 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4832 0 0 0 102 2 0 0 19 0 8 0 722572108 666116096 34172 33554432000 4194304 4580107 140735568912816 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=650504 CPUtime=1.07 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 5022 0 0 0 105 2 0 0 19 0 8 0 722572108 666116096 34173 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=650504 CPUtime=1.06 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 4782 0 0 0 105 1 0 0 19 0 8 0 722572108 666116096 34175 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=650504 CPUtime=1.06 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 5042 0 0 0 104 2 0 0 19 0 8 0 722572108 666116096 34175 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=650504 CPUtime=1.06 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1749 0 0 0 105 1 0 0 19 0 8 0 722572108 666116096 34176 33554432000 4194304 4580107 140735568912816 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 650504
[startup+1.50086 s]
/proc/loadavg: 6.18 7.60 7.83 2/466 23963
/proc/meminfo: memFree=13286648/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=661256 CPUtime=11.75 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 53238 0 0 0 1152 23 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 165314 51033 361 95 0 160296 0
[pid=23963/tid=23964] ppid=23961 vsize=661256 CPUtime=1.46 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7305 0 0 0 143 3 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=661256 CPUtime=1.46 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7295 0 0 0 144 2 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=661256 CPUtime=1.45 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7265 0 0 0 142 3 0 0 20 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=661256 CPUtime=1.47 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7248 0 0 0 144 3 0 0 18 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4234880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=661256 CPUtime=1.46 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7250 0 0 0 144 2 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=661256 CPUtime=1.46 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 7148 0 0 0 143 3 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=661256 CPUtime=1.46 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 1963 0 0 0 145 1 0 0 19 0 8 0 722572108 677126144 51033 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 661256
[startup+3.10058 s]
/proc/loadavg: 6.33 7.61 7.83 9/474 23971
/proc/meminfo: memFree=13056448/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=666860 CPUtime=24.51 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 62734 0 0 0 2425 26 0 0 25 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 166715 56799 379 95 0 161697 0
[pid=23963/tid=23964] ppid=23961 vsize=666860 CPUtime=3.07 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8531 0 0 0 303 4 0 0 24 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=666860 CPUtime=3.06 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8596 0 0 0 303 3 0 0 24 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=666860 CPUtime=3.04 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8661 0 0 0 301 3 0 0 25 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=666860 CPUtime=3.06 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8512 0 0 0 303 3 0 0 20 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=666860 CPUtime=3.06 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8471 0 0 0 303 3 0 0 18 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=666860 CPUtime=3.06 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 8337 0 0 0 303 3 0 0 25 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=666860 CPUtime=3.06 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 2419 0 0 0 305 1 0 0 24 0 8 0 722572108 682864640 56799 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 666860
[startup+6.31801 s]
/proc/loadavg: 6.33 7.61 7.83 9/474 23971
/proc/meminfo: memFree=13037900/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=632904 CPUtime=50.2 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 73867 0 0 0 4991 29 0 0 25 0 8 0 722572108 648093696 62750 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 158226 62750 380 95 0 153208 0
[pid=23963/tid=23964] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 9736 0 0 0 624 4 0 0 25 0 8 0 722572108 648093696 62750 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 9905 0 0 0 625 3 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=632904 CPUtime=6.26 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 9904 0 0 0 623 3 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4295396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 10110 0 0 0 624 4 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 10135 0 0 0 625 3 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 9733 0 0 0 624 4 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=632904 CPUtime=6.28 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 3739 0 0 0 626 2 0 0 25 0 8 0 722572108 648093696 62751 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 632904
[startup+12.7009 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12995032/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=650624 CPUtime=101.17 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 92668 0 0 0 10084 33 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 162656 75770 380 95 0 157638 0
[pid=23963/tid=23964] ppid=23961 vsize=650624 CPUtime=12.66 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12399 0 0 0 1262 4 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=650624 CPUtime=12.66 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12269 0 0 0 1262 4 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293263 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=650624 CPUtime=12.65 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12797 0 0 0 1261 4 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=650624 CPUtime=12.66 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12764 0 0 0 1262 4 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=650624 CPUtime=12.65 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12447 0 0 0 1262 3 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=650624 CPUtime=12.66 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12209 0 0 0 1262 4 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=650624 CPUtime=12.66 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 5667 0 0 0 1264 2 0 0 25 0 8 0 722572108 666238976 75770 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 650624
Solver just ended. Dumping a history of the last processes samples
[startup+13.5007 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12985360/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=659584 CPUtime=107.55 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 94710 0 0 0 10721 34 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 164896 77292 380 95 0 159878 0
[pid=23963/tid=23964] ppid=23961 vsize=659584 CPUtime=13.46 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12666 0 0 0 1342 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=659584 CPUtime=13.46 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12358 0 0 0 1342 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=659584 CPUtime=13.44 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13345 0 0 0 1340 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=659584 CPUtime=13.46 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13110 0 0 0 1342 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=659584 CPUtime=13.46 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12655 0 0 0 1342 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4225040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=659584 CPUtime=13.45 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12380 0 0 0 1341 4 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=659584 CPUtime=13.46 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 5969 0 0 0 1344 2 0 0 25 0 8 0 722572108 675414016 77292 33554432000 4194304 4580107 140735568912816 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 107.55
Current children cumulated vsize (KiB) 659584
[startup+15.1175 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12972976/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=725180 CPUtime=120.44 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 97621 0 0 0 12009 35 0 0 25 0 8 0 722572108 742584320 79102 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 181295 79102 380 95 0 176277 0
[pid=23963/tid=23964] ppid=23961 vsize=725180 CPUtime=15.08 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13044 0 0 0 1504 4 0 0 25 0 8 0 722572108 742584320 79102 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=725180 CPUtime=15.08 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12829 0 0 0 1504 4 0 0 25 0 8 0 722572108 742584320 79102 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=725180 CPUtime=15.06 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13719 0 0 0 1502 4 0 0 25 0 8 0 722572108 742584320 79103 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=725180 CPUtime=15.08 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13317 0 0 0 1504 4 0 0 25 0 8 0 722572108 742584320 79103 33554432000 4194304 4580107 140735568912816 18446744073709551615 4253008 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=725180 CPUtime=15.07 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13032 0 0 0 1503 4 0 0 25 0 8 0 722572108 742584320 79103 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=725180 CPUtime=15.07 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12955 0 0 0 1503 4 0 0 25 0 8 0 722572108 742584320 79103 33554432000 4194304 4580107 140735568912816 18446744073709551615 274473627969 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=725180 CPUtime=15.06 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 6207 0 0 0 1504 2 0 0 25 0 8 0 722572108 742584320 79103 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 120.44
Current children cumulated vsize (KiB) 725180
[startup+15.9003 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12972976/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=725180 CPUtime=126.7 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 98684 0 0 0 12635 35 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 181295 80165 380 95 0 176277 0
[pid=23963/tid=23964] ppid=23961 vsize=725180 CPUtime=15.86 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13143 0 0 0 1582 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=725180 CPUtime=15.86 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 12964 0 0 0 1582 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=725180 CPUtime=15.84 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13819 0 0 0 1580 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=725180 CPUtime=15.86 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13323 0 0 0 1582 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=725180 CPUtime=15.86 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13445 0 0 0 1582 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=725180 CPUtime=15.85 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13153 0 0 0 1581 4 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=725180 CPUtime=15.85 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 6304 0 0 0 1582 3 0 0 25 0 8 0 722572108 742584320 80165 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 126.7
Current children cumulated vsize (KiB) 725180
[startup+16.3013 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12967436/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=725172 CPUtime=129.89 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 99349 0 0 0 12954 35 0 0 25 0 8 0 722572108 742576128 80337 33554432000 4194304 4580107 140735568912816 18446744073709551615 4301902 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 181293 80337 380 95 0 176275 0
[pid=23963/tid=23964] ppid=23961 vsize=725172 CPUtime=16.26 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13225 0 0 0 1622 4 0 0 25 0 8 0 722572108 742576128 80337 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=725172 CPUtime=16.26 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13019 0 0 0 1622 4 0 0 25 0 8 0 722572108 742576128 80337 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=725172 CPUtime=16.24 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13875 0 0 0 1620 4 0 0 25 0 8 0 722572108 742576128 80338 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=725172 CPUtime=16.26 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13473 0 0 0 1622 4 0 0 25 0 8 0 722572108 742576128 80340 33554432000 4194304 4580107 140735568912816 18446744073709551615 4295010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=725172 CPUtime=16.26 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13491 0 0 0 1622 4 0 0 25 0 8 0 722572108 742576128 80342 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=725172 CPUtime=16.25 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13253 0 0 0 1621 4 0 0 25 0 8 0 722572108 742576128 80344 33554432000 4194304 4580107 140735568912816 18446744073709551615 274473627969 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=725172 CPUtime=16.25 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 6481 0 0 0 1622 3 0 0 25 0 8 0 722572108 742576128 80346 33554432000 4194304 4580107 140735568912816 18446744073709551615 4315034 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 129.89
Current children cumulated vsize (KiB) 725172
[startup+16.7012 s]
/proc/loadavg: 6.59 7.62 7.83 9/474 23972
/proc/meminfo: memFree=12967436/32950928 swapFree=67042960/67111528
[pid=23963] ppid=23961 vsize=725172 CPUtime=133.1 cores=0-7
/proc/23963/stat : 23963 (strangenight2-m) R 23961 23963 23937 0 -1 4202496 99935 0 0 0 13274 36 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/23963/statm: 181293 80923 380 95 0 176275 0
[pid=23963/tid=23964] ppid=23961 vsize=725172 CPUtime=16.66 cores=0-7
/proc/23963/task/23964/stat : 23964 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13263 0 0 0 1662 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23963/tid=23965] ppid=23961 vsize=725172 CPUtime=16.66 cores=0-7
/proc/23963/task/23965/stat : 23965 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13068 0 0 0 1662 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23963/tid=23966] ppid=23961 vsize=725172 CPUtime=16.64 cores=0-7
/proc/23963/task/23966/stat : 23966 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13941 0 0 0 1660 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23963/tid=23967] ppid=23961 vsize=725172 CPUtime=16.66 cores=0-7
/proc/23963/task/23967/stat : 23967 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13537 0 0 0 1662 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23963/tid=23968] ppid=23961 vsize=725172 CPUtime=16.66 cores=0-7
/proc/23963/task/23968/stat : 23968 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13560 0 0 0 1662 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23963/tid=23969] ppid=23961 vsize=725172 CPUtime=16.65 cores=0-7
/proc/23963/task/23969/stat : 23969 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 13504 0 0 0 1661 4 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23963/tid=23970] ppid=23961 vsize=725172 CPUtime=16.65 cores=0-7
/proc/23963/task/23970/stat : 23970 (strangenight2-m) R 23961 23963 23937 0 -1 4202560 6521 0 0 0 1662 3 0 0 25 0 8 0 722572108 742576128 80923 33554432000 4194304 4580107 140735568912816 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 133.1
Current children cumulated vsize (KiB) 725172
Child status: 20
Real time (s): 16.7366
CPU time (s): 133.27
CPU user time (s): 132.893
CPU system time (s): 0.376942
CPU usage (%): 796.275
Max. virtual memory (cumulated for all children) (KiB): 725180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.893
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99941
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= 15783
involuntary context switches= 648
runsolver used 0.073988 second user time and 0.183972 second system time
The end
Begin job on node125 at 2011-05-23 02:15:24
IDJOB=3394946
IDBENCH=87988
IDSOLVER=1878
FILE ID=node125/3394946-1306109724
RUNJOBID= node125-1306109724-23951
PBS_JOBID= 13388042
Free space on /tmp= 73424 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394946-1306109724/watcher-3394946-1306109724 -o /tmp/evaluation-result-3394946-1306109724/solver-3394946-1306109724 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394946-1306109724.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=290757329
node125.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.828
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.65
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.828
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 : 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.75
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.828
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13286680 kB
Buffers: 292876 kB
Cached: 5418176 kB
SwapCached: 55652 kB
Active: 10562608 kB
Inactive: 8753672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13286680 kB
SwapTotal: 67111528 kB
SwapFree: 67042960 kB
Dirty: 5936 kB
Writeback: 0 kB
AnonPages: 13549320 kB
Mapped: 42880 kB
Slab: 217380 kB
PageTables: 61660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 129999068 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= 73416 MiB
End job on node125 at 2011-05-23 02:15:41