0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3394954-1306109735.cnf'
0.00/0.02 c -- header says num vars: 5910
0.00/0.02 c -- header says num clauses: 16804
0.18/0.06 c -- clauses added: 0 learnts, 16804 normals, 0 xors
0.18/0.06 c -- vars added 5910
0.18/0.06 c Parsing time: 0.01 s
0.18/0.06 c N st 0 0 5910 3762 13041 0 38653 0 no data no data
0.18/0.06 c asymm cl-useful: 17/3761/3761 lits-rem:17 time: 0.01
0.67/0.16 c Flit: 1 Blit: 5 bXBeca: 0 bXProp: 2118 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08
0.67/0.16 c Replacing 2118 vars Replaced 33429 lits Time: 0.00 s
0.67/0.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.67/0.16 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.67/0.17 c subs with bin: 4 lits-rem: 8 v-fix: 0 time: 0.00 s
0.67/0.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3783 time: 0.00 s
0.67/0.17 c Removed useless bin: 23 fixed: 0 props: 0.20M time: 0.00 s
0.67/0.23 c lits-rem: 0 cl-subs: 396 v-elim: 1261 v-fix: 0 time: 0.01 s
0.67/0.23 c Finding binary XORs T: 0.00 s found: 4
0.67/0.23 c Replacing 4 vars Replaced 42 lits Time: 0.00 s
0.67/0.23 c Finding non-binary XORs: 0.00 s (found: 112, avg size: 3.0)
0.67/0.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 0 time: 0.00
0.67/0.23 c calculated reachability. Time: 0.00
0.67/0.23 c Calc default polars - time: 0.00 s pos: 1174 undec: 3483 neg: 1253
0.67/0.23 c =========================================================================================
0.67/0.23 c types(t): F = full restart, N = normal restart
0.67/0.23 c types(t): S = simplification begin/end, E = solution found
0.67/0.23 c restart types(rt): st = static, dy = dynamic
0.67/0.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.67/0.23 c B st 0 0 2503 4398 4991 0 24999 0 no data no data
0.67/1.02 c N dy 17 4065 2503 4398 5196 3846 24997 122423 6.79 8.60
0.67/1.02 c N dy 46 8325 2503 4398 5789 5622 24997 104331 7.44 8.04
0.67/1.02 c Finding binary XORs T: 0.00 s found: 3
0.67/1.02 c N dy 54 12418 2494 4398 6020 4715 24906 48741 7.03 8.23
10.46/1.42 c N dy 80 19198 2493 4398 6580 6228 24906 48375 7.11 7.53
13.39/1.70 c N dy 108 23265 2490 4398 6606 10243 24901 150043 7.31 8.24
15.12/1.92 c F st 126 25001 2490 4398 6614 11967 24900 212189 7.51 no data
15.12/1.92 c Replacing 5 vars Replaced 409 lits Time: 0.00 s
15.12/1.99 c Finding binary XORs T: 0.00 s found: 13
17.39/2.27 c N st 131 28302 2485 4394 6522 8295 24464 158023 7.51 no data
18.97/2.45 c S st 132 30002 2485 4394 6524 9986 24464 214771 7.51 no data
19.77/2.51 c S st 132 30506 2485 4394 6528 10486 24464 225683 7.51 no data
19.77/2.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 0 time: 0.00
19.77/2.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 26 Bins: 3079 BRemL: 2044 BRemN: 2 P: 1.3M T: 0.06
19.77/2.58 c Replacing 39 vars Replaced 3659 lits Time: 0.00 s
19.77/2.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19.77/2.58 c bin-w-bin subsume rem 437 bins time: 0.00 s
19.77/2.58 c subs with bin: 358 lits-rem: 326 v-fix: 0 time: 0.00 s
19.77/2.59 c Subs w/ non-existent bins: 2 l-rem: 42 v-fix: 0 done: 2441 time: 0.00 s
19.77/2.59 c Removed useless bin: 21 fixed: 0 props: 0.05M time: 0.00 s
20.57/2.60 c lits-rem: 31 cl-subs: 168 v-elim: 705 v-fix: 0 time: 0.02 s
20.57/2.60 c subs with bin: 117 lits-rem: 276 v-fix: 0 time: 0.00 s
20.57/2.61 c lits-rem: 50 cl-subs: 174 v-elim: 0 v-fix: 0 time: 0.00 s
20.57/2.61 c asymm cl-useful: 1/1467/5228 lits-rem:3 time: 0.01
20.57/2.61 c calculated reachability. Time: 0.00
20.57/2.61 c N dy 132 30506 1736 5227 3719 2367 23205 16583 7.51 no data
20.57/2.62 c Finding binary XORs T: 0.00 s found: 0
23.00/2.92 c N dy 167 34525 1736 5227 3836 6359 23204 127967 7.74 8.36
24.55/3.13 c N dy 178 38918 1735 5227 3858 7107 23204 81634 7.65 8.05
24.55/3.19 c Finding binary XORs T: 0.00 s found: 9
26.95/3.42 c N dy 206 42994 1734 5223 5000 10479 23174 170454 7.73 9.14
27.75/3.59 c S st 216 45759 1734 5223 5059 6812 23174 52532 7.66 5.31
28.55/3.64 c S st 216 46264 1734 5223 5060 7314 23174 62405 7.66 no data
28.55/3.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.00
28.55/3.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 12 Bins: 189 BRemL: 978 BRemN: 31 P: 0.6M T: 0.02
28.55/3.66 c Replacing 22 vars Replaced 1727 lits Time: 0.00 s
28.55/3.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28.55/3.67 c bin-w-bin subsume rem 495 bins time: 0.00 s
28.55/3.67 c subs with bin: 244 lits-rem: 223 v-fix: 0 time: 0.00 s
28.55/3.67 c Subs w/ non-existent bins: 15 l-rem: 32 v-fix: 0 done: 1711 time: 0.00 s
28.55/3.67 c Removed useless bin: 81 fixed: 0 props: 0.04M time: 0.00 s
28.55/3.68 c lits-rem: 4 cl-subs: 60 v-elim: 145 v-fix: 0 time: 0.01 s
28.55/3.68 c subs with bin: 132 lits-rem: 219 v-fix: 0 time: 0.00 s
28.55/3.69 c lits-rem: 85 cl-subs: 257 v-elim: 0 v-fix: 0 time: 0.00 s
28.55/3.69 c vivif2 -- cl tried 5205 cl shrink 128 lits rem 149 time: 0.00
28.55/3.69 c vivif2 -- cl tried 5390 cl shrink 158 lits rem 192 time: 0.00
29.35/3.71 c asymm cl-useful: 18/5167/5167 lits-rem:18 time: 0.02
29.35/3.71 c calculated reachability. Time: 0.00
29.35/3.71 c N dy 216 46264 1566 5167 2953 5388 21937 39863 7.66 no data
31.79/4.02 c N dy 245 50648 1566 5167 2965 9734 21937 137497 7.75 8.25
32.67/4.19 c Finding binary XORs T: 0.00 s found: 13
33.34/4.29 c N dy 264 54812 1565 5164 3134 13777 21911 215867 7.75 8.64
36.54/4.62 c N dy 289 59639 1565 5164 3362 10757 21911 112512 7.79 8.21
38.94/4.93 c N dy 311 63663 1564 5164 3473 14748 21911 196466 7.80 9.36
41.45/5.28 c N dy 329 67747 1564 5164 3476 18772 21911 276949 7.79 10.31
42.93/5.40 c S st 337 69398 1564 5164 3479 10554 21911 76237 7.80 7.49
42.93/5.40 c Finding binary XORs T: 0.00 s found: 24
42.93/5.40 c Replacing 37 vars Replaced 2717 lits Time: 0.00 s
42.93/5.45 c S st 337 69902 1527 5164 3556 10541 21904 83022 7.80 no data
42.93/5.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
42.93/5.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 16 Bins: 69 BRemL: 370 BRemN: 24 P: 0.6M T: 0.02
42.93/5.48 c Replacing 17 vars Replaced 1478 lits Time: 0.00 s
42.93/5.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
42.93/5.48 c bin-w-bin subsume rem 355 bins time: 0.00 s
42.93/5.48 c subs with bin: 122 lits-rem: 6 v-fix: 0 time: 0.00 s
42.93/5.48 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1509 time: 0.00 s
42.93/5.48 c Removed useless bin: 14 fixed: 0 props: 0.04M time: 0.00 s
42.93/5.49 c lits-rem: 1 cl-subs: 93 v-elim: 30 v-fix: 0 time: 0.00 s
42.93/5.49 c subs with bin: 279 lits-rem: 477 v-fix: 0 time: 0.00 s
43.72/5.50 c lits-rem: 165 cl-subs: 356 v-elim: 0 v-fix: 0 time: 0.01 s
43.72/5.50 c vivif2 -- cl tried 5011 cl shrink 21 lits rem 28 time: 0.00
43.72/5.50 c vivif2 -- cl tried 8648 cl shrink 191 lits rem 291 time: 0.00
43.72/5.53 c asymm cl-useful: 41/5003/5003 lits-rem:67 time: 0.03
43.72/5.53 c calculated reachability. Time: 0.00
43.72/5.53 c N dy 337 69902 1479 4993 2658 8648 21002 64646 7.80 no data
46.12/5.83 c N dy 366 74393 1479 4993 2674 13079 21002 153085 7.83 13.39
49.36/6.26 c N dy 401 79201 1479 4993 2798 17850 21002 260365 7.91 8.35
51.70/6.56 c Finding binary XORs T: 0.00 s found: 23
51.70/6.56 c Replacing 23 vars Replaced 1665 lits Time: 0.00 s
53.31/6.70 c N dy 436 85127 1455 4993 2907 12956 20997 109545 7.97 8.77
54.11/6.88 c F st 447 87504 1455 4993 2909 15307 20997 158479 7.96 5.43
56.51/7.11 c N st 452 90803 1454 4993 2936 18546 20997 216660 7.96 no data
60.48/7.60 c N dy 476 96659 1454 4993 3101 12345 20997 83161 7.98 8.50
62.89/7.98 c Finding binary XORs T: 0.00 s found: 21
62.89/7.99 c Replacing 22 vars Replaced 5829 lits Time: 0.00 s
63.69/8.06 c N dy 511 102852 1431 4993 3085 17547 20985 191009 8.00 8.45
64.49/8.19 c S st 519 104854 1431 4993 3087 19510 20985 221117 7.99 8.13
65.29/8.27 c S st 519 105354 1431 4993 3088 20009 20985 233483 7.99 no data
65.29/8.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 2 time: 0.00
65.29/8.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 30 BRemL: 189 BRemN: 9 P: 0.9M T: 0.02
65.29/8.29 c Replacing 7 vars Replaced 731 lits Time: 0.00 s
65.29/8.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
65.29/8.29 c bin-w-bin subsume rem 282 bins time: 0.00 s
65.29/8.30 c subs with bin: 16 lits-rem: 8 v-fix: 0 time: 0.00 s
66.09/8.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1424 time: 0.00 s
66.09/8.30 c Removed useless bin: 3 fixed: 0 props: 0.03M time: 0.00 s
66.09/8.30 c lits-rem: 1 cl-subs: 52 v-elim: 9 v-fix: 0 time: 0.01 s
66.09/8.33 c subs with bin: 211 lits-rem: 989 v-fix: 0 time: 0.01 s
66.09/8.37 c lits-rem: 673 cl-subs: 625 v-elim: 0 v-fix: 0 time: 0.04 s
66.09/8.37 c vivif2 -- cl tried 4939 cl shrink 9 lits rem 13 time: 0.00
66.09/8.37 c vivif2 -- cl tried 17978 cl shrink 1479 lits rem 2151 time: 0.01
66.92/8.44 c asymm cl-useful: 22/4938/4938 lits-rem:27 time: 0.04
66.92/8.44 c calculated reachability. Time: 0.00
66.92/8.44 c N dy 519 105354 1415 4936 2584 17978 20592 197349 7.99 no data
71.67/9.07 c N dy 559 112117 1415 4936 2611 24656 20592 317974 8.01 8.53
75.71/9.58 c N dy 592 119399 1415 4936 2780 19546 20592 202903 7.99 8.53
77.25/9.71 c Finding binary XORs T: 0.00 s found: 23
77.25/9.71 c Replacing 23 vars Replaced 2405 lits Time: 0.00 s
81.25/10.26 c N dy 622 127164 1391 4932 2782 26517 20572 324114 7.98 8.47
86.84/10.91 c N dy 646 135732 1391 4932 2811 21228 20572 208134 7.92 8.51
92.44/11.61 c Finding binary XORs T: 0.00 s found: 9
92.44/11.65 c N dy 663 144622 1390 4932 2855 27972 20569 301287 7.85 8.32
97.22/12.28 c N dy 691 153899 1389 4932 2875 22790 20569 202190 7.80 8.27
100.42/12.60 c Following stats are for *FIRST FINISHED THREAD ONLY*
100.42/12.60 c num threads : 8
100.42/12.60 c restarts : 625
100.42/12.60 c dynamic restarts : 607
100.42/12.60 c static restarts : 18
100.42/12.60 c full restarts : 2
100.42/12.60 c total simplify time : 0.06
100.42/12.60 c learnts DL2 : 0
100.42/12.60 c learnts size 2 : 21892
100.42/12.60 c learnts size 1 : 195 (3.30 % of vars)
100.42/12.60 c filedLit time : 0.18 (1.42 % time)
100.42/12.60 c v-elim SatELite : 2087 (35.31 % vars)
100.42/12.60 c SatELite time : 0.06 (0.49 % time)
100.42/12.60 c v-elim xor : 21 (0.36 % vars)
100.42/12.60 c xor elim time : 0.00 (0.03 % time)
100.42/12.60 c num binary xor trees : 1142
100.42/12.60 c binxor trees' crown : 2345 (2.05 leafs/tree)
100.42/12.60 c bin xor find time : 0.02
100.42/12.60 c OTF clause improved : 2428 (0.02 clauses/conflict)
100.42/12.60 c OTF impr. size diff : 2638 (1.09 lits/clause)
100.42/12.60 c OTF cl watch-shrink : 86087 (0.54 clauses/conflict)
100.42/12.60 c OTF cl watch-sh-lit : 199318 (2.32 lits/clause)
100.42/12.60 c tried to recurMin cls : 53978 (34.00 % of conflicts)
100.42/12.60 c updated cache : 0 (0.00 lits/tried recurMin)
100.42/12.60 c unit cls recevied : 15 (7.69 % of units)
100.42/12.60 c unit cls sent : 4 (2.05 % of units)
100.42/12.60 c bin cls recevied : 11685
100.42/12.60 c bin cls sent : 707
100.42/12.60 c clauses over max glue : 0 (0.00 % of all clauses)
100.42/12.60 c conflicts : 158762 (12664.39 / sec)
100.42/12.60 c decisions : 225041 (2.12 % random)
100.42/12.60 c bogo-props : 957787218 (76402364.09 / sec)
100.42/12.60 c conflict literals : 3082006 (32.64 % deleted)
100.42/12.60 c Memory used : 631.31 MB
100.42/12.60 c single-thread CPU time : 12.54 s
100.42/12.60 c all-threads sum CPU time : 100.26 s
100.42/12.60 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-3394954-1306109735/watcher-3394954-1306109735 -o /tmp/evaluation-result-3394954-1306109735/solver-3394954-1306109735 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394954-1306109735.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=92144 CPUtime=0 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971570 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4661/statm: 23036 352 299 95 0 18018 0
[pid=4661/tid=4662] ppid=4659 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=92144 CPUtime=0 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971570 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971560 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=92144 CPUtime=0 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=92144 CPUtime=0 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971560 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=92144 CPUtime=0 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722571641 94355456 352 33554432000 4194304 4580107 140735281291776 18446744073709551615 47733314971570 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.037178 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=624836 CPUtime=0.18 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) S 4659 4661 4499 0 -1 4202496 5654 0 0 0 16 2 0 0 17 0 8 0 722571641 639832064 4794 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 156209 4800 336 95 0 151191 0
[pid=4661/tid=4662] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 642 0 0 0 2 0 0 0 17 0 8 0 722571641 639832064 4800 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 602 0 0 0 2 0 0 0 17 0 8 0 722571641 639832064 4803 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 823 0 0 0 2 0 0 0 18 0 8 0 722571641 639832064 4814 33554432000 4194304 4580107 140735281291776 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=624836 CPUtime=0 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 611 0 0 0 0 0 0 0 18 0 8 0 722571641 639832064 4823 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 696 0 0 0 2 0 0 0 18 0 8 0 722571641 639832064 4828 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 689 0 0 0 2 0 0 0 17 0 8 0 722571641 639832064 4834 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=624836 CPUtime=0.02 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 658 0 0 0 2 0 0 0 17 0 8 0 722571641 639832064 4844 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 624836
[startup+0.102344 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=626268 CPUtime=0.67 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) D 4659 4661 4499 0 -1 4202496 8349 0 0 0 59 8 0 0 18 0 8 0 722571641 641298432 7489 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335935671 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 156615 7647 360 95 0 151597 0
[pid=4661/tid=4662] ppid=4659 vsize=626460 CPUtime=0.08 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) D 4659 4661 4499 0 -1 4202560 1040 0 0 0 8 0 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=626460 CPUtime=0.09 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 1000 0 0 0 8 1 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=626460 CPUtime=0.08 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) D 4659 4661 4499 0 -1 4202560 1209 0 0 0 8 0 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=626460 CPUtime=0.07 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 1067 0 0 0 6 1 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=626460 CPUtime=0.08 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) D 4659 4661 4499 0 -1 4202560 1095 0 0 0 8 0 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=626460 CPUtime=0.08 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) D 4659 4661 4499 0 -1 4202560 1082 0 0 0 8 0 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=626460 CPUtime=0.08 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 830 0 0 0 8 0 0 0 18 0 8 0 722571641 641495040 7846 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 626268
[startup+1.13295 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=630976 CPUtime=8.85 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 17311 0 0 0 873 12 0 0 19 0 8 0 722571641 646119424 12863 33554432000 4194304 4580107 140735281291776 18446744073709551615 4321348 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 157744 12863 378 95 0 152726 0
[pid=4661/tid=4662] ppid=4659 vsize=630976 CPUtime=1.1 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2105 0 0 0 109 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=630976 CPUtime=1.09 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2161 0 0 0 108 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=630976 CPUtime=1.1 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2477 0 0 0 109 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=630976 CPUtime=1.08 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2177 0 0 0 107 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=630976 CPUtime=1.1 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2147 0 0 0 109 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4318750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=630976 CPUtime=1.11 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2259 0 0 0 110 1 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=630976 CPUtime=1.1 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 1353 0 0 0 110 0 0 0 19 0 8 0 722571641 646119424 12864 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 630976
[startup+1.23293 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=631052 CPUtime=9.65 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 17749 0 0 0 953 12 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335551220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 157763 13035 378 95 0 152745 0
[pid=4661/tid=4662] ppid=4659 vsize=631052 CPUtime=1.2 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2150 0 0 0 119 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=631052 CPUtime=1.19 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2212 0 0 0 118 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=631052 CPUtime=1.2 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2534 0 0 0 119 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=631052 CPUtime=1.18 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2209 0 0 0 117 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=631052 CPUtime=1.2 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2184 0 0 0 119 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=631052 CPUtime=1.21 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) S 4659 4661 4499 0 -1 4202560 2299 0 0 0 120 1 0 0 19 0 8 0 722571641 646197248 13035 33554432000 4194304 4580107 140735281291776 18446744073709551615 232335997422 0 0 4096 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=631052 CPUtime=1.2 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 1484 0 0 0 120 0 0 0 19 0 8 0 722571641 646197248 13036 33554432000 4194304 4580107 140735281291776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 631052
[startup+1.53288 s]
/proc/loadavg: 7.68 8.08 8.14 2/451 4661
/proc/meminfo: memFree=29601624/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=631316 CPUtime=12.05 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 19004 0 0 0 1192 13 0 0 19 0 8 0 722571641 646467584 13586 33554432000 4194304 4580107 140735281291776 18446744073709551615 4318689 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 157829 13586 378 95 0 152811 0
[pid=4661/tid=4662] ppid=4659 vsize=631316 CPUtime=1.5 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2279 0 0 0 149 1 0 0 20 0 8 0 722571641 646467584 13586 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=631316 CPUtime=1.5 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2438 0 0 0 148 2 0 0 19 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=631316 CPUtime=1.5 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2727 0 0 0 149 1 0 0 19 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=631316 CPUtime=1.48 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2321 0 0 0 147 1 0 0 19 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=631316 CPUtime=1.5 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2323 0 0 0 149 1 0 0 19 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=631316 CPUtime=1.51 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2436 0 0 0 150 1 0 0 19 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=631316 CPUtime=1.5 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 1589 0 0 0 150 0 0 0 20 0 8 0 722571641 646467584 13587 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 631316
[startup+3.1006 s]
/proc/loadavg: 7.70 8.08 8.14 9/459 4669
/proc/meminfo: memFree=29542312/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=624304 CPUtime=24.55 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 25464 0 0 0 2441 14 0 0 25 0 8 0 722571641 639287296 15230 33554432000 4194304 4580107 140735281291776 18446744073709551615 4322584 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 156076 15231 379 95 0 151058 0
[pid=4661/tid=4662] ppid=4659 vsize=624304 CPUtime=3.06 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3042 0 0 0 305 1 0 0 24 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=624304 CPUtime=3.05 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3110 0 0 0 303 2 0 0 24 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=624304 CPUtime=3.07 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3539 0 0 0 306 1 0 0 24 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=624304 CPUtime=3.05 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3081 0 0 0 304 1 0 0 25 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4302574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=624304 CPUtime=3.07 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3109 0 0 0 306 1 0 0 24 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=624304 CPUtime=3.07 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3287 0 0 0 306 1 0 0 24 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=624304 CPUtime=3.07 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 2302 0 0 0 307 0 0 0 25 0 8 0 722571641 639287296 15231 33554432000 4194304 4580107 140735281291776 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 624304
[startup+6.31703 s]
/proc/loadavg: 7.70 8.08 8.14 9/459 4669
/proc/meminfo: memFree=29520004/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=627580 CPUtime=50.23 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 38856 0 0 0 5006 17 0 0 20 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 156895 21142 379 95 0 151877 0
[pid=4661/tid=4662] ppid=4659 vsize=627580 CPUtime=6.29 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5244 0 0 0 627 2 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=627580 CPUtime=6.27 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 4938 0 0 0 625 2 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=627580 CPUtime=6.28 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5213 0 0 0 627 1 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=627580 CPUtime=6.27 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 4792 0 0 0 625 2 0 0 20 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=627580 CPUtime=6.28 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 4636 0 0 0 627 1 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=627580 CPUtime=6.29 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 4686 0 0 0 627 2 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=627580 CPUtime=6.29 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3498 0 0 0 628 1 0 0 25 0 8 0 722571641 642641920 21142 33554432000 4194304 4580107 140735281291776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 627580
Solver just ended. Dumping a history of the last processes samples
[startup+7.10089 s]
/proc/loadavg: 7.70 8.08 8.14 9/459 4669
/proc/meminfo: memFree=29520004/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=653876 CPUtime=56.51 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 41714 0 0 0 5633 18 0 0 23 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 163469 21982 379 95 0 158451 0
[pid=4661/tid=4662] ppid=4659 vsize=653876 CPUtime=7.07 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5627 0 0 0 705 2 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=653876 CPUtime=7.05 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5289 0 0 0 703 2 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=653876 CPUtime=7.07 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5571 0 0 0 706 1 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=653876 CPUtime=7.05 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5188 0 0 0 703 2 0 0 23 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4317050 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=653876 CPUtime=7.07 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 4921 0 0 0 706 1 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=653876 CPUtime=7.07 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5075 0 0 0 705 2 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4306255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=653876 CPUtime=7.07 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 3823 0 0 0 706 1 0 0 25 0 8 0 722571641 669569024 21982 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 56.51
Current children cumulated vsize (KiB) 653876
[startup+10.3003 s]
/proc/loadavg: 7.89 8.11 8.15 9/459 4669
/proc/meminfo: memFree=29500568/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=663844 CPUtime=82.05 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 55505 0 0 0 8185 20 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293208 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 165961 29106 379 95 0 160943 0
[pid=4661/tid=4662] ppid=4659 vsize=663844 CPUtime=10.27 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7642 0 0 0 1025 2 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=663844 CPUtime=10.26 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7189 0 0 0 1023 3 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=663844 CPUtime=10.27 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7932 0 0 0 1026 1 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=663844 CPUtime=10.24 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 6451 0 0 0 1022 2 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=663844 CPUtime=10.26 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 6277 0 0 0 1025 1 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=663844 CPUtime=10.27 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 6453 0 0 0 1025 2 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=663844 CPUtime=10.28 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5365 0 0 0 1026 2 0 0 25 0 8 0 722571641 679776256 29106 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 82.05
Current children cumulated vsize (KiB) 663844
[startup+11.901 s]
/proc/loadavg: 7.89 8.11 8.15 9/459 4669
/proc/meminfo: memFree=29489912/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=655460 CPUtime=94.82 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 60402 0 0 0 9460 22 0 0 25 0 8 0 722571641 671191040 28272 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 163865 28276 379 95 0 158847 0
[pid=4661/tid=4662] ppid=4659 vsize=655460 CPUtime=11.86 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8450 0 0 0 1184 2 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=655460 CPUtime=11.86 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7941 0 0 0 1183 3 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4325710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=655460 CPUtime=11.87 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8451 0 0 0 1185 2 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=655460 CPUtime=11.84 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7024 0 0 0 1182 2 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=655460 CPUtime=11.86 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 6864 0 0 0 1185 1 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=655460 CPUtime=11.87 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7131 0 0 0 1185 2 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=655460 CPUtime=11.87 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5672 0 0 0 1185 2 0 0 25 0 8 0 722571641 671191040 28278 33554432000 4194304 4580107 140735281291776 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 94.82
Current children cumulated vsize (KiB) 655460
[startup+12.301 s]
/proc/loadavg: 7.89 8.11 8.15 9/459 4669
/proc/meminfo: memFree=29489912/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=655460 CPUtime=98.02 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 61354 0 0 0 9780 22 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 163865 28804 379 95 0 158847 0
[pid=4661/tid=4662] ppid=4659 vsize=655460 CPUtime=12.26 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8574 0 0 0 1224 2 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=655460 CPUtime=12.26 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8078 0 0 0 1223 3 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=655460 CPUtime=12.27 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8676 0 0 0 1225 2 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=655460 CPUtime=12.24 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7097 0 0 0 1222 2 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=655460 CPUtime=12.26 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 6945 0 0 0 1225 1 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=655460 CPUtime=12.27 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7207 0 0 0 1225 2 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=655460 CPUtime=12.27 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5780 0 0 0 1225 2 0 0 25 0 8 0 722571641 671191040 28804 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.02
Current children cumulated vsize (KiB) 655460
[startup+12.5009 s]
/proc/loadavg: 7.89 8.11 8.15 9/459 4669
/proc/meminfo: memFree=29489912/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=655524 CPUtime=99.62 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 62121 0 0 0 9940 22 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 163881 28596 379 95 0 158863 0
[pid=4661/tid=4662] ppid=4659 vsize=655524 CPUtime=12.46 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8620 0 0 0 1244 2 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=655524 CPUtime=12.46 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8136 0 0 0 1243 3 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=655524 CPUtime=12.47 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8725 0 0 0 1245 2 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=655524 CPUtime=12.45 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7343 0 0 0 1242 3 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=655524 CPUtime=12.46 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7173 0 0 0 1245 1 0 0 25 0 8 0 722571641 671256576 28596 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=655524 CPUtime=12.47 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7249 0 0 0 1245 2 0 0 25 0 8 0 722571641 671256576 28597 33554432000 4194304 4580107 140735281291776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=655524 CPUtime=12.47 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5831 0 0 0 1245 2 0 0 25 0 8 0 722571641 671256576 28597 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (KiB) 655524
[startup+12.6009 s]
/proc/loadavg: 7.89 8.11 8.15 9/459 4669
/proc/meminfo: memFree=29489912/32951124 swapFree=60688720/67111528
[pid=4661] ppid=4659 vsize=646456 CPUtime=100.42 cores=0-7
/proc/4661/stat : 4661 (strangenight2-m) R 4659 4661 4499 0 -1 4202496 62457 0 0 0 10020 22 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4661/statm: 161614 28441 379 95 0 156596 0
[pid=4661/tid=4662] ppid=4659 vsize=646456 CPUtime=12.56 cores=0-7
/proc/4661/task/4662/stat : 4662 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8642 0 0 0 1254 2 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4661/tid=4663] ppid=4659 vsize=646456 CPUtime=12.56 cores=0-7
/proc/4661/task/4663/stat : 4663 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8157 0 0 0 1253 3 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4295062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4661/tid=4664] ppid=4659 vsize=646456 CPUtime=12.57 cores=0-7
/proc/4661/task/4664/stat : 4664 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 8747 0 0 0 1255 2 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4661/tid=4665] ppid=4659 vsize=646456 CPUtime=12.55 cores=0-7
/proc/4661/task/4665/stat : 4665 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7364 0 0 0 1252 3 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4661/tid=4666] ppid=4659 vsize=646456 CPUtime=12.56 cores=0-7
/proc/4661/task/4666/stat : 4666 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7197 0 0 0 1255 1 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4661/tid=4667] ppid=4659 vsize=646456 CPUtime=12.57 cores=0-7
/proc/4661/task/4667/stat : 4667 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 7431 0 0 0 1255 2 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4661/tid=4668] ppid=4659 vsize=646456 CPUtime=12.57 cores=0-7
/proc/4661/task/4668/stat : 4668 (strangenight2-m) R 4659 4661 4499 0 -1 4202560 5855 0 0 0 1255 2 0 0 25 0 8 0 722571641 661970944 28441 33554432000 4194304 4580107 140735281291776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.42
Current children cumulated vsize (KiB) 646456
Child status: 20
Real time (s): 12.6155
CPU time (s): 100.495
CPU user time (s): 100.258
CPU system time (s): 0.236963
CPU usage (%): 796.597
Max. virtual memory (cumulated for all children) (KiB): 663980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.258
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62468
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= 12587
involuntary context switches= 937
runsolver used 0.05999 second user time and 0.120981 second system time
The end
Begin job on node132 at 2011-05-23 02:15:35
IDJOB=3394954
IDBENCH=88045
IDSOLVER=1878
FILE ID=node132/3394954-1306109735
RUNJOBID= node132-1306109724-4513
PBS_JOBID= 13388041
Free space on /tmp= 73268 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394954-1306109735/watcher-3394954-1306109735 -o /tmp/evaluation-result-3394954-1306109735/solver-3394954-1306109735 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394954-1306109735.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=993324209
node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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: 32951124 kB
MemFree: 29601912 kB
Buffers: 15932 kB
Cached: 98300 kB
SwapCached: 14568 kB
Active: 70000 kB
Inactive: 3100780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29601912 kB
SwapTotal: 67111528 kB
SwapFree: 60688720 kB
Dirty: 6240 kB
Writeback: 4 kB
AnonPages: 3049892 kB
Mapped: 18300 kB
Slab: 56976 kB
PageTables: 50604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 109204108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73260 MiB
End job on node132 at 2011-05-23 02:15:48