0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3321268-1304342613.cnf'
0.00/0.01 c -- header says num vars: 8400
0.00/0.01 c -- header says num clauses: 25061
0.22/0.06 c -- clauses added: 0 learnts, 25061 normals, 0 xors
0.22/0.06 c -- vars added 8400
0.22/0.06 c Parsing time: 0.02 s
0.22/0.06 c N st 0 0 8400 8541 16520 0 58730 0 no data no data
0.22/0.61 c asymm cl-useful: 2/8541/8541 lits-rem:6 time: 0.55
17.31/2.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 804 Bins: 0 BRemL: 0 BRemN: 0 P: 15.9M T: 1.55
17.31/2.21 c Replacing 804 vars Replaced 12463 lits Time: 0.00 s
17.31/2.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17.31/2.21 c bin-w-bin subsume rem 34 bins time: 0.00 s
17.31/2.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
17.31/2.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7596 time: 0.06 s
18.11/2.36 c Removed useless bin: 478 fixed: 0 props: 5.48M time: 0.08 s
18.11/2.38 c lits-rem: 2 cl-subs: 6 v-elim: 2532 v-fix: 0 time: 0.02 s
18.91/2.43 c Finding binary XORs T: 0.05 s found: 107
18.91/2.43 c Replacing 107 vars Replaced 1526 lits Time: 0.00 s
18.91/2.43 c Finding non-binary XORs: 0.00 s (found: 70, avg size: 3.0)
18.91/2.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
18.91/2.44 c calculated reachability. Time: 0.00
18.91/2.44 c Calc default polars - time: 0.00 s pos: 2384 undec: 3532 neg: 2484
18.91/2.44 c =========================================================================================
18.91/2.44 c types(t): F = full restart, N = normal restart
18.91/2.44 c types(t): S = simplification begin/end, E = solution found
18.91/2.44 c restart types(rt): st = static, dy = dynamic
18.91/2.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.91/2.44 c B st 0 0 4957 7133 10425 0 44915 0 no data no data
22.90/2.93 c N dy 12 4021 4957 7133 10610 3815 44915 262459 8.00 8.43
27.69/3.50 c N dy 31 8192 4955 7133 11477 5430 44915 190150 9.25 9.74
32.48/4.14 c N dy 50 12359 4948 7133 11592 5387 44915 108943 9.10 9.61
37.29/4.73 c Finding binary XORs T: 0.02 s found: 301
37.29/4.74 c Replacing 302 vars Replaced 23067 lits Time: 0.01 s
38.14/4.89 c N dy 64 16402 4645 7068 11649 8890 44570 222341 8.79 12.65
43.69/5.57 c N dy 88 20502 4643 7068 12196 7669 44570 136753 8.93 9.50
48.47/6.18 c N dy 105 24626 4643 7068 12252 11713 44570 326591 8.85 9.53
49.27/6.24 c F st 109 25001 4643 7068 12994 12081 44570 342709 8.86 no data
49.27/6.25 c Replacing 3 vars Replaced 63 lits Time: 0.00 s
55.73/7.03 c N dy 115 30000 4635 7059 12978 10428 44497 292834 8.86 no data
55.73/7.03 c S st 115 30000 4635 7059 12978 10428 44497 292834 8.86 no data
55.73/7.08 c Finding binary XORs T: 0.02 s found: 187
55.73/7.10 c Replacing 187 vars Replaced 16052 lits Time: 0.02 s
56.54/7.14 c S st 115 30500 4448 7042 12591 10270 44402 322202 8.86 no data
56.54/7.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
78.06/9.80 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 481 Bins: 70177 BRemL: 18710 BRemN: 14 P: 22.7M T: 2.64
78.06/9.82 c Replacing 481 vars Replaced 54702 lits Time: 0.02 s
78.06/9.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
78.06/9.84 c bin-w-bin subsume rem 6741 bins time: 0.01 s
78.06/9.84 c subs with bin: 141 lits-rem: 100 v-fix: 0 time: 0.01 s
78.06/9.88 c Subs w/ non-existent bins: 42 l-rem: 191 v-fix: 0 done: 3966 time: 0.03 s
78.06/9.88 c Removed useless bin: 8 fixed: 0 props: 0.19M time: 0.00 s
78.85/9.90 c lits-rem: 0 cl-subs: 942 v-elim: 594 v-fix: 0 time: 0.02 s
78.85/9.92 c subs with bin: 218 lits-rem: 1086 v-fix: 0 time: 0.01 s
78.85/9.93 c lits-rem: 19 cl-subs: 228 v-elim: 0 v-fix: 0 time: 0.01 s
82.91/10.41 c asymm cl-useful: 319/6315/6315 lits-rem:385 time: 0.48
82.91/10.42 c calculated reachability. Time: 0.00
82.91/10.42 c N dy 115 30500 3372 6311 42150 3789 35771 100298 8.86 no data
82.91/10.45 c Finding binary XORs T: 0.04 s found: 18
88.45/11.14 c N dy 125 34973 3370 6311 43461 8155 35771 204225 8.64 9.19
93.24/11.76 c N dy 134 38979 3361 6311 87458 7789 35771 286107 8.44 9.50
96.44/12.13 c Finding binary XORs T: 0.02 s found: 176
96.44/12.15 c Replacing 197 vars Replaced 34012 lits Time: 0.01 s
99.69/12.51 c N dy 150 43265 3160 6284 85102 11532 35502 394234 8.38 8.88
102.83/12.98 c S st 164 45750 3156 6284 86565 7128 35502 213656 8.36 no data
103.63/13.07 c S st 164 46251 3155 6284 86572 7620 35502 233311 8.36 no data
103.63/13.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
118.08/14.85 c Flit: 3 Blit: 1 bXBeca: 0 bXProp: 225 Bins: 18861 BRemL: 45847 BRemN: 17 P: 11.5M T: 1.76
118.08/14.86 c Replacing 230 vars Replaced 22143 lits Time: 0.01 s
118.08/14.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
118.08/14.88 c bin-w-bin subsume rem 18322 bins time: 0.01 s
118.08/14.89 c subs with bin: 200 lits-rem: 32 v-fix: 0 time: 0.01 s
118.83/14.90 c Subs w/ non-existent bins: 99 l-rem: 30 v-fix: 0 done: 2921 time: 0.02 s
118.83/14.91 c Removed useless bin: 14 fixed: 0 props: 0.14M time: 0.00 s
118.83/14.92 c lits-rem: 1 cl-subs: 539 v-elim: 113 v-fix: 0 time: 0.02 s
118.83/14.95 c subs with bin: 286 lits-rem: 1341 v-fix: 0 time: 0.02 s
118.83/14.96 c lits-rem: 28 cl-subs: 207 v-elim: 0 v-fix: 0 time: 0.01 s
118.83/14.96 c vivif2 -- cl tried 5570 cl shrink 191 lits rem 210 time: 0.01
118.83/14.97 c vivif2 -- cl tried 6063 cl shrink 985 lits rem 2897 time: 0.01
122.02/15.37 c asymm cl-useful: 24/5518/5518 lits-rem:24 time: 0.40
122.02/15.37 c calculated reachability. Time: 0.00
122.02/15.37 c N dy 164 46251 2808 5518 35393 6046 30983 101363 8.36 no data
122.82/15.40 c Finding binary XORs T: 0.02 s found: 2
126.86/15.97 c N dy 168 50428 2805 5518 35464 10106 30983 183237 8.12 8.71
129.21/16.27 c Finding binary XORs T: 0.02 s found: 128
129.21/16.28 c Replacing 140 vars Replaced 21138 lits Time: 0.01 s
133.21/16.71 c N dy 173 55251 2623 5438 54721 11357 30434 241026 7.97 8.50
140.43/18.73 c Following stats are for *FIRST FINISHED THREAD ONLY*
140.43/18.73 c num threads : 8
140.43/18.73 c restarts : 288
140.43/18.73 c dynamic restarts : 276
140.43/18.73 c static restarts : 12
140.43/18.73 c full restarts : 1
140.43/18.73 c total simplify time : 0.30
140.43/18.73 c learnts DL2 : 0
140.43/18.73 c learnts size 2 : 174920
140.43/18.73 c learnts size 1 : 1120 (13.33 % of vars)
140.43/18.73 c filedLit time : 3.70 (19.83 % time)
140.43/18.73 c v-elim SatELite : 3119 (37.13 % vars)
140.43/18.73 c SatELite time : 0.14 (0.73 % time)
140.43/18.73 c v-elim xor : 0 (0.00 % vars)
140.43/18.73 c xor elim time : 0.01 (0.03 % time)
140.43/18.73 c num binary xor trees : 1561
140.43/18.73 c binxor trees' crown : 2865 (1.84 leafs/tree)
140.43/18.73 c bin xor find time : 0.23
140.43/18.73 c OTF clause improved : 549 (0.01 clauses/conflict)
140.43/18.73 c OTF impr. size diff : 903 (1.64 lits/clause)
140.43/18.73 c OTF cl watch-shrink : 41425 (0.58 clauses/conflict)
140.43/18.73 c OTF cl watch-sh-lit : 155461 (3.75 lits/clause)
140.43/18.73 c tried to recurMin cls : 37077 (51.61 % of conflicts)
140.43/18.73 c updated cache : 0 (0.00 lits/tried recurMin)
140.43/18.73 c unit cls recevied : 76 (6.79 % of units)
140.43/18.73 c unit cls sent : 15 (1.34 % of units)
140.43/18.73 c bin cls recevied : 140573
140.43/18.73 c bin cls sent : 13064
140.43/18.73 c clauses over max glue : 0 (0.00 % of all clauses)
140.43/18.73 c conflicts : 71844 (3853.43 / sec)
140.43/18.73 c decisions : 144228 (1.35 % random)
140.43/18.73 c bogo-props : 490551893 (26311282.54 / sec)
140.43/18.73 c conflict literals : 2674394 (25.90 % deleted)
140.43/18.73 c Memory used : 617.61 MB
140.43/18.73 c single-thread CPU time : 18.64 s
140.43/18.73 c all-threads sum CPU time : 140.14 s
140.43/18.73 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-3321268-1304342613/watcher-3321268-1304342613 -o /tmp/evaluation-result-3321268-1304342613/solver-3321268-1304342613 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321268-1304342613.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.73 7.76 7.91 3/218 20389
/proc/meminfo: memFree=30038316/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=92188 CPUtime=0.01 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 412 0 0 0 1 0 0 0 24 0 8 0 545857996 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853746 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20389/statm: 23047 352 299 106 0 18018 0
[pid=20389/tid=20390] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 545857996 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545857996 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853740 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545857997 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545857997 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853746 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545857997 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545857997 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853740 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=92188 CPUtime=0 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545857997 94400512 352 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853746 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0411941 s]
/proc/loadavg: 6.73 7.76 7.91 3/218 20389
/proc/meminfo: memFree=30038316/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=632504 CPUtime=0.22 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) S 20387 20389 20329 0 -1 4202496 9102 0 0 0 16 6 0 0 17 0 8 0 545857996 647684096 7188 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158126 7200 339 106 0 153097 0
[pid=20389/tid=20390] ppid=20387 vsize=632504 CPUtime=0.02 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1133 0 0 0 2 0 0 0 18 0 8 0 545857996 647684096 7206 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=632504 CPUtime=0.01 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1108 0 0 0 0 1 0 0 17 0 8 0 545857996 647684096 7209 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=632504 CPUtime=0.02 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1051 0 0 0 2 0 0 0 18 0 8 0 545857997 647684096 7216 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796959 0 0 4096 2 18446604466689427328 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=632504 CPUtime=0.02 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1073 0 0 0 2 0 0 0 17 0 8 0 545857997 647684096 7227 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=632504 CPUtime=0.01 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 1039 0 0 0 1 0 0 0 17 0 8 0 545857997 647684096 7237 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 18446604466689427328 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=632504 CPUtime=0.02 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 1104 0 0 0 2 0 0 0 18 0 8 0 545857997 647684096 7244 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 18446604466689427328 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=632680 CPUtime=0.02 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 1124 0 0 0 2 0 0 0 17 0 8 0 545857997 647864320 7255 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 632504
[startup+0.61841 s]
/proc/loadavg: 6.73 7.76 7.91 3/218 20389
/proc/meminfo: memFree=30038316/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=633404 CPUtime=4.76 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 10729 0 0 0 465 11 0 0 18 0 8 0 545857996 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 4228487 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158351 8815 367 106 0 153322 0
[pid=20389/tid=20390] ppid=20387 vsize=633404 CPUtime=0.59 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) D 20387 20389 20329 0 -1 4202560 1439 0 0 0 58 1 0 0 18 0 8 0 545857996 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=633404 CPUtime=0.57 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1205 0 0 0 56 1 0 0 18 0 8 0 545857996 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=633404 CPUtime=0.59 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1299 0 0 0 58 1 0 0 18 0 8 0 545857997 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 4238276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=633404 CPUtime=0.59 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1183 0 0 0 58 1 0 0 18 0 8 0 545857997 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=633404 CPUtime=0.58 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) D 20387 20389 20329 0 -1 4202560 1256 0 0 0 58 0 0 0 18 0 8 0 545857997 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=633404 CPUtime=0.59 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1207 0 0 0 58 1 0 0 18 0 8 0 545857997 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=633404 CPUtime=0.59 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 1486 0 0 0 58 1 0 0 18 0 8 0 545857997 648605696 8815 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500796910 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 633404
[startup+0.7034 s]
/proc/loadavg: 6.73 7.76 7.91 3/218 20389
/proc/meminfo: memFree=30038316/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=636220 CPUtime=5.44 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 15127 0 0 0 531 13 0 0 18 0 8 0 545857996 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4229264 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 159055 13213 367 106 0 154026 0
[pid=20389/tid=20390] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2122 0 0 0 66 1 0 0 18 0 8 0 545857996 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=636220 CPUtime=0.66 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) D 20387 20389 20329 0 -1 4202560 1886 0 0 0 64 2 0 0 18 0 8 0 545857996 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1953 0 0 0 66 1 0 0 18 0 8 0 545857997 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) D 20387 20389 20329 0 -1 4202560 1743 0 0 0 66 1 0 0 18 0 8 0 545857997 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1868 0 0 0 66 1 0 0 18 0 8 0 545857997 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1769 0 0 0 66 1 0 0 18 0 8 0 545857997 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=636220 CPUtime=0.67 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1499 0 0 0 66 1 0 0 18 0 8 0 545857997 651489280 13213 33554432000 4194304 4627427 140733208274928 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 636220
[startup+0.801035 s]
/proc/loadavg: 6.73 7.76 7.91 3/218 20389
/proc/meminfo: memFree=30038316/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=639748 CPUtime=6.19 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 20179 0 0 0 605 14 0 0 18 0 8 0 545857996 655101952 18265 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 159937 18270 367 106 0 154908 0
[pid=20389/tid=20390] ppid=20387 vsize=639748 CPUtime=0.77 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2850 0 0 0 76 1 0 0 18 0 8 0 545857996 655101952 18270 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=639748 CPUtime=0.76 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2581 0 0 0 74 2 0 0 18 0 8 0 545857996 655101952 18270 33554432000 4194304 4627427 140733208274928 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=639748 CPUtime=0.76 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2660 0 0 0 75 1 0 0 18 0 8 0 545857997 655101952 18273 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=639748 CPUtime=0.76 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2457 0 0 0 75 1 0 0 18 0 8 0 545857997 655101952 18273 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=639748 CPUtime=0.76 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2612 0 0 0 75 1 0 0 18 0 8 0 545857997 655101952 18276 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=639748 CPUtime=0.76 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2501 0 0 0 75 1 0 0 18 0 8 0 545857997 655101952 18278 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=639748 CPUtime=0.77 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1533 0 0 0 76 1 0 0 18 0 8 0 545857997 655101952 18282 33554432000 4194304 4627427 140733208274928 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 639748
[startup+1.5009 s]
/proc/loadavg: 6.73 7.76 7.91 9/226 20397
/proc/meminfo: memFree=29836632/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=660220 CPUtime=11.77 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 53290 0 0 0 1153 24 0 0 18 0 8 0 545857996 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 165055 51071 369 106 0 160026 0
[pid=20389/tid=20390] ppid=20387 vsize=660220 CPUtime=1.47 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7284 0 0 0 144 3 0 0 18 0 8 0 545857996 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4238395 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=660220 CPUtime=1.45 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7220 0 0 0 142 3 0 0 18 0 8 0 545857996 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=660220 CPUtime=1.47 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7337 0 0 0 144 3 0 0 18 0 8 0 545857997 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=660220 CPUtime=1.46 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7343 0 0 0 143 3 0 0 18 0 8 0 545857997 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=660220 CPUtime=1.46 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7249 0 0 0 144 2 0 0 18 0 8 0 545857997 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=660220 CPUtime=1.47 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 7266 0 0 0 144 3 0 0 18 0 8 0 545857997 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=660220 CPUtime=1.47 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 1895 0 0 0 146 1 0 0 18 0 8 0 545857997 676065280 51071 33554432000 4194304 4627427 140733208274928 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 660220
[startup+3.10058 s]
/proc/loadavg: 6.73 7.76 7.91 9/226 20397
/proc/meminfo: memFree=29813816/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=664760 CPUtime=24.5 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 62332 0 0 0 2424 26 0 0 20 0 8 0 545857996 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 166190 57017 389 106 0 161161 0
[pid=20389/tid=20390] ppid=20387 vsize=664760 CPUtime=3.06 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8642 0 0 0 303 3 0 0 20 0 8 0 545857996 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4330220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=664760 CPUtime=3.05 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8449 0 0 0 302 3 0 0 20 0 8 0 545857996 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=664760 CPUtime=3.05 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8552 0 0 0 302 3 0 0 20 0 8 0 545857997 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=664760 CPUtime=3.05 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8375 0 0 0 302 3 0 0 21 0 8 0 545857997 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=664760 CPUtime=3.06 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8594 0 0 0 303 3 0 0 20 0 8 0 545857997 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=664760 CPUtime=3.06 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 8536 0 0 0 303 3 0 0 21 0 8 0 545857997 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=664760 CPUtime=3.06 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 2352 0 0 0 305 1 0 0 21 0 8 0 545857997 680714240 57017 33554432000 4194304 4627427 140733208274928 18446744073709551615 4305830 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.5
Current children cumulated vsize (KiB) 664760
[startup+6.30094 s]
/proc/loadavg: 6.83 7.77 7.91 9/226 20397
/proc/meminfo: memFree=29795464/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=613540 CPUtime=50.07 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 72559 0 0 0 4979 28 0 0 25 0 8 0 545857996 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308241 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 153385 61772 390 106 0 148356 0
[pid=20389/tid=20390] ppid=20387 vsize=613540 CPUtime=6.26 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9986 0 0 0 623 3 0 0 25 0 8 0 545857996 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4321343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=613540 CPUtime=6.24 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9662 0 0 0 621 3 0 0 25 0 8 0 545857996 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=613540 CPUtime=6.26 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9993 0 0 0 622 4 0 0 25 0 8 0 545857997 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=613540 CPUtime=6.25 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9905 0 0 0 621 4 0 0 25 0 8 0 545857997 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=613540 CPUtime=6.25 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9822 0 0 0 622 3 0 0 25 0 8 0 545857997 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=613540 CPUtime=6.25 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 9793 0 0 0 622 3 0 0 25 0 8 0 545857997 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=613540 CPUtime=6.26 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 3412 0 0 0 625 1 0 0 25 0 8 0 545857997 628264960 61772 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 613540
[startup+12.7007 s]
/proc/loadavg: 6.92 7.77 7.91 9/226 20397
/proc/meminfo: memFree=29752180/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=658292 CPUtime=101.23 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 92084 0 0 0 10090 33 0 0 25 0 8 0 545857996 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 164573 72656 391 106 0 159544 0
[pid=20389/tid=20390] ppid=20387 vsize=658292 CPUtime=12.66 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12458 0 0 0 1262 4 0 0 25 0 8 0 545857996 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=658292 CPUtime=12.64 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12300 0 0 0 1260 4 0 0 18 0 8 0 545857996 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4515575 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=658292 CPUtime=12.66 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12550 0 0 0 1262 4 0 0 25 0 8 0 545857997 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=658292 CPUtime=12.65 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12791 0 0 0 1261 4 0 0 25 0 8 0 545857997 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=658292 CPUtime=12.66 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12365 0 0 0 1262 4 0 0 25 0 8 0 545857997 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=658292 CPUtime=12.65 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12509 0 0 0 1261 4 0 0 25 0 8 0 545857997 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=658292 CPUtime=12.66 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 5359 0 0 0 1264 2 0 0 25 0 8 0 545857997 674091008 72656 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 658292
Solver just ended. Dumping a history of the last processes samples
[startup+13.2006 s]
/proc/loadavg: 6.92 7.77 7.91 9/226 20397
/proc/meminfo: memFree=29752180/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=649480 CPUtime=105.23 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 93643 0 0 0 10489 34 0 0 25 0 8 0 545857996 665067520 72127 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308117 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 162370 72127 391 106 0 157341 0
[pid=20389/tid=20390] ppid=20387 vsize=649480 CPUtime=13.16 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12510 0 0 0 1312 4 0 0 25 0 8 0 545857996 665067520 72127 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=649480 CPUtime=13.14 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12474 0 0 0 1310 4 0 0 19 0 8 0 545857996 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=649480 CPUtime=13.15 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13139 0 0 0 1311 4 0 0 25 0 8 0 545857997 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=649480 CPUtime=13.15 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12833 0 0 0 1311 4 0 0 25 0 8 0 545857997 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=649480 CPUtime=13.15 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12497 0 0 0 1311 4 0 0 25 0 8 0 545857997 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=649480 CPUtime=13.15 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 12577 0 0 0 1311 4 0 0 25 0 8 0 545857997 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=649480 CPUtime=13.16 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 5679 0 0 0 1314 2 0 0 25 0 8 0 545857997 665067520 72128 33554432000 4194304 4627427 140733208274928 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 105.23
Current children cumulated vsize (KiB) 649480
[startup+16.4009 s]
/proc/loadavg: 7.01 7.78 7.91 9/226 20397
/proc/meminfo: memFree=29734912/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=641256 CPUtime=130.81 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) R 20387 20389 20329 0 -1 4202496 100864 0 0 0 13045 36 0 0 25 0 8 0 545857996 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4330971 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 160314 77680 391 106 0 155285 0
[pid=20389/tid=20390] ppid=20387 vsize=641256 CPUtime=16.36 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13001 0 0 0 1632 4 0 0 25 0 8 0 545857996 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=641256 CPUtime=16.34 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13365 0 0 0 1630 4 0 0 25 0 8 0 545857996 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=641256 CPUtime=16.36 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14232 0 0 0 1631 5 0 0 25 0 8 0 545857997 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=641256 CPUtime=16.35 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14018 0 0 0 1630 5 0 0 25 0 8 0 545857997 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308918 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=641256 CPUtime=16.35 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13872 0 0 0 1631 4 0 0 25 0 8 0 545857997 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=641256 CPUtime=16.36 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13639 0 0 0 1631 5 0 0 25 0 8 0 545857997 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=641256 CPUtime=16.35 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 6191 0 0 0 1633 2 0 0 25 0 8 0 545857997 656646144 77680 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 130.81
Current children cumulated vsize (KiB) 641256
[startup+18.0007 s]
/proc/loadavg: 7.01 7.78 7.91 3/226 20397
/proc/meminfo: memFree=29727976/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=632428 CPUtime=139.04 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) S 20387 20389 20329 0 -1 4202496 102876 0 0 0 13868 36 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158107 78482 391 106 0 153078 0
[pid=20389/tid=20390] ppid=20387 vsize=632428 CPUtime=17.97 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13133 0 0 0 1793 4 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=632428 CPUtime=17.11 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13476 0 0 0 1707 4 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=632428 CPUtime=17.13 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14563 0 0 0 1708 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=632428 CPUtime=17.96 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14226 0 0 0 1791 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411828779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13970 0 0 0 1708 4 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=632428 CPUtime=17.54 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14190 0 0 0 1749 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 6534 0 0 0 1710 2 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 139.04
Current children cumulated vsize (KiB) 632428
[startup+18.4006 s]
/proc/loadavg: 7.01 7.78 7.91 3/226 20397
/proc/meminfo: memFree=29727976/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=632428 CPUtime=139.83 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) S 20387 20389 20329 0 -1 4202496 102876 0 0 0 13947 36 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158107 78482 391 106 0 153078 0
[pid=20389/tid=20390] ppid=20387 vsize=632428 CPUtime=18.36 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13133 0 0 0 1832 4 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 4436184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=632428 CPUtime=17.11 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13476 0 0 0 1707 4 0 0 25 0 8 0 545857996 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=632428 CPUtime=17.13 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14563 0 0 0 1708 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=632428 CPUtime=18.35 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14226 0 0 0 1830 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411828932 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13970 0 0 0 1708 4 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=632428 CPUtime=17.54 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14190 0 0 0 1749 5 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 6534 0 0 0 1710 2 0 0 25 0 8 0 545857997 647606272 78482 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 139.83
Current children cumulated vsize (KiB) 632428
[startup+18.6006 s]
/proc/loadavg: 7.01 7.78 7.91 3/226 20397
/proc/meminfo: memFree=29727976/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=632428 CPUtime=140.23 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) S 20387 20389 20329 0 -1 4202496 103160 0 0 0 13987 36 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158107 78766 391 106 0 153078 0
[pid=20389/tid=20390] ppid=20387 vsize=632428 CPUtime=18.56 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13417 0 0 0 1852 4 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=632428 CPUtime=17.11 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13476 0 0 0 1707 4 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=632428 CPUtime=17.13 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14563 0 0 0 1708 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=632428 CPUtime=18.55 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14226 0 0 0 1850 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411828779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13970 0 0 0 1708 4 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=632428 CPUtime=17.54 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14190 0 0 0 1749 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 6534 0 0 0 1710 2 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 140.23
Current children cumulated vsize (KiB) 632428
[startup+18.7005 s]
/proc/loadavg: 7.01 7.78 7.91 3/226 20397
/proc/meminfo: memFree=29727976/32950928 swapFree=67093856/67111528
[pid=20389] ppid=20387 vsize=632428 CPUtime=140.43 cores=0-7
/proc/20389/stat : 20389 (strangenight2-m) S 20387 20389 20329 0 -1 4202496 103160 0 0 0 14007 36 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20389/statm: 158107 78766 391 106 0 153078 0
[pid=20389/tid=20390] ppid=20387 vsize=632428 CPUtime=18.66 cores=0-7
/proc/20389/task/20390/stat : 20390 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 13417 0 0 0 1862 4 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20389/tid=20391] ppid=20387 vsize=632428 CPUtime=17.11 cores=0-7
/proc/20389/task/20391/stat : 20391 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13476 0 0 0 1707 4 0 0 25 0 8 0 545857996 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20392] ppid=20387 vsize=632428 CPUtime=17.13 cores=0-7
/proc/20389/task/20392/stat : 20392 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14563 0 0 0 1708 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 1 0 0 0
[pid=20389/tid=20393] ppid=20387 vsize=632428 CPUtime=18.65 cores=0-7
/proc/20389/task/20393/stat : 20393 (strangenight2-m) R 20387 20389 20329 0 -1 4202560 14226 0 0 0 1860 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411828932 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20389/tid=20394] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20394/stat : 20394 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 13970 0 0 0 1708 4 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 5 0 0 0
[pid=20389/tid=20395] ppid=20387 vsize=632428 CPUtime=17.54 cores=0-7
/proc/20389/task/20395/stat : 20395 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 14190 0 0 0 1749 5 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 3 0 0 0
[pid=20389/tid=20396] ppid=20387 vsize=632428 CPUtime=17.12 cores=0-7
/proc/20389/task/20396/stat : 20396 (strangenight2-m) S 20387 20389 20329 0 -1 4202560 6534 0 0 0 1710 2 0 0 25 0 8 0 545857997 647606272 78766 33554432000 4194304 4627427 140733208274928 18446744073709551615 47994411853364 0 0 4096 2 18446604466689427328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 140.43
Current children cumulated vsize (KiB) 632428
Child status: 20
Real time (s): 18.7588
CPU time (s): 140.529
CPU user time (s): 140.143
CPU system time (s): 0.385941
CPU usage (%): 749.136
Max. virtual memory (cumulated for all children) (KiB): 665728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.143
system time used= 0.385941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103163
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= 15467
involuntary context switches= 654
runsolver used 0.028995 second user time and 0.093985 second system time
The end
Begin job on node149 at 2011-05-02 15:23:33
IDJOB=3321268
IDBENCH=87988
IDSOLVER=1709
FILE ID=node149/3321268-1304342613
RUNJOBID= node149-1304342612-20343
PBS_JOBID= 13178061
Free space on /tmp= 73584 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321268-1304342613/watcher-3321268-1304342613 -o /tmp/evaluation-result-3321268-1304342613/solver-3321268-1304342613 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321268-1304342613.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=1053728392
node149.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.806
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.61
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.806
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.806
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.83
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.806
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.73
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.806
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.806
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.806
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.82
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.806
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: 30038596 kB
Buffers: 101228 kB
Cached: 881852 kB
SwapCached: 1572 kB
Active: 1774496 kB
Inactive: 888344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30038596 kB
SwapTotal: 67111528 kB
SwapFree: 67093856 kB
Dirty: 6004 kB
Writeback: 0 kB
AnonPages: 1678328 kB
Mapped: 18392 kB
Slab: 172040 kB
PageTables: 12764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 22656232 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= 73576 MiB
End job on node149 at 2011-05-02 15:23:52