0.00/0.00 c Outputting solution to console
0.05/0.03 c Using 8 threads
0.05/0.04 c This is CryptoMiniSat 3.0.0
0.05/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.05/0.04 c Reading file 'HOME/instance-3394260-1306093842.cnf'
0.05/0.04 c -- header says num vars: 448370
0.05/0.04 c -- header says num clauses: 1130525
7.55/1.44 c -- clauses added: 0 learnts, 1130525 normals, 0 xors
7.55/1.44 c -- vars added 448370
7.55/1.44 c Parsing time: 0.61 s
7.55/1.44 c N st 0 0 448370 376841 753682 0 2637887 0 no data no data
21.91/3.27 c asymm cl-useful: 0/543/373184 lits-rem:0 time: 1.11
150.99/19.45 c Flit: 0 Blit: 4740 bXBeca: 0 bXProp: 3414 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 16.86
151.55/19.50 c Cleaning up after failed var search: 0.05 s
152.35/19.62 c Replacing 3415 vars Replaced 44395 lits Time: 0.11 s
154.35/19.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
154.35/19.97 c bin-w-bin subsume rem 0 bins time: 0.06 s
155.81/20.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s
172.19/22.29 c Subs w/ non-existent bins: 32547 l-rem: 32547 v-fix: 0 done: 34651 time: 2.01 s
176.98/22.85 c Removed useless bin: 22 fixed: 0 props: 20.16M time: 0.54 s
204.88/26.41 c lits-rem: 0 cl-subs: 1 v-elim: 145519 v-fix: 0 time: 3.23 s
205.59/26.51 c Finding binary XORs T: 0.09 s found: 1
205.59/26.58 c Replacing 1 vars Replaced 61 lits Time: 0.07 s
206.36/26.68 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
206.36/26.68 c calculated reachability. Time: 0.00
207.14/26.72 c Calc default polars - time: 0.03 s pos: 5441 undec: 157838 neg: 285091
207.14/26.72 c =========================================================================================
207.14/26.72 c types(t): F = full restart, N = normal restart
207.14/26.72 c types(t): S = simplification begin/end, E = solution found
207.14/26.72 c restart types(rt): st = static, dy = dynamic
207.14/26.72 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
207.14/26.72 c B st 0 0 291037 269779 554431 0 2110899 0 no data no data
302.05/38.71 c N dy 19 4103 288170 269779 554683 3788 2110899 1737957 8.04 8.51
362.79/46.32 c Finding binary XORs T: 0.10 s found: 10769
363.59/46.49 c Replacing 10769 vars Replaced 182047 lits Time: 0.17 s
398.76/50.84 c N dy 39 8324 253105 236611 741909 7905 1839074 4170505 10.55 11.13
513.03/65.16 c Finding binary XORs T: 0.10 s found: 60040
513.83/65.23 c Replacing 60040 vars Replaced 1336034 lits Time: 0.07 s
515.43/65.46 c N dy 50 13513 45344 44750 257110 12178 326015 554952 14.26 15.12
525.01/66.68 c N dy 52 18870 45343 44750 257131 17397 326015 629972 12.01 14.08
534.50/67.89 c N dy 55 24409 45343 44750 280782 13572 326015 520832 10.82 11.48
536.10/68.05 c F st 56 25000 45343 44750 280782 14155 326015 527053 10.71 7.54
544.88/69.13 c N dy 62 30000 45343 44750 304690 18886 325697 657822 10.71 no data
544.88/69.13 c S st 62 30000 45343 44750 304690 18886 325697 657822 10.71 no data
545.72/69.22 c Finding binary XORs T: 0.04 s found: 0
547.27/69.49 c S st 62 30503 45343 44750 304770 19301 325697 662360 10.71 no data
548.07/69.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
666.93/86.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6533 Bins: 22632 BRemL: 83099 BRemN: 0 P: 200.0M T: 16.18
666.93/86.38 c Replacing 6533 vars Replaced 128062 lits Time: 0.03 s
667.52/86.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
667.52/86.43 c bin-w-bin subsume rem 54811 bins time: 0.03 s
667.52/86.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
672.30/87.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 38810 time: 0.80 s
673.49/87.41 c Removed useless bin: 0 fixed: 0 props: 20.00M time: 0.13 s
677.68/88.15 c lits-rem: 0 cl-subs: 6517 v-elim: 25872 v-fix: 0 time: 0.63 s
677.68/88.18 c subs with bin: 9 lits-rem: 88 v-fix: 0 time: 0.02 s
678.27/88.21 c lits-rem: 181 cl-subs: 290 v-elim: 0 v-fix: 0 time: 0.02 s
678.27/88.26 c asymm cl-useful: 0/11824/12367 lits-rem:0 time: 0.04
678.27/88.29 c calculated reachability. Time: 0.03
678.27/88.29 c N dy 62 30503 12938 12367 30240 9890 106101 96870 10.71 no data
709.39/96.48 c Following stats are for *FIRST FINISHED THREAD ONLY*
709.39/96.48 c num threads : 8
709.39/96.48 c restarts : 137
709.39/96.48 c dynamic restarts : 125
709.39/96.48 c static restarts : 12
709.39/96.48 c full restarts : 1
709.39/96.48 c total simplify time : 0.33
709.39/96.48 c learnts DL2 : 0
709.39/96.48 c learnts size 2 : 5601713
709.39/96.48 c learnts size 1 : 183411 (40.91 % of vars)
709.39/96.48 c filedLit time : 16.83 (17.75 % time)
709.39/96.48 c v-elim SatELite : 145519 (32.46 % vars)
709.39/96.48 c SatELite time : 9.54 (10.06 % time)
709.39/96.48 c v-elim xor : 0 (0.00 % vars)
709.39/96.48 c xor elim time : 0.00 (0.00 % time)
709.39/96.48 c num binary xor trees : 11335
709.39/96.48 c binxor trees' crown : 80599 (7.11 leafs/tree)
709.39/96.48 c bin xor find time : 0.18
709.39/96.48 c OTF clause improved : 1191 (0.02 clauses/conflict)
709.39/96.48 c OTF impr. size diff : 1277 (1.07 lits/clause)
709.39/96.48 c OTF cl watch-shrink : 6645 (0.12 clauses/conflict)
709.39/96.48 c OTF cl watch-sh-lit : 20616 (3.10 lits/clause)
709.39/96.48 c tried to recurMin cls : 0 (0.00 % of conflicts)
709.39/96.48 c updated cache : 0 (nan lits/tried recurMin)
709.39/96.48 c unit cls recevied : 113 (0.06 % of units)
709.39/96.48 c unit cls sent : 6 (0.00 % of units)
709.39/96.48 c bin cls recevied : 159632
709.39/96.48 c bin cls sent : 187
709.39/96.48 c clauses over max glue : 0 (0.00 % of all clauses)
709.39/96.48 c conflicts : 56609 (597.02 / sec)
709.39/96.48 c decisions : 1039870 (0.00 % random)
709.39/96.48 c bogo-props : 784186984 (8270306.01 / sec)
709.39/96.48 c conflict literals : 5264460 (9.28 % deleted)
709.39/96.48 c Memory used : 5912.65 MB
709.39/96.48 c single-thread CPU time : 94.82 s
709.39/96.48 c all-threads sum CPU time : 701.01 s
709.39/96.48 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-3394260-1306093842/watcher-3394260-1306093842 -o /tmp/evaluation-result-3394260-1306093842/solver-3394260-1306093842 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394260-1306093842.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: 7.08 7.52 7.76 1/266 5549
/proc/meminfo: memFree=30435332/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 8 0 720985076 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 23036 353 299 95 0 18018 0
[pid=5549/tid=5550] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526252 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526256 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.016623 s]
/proc/loadavg: 7.08 7.52 7.76 1/266 5549
/proc/meminfo: memFree=30435332/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=92144 CPUtime=0.05 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 412 0 0 0 5 0 0 0 21 0 8 0 720985076 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 23036 353 299 95 0 18018 0
[pid=5549/tid=5550] ppid=5547 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=92144 CPUtime=0 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720985077 94355456 353 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392526256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 92144
[startup+0.102927 s]
/proc/loadavg: 7.08 7.52 7.76 1/266 5549
/proc/meminfo: memFree=30435332/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=577252 CPUtime=0.54 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 58286 0 0 0 40 14 0 0 17 0 8 0 720985076 591106048 44022 33554432000 4194304 4580107 140734969409088 18446744073709551615 4510886 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 144313 44022 337 95 0 139295 0
[pid=5549/tid=5550] ppid=5547 vsize=577252 CPUtime=0.07 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) D 5547 5549 5412 0 -1 4202560 7481 0 0 0 6 1 0 0 17 0 8 0 720985077 591106048 44022 33554432000 4194304 4580107 140734969409088 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=673656 CPUtime=0.03 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 8416 0 0 0 2 1 0 0 17 0 8 0 720985077 689823744 46872 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=681852 CPUtime=0.07 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 8124 0 0 0 5 2 0 0 17 0 8 0 720985077 698216448 47191 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=681852 CPUtime=0.07 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 8102 0 0 0 6 1 0 0 17 0 8 0 720985077 698216448 47758 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=681852 CPUtime=0.06 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 7754 0 0 0 4 2 0 0 17 0 8 0 720985077 698216448 48084 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=681852 CPUtime=0.07 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) D 5547 5549 5412 0 -1 4202560 6661 0 0 0 6 1 0 0 17 0 8 0 720985077 698216448 48253 33554432000 4194304 4580107 140734969409088 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=681852 CPUtime=0.06 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 8549 0 0 0 4 2 0 0 17 0 8 0 720985077 698216448 48515 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882094 0 0 4096 2 18446604470055692416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 577252
[startup+0.301674 s]
/proc/loadavg: 7.08 7.52 7.76 1/266 5549
/proc/meminfo: memFree=30435332/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=849304 CPUtime=1.69 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 101429 0 0 0 110 59 0 0 17 0 8 0 720985076 869687296 84858 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921820343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 212326 84907 337 95 0 207308 0
[pid=5549/tid=5550] ppid=5547 vsize=849304 CPUtime=0.22 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 12760 0 0 0 14 8 0 0 17 0 8 0 720985077 869687296 84936 33554432000 4194304 4580107 140734969409088 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=849304 CPUtime=0.16 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) D 5547 5549 5412 0 -1 4202560 13643 0 0 0 10 6 0 0 17 0 8 0 720985077 869687296 84960 33554432000 4194304 4580107 140734969409088 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=849304 CPUtime=0.21 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 11954 0 0 0 13 8 0 0 17 0 8 0 720985077 869687296 84987 33554432000 4194304 4580107 140734969409088 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=849304 CPUtime=0.21 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 12793 0 0 0 15 6 0 0 17 0 8 0 720985077 869687296 85019 33554432000 4194304 4580107 140734969409088 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=849304 CPUtime=0.19 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 12189 0 0 0 12 7 0 0 17 0 8 0 720985077 869687296 85048 33554432000 4194304 4580107 140734969409088 18446744073709551615 4354920 0 0 4096 2 18446604470055692416 0 0 -1 5 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=849304 CPUtime=0.2 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 12720 0 0 0 14 6 0 0 17 0 8 0 720985077 869687296 85049 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882094 0 0 4096 2 18446604470055692416 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=849304 CPUtime=0.2 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 13078 0 0 0 13 7 0 0 17 0 8 0 720985077 869687296 85049 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 849304
[startup+0.700464 s]
/proc/loadavg: 7.08 7.52 7.76 1/266 5549
/proc/meminfo: memFree=30435332/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=1153340 CPUtime=3.7 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 198058 0 0 0 243 127 0 0 16 0 8 0 720985076 1181020160 164435 33554432000 4194304 4580107 140734969409088 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 288335 164443 337 95 0 283317 0
[pid=5549/tid=5550] ppid=5547 vsize=1153340 CPUtime=0.47 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 25315 0 0 0 30 17 0 0 16 0 8 0 720985077 1181020160 164444 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=1153340 CPUtime=0.43 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 26342 0 0 0 28 15 0 0 16 0 8 0 720985077 1181020160 164449 33554432000 4194304 4580107 140734969409088 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=1153340 CPUtime=0.46 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 23456 0 0 0 30 16 0 0 16 0 8 0 720985077 1181020160 164454 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=1153340 CPUtime=0.45 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 25115 0 0 0 32 13 0 0 16 0 8 0 720985077 1181020160 164460 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=1153340 CPUtime=0.46 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) D 5547 5549 5412 0 -1 4202560 25000 0 0 0 29 17 0 0 16 0 8 0 720985077 1181020160 164462 33554432000 4194304 4580107 140734969409088 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=1153340 CPUtime=0.45 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 23897 0 0 0 31 14 0 0 16 0 8 0 720985077 1181020160 164465 33554432000 4194304 4580107 140734969409088 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=1153340 CPUtime=0.43 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 24794 0 0 0 28 15 0 0 16 0 8 0 720985077 1181020160 164467 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 1153340
[startup+1.50032 s]
/proc/loadavg: 7.08 7.52 7.76 3/274 5557
/proc/meminfo: memFree=29523888/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=2008968 CPUtime=8.28 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 384459 0 0 0 555 273 0 0 16 0 8 0 720985076 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 502242 315030 355 95 0 497224 0
[pid=5549/tid=5550] ppid=5547 vsize=2008968 CPUtime=1.05 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 49287 0 0 0 71 34 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=2008968 CPUtime=1.02 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51495 0 0 0 67 35 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=2008968 CPUtime=1.03 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 48749 0 0 0 67 36 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=2008968 CPUtime=1.03 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 49116 0 0 0 74 29 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=2008968 CPUtime=1.04 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 49053 0 0 0 67 37 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=2008968 CPUtime=1.03 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 46292 0 0 0 72 31 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4501037 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=2008968 CPUtime=1.01 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 44956 0 0 0 65 36 0 0 16 0 8 0 720985077 2057183232 315030 33554432000 4194304 4580107 140734969409088 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 2008968
[startup+3.10103 s]
/proc/loadavg: 7.08 7.52 7.76 9/274 5557
/proc/meminfo: memFree=29165156/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=2074504 CPUtime=21.08 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 403563 0 0 0 1832 276 0 0 17 0 8 0 720985076 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 518626 334126 360 95 0 513608 0
[pid=5549/tid=5550] ppid=5547 vsize=2074504 CPUtime=2.64 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51477 0 0 0 230 34 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=2074504 CPUtime=2.61 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 53875 0 0 0 226 35 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=2074504 CPUtime=2.62 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51188 0 0 0 226 36 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=2074504 CPUtime=2.63 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51482 0 0 0 234 29 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=2074504 CPUtime=2.63 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51604 0 0 0 226 37 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=2074504 CPUtime=2.63 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 48659 0 0 0 232 31 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=2074504 CPUtime=2.61 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 47373 0 0 0 225 36 0 0 17 0 8 0 720985077 2124292096 334126 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.08
Current children cumulated vsize (KiB) 2074504
[startup+6.30044 s]
/proc/loadavg: 7.47 7.59 7.78 9/274 5557
/proc/meminfo: memFree=29097224/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=2074504 CPUtime=46.65 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 405484 0 0 0 4388 277 0 0 25 0 8 0 720985076 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 518626 334369 360 95 0 513608 0
[pid=5549/tid=5550] ppid=5547 vsize=2074504 CPUtime=5.84 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51477 0 0 0 550 34 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=2074504 CPUtime=5.81 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 53875 0 0 0 546 35 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=2074504 CPUtime=5.79 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51188 0 0 0 543 36 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=2074504 CPUtime=5.83 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51483 0 0 0 554 29 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=2074504 CPUtime=5.83 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 51604 0 0 0 546 37 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=2074504 CPUtime=5.83 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 48659 0 0 0 552 31 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=2074504 CPUtime=5.81 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 49293 0 0 0 545 36 0 0 25 0 8 0 720985077 2124292096 334369 33554432000 4194304 4580107 140734969409088 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=5549] ppid=5547 vsize=4846608 CPUtime=401.15 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 989644 0 0 0 39614 501 0 0 25 0 8 0 720985076 4962926592 829981 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1211652 829982 378 95 0 1206634 0
[pid=5549/tid=5550] ppid=5547 vsize=4846608 CPUtime=50.11 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 135399 0 0 0 4945 66 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=4846608 CPUtime=50.1 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 147222 0 0 0 4943 67 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=4846608 CPUtime=49.71 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 135918 0 0 0 4897 74 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=4846608 CPUtime=50.25 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 140226 0 0 0 4960 65 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=4846608 CPUtime=50.15 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 122876 0 0 0 4953 62 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=4846608 CPUtime=50.12 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 135709 0 0 0 4947 65 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=4846608 CPUtime=50.46 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 58895 0 0 0 5008 38 0 0 25 0 8 0 720985077 4962926592 829982 33554432000 4194304 4580107 140734969409088 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 401.15
Current children cumulated vsize (KiB) 4846608
Solver just ended. Dumping a history of the last processes samples
[startup+76.7006 s]
/proc/loadavg: 7.83 7.67 7.79 9/274 5559
/proc/meminfo: memFree=26967884/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=4610208 CPUtime=605.58 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) R 5547 5549 5412 0 -1 4202496 1209466 0 0 0 60003 555 0 0 19 0 8 0 720985076 4720852992 888879 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293280 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1152552 888881 380 95 0 1147534 0
[pid=5549/tid=5550] ppid=5547 vsize=4610208 CPUtime=75.7 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 159807 0 0 0 7498 72 0 0 25 0 8 0 720985077 4720852992 888882 33554432000 4194304 4580107 140734969409088 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=4610208 CPUtime=75.69 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 168985 0 0 0 7496 73 0 0 25 0 8 0 720985077 4720852992 888883 33554432000 4194304 4580107 140734969409088 18446744073709551615 4325825 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=4610208 CPUtime=75.09 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 161270 0 0 0 7430 79 0 0 25 0 8 0 720985077 4720852992 888885 33554432000 4194304 4580107 140734969409088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=4610208 CPUtime=75.84 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 182307 0 0 0 7510 74 0 0 25 0 8 0 720985077 4720852992 888885 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=4610208 CPUtime=75.75 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 127086 0 0 0 7511 64 0 0 25 0 8 0 720985077 4720852992 888885 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=4610208 CPUtime=75.71 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145471 0 0 0 7503 68 0 0 25 0 8 0 720985077 4720852992 888885 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=4610208 CPUtime=76.04 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 83495 0 0 0 7559 45 0 0 25 0 8 0 720985077 4720852992 888885 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (KiB) 4610208
[startup+89.5013 s]
/proc/loadavg: 7.56 7.62 7.77 6/274 5559
/proc/meminfo: memFree=25493168/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=6040412 CPUtime=684.96 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) S 5547 5549 5412 0 -1 4202496 1559455 0 0 0 67660 836 0 0 18 0 8 0 720985076 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1510103 1236530 380 95 0 1505085 0
[pid=5549/tid=5550] ppid=5547 vsize=6040412 CPUtime=88.17 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 234474 0 0 0 8667 150 0 0 20 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 4235094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=6040412 CPUtime=88.32 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 241232 0 0 0 8700 132 0 0 19 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=6040412 CPUtime=87.67 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 239359 0 0 0 8628 139 0 0 18 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=6040412 CPUtime=88.5 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 245328 0 0 0 8738 112 0 0 18 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=6040412 CPUtime=78.38 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 129263 0 0 0 7773 65 0 0 18 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=6040412 CPUtime=88.51 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145690 0 0 0 8783 68 0 0 25 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392501291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=6040412 CPUtime=78.16 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 83894 0 0 0 7770 46 0 0 25 0 8 0 720985077 6185381888 1236530 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.96
Current children cumulated vsize (KiB) 6040412
[startup+92.7007 s]
/proc/loadavg: 7.56 7.62 7.77 4/274 5559
/proc/meminfo: memFree=25405004/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=6054552 CPUtime=698.72 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) S 5547 5549 5412 0 -1 4202496 1580863 0 0 0 69023 849 0 0 18 0 8 0 720985076 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1513638 1256585 380 95 0 1508620 0
[pid=5549/tid=5550] ppid=5547 vsize=6054552 CPUtime=90.04 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 241045 0 0 0 8850 154 0 0 18 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=6054552 CPUtime=91.51 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 244074 0 0 0 9017 134 0 0 19 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=6054552 CPUtime=90.88 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 243444 0 0 0 8945 143 0 0 19 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=6054552 CPUtime=90.8 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 253238 0 0 0 8964 116 0 0 18 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=6054552 CPUtime=78.38 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 129263 0 0 0 7773 65 0 0 18 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=6054552 CPUtime=91.71 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145690 0 0 0 9103 68 0 0 25 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392501444 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=6054552 CPUtime=78.16 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 83894 0 0 0 7770 46 0 0 25 0 8 0 720985077 6199861248 1256585 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 698.72
Current children cumulated vsize (KiB) 6054552
[startup+94.3004 s]
/proc/loadavg: 7.20 7.55 7.75 4/274 5559
/proc/meminfo: memFree=25395448/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=6054552 CPUtime=703.52 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) S 5547 5549 5412 0 -1 4202496 1586090 0 0 0 69500 852 0 0 18 0 8 0 720985076 6199861248 1261812 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1513638 1261812 380 95 0 1508620 0
[pid=5549/tid=5550] ppid=5547 vsize=6054552 CPUtime=90.04 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 241045 0 0 0 8850 154 0 0 18 0 8 0 720985077 6199861248 1261814 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=6054552 CPUtime=93.11 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 246814 0 0 0 9176 135 0 0 24 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=6054552 CPUtime=92.47 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 245936 0 0 0 9103 144 0 0 24 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=6054552 CPUtime=90.8 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 253238 0 0 0 8964 116 0 0 18 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=6054552 CPUtime=78.38 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 129263 0 0 0 7773 65 0 0 18 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=6054552 CPUtime=93.31 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145690 0 0 0 9263 68 0 0 25 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392501444 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=6054552 CPUtime=78.16 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 83894 0 0 0 7770 46 0 0 25 0 8 0 720985077 6199861248 1261817 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 703.52
Current children cumulated vsize (KiB) 6054552
[startup+95.9011 s]
/proc/loadavg: 7.20 7.55 7.75 4/274 5560
/proc/meminfo: memFree=25357504/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=6054552 CPUtime=708.32 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) S 5547 5549 5412 0 -1 4202496 1596683 0 0 0 69978 854 0 0 18 0 8 0 720985076 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1513638 1268511 380 95 0 1508620 0
[pid=5549/tid=5550] ppid=5547 vsize=6054552 CPUtime=90.04 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 241045 0 0 0 8850 154 0 0 18 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=6054552 CPUtime=94.72 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 252242 0 0 0 9335 137 0 0 25 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=6054552 CPUtime=94.07 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 251096 0 0 0 9262 145 0 0 25 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525843 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=6054552 CPUtime=90.8 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 253238 0 0 0 8964 116 0 0 18 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=6054552 CPUtime=78.38 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 129263 0 0 0 7773 65 0 0 18 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=6054552 CPUtime=94.91 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145690 0 0 0 9423 68 0 0 25 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392501444 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=6054552 CPUtime=78.16 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 83894 0 0 0 7770 46 0 0 25 0 8 0 720985077 6199861248 1268511 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 708.32
Current children cumulated vsize (KiB) 6054552
[startup+96.301 s]
/proc/loadavg: 7.20 7.55 7.75 4/274 5560
/proc/meminfo: memFree=25357504/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=6054552 CPUtime=709.19 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) S 5547 5549 5412 0 -1 4202496 1597939 0 0 0 70064 855 0 0 18 0 8 0 720985076 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 1513638 1269767 380 95 0 1508620 0
[pid=5549/tid=5550] ppid=5547 vsize=6054552 CPUtime=90.04 cores=0-7
/proc/5549/task/5550/stat : 5550 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 241045 0 0 0 8850 154 0 0 18 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5551] ppid=5547 vsize=6054552 CPUtime=95.11 cores=0-7
/proc/5549/task/5551/stat : 5551 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 253498 0 0 0 9374 137 0 0 25 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5549/tid=5552] ppid=5547 vsize=6054552 CPUtime=94.14 cores=0-7
/proc/5549/task/5552/stat : 5552 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 251096 0 0 0 9269 145 0 0 25 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
[pid=5549/tid=5553] ppid=5547 vsize=6054552 CPUtime=90.8 cores=0-7
/proc/5549/task/5553/stat : 5553 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 253238 0 0 0 8964 116 0 0 18 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 6 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=6054552 CPUtime=78.38 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 129263 0 0 0 7773 65 0 0 18 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 1 0 0 0
[pid=5549/tid=5555] ppid=5547 vsize=6054552 CPUtime=95.31 cores=0-7
/proc/5549/task/5555/stat : 5555 (strangenight2-m) R 5547 5549 5412 0 -1 4202560 145690 0 0 0 9463 68 0 0 25 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392501291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5549/tid=5556] ppid=5547 vsize=6054552 CPUtime=78.16 cores=0-7
/proc/5549/task/5556/stat : 5556 (strangenight2-m) S 5547 5549 5412 0 -1 4202560 83894 0 0 0 7770 46 0 0 25 0 8 0 720985077 6199861248 1269767 33554432000 4194304 4580107 140734969409088 18446744073709551615 47963392525876 0 0 4096 2 18446604470055692416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 709.19
Current children cumulated vsize (KiB) 6054552
[startup+96.7009 s]
/proc/loadavg: 7.20 7.55 7.75 2/268 5560
/proc/meminfo: memFree=29413904/32951124 swapFree=55664332/67111528
[pid=5549] ppid=5547 vsize=0 CPUtime=709.77 cores=0-7
/proc/5549/stat : 5549 (strangenight2-m) Z 5547 5549 5412 0 -1 4203548 1598240 0 0 0 70100 877 0 0 18 0 2 0 720985076 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5549/statm: 0 0 0 0 0 0 0
[pid=5549/tid=5554] ppid=5547 vsize=0 CPUtime=78.61 cores=0-7
/proc/5549/task/5554/stat : 5554 (strangenight2-m) R 5547 5549 5412 0 -1 4203588 129263 0 0 0 7773 88 0 0 18 0 2 0 720985077 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 709.77
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 96.7468
CPU time (s): 709.825
CPU user time (s): 701.009
CPU system time (s): 8.81566
CPU usage (%): 733.694
Max. virtual memory (cumulated for all children) (KiB): 6054552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 701.009
system time used= 8.81566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1598240
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= 450613
involuntary context switches= 2944
runsolver used 0.221966 second user time and 0.583911 second system time
The end
Begin job on node109 at 2011-05-22 21:50:43
IDJOB=3394260
IDBENCH=82450
IDSOLVER=1878
FILE ID=node109/3394260-1306093842
RUNJOBID= node109-1306093538-5426
PBS_JOBID= 13387947
Free space on /tmp= 73036 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394260-1306093842/watcher-3394260-1306093842 -o /tmp/evaluation-result-3394260-1306093842/solver-3394260-1306093842 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394260-1306093842.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 28b7074e04e59e64b5e4d7991d54f9d1
RANDOM SEED=2113522260
node109.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.809
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.809
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.75
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.75
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.809
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.809
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30435612 kB
Buffers: 39640 kB
Cached: 553416 kB
SwapCached: 10096 kB
Active: 44012 kB
Inactive: 2277864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30435612 kB
SwapTotal: 67111528 kB
SwapFree: 55664332 kB
Dirty: 26416 kB
Writeback: 0 kB
AnonPages: 1725592 kB
Mapped: 15880 kB
Slab: 90920 kB
PageTables: 36624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 30866264 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= 73028 MiB
End job on node109 at 2011-05-22 21:52:20