0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 8 threads
0.57/0.10 c This is CryptoMiniSat 3.0.0
0.57/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.57/0.10 c Reading file 'HOME/instance-3394136-1306091841.cnf'
0.57/0.10 c -- header says num vars: 17710
0.57/0.10 c -- header says num clauses: 304026
1.20/0.38 c -- clauses added: 0 learnts, 304026 normals, 0 xors
1.20/0.38 c -- vars added 17710
1.20/0.38 c Parsing time: 0.08 s
1.20/0.38 c N st 0 0 17710 35671 268354 0 890579 0 no data no data
4.23/0.87 c asymm cl-useful: 470/5723/35670 lits-rem:4671 time: 0.27
11.95/2.00 c Flit: 273 Blit: 63 bXBeca: 0 bXProp: 2030 Bins: 0 BRemL: 0 BRemN: 0 P: 23.9M T: 0.80
11.95/2.01 c Cleaning up after failed var search: 0.01 s
11.95/2.03 c Replacing 2030 vars Replaced 26831 lits Time: 0.02 s
11.95/2.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12.71/2.10 c bin-w-bin subsume rem 49 bins time: 0.01 s
13.49/2.22 c subs with bin: 96 lits-rem: 594 v-fix: 0 time: 0.12 s
13.49/2.27 c Subs w/ non-existent bins: 0 l-rem: 44 v-fix: 0 done: 14780 time: 0.05 s
14.31/2.32 c Removed useless bin: 586 fixed: 0 props: 5.75M time: 0.05 s
16.65/2.60 c lits-rem: 252 cl-subs: 915 v-elim: 4926 v-fix: 0 time: 0.27 s
16.65/2.64 c Finding binary XORs T: 0.04 s found: 64
16.65/2.65 c Replacing 64 vars Replaced 14000 lits Time: 0.01 s
16.65/2.68 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
16.65/2.68 c calculated reachability. Time: 0.01
16.65/2.69 c Calc default polars - time: 0.00 s pos: 1261 undec: 8081 neg: 8368
16.65/2.69 c =========================================================================================
16.65/2.69 c types(t): F = full restart, N = normal restart
16.65/2.69 c types(t): S = simplification begin/end, E = solution found
16.65/2.69 c restart types(rt): st = static, dy = dynamic
16.65/2.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
16.65/2.69 c B st 0 0 9790 25339 203638 0 756423 0 no data no data
19.85/3.02 c N dy 23 4064 9784 25339 203850 3726 756414 170296 30.17 33.36
23.07/3.51 c N dy 44 9361 9784 25339 204710 5987 756413 237612 33.11 34.97
27.83/4.10 c N dy 45 16783 9782 25339 205850 8240 756391 231408 21.86 23.10
33.39/4.75 c N dy 65 24600 9782 25339 205926 9565 756386 249349 20.46 21.67
33.39/4.79 c F st 66 25000 9782 25339 206445 9941 756386 263452 20.41 15.17
38.19/5.32 c N dy 72 30001 9782 25077 206331 7086 753483 160656 20.41 no data
38.19/5.32 c S st 72 30001 9782 25077 206331 7086 753483 160656 20.41 no data
39.00/5.43 c S st 72 30503 9781 25077 206517 7396 753483 164971 20.41 no data
39.00/5.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
50.32/6.85 c Flit: 10 Blit: 3 bXBeca: 0 bXProp: 53 Bins: 550580 BRemL: 115368 BRemN: 5 P: 29.0M T: 1.40
50.32/6.89 c Replacing 53 vars Replaced 26158 lits Time: 0.03 s
50.95/6.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
50.95/6.97 c bin-w-bin subsume rem 6903 bins time: 0.06 s
55.75/7.52 c subs with bin: 1259 lits-rem: 30444 v-fix: 0 time: 0.55 s
55.75/7.59 c Subs w/ non-existent bins: 2 l-rem: 1519 v-fix: 0 done: 9714 time: 0.07 s
56.55/7.62 c Removed useless bin: 274 fixed: 0 props: 2.07M time: 0.03 s
57.35/7.78 c lits-rem: 549 cl-subs: 206 v-elim: 617 v-fix: 0 time: 0.15 s
58.17/7.91 c subs with bin: 69 lits-rem: 10109 v-fix: 0 time: 0.12 s
59.09/7.98 c lits-rem: 8360 cl-subs: 613 v-elim: 0 v-fix: 0 time: 0.06 s
61.33/8.25 c asymm cl-useful: 1266/6318/23168 lits-rem:3111 time: 0.27
61.33/8.28 c calculated reachability. Time: 0.01
61.33/8.28 c N dy 72 30503 9097 23161 622103 6263 704830 959175 20.41 no data
62.13/8.32 c Finding binary XORs T: 0.04 s found: 0
68.47/9.17 c N dy 90 38600 9052 23161 623908 14090 704825 1274972 19.30 20.44
69.27/9.27 c Finding binary XORs T: 0.04 s found: 53
74.87/9.93 c N dy 91 45755 9047 22003 727388 11881 690578 1310651 17.72 10.93
74.87/9.93 c S st 91 45755 9047 22003 727388 11881 690578 1310651 17.72 10.93
75.69/10.09 c S st 91 46258 9034 22003 773154 12295 690571 1408167 17.72 no data
75.69/10.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
86.04/11.40 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 41 Bins: 1159 BRemL: 127402 BRemN: 924 P: 32.4M T: 1.29
86.83/11.43 c Replacing 94 vars Replaced 20825 lits Time: 0.03 s
86.83/11.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
87.62/11.51 c bin-w-bin subsume rem 13532 bins time: 0.06 s
91.64/12.01 c subs with bin: 233 lits-rem: 6729 v-fix: 0 time: 0.50 s
91.64/12.07 c Subs w/ non-existent bins: 0 l-rem: 708 v-fix: 0 done: 8939 time: 0.06 s
92.43/12.12 c Removed useless bin: 9547 fixed: 0 props: 2.26M time: 0.04 s
93.25/12.27 c lits-rem: 202 cl-subs: 277 v-elim: 346 v-fix: 0 time: 0.15 s
96.41/12.60 c subs with bin: 3775 lits-rem: 5776 v-fix: 0 time: 0.32 s
96.41/12.66 c lits-rem: 4373 cl-subs: 491 v-elim: 0 v-fix: 0 time: 0.05 s
96.41/12.68 c vivif2 -- cl tried 21518 cl shrink 988 lits rem 4650 time: 0.02
97.21/12.70 c vivif2 -- cl tried 7202 cl shrink 1511 lits rem 4204 time: 0.01
98.81/12.91 c asymm cl-useful: 43/9324/21365 lits-rem:88 time: 0.21
98.81/12.93 c calculated reachability. Time: 0.01
98.81/12.93 c N dy 91 46258 8593 21350 601866 7195 630409 981380 17.72 no data
101.21/13.31 c N dy 100 51182 8593 21350 601980 11875 630379 1108120 17.12 18.05
104.39/13.66 c Finding binary XORs T: 0.04 s found: 31
105.19/13.77 c N dy 116 55204 8516 20010 624657 11762 612839 1180860 16.90 20.51
109.99/14.34 c N dy 120 62122 8476 20010 626366 12318 612837 1134980 16.17 17.13
114.77/14.91 c N dy 132 68254 8476 20010 626424 9506 612837 1043918 15.90 16.80
115.56/15.01 c S st 133 69388 8459 20010 633956 10598 612834 1092996 15.80 8.41
116.36/15.10 c S st 133 69889 8459 20010 633983 11061 612831 1100680 15.80 no data
116.36/15.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
125.95/16.32 c Flit: 7 Blit: 4 bXBeca: 0 bXProp: 20 Bins: 2897 BRemL: 140225 BRemN: 703 P: 28.9M T: 1.20
125.95/16.35 c Replacing 51 vars Replaced 15650 lits Time: 0.03 s
125.95/16.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
126.75/16.40 c bin-w-bin subsume rem 8412 bins time: 0.04 s
129.29/16.77 c subs with bin: 298 lits-rem: 3562 v-fix: 0 time: 0.36 s
129.93/16.82 c Subs w/ non-existent bins: 88 l-rem: 208 v-fix: 0 done: 8386 time: 0.05 s
129.93/16.85 c Removed useless bin: 1166 fixed: 0 props: 2.46M time: 0.03 s
131.53/17.00 c lits-rem: 868 cl-subs: 179 v-elim: 638 v-fix: 0 time: 0.14 s
132.33/17.15 c subs with bin: 253 lits-rem: 4905 v-fix: 0 time: 0.14 s
133.13/17.22 c lits-rem: 4705 cl-subs: 546 v-elim: 0 v-fix: 0 time: 0.05 s
133.13/17.23 c vivif2 -- cl tried 18169 cl shrink 789 lits rem 4234 time: 0.02
133.13/17.25 c vivif2 -- cl tried 8669 cl shrink 1828 lits rem 6483 time: 0.02
135.53/17.54 c asymm cl-useful: 279/5348/18023 lits-rem:1949 time: 0.29
135.53/17.56 c calculated reachability. Time: 0.01
135.53/17.56 c N dy 133 69889 7748 18021 426928 8664 530027 681447 15.80 no data
141.11/18.22 c N dy 139 78177 7602 15419 403034 6998 502438 622040 14.95 15.82
149.10/20.49 c Following stats are for *FIRST FINISHED THREAD ONLY*
149.10/20.49 c num threads : 8
149.10/20.49 c restarts : 220
149.10/20.49 c dynamic restarts : 202
149.10/20.49 c static restarts : 18
149.10/20.49 c full restarts : 2
149.10/20.49 c total simplify time : 0.18
149.10/20.49 c learnts DL2 : 0
149.10/20.49 c learnts size 2 : 1051278
149.10/20.49 c learnts size 1 : 2850 (16.09 % of vars)
149.10/20.49 c filedLit time : 3.62 (18.16 % time)
149.10/20.49 c v-elim SatELite : 6419 (36.25 % vars)
149.10/20.49 c SatELite time : 0.89 (4.45 % time)
149.10/20.49 c v-elim xor : 0 (0.00 % vars)
149.10/20.49 c xor elim time : 0.02 (0.12 % time)
149.10/20.49 c num binary xor trees : 669
149.10/20.49 c binxor trees' crown : 2291 (3.42 leafs/tree)
149.10/20.49 c bin xor find time : 0.17
149.10/20.49 c OTF clause improved : 3989 (0.04 clauses/conflict)
149.10/20.49 c OTF impr. size diff : 5704 (1.43 lits/clause)
149.10/20.49 c OTF cl watch-shrink : 80111 (0.71 clauses/conflict)
149.10/20.49 c OTF cl watch-sh-lit : 626820 (7.82 lits/clause)
149.10/20.49 c tried to recurMin cls : 51040 (45.02 % of conflicts)
149.10/20.49 c updated cache : 0 (0.00 lits/tried recurMin)
149.10/20.49 c unit cls recevied : 49 (1.72 % of units)
149.10/20.49 c unit cls sent : 856 (30.04 % of units)
149.10/20.49 c bin cls recevied : 276959
149.10/20.49 c bin cls sent : 30652
149.10/20.49 c clauses over max glue : 0 (0.00 % of all clauses)
149.10/20.49 c conflicts : 113373 (5684.29 / sec)
149.10/20.49 c decisions : 847643 (1.39 % random)
149.10/20.49 c bogo-props : 539506436 (27049753.25 / sec)
149.10/20.49 c conflict literals : 3475067 (36.09 % deleted)
149.10/20.49 c Memory used : 1291.29 MB
149.10/20.49 c single-thread CPU time : 19.94 s
149.10/20.49 c all-threads sum CPU time : 148.17 s
149.10/20.49 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-3394136-1306091841/watcher-3394136-1306091841 -o /tmp/evaluation-result-3394136-1306091841/solver-3394136-1306091841 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394136-1306091841.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: 1.82 2.04 2.02 2/547 2094
/proc/meminfo: memFree=17279276/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=92144 CPUtime=0 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 720781188 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476751345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2094/statm: 23036 352 299 95 0 18018 0
[pid=2094/tid=2095] ppid=2092 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 720781188 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=92144 CPUtime=0 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720781188 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419496 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720781189 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720781189 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=92144 CPUtime=0 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720781189 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=92144 CPUtime=0 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720781189 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720781189 94355456 352 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419506 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.104573 s]
/proc/loadavg: 1.82 2.04 2.02 2/547 2094
/proc/meminfo: memFree=17279276/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=223216 CPUtime=0.57 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 456 0 0 0 57 0 0 0 18 0 8 0 720781188 228573184 376 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476369752 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2094/statm: 55804 376 309 95 0 50786 0
[pid=2094/tid=2095] ppid=2092 vsize=223216 CPUtime=0.1 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 8 0 0 0 10 0 0 0 25 0 8 0 720781188 228573184 377 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 2 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=201372 CPUtime=0 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 8 0 720781188 206204928 379 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 2 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=157680 CPUtime=0.1 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 8 0 0 0 10 0 0 0 18 0 8 0 720781189 161464320 380 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=157680 CPUtime=0.08 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) D 2092 2094 2068 0 -1 4202560 8 0 0 0 8 0 0 0 25 0 8 0 720781189 161464320 380 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056097844880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=157680 CPUtime=0.01 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 3 0 0 0 1 0 0 0 25 0 8 0 720781189 161464320 380 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476341145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=157680 CPUtime=0.08 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 8 0 0 0 8 0 0 0 18 0 8 0 720781189 161464320 387 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 7 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=223216 CPUtime=0.09 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 8 0 0 0 9 0 0 0 25 0 8 0 720781189 228573184 389 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 223216
[startup+0.200553 s]
/proc/loadavg: 1.82 2.04 2.02 2/547 2094
/proc/meminfo: memFree=17279276/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=500820 CPUtime=0.92 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 13147 0 0 0 79 13 0 0 18 0 8 0 720781188 512839680 12385 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738231 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2094/statm: 125205 12403 337 95 0 120187 0
[pid=2094/tid=2095] ppid=2092 vsize=500820 CPUtime=0.12 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 1557 0 0 0 12 0 0 0 17 0 8 0 720781188 512839680 12418 33554432000 4194304 4580107 140735485114800 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=501848 CPUtime=0.02 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 1333 0 0 0 2 0 0 0 17 0 8 0 720781188 513892352 12562 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=501848 CPUtime=0.14 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 1763 0 0 0 12 2 0 0 18 0 8 0 720781189 513892352 12442 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738183 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=501332 CPUtime=0.1 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 1314 0 0 0 10 0 0 0 17 0 8 0 720781189 513363968 12448 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=501332 CPUtime=0.05 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 2241 0 0 0 4 1 0 0 17 0 8 0 720781189 513363968 12460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4510902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=501332 CPUtime=0.12 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 1497 0 0 0 10 2 0 0 17 0 8 0 720781189 513363968 12472 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 7 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=501332 CPUtime=0.12 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 1431 0 0 0 12 0 0 0 17 0 8 0 720781189 513363968 12493 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 500820
[startup+0.303462 s]
/proc/loadavg: 1.82 2.04 2.02 2/547 2094
/proc/meminfo: memFree=17279276/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=511968 CPUtime=1.2 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) S 2092 2094 2068 0 -1 4202496 22810 0 0 0 96 24 0 0 18 0 8 0 720781188 524255232 21221 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2094/statm: 127992 21247 337 95 0 122974 0
[pid=2094/tid=2095] ppid=2092 vsize=511968 CPUtime=0.17 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 3029 0 0 0 14 3 0 0 17 0 8 0 720781188 524255232 21251 33554432000 4194304 4580107 140735485114800 18446744073709551615 4511023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=511968 CPUtime=0.06 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 2741 0 0 0 5 1 0 0 16 0 8 0 720781188 524255232 21264 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=511968 CPUtime=0.19 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) D 2092 2094 2068 0 -1 4202560 2822 0 0 0 15 4 0 0 18 0 8 0 720781189 524255232 21284 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=511968 CPUtime=0.14 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 2309 0 0 0 13 1 0 0 16 0 8 0 720781189 524255232 21284 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 6 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=511968 CPUtime=0.08 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 3188 0 0 0 6 2 0 0 17 0 8 0 720781189 524255232 21290 33554432000 4194304 4580107 140735485114800 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=511968 CPUtime=0.17 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 2826 0 0 0 13 4 0 0 18 0 8 0 720781189 524255232 21334 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 7 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=511968 CPUtime=0.16 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 2697 0 0 0 14 2 0 0 16 0 8 0 720781189 524255232 21343 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 511968
[startup+0.767372 s]
/proc/loadavg: 1.82 2.04 2.02 2/547 2094
/proc/meminfo: memFree=17279276/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=599388 CPUtime=4.02 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 41720 0 0 0 360 42 0 0 18 0 8 0 720781188 613773312 38000 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2094/statm: 149847 38058 360 95 0 144829 0
[pid=2094/tid=2095] ppid=2092 vsize=599388 CPUtime=0.57 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 6476 0 0 0 52 5 0 0 17 0 8 0 720781188 613773312 38079 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=599388 CPUtime=0.46 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 5586 0 0 0 44 2 0 0 16 0 8 0 720781188 613773312 38103 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=599388 CPUtime=0.52 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 4198 0 0 0 46 6 0 0 18 0 8 0 720781189 613773312 38111 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476799982 0 0 4096 2 18446604441146552768 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=599388 CPUtime=0.51 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 5419 0 0 0 46 5 0 0 16 0 8 0 720781189 613773312 38135 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=599524 CPUtime=0.45 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 6479 0 0 0 37 8 0 0 17 0 8 0 720781189 613912576 38158 33554432000 4194304 4580107 140735485114800 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=599524 CPUtime=0.49 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) D 2092 2094 2068 0 -1 4202560 4291 0 0 0 44 5 0 0 18 0 8 0 720781189 613912576 38231 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=599524 CPUtime=0.55 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 5015 0 0 0 52 3 0 0 16 0 8 0 720781189 613912576 38341 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 599388
[startup+1.50124 s]
/proc/loadavg: 1.82 2.04 2.02 6/555 2103
/proc/meminfo: memFree=17018580/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=691276 CPUtime=7.95 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 82394 0 0 0 724 71 0 0 17 0 8 0 720781188 707866624 78674 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476355781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 172819 78676 361 95 0 167801 0
[pid=2094/tid=2095] ppid=2092 vsize=691276 CPUtime=1.14 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 12157 0 0 0 106 8 0 0 18 0 8 0 720781188 707866624 78677 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=691276 CPUtime=1.06 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 11527 0 0 0 100 6 0 0 16 0 8 0 720781188 707866624 78678 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=691276 CPUtime=1.06 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 11300 0 0 0 97 9 0 0 18 0 8 0 720781189 707866624 78679 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=691276 CPUtime=1.05 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 11449 0 0 0 94 11 0 0 16 0 8 0 720781189 707866624 78680 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=691276 CPUtime=0.87 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 11864 0 0 0 73 14 0 0 17 0 8 0 720781189 707866624 78680 33554432000 4194304 4580107 140735485114800 18446744073709551615 4234907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=691276 CPUtime=0.74 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 8277 0 0 0 66 8 0 0 18 0 8 0 720781189 707866624 78682 33554432000 4194304 4580107 140735485114800 18446744073709551615 239476356129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=691276 CPUtime=1.15 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 5616 0 0 0 111 4 0 0 16 0 8 0 720781189 707866624 78683 33554432000 4194304 4580107 140735485114800 18446744073709551615 4324252 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 691276
[startup+3.10093 s]
/proc/loadavg: 1.82 2.04 2.02 10/555 2103
/proc/meminfo: memFree=16847088/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=727784 CPUtime=20.65 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 124612 0 0 0 1978 87 0 0 18 0 8 0 720781188 745250816 111697 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 181946 111699 378 95 0 176928 0
[pid=2094/tid=2095] ppid=2092 vsize=727784 CPUtime=2.71 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 18093 0 0 0 260 11 0 0 19 0 8 0 720781188 745250816 111699 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318363 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=727784 CPUtime=2.65 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 17071 0 0 0 258 7 0 0 18 0 8 0 720781188 745250816 111699 33554432000 4194304 4580107 140735485114800 18446744073709551615 4319266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=727784 CPUtime=2.65 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 16424 0 0 0 255 10 0 0 19 0 8 0 720781189 745250816 111700 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=727784 CPUtime=2.63 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 17248 0 0 0 249 14 0 0 18 0 8 0 720781189 745250816 111700 33554432000 4194304 4580107 140735485114800 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=727784 CPUtime=2.47 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 17951 0 0 0 230 17 0 0 18 0 8 0 720781189 745250816 111700 33554432000 4194304 4580107 140735485114800 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=727784 CPUtime=2.32 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 15111 0 0 0 221 11 0 0 18 0 8 0 720781189 745250816 111700 33554432000 4194304 4580107 140735485114800 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=727784 CPUtime=2.74 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 6821 0 0 0 270 4 0 0 18 0 8 0 720781189 745250816 111700 33554432000 4194304 4580107 140735485114800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.65
Current children cumulated vsize (KiB) 727784
[startup+6.30031 s]
/proc/loadavg: 2.32 2.14 2.05 9/555 2103
/proc/meminfo: memFree=16812260/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=951640 CPUtime=46.17 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 157475 0 0 0 4523 94 0 0 25 0 8 0 720781188 974479360 124460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4237318 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 237910 124460 380 95 0 232892 0
[pid=2094/tid=2095] ppid=2092 vsize=951640 CPUtime=5.85 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 22361 0 0 0 573 12 0 0 25 0 8 0 720781188 974479360 124460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4226998 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=951640 CPUtime=5.85 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 20096 0 0 0 578 7 0 0 25 0 8 0 720781188 974479360 124460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=951640 CPUtime=5.85 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 20369 0 0 0 575 10 0 0 25 0 8 0 720781189 974479360 124460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=951640 CPUtime=5.83 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 20563 0 0 0 569 14 0 0 25 0 8 0 720781189 974479360 124460 33554432000 4194304 4580107 140735485114800 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=951640 CPUtime=5.66 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 22375 0 0 0 548 18 0 0 25 0 8 0 720781189 974479360 124461 33554432000 4194304 4580107 140735485114800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=951640 CPUtime=5.51 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 19786 0 0 0 540 11 0 0 25 0 8 0 720781189 974479360 124461 33554432000 4194304 4580107 140735485114800 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=951640 CPUtime=5.94 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 9879 0 0 0 589 5 0 0 25 0 8 0 720781189 974479360 124461 33554432000 4194304 4580107 140735485114800 18446744073709551615 4336532 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 46.17
Current children cumulated vsize (KiB) 951640
[startup+12.7011 s]
/proc/loadavg: 2.77 2.23 2.09 9/555 2103
/proc/meminfo: memFree=16556240/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1179656 CPUtime=97.21 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 218482 0 0 0 9613 108 0 0 25 0 8 0 720781188 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4502160 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 294914 182016 380 95 0 289896 0
[pid=2094/tid=2095] ppid=2092 vsize=1179656 CPUtime=12.19 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28202 0 0 0 1206 13 0 0 25 0 8 0 720781188 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4225053 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1179656 CPUtime=12.25 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28547 0 0 0 1216 9 0 0 25 0 8 0 720781188 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1179656 CPUtime=12.25 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28200 0 0 0 1213 12 0 0 21 0 8 0 720781189 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1179656 CPUtime=12.23 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 27892 0 0 0 1207 16 0 0 25 0 8 0 720781189 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4319389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1179656 CPUtime=11.98 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29072 0 0 0 1178 20 0 0 25 0 8 0 720781189 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1179656 CPUtime=11.91 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28548 0 0 0 1178 13 0 0 25 0 8 0 720781189 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1179656 CPUtime=12.33 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 22454 0 0 0 1226 7 0 0 25 0 8 0 720781189 1207967744 182016 33554432000 4194304 4580107 140735485114800 18446744073709551615 4239988 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.21
Current children cumulated vsize (KiB) 1179656
Solver just ended. Dumping a history of the last processes samples
[startup+12.901 s]
/proc/loadavg: 2.77 2.23 2.09 9/555 2103
/proc/meminfo: memFree=16556240/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1179656 CPUtime=98.81 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 218868 0 0 0 9773 108 0 0 25 0 8 0 720781188 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294185 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 294914 182402 380 95 0 289896 0
[pid=2094/tid=2095] ppid=2092 vsize=1179656 CPUtime=12.39 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28238 0 0 0 1226 13 0 0 25 0 8 0 720781188 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1179656 CPUtime=12.45 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28632 0 0 0 1236 9 0 0 25 0 8 0 720781188 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1179656 CPUtime=12.45 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28254 0 0 0 1233 12 0 0 21 0 8 0 720781189 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1179656 CPUtime=12.43 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 27902 0 0 0 1227 16 0 0 25 0 8 0 720781189 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1179656 CPUtime=12.18 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29263 0 0 0 1198 20 0 0 25 0 8 0 720781189 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318789 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1179656 CPUtime=12.11 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28548 0 0 0 1198 13 0 0 25 0 8 0 720781189 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4497255 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1179656 CPUtime=12.53 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 22456 0 0 0 1246 7 0 0 25 0 8 0 720781189 1207967744 182402 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 98.81
Current children cumulated vsize (KiB) 1179656
[startup+16.1004 s]
/proc/loadavg: 3.19 2.33 2.12 9/555 2103
/proc/meminfo: memFree=16515700/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1322276 CPUtime=124.34 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 232872 0 0 0 12324 110 0 0 25 0 8 0 720781188 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4237305 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 330569 192322 380 95 0 325551 0
[pid=2094/tid=2095] ppid=2092 vsize=1322276 CPUtime=15.6 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29802 0 0 0 1546 14 0 0 25 0 8 0 720781188 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1322276 CPUtime=15.65 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29231 0 0 0 1555 10 0 0 25 0 8 0 720781188 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1322276 CPUtime=15.65 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30463 0 0 0 1552 13 0 0 25 0 8 0 720781189 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4306341 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1322276 CPUtime=15.62 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 28813 0 0 0 1546 16 0 0 25 0 8 0 720781189 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1322276 CPUtime=15.32 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30546 0 0 0 1512 20 0 0 25 0 8 0 720781189 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1322276 CPUtime=15.31 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30582 0 0 0 1518 13 0 0 25 0 8 0 720781189 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1322276 CPUtime=15.73 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 26608 0 0 0 1565 8 0 0 25 0 8 0 720781189 1354010624 192322 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 124.34
Current children cumulated vsize (KiB) 1322276
[startup+17.7011 s]
/proc/loadavg: 3.19 2.33 2.12 9/555 2103
/proc/meminfo: memFree=16503236/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1256740 CPUtime=137.15 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) R 2092 2094 2068 0 -1 4202496 236987 0 0 0 13604 111 0 0 25 0 8 0 720781188 1286901760 193788 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318719 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 314185 193788 380 95 0 309167 0
[pid=2094/tid=2095] ppid=2092 vsize=1256740 CPUtime=17.22 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30260 0 0 0 1708 14 0 0 25 0 8 0 720781188 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1256740 CPUtime=17.27 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29789 0 0 0 1717 10 0 0 25 0 8 0 720781188 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1256740 CPUtime=17.27 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 31440 0 0 0 1714 13 0 0 25 0 8 0 720781189 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1256740 CPUtime=17.25 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 29710 0 0 0 1708 17 0 0 25 0 8 0 720781189 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1256740 CPUtime=16.9 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30554 0 0 0 1670 20 0 0 25 0 8 0 720781189 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1256740 CPUtime=16.93 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30705 0 0 0 1680 13 0 0 25 0 8 0 720781189 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1256740 CPUtime=17.35 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 27646 0 0 0 1727 8 0 0 25 0 8 0 720781189 1286901760 193799 33554432000 4194304 4580107 140735485114800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 137.15
Current children cumulated vsize (KiB) 1256740
[startup+19.3009 s]
/proc/loadavg: 3.19 2.33 2.12 5/555 2103
/proc/meminfo: memFree=16495300/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1322276 CPUtime=146.9 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) S 2092 2094 2068 0 -1 4202496 239206 0 0 0 14578 112 0 0 25 0 8 0 720781188 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 330569 195998 380 95 0 325551 0
[pid=2094/tid=2095] ppid=2092 vsize=1322276 CPUtime=18.31 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 30712 0 0 0 1817 14 0 0 25 0 8 0 720781188 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1322276 CPUtime=18.85 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30342 0 0 0 1875 10 0 0 25 0 8 0 720781188 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100394539 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1322276 CPUtime=18.85 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 31525 0 0 0 1872 13 0 0 25 0 8 0 720781189 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1322276 CPUtime=18.33 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 29805 0 0 0 1816 17 0 0 25 0 8 0 720781189 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1322276 CPUtime=17.97 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 30663 0 0 0 1777 20 0 0 25 0 8 0 720781189 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1322276 CPUtime=18 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 31361 0 0 0 1787 13 0 0 25 0 8 0 720781189 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1322276 CPUtime=18.44 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 27876 0 0 0 1835 9 0 0 25 0 8 0 720781189 1354010624 195998 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 146.9
Current children cumulated vsize (KiB) 1322276
[startup+20.1007 s]
/proc/loadavg: 3.10 2.32 2.12 3/555 2103
/proc/meminfo: memFree=16494680/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=1322276 CPUtime=148.5 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) S 2092 2094 2068 0 -1 4202496 239251 0 0 0 14738 112 0 0 25 0 8 0 720781188 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 330569 196043 380 95 0 325551 0
[pid=2094/tid=2095] ppid=2092 vsize=1322276 CPUtime=18.31 cores=0-7
/proc/2094/task/2095/stat : 2095 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 30712 0 0 0 1817 14 0 0 25 0 8 0 720781188 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 3 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=1322276 CPUtime=19.65 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 30342 0 0 0 1955 10 0 0 25 0 8 0 720781188 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100394692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2094/tid=2097] ppid=2092 vsize=1322276 CPUtime=19.65 cores=0-7
/proc/2094/task/2097/stat : 2097 (strangenight2-m) R 2092 2094 2068 0 -1 4202560 31570 0 0 0 1952 13 0 0 25 0 8 0 720781189 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2094/tid=2098] ppid=2092 vsize=1322276 CPUtime=18.33 cores=0-7
/proc/2094/task/2098/stat : 2098 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 29805 0 0 0 1816 17 0 0 25 0 8 0 720781189 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 5 0 0 0
[pid=2094/tid=2099] ppid=2092 vsize=1322276 CPUtime=17.97 cores=0-7
/proc/2094/task/2099/stat : 2099 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 30663 0 0 0 1777 20 0 0 25 0 8 0 720781189 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 7 0 0 0
[pid=2094/tid=2100] ppid=2092 vsize=1322276 CPUtime=18 cores=0-7
/proc/2094/task/2100/stat : 2100 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 31361 0 0 0 1787 13 0 0 25 0 8 0 720781189 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 2 0 0 0
[pid=2094/tid=2101] ppid=2092 vsize=1322276 CPUtime=18.44 cores=0-7
/proc/2094/task/2101/stat : 2101 (strangenight2-m) S 2092 2094 2068 0 -1 4202560 27876 0 0 0 1835 9 0 0 25 0 8 0 720781189 1354010624 196043 33554432000 4194304 4580107 140735485114800 18446744073709551615 47056100419124 0 0 4096 2 18446604441146552768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 148.5
Current children cumulated vsize (KiB) 1322276
[startup+20.5007 s]
/proc/loadavg: 3.10 2.32 2.12 3/555 2103
/proc/meminfo: memFree=16494680/32950928 swapFree=67056576/67111528
[pid=2094] ppid=2092 vsize=0 CPUtime=149.29 cores=0-7
/proc/2094/stat : 2094 (strangenight2-m) Z 2092 2094 2068 0 -1 4203548 239827 0 0 0 14816 113 0 0 18 0 2 0 720781188 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 0 0 0 0 0 0 0
[pid=2094/tid=2096] ppid=2092 vsize=0 CPUtime=20.05 cores=0-7
/proc/2094/task/2096/stat : 2096 (strangenight2-m) R 2092 2094 2068 0 -1 4202564 30345 0 0 0 1994 11 0 0 25 0 2 0 720781188 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) 149.29
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 20.5312
CPU time (s): 149.335
CPU user time (s): 148.168
CPU system time (s): 1.16682
CPU usage (%): 727.358
Max. virtual memory (cumulated for all children) (KiB): 1322276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.168
system time used= 1.16682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239827
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= 98620
involuntary context switches= 6730
runsolver used 0.095985 second user time and 0.289955 second system time
The end
Begin job on node148 at 2011-05-22 21:17:21
IDJOB=3394136
IDBENCH=71718
IDSOLVER=1878
FILE ID=node148/3394136-1306091841
RUNJOBID= node148-1306091841-2082
PBS_JOBID= 13387940
Free space on /tmp= 73156 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3394136-1306091841/watcher-3394136-1306091841 -o /tmp/evaluation-result-3394136-1306091841/solver-3394136-1306091841 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394136-1306091841.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=492598544
node148.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.854
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.70
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.854
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.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
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.854
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.854
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.854
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.854
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: 32950928 kB
MemFree: 17279556 kB
Buffers: 375912 kB
Cached: 8089100 kB
SwapCached: 8480 kB
Active: 9670852 kB
Inactive: 5621380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 17279556 kB
SwapTotal: 67111528 kB
SwapFree: 67056576 kB
Dirty: 11316 kB
Writeback: 0 kB
AnonPages: 6825256 kB
Mapped: 42628 kB
Slab: 249376 kB
PageTables: 57476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 170357848 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= 73148 MiB
End job on node148 at 2011-05-22 21:17:42