0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3321078-1304322957.cnf'
0.00/0.05 c -- header says num vars: 17710
0.00/0.05 c -- header says num clauses: 304026
1.61/0.30 c -- clauses added: 0 learnts, 304026 normals, 0 xors
1.61/0.30 c -- vars added 17710
1.61/0.30 c Parsing time: 0.11 s
1.61/0.30 c N st 0 0 17710 35671 268354 0 890579 0 no data no data
3.97/0.61 c asymm cl-useful: 470/5723/35670 lits-rem:4671 time: 0.31
10.92/1.74 c Flit: 273 Blit: 63 bXBeca: 0 bXProp: 2030 Bins: 0 BRemL: 0 BRemN: 0 P: 23.9M T: 0.85
10.92/1.75 c Cleaning up after failed var search: 0.01 s
10.92/1.77 c Replacing 2030 vars Replaced 26831 lits Time: 0.02 s
11.68/1.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11.68/1.88 c bin-w-bin subsume rem 49 bins time: 0.02 s
13.08/2.01 c subs with bin: 96 lits-rem: 594 v-fix: 0 time: 0.12 s
13.08/2.07 c Subs w/ non-existent bins: 0 l-rem: 44 v-fix: 0 done: 14780 time: 0.06 s
13.91/2.12 c Removed useless bin: 586 fixed: 0 props: 5.75M time: 0.05 s
16.20/2.43 c lits-rem: 252 cl-subs: 915 v-elim: 4926 v-fix: 0 time: 0.29 s
16.20/2.47 c Finding binary XORs T: 0.04 s found: 64
16.20/2.48 c Replacing 64 vars Replaced 14000 lits Time: 0.01 s
17.00/2.52 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
17.00/2.52 c calculated reachability. Time: 0.01
17.00/2.52 c Calc default polars - time: 0.00 s pos: 1261 undec: 8081 neg: 8368
17.00/2.52 c =========================================================================================
17.00/2.52 c types(t): F = full restart, N = normal restart
17.00/2.52 c types(t): S = simplification begin/end, E = solution found
17.00/2.52 c restart types(rt): st = static, dy = dynamic
17.00/2.52 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
17.00/2.52 c B st 0 0 9790 25339 203638 0 756423 0 no data no data
19.40/2.86 c N dy 23 4064 9784 25339 203850 3726 756414 170296 30.17 33.36
23.44/3.32 c N dy 50 8769 9783 25339 204356 5418 756414 219181 34.45 36.80
27.39/3.84 c N dy 55 14859 9783 25339 204419 6494 756414 209485 30.96 33.01
31.43/4.35 c N dy 61 20681 9782 25339 205377 11849 756414 429574 29.32 31.01
34.58/4.74 c F st 63 25000 9782 25339 205857 9906 756414 334782 28.27 20.24
34.58/4.79 c N st 63 25000 9782 25077 205732 9898 753511 334621 28.27 20.24
38.58/5.25 c N dy 69 30001 9782 25077 205775 7350 753511 187853 28.27 no data
38.58/5.25 c S st 69 30001 9782 25077 205775 7350 753511 187853 28.27 no data
39.38/5.35 c S st 69 30502 9782 25077 206252 7684 753511 192857 28.27 no data
39.38/5.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
52.17/6.93 c Flit: 12 Blit: 3 bXBeca: 0 bXProp: 42 Bins: 553226 BRemL: 118436 BRemN: 5 P: 32.0M T: 1.56
52.17/6.96 c Replacing 42 vars Replaced 18386 lits Time: 0.03 s
52.17/6.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
52.98/7.07 c bin-w-bin subsume rem 5216 bins time: 0.08 s
57.82/7.64 c subs with bin: 1254 lits-rem: 29105 v-fix: 0 time: 0.58 s
58.62/7.73 c Subs w/ non-existent bins: 2 l-rem: 1519 v-fix: 0 done: 9724 time: 0.09 s
58.62/7.77 c Removed useless bin: 277 fixed: 0 props: 2.05M time: 0.03 s
60.16/7.92 c lits-rem: 583 cl-subs: 188 v-elim: 615 v-fix: 0 time: 0.15 s
60.97/8.07 c subs with bin: 19 lits-rem: 3097 v-fix: 0 time: 0.13 s
61.77/8.19 c lits-rem: 11160 cl-subs: 1039 v-elim: 0 v-fix: 0 time: 0.11 s
64.97/8.50 c asymm cl-useful: 1592/6521/23156 lits-rem:4067 time: 0.31
64.97/8.53 c calculated reachability. Time: 0.01
64.97/8.53 c N dy 69 30502 9109 23146 622678 6220 706025 990725 28.27 no data
64.97/8.57 c Finding binary XORs T: 0.04 s found: 0
75.39/9.85 c N dy 70 45753 9109 23146 622724 12586 706025 1193925 22.35 10.72
75.39/9.85 c S st 70 45753 9109 23146 622724 12586 706025 1193925 22.35 10.72
76.95/10.06 c S st 70 46256 9075 23146 624302 12998 706020 1202289 22.35 no data
76.95/10.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
87.33/11.35 c Flit: 7 Blit: 0 bXBeca: 0 bXProp: 60 Bins: 4765 BRemL: 163029 BRemN: 2315 P: 31.1M T: 1.27
88.12/11.41 c Replacing 60 vars Replaced 10404 lits Time: 0.06 s
88.12/11.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
88.12/11.48 c bin-w-bin subsume rem 4480 bins time: 0.05 s
92.11/11.91 c subs with bin: 188 lits-rem: 5701 v-fix: 0 time: 0.43 s
92.11/11.98 c Subs w/ non-existent bins: 0 l-rem: 993 v-fix: 0 done: 9000 time: 0.07 s
92.97/12.02 c Removed useless bin: 8327 fixed: 0 props: 2.43M time: 0.04 s
93.77/12.16 c lits-rem: 317 cl-subs: 154 v-elim: 290 v-fix: 0 time: 0.14 s
93.77/12.19 c subs with bin: 7 lits-rem: 87 v-fix: 0 time: 0.03 s
94.52/12.22 c lits-rem: 256 cl-subs: 190 v-elim: 0 v-fix: 0 time: 0.02 s
94.52/12.24 c vivif2 -- cl tried 21672 cl shrink 2012 lits rem 5899 time: 0.02
94.52/12.25 c vivif2 -- cl tried 2144 cl shrink 210 lits rem 732 time: 0.00
96.12/12.46 c asymm cl-useful: 38/9275/21519 lits-rem:83 time: 0.21
96.12/12.48 c calculated reachability. Time: 0.01
96.12/12.48 c N dy 70 46256 8710 21504 428101 2139 640615 536208 22.35 no data
112.90/14.53 c N dy 74 69388 8709 21504 428519 13000 640588 794916 17.92 11.49
112.90/14.53 c S st 74 69388 8709 21504 428519 13000 640588 794916 17.92 11.49
114.50/14.70 c Finding binary XORs T: 0.04 s found: 79
115.29/14.81 c S st 74 69890 8557 19260 757564 12959 610982 1460912 17.92 no data
115.29/14.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
125.53/16.15 c Flit: 9 Blit: 15 bXBeca: 0 bXProp: 15 Bins: 2607 BRemL: 143178 BRemN: 344 P: 28.8M T: 1.33
126.33/16.20 c Replacing 94 vars Replaced 36122 lits Time: 0.05 s
126.33/16.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
126.33/16.29 c bin-w-bin subsume rem 13538 bins time: 0.08 s
130.33/16.76 c subs with bin: 339 lits-rem: 3176 v-fix: 0 time: 0.47 s
131.13/16.85 c Subs w/ non-existent bins: 70 l-rem: 213 v-fix: 0 done: 8418 time: 0.09 s
131.13/16.88 c Removed useless bin: 1246 fixed: 0 props: 2.10M time: 0.03 s
132.72/17.04 c lits-rem: 787 cl-subs: 429 v-elim: 701 v-fix: 0 time: 0.16 s
134.33/17.28 c subs with bin: 166 lits-rem: 21114 v-fix: 0 time: 0.22 s
135.13/17.39 c lits-rem: 4603 cl-subs: 1158 v-elim: 0 v-fix: 0 time: 0.10 s
135.93/17.41 c vivif2 -- cl tried 17718 cl shrink 759 lits rem 4306 time: 0.02
135.93/17.45 c vivif2 -- cl tried 10531 cl shrink 4802 lits rem 18697 time: 0.04
138.32/17.77 c asymm cl-useful: 269/5341/17561 lits-rem:4093 time: 0.32
138.32/17.79 c calculated reachability. Time: 0.01
138.32/17.79 c N dy 74 69890 7717 17551 543250 10525 527004 974527 17.92 no data
142.33/18.23 c N dy 83 75478 7717 17551 543300 15816 526995 1145006 17.59 18.64
150.31/19.23 c N dy 86 87132 7632 16319 533587 16561 513630 1079459 16.47 17.57
155.69/21.49 c Following stats are for *FIRST FINISHED THREAD ONLY*
155.69/21.49 c num threads : 8
155.69/21.49 c restarts : 182
155.69/21.49 c dynamic restarts : 164
155.69/21.49 c static restarts : 18
155.69/21.49 c full restarts : 2
155.69/21.49 c total simplify time : 0.27
155.69/21.49 c learnts DL2 : 0
155.69/21.49 c learnts size 2 : 1065369
155.69/21.49 c learnts size 1 : 2911 (16.44 % of vars)
155.69/21.49 c filedLit time : 2.51 (12.02 % time)
155.69/21.49 c v-elim SatELite : 5642 (31.86 % vars)
155.69/21.49 c SatELite time : 0.66 (3.15 % time)
155.69/21.49 c v-elim xor : 0 (0.00 % vars)
155.69/21.49 c xor elim time : 0.01 (0.04 % time)
155.69/21.49 c num binary xor trees : 677
155.69/21.49 c binxor trees' crown : 2343 (3.46 leafs/tree)
155.69/21.49 c bin xor find time : 0.20
155.69/21.49 c OTF clause improved : 4722 (0.04 clauses/conflict)
155.69/21.49 c OTF impr. size diff : 6917 (1.46 lits/clause)
155.69/21.49 c OTF cl watch-shrink : 90410 (0.69 clauses/conflict)
155.69/21.49 c OTF cl watch-sh-lit : 680991 (7.53 lits/clause)
155.69/21.49 c tried to recurMin cls : 57143 (43.46 % of conflicts)
155.69/21.49 c updated cache : 0 (0.00 lits/tried recurMin)
155.69/21.49 c unit cls recevied : 87 (2.99 % of units)
155.69/21.49 c unit cls sent : 946 (32.50 % of units)
155.69/21.49 c bin cls recevied : 331305
155.69/21.49 c bin cls sent : 32529
155.69/21.49 c clauses over max glue : 0 (0.00 % of all clauses)
155.69/21.49 c conflicts : 131492 (6287.93 / sec)
155.69/21.49 c decisions : 902122 (1.75 % random)
155.69/21.49 c bogo-props : 673382562 (32201050.03 / sec)
155.69/21.49 c conflict literals : 4173080 (37.04 % deleted)
155.69/21.49 c Memory used : 1202.98 MB
155.69/21.49 c single-thread CPU time : 20.91 s
155.69/21.49 c all-threads sum CPU time : 154.52 s
155.69/21.49 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-3321078-1304322957/watcher-3321078-1304322957 -o /tmp/evaluation-result-3321078-1304322957/solver-3321078-1304322957 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321078-1304322957.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: 8.07 7.41 4.48 2/182 24910
/proc/meminfo: memFree=26898380/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364883372 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24910/statm: 23047 352 299 106 0 18018 0
[pid=24910/tid=24911] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364883378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364883378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=92188 CPUtime=0 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622526403 94400512 352 33554432000 4194304 4627427 140734793091152 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0705599 s]
/proc/loadavg: 8.07 7.41 4.48 2/182 24910
/proc/meminfo: memFree=26898380/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=555752 CPUtime=0.39 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) D 24908 24910 24761 0 -1 4202496 4914 0 0 0 35 4 0 0 17 0 8 0 622526403 569090048 4718 33554432000 4194304 4627427 140734793091152 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 138872 4690 338 106 0 133843 0
[pid=24910/tid=24911] ppid=24908 vsize=555356 CPUtime=0.05 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 478 0 0 0 5 0 0 0 17 0 8 0 622526403 568684544 4708 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=555356 CPUtime=0.05 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 602 0 0 0 5 0 0 0 17 0 8 0 622526403 568684544 4717 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595502 0 0 4096 2 18446604453885413440 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=555356 CPUtime=0.04 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 535 0 0 0 4 0 0 0 17 0 8 0 622526403 568684544 4747 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 18446604453885413440 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=555356 CPUtime=0.03 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 574 0 0 0 3 0 0 0 17 0 8 0 622526403 568684544 4756 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595502 0 0 4096 2 18446604453885413440 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=555356 CPUtime=0.04 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 603 0 0 0 4 0 0 0 17 0 8 0 622526403 568684544 4759 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=555356 CPUtime=0.01 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 638 0 0 0 1 0 0 0 17 0 8 0 622526403 568684544 4769 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=555356 CPUtime=0.04 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 633 0 0 0 4 0 0 0 17 0 8 0 622526403 568684544 4801 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 18446604453885413440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 555752
[startup+0.102554 s]
/proc/loadavg: 8.07 7.41 4.48 2/182 24910
/proc/meminfo: memFree=26898380/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=560768 CPUtime=0.58 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 9719 0 0 0 46 12 0 0 17 0 8 0 622526403 574226432 8835 33554432000 4194304 4627427 140734793091152 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 140192 8844 338 106 0 135163 0
[pid=24910/tid=24911] ppid=24908 vsize=560768 CPUtime=0.08 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1008 0 0 0 7 1 0 0 17 0 8 0 622526403 574226432 8852 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=560768 CPUtime=0.08 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) D 24908 24910 24761 0 -1 4202560 1221 0 0 0 7 1 0 0 17 0 8 0 622526403 574226432 8853 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=560768 CPUtime=0.07 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1060 0 0 0 6 1 0 0 17 0 8 0 622526403 574226432 8857 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=560768 CPUtime=0.06 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 1251 0 0 0 5 1 0 0 17 0 8 0 622526403 574226432 8874 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595502 0 0 4096 2 18446604453885413440 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=560768 CPUtime=0.06 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1215 0 0 0 5 1 0 0 17 0 8 0 622526403 574226432 8895 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=560768 CPUtime=0.03 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1224 0 0 0 2 1 0 0 17 0 8 0 622526403 574226432 8906 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=560768 CPUtime=0.07 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 1209 0 0 0 6 1 0 0 17 0 8 0 622526403 574226432 8911 33554432000 4194304 4627427 140734793091152 18446744073709551615 4530613 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 560768
[startup+0.301516 s]
/proc/loadavg: 8.07 7.41 4.48 2/182 24910
/proc/meminfo: memFree=26898380/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=589460 CPUtime=1.61 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 30906 0 0 0 113 48 0 0 17 0 8 0 622526403 603607040 27355 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 147365 27356 339 106 0 142336 0
[pid=24910/tid=24911] ppid=24908 vsize=589460 CPUtime=0.2 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3410 0 0 0 14 6 0 0 17 0 8 0 622526403 603607040 27359 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=589460 CPUtime=0.2 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3885 0 0 0 16 4 0 0 17 0 8 0 622526403 603607040 27362 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=589460 CPUtime=0.19 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3460 0 0 0 15 4 0 0 17 0 8 0 622526403 603607040 27364 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=589460 CPUtime=0.19 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3932 0 0 0 12 7 0 0 17 0 8 0 622526403 603607040 27366 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=589460 CPUtime=0.2 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3869 0 0 0 14 6 0 0 17 0 8 0 622526403 603607040 27368 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=589460 CPUtime=0.17 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4052 0 0 0 11 6 0 0 17 0 8 0 622526403 603607040 27369 33554432000 4194304 4627427 140734793091152 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=589460 CPUtime=0.19 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 3934 0 0 0 14 5 0 0 17 0 8 0 622526403 603607040 27370 33554432000 4194304 4627427 140734793091152 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 589460
[startup+0.700435 s]
/proc/loadavg: 8.07 7.41 4.48 2/182 24910
/proc/meminfo: memFree=26898380/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=662848 CPUtime=4.71 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 40232 0 0 0 415 56 0 0 18 0 8 0 622526403 678756352 36145 33554432000 4194304 4627427 140734793091152 18446744073709551615 4237488 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 165712 36147 367 106 0 160683 0
[pid=24910/tid=24911] ppid=24908 vsize=662848 CPUtime=0.58 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4828 0 0 0 51 7 0 0 18 0 8 0 622526403 678756352 36150 33554432000 4194304 4627427 140734793091152 18446744073709551615 4238452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=662848 CPUtime=0.58 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4979 0 0 0 53 5 0 0 18 0 8 0 622526403 678756352 36150 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=662848 CPUtime=0.58 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4896 0 0 0 52 6 0 0 18 0 8 0 622526403 678756352 36151 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=662848 CPUtime=0.58 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 5060 0 0 0 50 8 0 0 18 0 8 0 622526403 678756352 36156 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=662848 CPUtime=0.59 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4982 0 0 0 52 7 0 0 18 0 8 0 622526403 678756352 36157 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=662848 CPUtime=0.55 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 5231 0 0 0 48 7 0 0 18 0 8 0 622526403 678756352 36160 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=662848 CPUtime=0.58 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 4724 0 0 0 52 6 0 0 18 0 8 0 622526403 678756352 36161 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 662848
[startup+1.50129 s]
/proc/loadavg: 8.07 7.41 4.48 9/190 24918
/proc/meminfo: memFree=26659988/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=689860 CPUtime=9.32 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 87526 0 0 0 852 80 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 172465 83439 369 106 0 167436 0
[pid=24910/tid=24911] ppid=24908 vsize=689860 CPUtime=1.15 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11576 0 0 0 104 11 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=689860 CPUtime=1.15 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11688 0 0 0 107 8 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=689860 CPUtime=1.14 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11658 0 0 0 105 9 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=689860 CPUtime=1.14 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11717 0 0 0 104 10 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=689860 CPUtime=1.15 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11672 0 0 0 105 10 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=689860 CPUtime=1.11 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 11726 0 0 0 100 11 0 0 18 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=689860 CPUtime=1.22 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 5334 0 0 0 116 6 0 0 17 0 8 0 622526403 706416640 83439 33554432000 4194304 4627427 140734793091152 18446744073709551615 4334195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 689860
[startup+3.10098 s]
/proc/loadavg: 8.07 7.41 4.48 9/190 24918
/proc/meminfo: memFree=26496928/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=720728 CPUtime=21.8 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 125078 0 0 0 2074 106 0 0 19 0 8 0 622526403 738025472 109923 33554432000 4194304 4627427 140734793091152 18446744073709551615 4324799 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 180182 109923 387 106 0 175153 0
[pid=24910/tid=24911] ppid=24908 vsize=720728 CPUtime=2.7 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 17002 0 0 0 256 14 0 0 19 0 8 0 622526403 738025472 109923 33554432000 4194304 4627427 140734793091152 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=720728 CPUtime=2.69 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 16692 0 0 0 257 12 0 0 19 0 8 0 622526403 738025472 109924 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=720728 CPUtime=2.7 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 16211 0 0 0 257 13 0 0 19 0 8 0 622526403 738025472 109924 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=720728 CPUtime=2.69 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 17516 0 0 0 255 14 0 0 19 0 8 0 622526403 738025472 109924 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=720728 CPUtime=2.72 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 16586 0 0 0 258 14 0 0 19 0 8 0 622526403 738025472 109924 33554432000 4194304 4627427 140734793091152 18446744073709551615 231895157762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=720728 CPUtime=2.7 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 17065 0 0 0 256 14 0 0 19 0 8 0 622526403 738025472 109925 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=720728 CPUtime=2.81 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 6560 0 0 0 275 6 0 0 19 0 8 0 622526403 738025472 109925 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.8
Current children cumulated vsize (KiB) 720728
[startup+6.30037 s]
/proc/loadavg: 8.06 7.42 4.50 9/190 24918
/proc/meminfo: memFree=26436788/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=791464 CPUtime=47.37 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 154616 0 0 0 4625 112 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 197866 120387 391 106 0 192837 0
[pid=24910/tid=24911] ppid=24908 vsize=791464 CPUtime=5.9 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 20496 0 0 0 575 15 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4472392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=791464 CPUtime=5.88 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 19606 0 0 0 576 12 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=791464 CPUtime=5.9 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 20436 0 0 0 576 14 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4329689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=791464 CPUtime=5.88 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 21323 0 0 0 573 15 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=791464 CPUtime=5.92 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 19847 0 0 0 577 15 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=791464 CPUtime=5.9 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 19664 0 0 0 575 15 0 0 22 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=791464 CPUtime=6.02 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 8757 0 0 0 595 7 0 0 25 0 8 0 622526403 810459136 120387 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.37
Current children cumulated vsize (KiB) 791464
[startup+12.7012 s]
/proc/loadavg: 8.14 7.45 4.52 9/190 24918
/proc/meminfo: memFree=26198236/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=1134272 CPUtime=98.51 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 221450 0 0 0 9723 128 0 0 25 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4305958 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 283568 179723 391 106 0 278539 0
[pid=24910/tid=24911] ppid=24908 vsize=1134272 CPUtime=12.3 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 30412 0 0 0 1213 17 0 0 23 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=1134272 CPUtime=12.28 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 27592 0 0 0 1214 14 0 0 18 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=1134272 CPUtime=12.29 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 29102 0 0 0 1213 16 0 0 22 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4327945 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=1134272 CPUtime=12.24 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 29909 0 0 0 1207 17 0 0 25 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=1134272 CPUtime=12.32 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 28171 0 0 0 1215 17 0 0 25 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=1134272 CPUtime=12.29 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 27574 0 0 0 1213 16 0 0 19 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=1134272 CPUtime=12.41 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 19841 0 0 0 1231 10 0 0 20 0 8 0 622526403 1161494528 179723 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1134272
Solver just ended. Dumping a history of the last processes samples
[startup+15.9005 s]
/proc/loadavg: 8.12 7.46 4.54 9/190 24918
/proc/meminfo: memFree=26116456/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=1134272 CPUtime=123.93 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 241557 0 0 0 12259 134 0 0 25 0 8 0 622526403 1161494528 198493 33554432000 4194304 4627427 140734793091152 18446744073709551615 4299630 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 283568 198494 391 106 0 278539 0
[pid=24910/tid=24911] ppid=24908 vsize=1134272 CPUtime=15.5 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 31550 0 0 0 1533 17 0 0 23 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4508144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=1134272 CPUtime=15.47 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 29490 0 0 0 1533 14 0 0 25 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=1134272 CPUtime=15.49 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 31352 0 0 0 1533 16 0 0 25 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=1134272 CPUtime=15.34 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 31405 0 0 0 1516 18 0 0 25 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4329764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=1134272 CPUtime=15.44 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 30250 0 0 0 1526 18 0 0 25 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=1134272 CPUtime=15.49 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 30950 0 0 0 1532 17 0 0 25 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=1134272 CPUtime=15.61 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 25669 0 0 0 1550 11 0 0 22 0 8 0 622526403 1161494528 198494 33554432000 4194304 4627427 140734793091152 18446744073709551615 4515635 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 123.93
Current children cumulated vsize (KiB) 1134272
[startup+19.1009 s]
/proc/loadavg: 8.11 7.46 4.56 9/190 24918
/proc/meminfo: memFree=26094752/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=1231844 CPUtime=149.51 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) R 24908 24910 24761 0 -1 4202496 250457 0 0 0 14815 136 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4327422 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 307961 201323 391 106 0 302932 0
[pid=24910/tid=24911] ppid=24908 vsize=1231844 CPUtime=18.7 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32973 0 0 0 1852 18 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=1231844 CPUtime=18.67 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 29802 0 0 0 1853 14 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=1231844 CPUtime=18.69 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32210 0 0 0 1852 17 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=1231844 CPUtime=18.52 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 31724 0 0 0 1834 18 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=1231844 CPUtime=18.64 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 31325 0 0 0 1846 18 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=1231844 CPUtime=18.7 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32909 0 0 0 1852 18 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=1231844 CPUtime=18.81 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 27400 0 0 0 1870 11 0 0 25 0 8 0 622526403 1261408256 201323 33554432000 4194304 4627427 140734793091152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 149.51
Current children cumulated vsize (KiB) 1231844
[startup+20.7007 s]
/proc/loadavg: 8.11 7.46 4.56 3/190 24918
/proc/meminfo: memFree=26092644/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=1231844 CPUtime=154.29 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) S 24908 24910 24761 0 -1 4202496 250823 0 0 0 15293 136 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 307961 201689 391 106 0 302932 0
[pid=24910/tid=24911] ppid=24908 vsize=1231844 CPUtime=18.97 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 32973 0 0 0 1879 18 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=1231844 CPUtime=18.94 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 29803 0 0 0 1880 14 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=1231844 CPUtime=20.29 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32444 0 0 0 2012 17 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=1231844 CPUtime=18.79 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 31725 0 0 0 1861 18 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=1231844 CPUtime=18.9 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 31326 0 0 0 1872 18 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 0 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=1231844 CPUtime=20.29 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32948 0 0 0 2011 18 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364858564 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=1231844 CPUtime=19.07 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 27437 0 0 0 1896 11 0 0 25 0 8 0 622526403 1261408256 201689 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 154.29
Current children cumulated vsize (KiB) 1231844
[startup+21.1006 s]
/proc/loadavg: 8.11 7.46 4.56 3/190 24918
/proc/meminfo: memFree=26090908/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=1231844 CPUtime=155.09 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) S 24908 24910 24761 0 -1 4202496 251734 0 0 0 15373 136 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 307961 202600 391 106 0 302932 0
[pid=24910/tid=24911] ppid=24908 vsize=1231844 CPUtime=18.97 cores=0-7
/proc/24910/task/24911/stat : 24911 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 32973 0 0 0 1879 18 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 6 0 0 0
[pid=24910/tid=24912] ppid=24908 vsize=1231844 CPUtime=18.94 cores=0-7
/proc/24910/task/24912/stat : 24912 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 29803 0 0 0 1880 14 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 4 0 0 0
[pid=24910/tid=24913] ppid=24908 vsize=1231844 CPUtime=20.69 cores=0-7
/proc/24910/task/24913/stat : 24913 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 33355 0 0 0 2052 17 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 4424721 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24910/tid=24914] ppid=24908 vsize=1231844 CPUtime=18.79 cores=0-7
/proc/24910/task/24914/stat : 24914 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 31725 0 0 0 1861 18 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 7 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=1231844 CPUtime=18.9 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 31326 0 0 0 1872 18 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 0 0 0 0
[pid=24910/tid=24916] ppid=24908 vsize=1231844 CPUtime=20.69 cores=0-7
/proc/24910/task/24916/stat : 24916 (strangenight2-m) R 24908 24910 24761 0 -1 4202560 32948 0 0 0 2051 18 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364858564 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24910/tid=24917] ppid=24908 vsize=1231844 CPUtime=19.07 cores=0-7
/proc/24910/task/24917/stat : 24917 (strangenight2-m) S 24908 24910 24761 0 -1 4202560 27437 0 0 0 1896 11 0 0 25 0 8 0 622526403 1261408256 202600 33554432000 4194304 4627427 140734793091152 18446744073709551615 47409364882996 0 0 4096 2 18446604453885413440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 155.09
Current children cumulated vsize (KiB) 1231844
[startup+21.5005 s]
/proc/loadavg: 8.11 7.46 4.56 3/190 24918
/proc/meminfo: memFree=26090908/32950928 swapFree=67111356/67111528
[pid=24910] ppid=24908 vsize=0 CPUtime=155.89 cores=0-7
/proc/24910/stat : 24910 (strangenight2-m) Z 24908 24910 24761 0 -1 4203548 251945 0 0 0 15452 137 0 0 18 0 2 0 622526403 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24910/statm: 0 0 0 0 0 0 0
[pid=24910/tid=24915] ppid=24908 vsize=0 CPUtime=18.9 cores=0-7
/proc/24910/task/24915/stat : 24915 (strangenight2-m) R 24908 24910 24761 0 -1 4203588 31326 0 0 0 1872 18 0 0 18 0 2 0 622526403 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 155.89
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 21.5455
CPU time (s): 155.939
CPU user time (s): 154.521
CPU system time (s): 1.41878
CPU usage (%): 723.768
Max. virtual memory (cumulated for all children) (KiB): 1231844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.521
system time used= 1.41878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251945
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= 134209
involuntary context switches= 738
runsolver used 0.039993 second user time and 0.083987 second system time
The end
Begin job on node114 at 2011-05-02 09:55:57
IDJOB=3321078
IDBENCH=71718
IDSOLVER=1709
FILE ID=node114/3321078-1304322957
RUNJOBID= node114-1304322188-24775
PBS_JOBID= 13176812
Free space on /tmp= 73836 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321078-1304322957/watcher-3321078-1304322957 -o /tmp/evaluation-result-3321078-1304322957/solver-3321078-1304322957 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321078-1304322957.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=905978408
node114.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.848
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.69
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.848
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 : 5226.15
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.848
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.848
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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.74
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.848
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: 26898784 kB
Buffers: 1137372 kB
Cached: 1968392 kB
SwapCached: 168 kB
Active: 2731996 kB
Inactive: 2803112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 26898784 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 11268 kB
Writeback: 0 kB
AnonPages: 2429200 kB
Mapped: 19032 kB
Slab: 445600 kB
PageTables: 9176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2871820 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= 73832 MiB
End job on node114 at 2011-05-02 09:56:19