0.00/0.00 c Outputting solution to console
0.00/0.01 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-3321246-1304341774.cnf'
0.00/0.03 c -- header says num vars: 21317
0.00/0.03 c -- header says num clauses: 63664
0.15/0.10 c -- clauses added: 0 learnts, 63664 normals, 0 xors
0.15/0.10 c -- vars added 21317
0.15/0.10 c Parsing time: 0.04 s
0.15/0.10 c N st 0 0 21317 21204 42410 0 148432 0 no data no data
0.48/0.29 c asymm cl-useful: 0/21072/21072 lits-rem:0 time: 0.19
3.57/0.83 c Flit: 15 Blit: 33 bXBeca: 0 bXProp: 129 Bins: 0 BRemL: 0 BRemN: 0 P: 8.3M T: 0.50
3.57/0.84 c Replacing 129 vars Replaced 4164 lits Time: 0.01 s
3.57/0.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.57/0.85 c bin-w-bin subsume rem 4 bins time: 0.00 s
3.57/0.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
3.57/0.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 20962 time: 0.05 s
3.57/0.97 c Removed useless bin: 15 fixed: 0 props: 6.60M time: 0.05 s
7.74/1.09 c lits-rem: 95 cl-subs: 151 v-elim: 6987 v-fix: 0 time: 0.10 s
7.74/1.11 c Finding binary XORs T: 0.02 s found: 448
7.74/1.11 c Replacing 448 vars Replaced 4597 lits Time: 0.00 s
7.74/1.12 c Finding non-binary XORs: 0.00 s (found: 43, avg size: 3.0)
7.74/1.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 9 locsubst: 2 time: 0.00
7.74/1.12 c calculated reachability. Time: 0.00
7.74/1.13 c Calc default polars - time: 0.00 s pos: 185 undec: 7924 neg: 13208
7.74/1.13 c =========================================================================================
7.74/1.13 c types(t): F = full restart, N = normal restart
7.74/1.13 c types(t): S = simplification begin/end, E = solution found
7.74/1.13 c restart types(rt): st = static, dy = dynamic
7.74/1.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
7.74/1.13 c B st 0 0 13518 14476 30786 0 114950 0 no data no data
7.74/1.71 c N dy 15 4039 13517 14476 30989 3802 114949 76248 6.21 6.55
17.03/2.27 c N dy 39 8264 13384 14476 31939 5513 114949 69099 6.31 6.73
21.75/2.81 c N dy 65 12318 13382 14476 32476 5408 114949 57000 6.53 7.37
25.82/3.36 c N dy 91 16445 13333 14152 32005 9395 112747 125196 6.64 6.99
30.54/3.96 c N dy 119 20655 13332 14152 32234 8119 112747 83068 6.78 7.26
35.35/4.59 c N dy 145 24767 13309 14152 32477 12186 112747 163464 6.85 7.40
36.15/4.62 c F st 148 25000 13309 14152 32477 12419 112747 167430 6.86 no data
36.15/4.63 c Replacing 1 vars Replaced 32 lits Time: 0.00 s
39.34/5.02 c Finding binary XORs T: 0.02 s found: 169
39.34/5.03 c Replacing 169 vars Replaced 12266 lits Time: 0.01 s
43.39/5.53 c N dy 154 30001 13093 14018 31607 10567 110765 153131 6.86 no data
43.39/5.53 c S st 154 30001 13093 14018 31607 10567 110765 153131 6.86 no data
44.14/5.66 c S st 154 30503 13093 14018 31614 11044 110765 159431 6.86 no data
44.14/5.66 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 0 time: 0.00
55.31/7.09 c Flit: 57 Blit: 395 bXBeca: 0 bXProp: 481 Bins: 105695 BRemL: 67302 BRemN: 151 P: 17.8M T: 1.43
56.11/7.10 c Cleaning up after failed var search: 0.00 s
56.11/7.11 c Replacing 481 vars Replaced 41500 lits Time: 0.01 s
56.11/7.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
56.11/7.13 c bin-w-bin subsume rem 4796 bins time: 0.01 s
56.11/7.14 c subs with bin: 38 lits-rem: 382 v-fix: 0 time: 0.01 s
56.11/7.17 c Subs w/ non-existent bins: 4 l-rem: 52 v-fix: 0 done: 12121 time: 0.03 s
56.11/7.19 c Removed useless bin: 328 fixed: 0 props: 0.79M time: 0.01 s
56.91/7.29 c lits-rem: 1712 cl-subs: 2736 v-elim: 6462 v-fix: 0 time: 0.10 s
56.91/7.30 c subs with bin: 122 lits-rem: 155 v-fix: 0 time: 0.00 s
57.72/7.30 c lits-rem: 58 cl-subs: 121 v-elim: 0 v-fix: 0 time: 0.00 s
57.72/7.30 c Added XOR as norm:16
58.52/7.45 c asymm cl-useful: 1123/13472/13472 lits-rem:1362 time: 0.14
58.52/7.45 c calculated reachability. Time: 0.00
58.52/7.45 c N dy 154 30503 5659 13471 17205 1284 86248 22129 6.86 no data
58.52/7.47 c Finding binary XORs T: 0.02 s found: 3
61.70/7.80 c N dy 163 34561 5649 13471 17340 5262 86247 90782 6.74 7.12
64.11/8.19 c N dy 184 38645 5647 13471 35281 6320 86247 130333 6.68 7.06
64.91/8.24 c Finding binary XORs T: 0.01 s found: 42
68.10/8.61 c N dy 205 42830 5631 13379 34788 10416 85708 205769 6.68 7.04
70.50/8.94 c S st 223 45755 5629 13379 34838 6901 85707 106749 6.69 6.48
71.30/9.00 c S st 223 46257 5629 13379 34842 7395 85707 112406 6.69 no data
71.30/9.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
72.89/9.24 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 3303 BRemL: 16121 BRemN: 30 P: 4.1M T: 0.24
72.89/9.25 c Replacing 53 vars Replaced 5240 lits Time: 0.01 s
72.89/9.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
72.89/9.26 c bin-w-bin subsume rem 5673 bins time: 0.00 s
72.89/9.27 c subs with bin: 531 lits-rem: 504 v-fix: 0 time: 0.01 s
72.89/9.28 c Subs w/ non-existent bins: 85 l-rem: 128 v-fix: 0 done: 5574 time: 0.01 s
72.89/9.29 c Removed useless bin: 36 fixed: 0 props: 0.34M time: 0.01 s
73.69/9.33 c lits-rem: 56 cl-subs: 230 v-elim: 384 v-fix: 0 time: 0.04 s
73.69/9.34 c subs with bin: 97 lits-rem: 346 v-fix: 0 time: 0.01 s
73.69/9.35 c lits-rem: 122 cl-subs: 280 v-elim: 0 v-fix: 0 time: 0.01 s
73.69/9.35 c Added XOR as norm:0
73.69/9.36 c vivif2 -- cl tried 13007 cl shrink 396 lits rem 556 time: 0.00
73.69/9.36 c vivif2 -- cl tried 6014 cl shrink 637 lits rem 1560 time: 0.00
75.30/9.53 c asymm cl-useful: 163/13001/13001 lits-rem:180 time: 0.17
75.30/9.53 c calculated reachability. Time: 0.00
75.30/9.53 c N dy 223 46257 5190 13001 13786 6013 84404 55520 6.69 no data
76.10/9.68 c Finding binary XORs T: 0.01 s found: 9
78.55/9.96 c N dy 246 50268 5186 13001 22312 9966 84404 146783 6.70 8.52
80.90/10.29 c Finding binary XORs T: 0.01 s found: 46
81.70/10.30 c Replacing 55 vars Replaced 10572 lits Time: 0.01 s
82.50/10.43 c N dy 265 54429 5095 12866 21469 13822 83305 216657 6.71 7.12
86.55/10.91 c N dy 288 58472 5082 12866 22231 9852 83305 116275 6.73 7.17
90.49/11.42 c N dy 313 62917 5081 12866 26518 14237 83305 208111 6.75 7.13
90.49/11.43 c Finding binary XORs T: 0.01 s found: 85
90.49/11.44 c Replacing 85 vars Replaced 16110 lits Time: 0.01 s
94.49/11.96 c N dy 339 67031 4984 12735 25753 18185 82486 285519 6.78 7.21
96.87/12.27 c S st 351 69385 4984 12735 28045 10649 82486 120179 6.78 6.38
97.67/12.34 c S st 351 69886 4984 12735 28051 11142 82486 126266 6.78 no data
97.67/12.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
99.27/12.59 c Flit: 5 Blit: 16 bXBeca: 0 bXProp: 231 Bins: 7694 BRemL: 14601 BRemN: 90 P: 4.5M T: 0.25
100.07/12.60 c Replacing 231 vars Replaced 10555 lits Time: 0.01 s
100.07/12.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
100.07/12.60 c bin-w-bin subsume rem 2672 bins time: 0.00 s
100.07/12.61 c subs with bin: 136 lits-rem: 198 v-fix: 0 time: 0.01 s
100.07/12.62 c Subs w/ non-existent bins: 42 l-rem: 0 v-fix: 0 done: 4725 time: 0.01 s
100.07/12.63 c Removed useless bin: 21 fixed: 0 props: 0.26M time: 0.00 s
100.07/12.66 c lits-rem: 30 cl-subs: 645 v-elim: 119 v-fix: 0 time: 0.03 s
100.07/12.67 c subs with bin: 197 lits-rem: 710 v-fix: 0 time: 0.01 s
100.07/12.68 c lits-rem: 273 cl-subs: 447 v-elim: 0 v-fix: 0 time: 0.02 s
100.07/12.68 c Added XOR as norm:0
100.07/12.69 c vivif2 -- cl tried 11964 cl shrink 84 lits rem 133 time: 0.00
100.07/12.70 c vivif2 -- cl tried 9272 cl shrink 630 lits rem 1262 time: 0.01
101.67/12.87 c asymm cl-useful: 309/11959/11959 lits-rem:639 time: 0.17
101.67/12.87 c calculated reachability. Time: 0.00
101.67/12.87 c N dy 351 69886 4606 11883 12936 9266 75776 76751 6.78 no data
101.67/12.88 c Finding binary XORs T: 0.01 s found: 16
105.66/13.36 c N dy 374 74400 4605 11883 20278 13713 75776 173951 6.78 7.14
106.46/13.41 c Finding binary XORs T: 0.01 s found: 88
106.46/13.41 c Replacing 104 vars Replaced 11465 lits Time: 0.01 s
111.26/14.00 c N dy 403 79628 4449 11679 19736 18698 74413 266001 6.77 7.18
113.72/14.39 c Finding binary XORs T: 0.01 s found: 30
116.86/14.70 c N dy 432 85239 4442 11666 23840 13395 74291 158061 6.76 7.13
118.46/14.94 c F st 443 87500 4418 11666 24127 15613 74291 195201 6.77 5.98
118.46/14.96 c Replacing 30 vars Replaced 5446 lits Time: 0.01 s
121.72/15.35 c N st 448 90799 4386 11577 22455 18525 73749 243425 6.77 no data
124.85/15.79 c Finding binary XORs T: 0.01 s found: 148
125.65/15.80 c Replacing 148 vars Replaced 13590 lits Time: 0.01 s
128.85/16.29 c N dy 471 97958 4172 11398 20287 12327 72356 120479 6.77 7.15
135.24/17.07 c N dy 515 104268 4133 11271 18440 18066 70808 201190 6.82 8.83
136.04/17.15 c S st 521 104829 4133 11271 18441 18619 70808 209672 6.83 no data
136.84/17.23 c Finding binary XORs T: 0.01 s found: 182
136.84/17.25 c Replacing 182 vars Replaced 25430 lits Time: 0.01 s
136.84/17.27 c S st 521 105332 3898 10835 19484 18348 68326 210254 6.83 no data
136.84/17.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
139.30/17.51 c Flit: 41 Blit: 62 bXBeca: 0 bXProp: 418 Bins: 9696 BRemL: 13425 BRemN: 211 P: 5.9M T: 0.24
139.30/17.52 c Cleaning up after failed var search: 0.00 s
139.30/17.53 c Replacing 418 vars Replaced 18788 lits Time: 0.01 s
139.30/17.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
139.30/17.53 c bin-w-bin subsume rem 3875 bins time: 0.00 s
139.30/17.54 c subs with bin: 306 lits-rem: 963 v-fix: 0 time: 0.01 s
139.30/17.55 c Subs w/ non-existent bins: 11 l-rem: 21 v-fix: 0 done: 3362 time: 0.01 s
139.30/17.55 c Removed useless bin: 41 fixed: 0 props: 0.20M time: 0.00 s
139.30/17.57 c lits-rem: 130 cl-subs: 995 v-elim: 161 v-fix: 0 time: 0.02 s
139.30/17.59 c subs with bin: 579 lits-rem: 3353 v-fix: 0 time: 0.01 s
140.10/17.64 c lits-rem: 2131 cl-subs: 1442 v-elim: 0 v-fix: 0 time: 0.05 s
140.10/17.64 c vivif2 -- cl tried 9253 cl shrink 136 lits rem 195 time: 0.00
140.10/17.65 c vivif2 -- cl tried 13865 cl shrink 2293 lits rem 4176 time: 0.01
140.72/17.82 c asymm cl-useful: 287/9253/9253 lits-rem:624 time: 0.16
140.72/17.82 c calculated reachability. Time: 0.00
140.72/17.82 c N dy 521 105332 3201 9189 8411 13864 57385 130042 6.83 no data
140.72/17.82 c Following stats are for *FIRST FINISHED THREAD ONLY*
140.72/17.82 c num threads : 8
140.72/17.82 c restarts : 524
140.72/17.82 c dynamic restarts : 506
140.72/17.82 c static restarts : 18
140.72/17.82 c full restarts : 2
140.72/17.82 c total simplify time : 0.23
140.72/17.82 c learnts DL2 : 0
140.72/17.82 c learnts size 2 : 291536
140.72/17.82 c learnts size 1 : 3572 (16.76 % of vars)
140.72/17.82 c filedLit time : 2.31 (13.09 % time)
140.72/17.82 c v-elim SatELite : 13805 (64.76 % vars)
140.72/17.82 c SatELite time : 0.35 (2.01 % time)
140.72/17.82 c v-elim xor : 17 (0.08 % vars)
140.72/17.82 c xor elim time : 0.01 (0.06 % time)
140.72/17.82 c num binary xor trees : 694
140.72/17.82 c binxor trees' crown : 2317 (3.34 leafs/tree)
140.72/17.82 c bin xor find time : 0.14
140.72/17.82 c OTF clause improved : 1099 (0.01 clauses/conflict)
140.72/17.82 c OTF impr. size diff : 1286 (1.17 lits/clause)
140.72/17.82 c OTF cl watch-shrink : 58387 (0.55 clauses/conflict)
140.72/17.82 c OTF cl watch-sh-lit : 167529 (2.87 lits/clause)
140.72/17.82 c tried to recurMin cls : 40517 (38.49 % of conflicts)
140.72/17.82 c updated cache : 0 (0.00 lits/tried recurMin)
140.72/17.82 c unit cls recevied : 170 (4.76 % of units)
140.72/17.82 c unit cls sent : 628 (17.58 % of units)
140.72/17.82 c bin cls recevied : 65367
140.72/17.82 c bin cls sent : 38698
140.72/17.82 c clauses over max glue : 0 (0.00 % of all clauses)
140.72/17.82 c conflicts : 105264 (5954.75 / sec)
140.72/17.82 c decisions : 204570 (3.33 % random)
140.72/17.82 c bogo-props : 661662009 (37430012.49 / sec)
140.72/17.82 c conflict literals : 1838137 (36.53 % deleted)
140.72/17.82 c Memory used : 804.82 MB
140.72/17.82 c single-thread CPU time : 17.68 s
140.72/17.82 c all-threads sum CPU time : 140.26 s
140.72/17.82 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321246-1304341774/watcher-3321246-1304341774 -o /tmp/evaluation-result-3321246-1304341774/solver-3321246-1304341774 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321246-1304341774.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.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=92188 CPUtime=0.02 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 413 0 0 0 2 0 0 0 25 0 8 0 624407969 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853480 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 23047 352 299 106 0 18018 0
[pid=11860/tid=11861] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853488 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853490 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=92188 CPUtime=0 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624407970 94400512 352 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853490 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0330851 s]
/proc/loadavg: 1.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=359308 CPUtime=0.15 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) S 11858 11860 11573 0 -1 4202496 4464 0 0 0 14 1 0 0 18 0 8 0 624407969 367931392 4207 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11860/statm: 89786 4362 339 106 0 84757 0
[pid=11860/tid=11861] ppid=11858 vsize=359948 CPUtime=0.02 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 863 0 0 0 2 0 0 0 18 0 8 0 624407970 368586752 4545 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020093136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=359948 CPUtime=0 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 849 0 0 0 0 0 0 0 18 0 8 0 624407970 368586752 4565 33554432000 4194304 4627427 140733610567344 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=359948 CPUtime=0.02 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 313 0 0 0 2 0 0 0 17 0 8 0 624407970 368586752 4571 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=359948 CPUtime=0.02 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 573 0 0 0 2 0 0 0 18 0 8 0 624407970 368586752 4604 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=359948 CPUtime=0.01 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 631 0 0 0 1 0 0 0 17 0 8 0 624407970 368586752 4605 33554432000 4194304 4627427 140733610567344 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=359948 CPUtime=0.02 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 305 0 0 0 2 0 0 0 17 0 8 0 624407970 368586752 4622 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 2 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=359688 CPUtime=0.02 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 330 0 0 0 2 0 0 0 17 0 8 0 624407970 368320512 4569 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 359308
[startup+0.102042 s]
/proc/loadavg: 1.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=585420 CPUtime=0.48 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 22096 0 0 0 37 11 0 0 17 0 8 0 624407969 599470080 19150 33554432000 4194304 4627427 140733610567344 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 146355 19157 346 106 0 141326 0
[pid=11860/tid=11861] ppid=11858 vsize=585420 CPUtime=0.05 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2759 0 0 0 4 1 0 0 17 0 8 0 624407970 599470080 19197 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=585548 CPUtime=0.06 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2703 0 0 0 5 1 0 0 18 0 8 0 624407970 599601152 19231 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=585548 CPUtime=0.08 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 2554 0 0 0 6 2 0 0 18 0 8 0 624407970 599601152 19289 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=585548 CPUtime=0.05 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2825 0 0 0 4 1 0 0 17 0 8 0 624407970 599601152 19302 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=585548 CPUtime=0.06 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2636 0 0 0 6 0 0 0 18 0 8 0 624407970 599601152 19320 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=585548 CPUtime=0.04 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2396 0 0 0 3 1 0 0 17 0 8 0 624407970 599601152 19334 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=585548 CPUtime=0.04 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 2640 0 0 0 3 1 0 0 17 0 8 0 624407970 599601152 19362 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 585420
[startup+0.301432 s]
/proc/loadavg: 1.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=586952 CPUtime=2.04 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 24386 0 0 0 192 12 0 0 17 0 8 0 624407969 601038848 21430 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020439223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 146771 21662 367 106 0 141742 0
[pid=11860/tid=11861] ppid=11858 vsize=587084 CPUtime=0.25 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 3065 0 0 0 24 1 0 0 17 0 8 0 624407970 601174016 21722 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=587084 CPUtime=0.26 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 3063 0 0 0 25 1 0 0 18 0 8 0 624407970 601174016 21742 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=587084 CPUtime=0.27 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 2749 0 0 0 25 2 0 0 18 0 8 0 624407970 601174016 21743 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=587084 CPUtime=0.24 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 3035 0 0 0 23 1 0 0 17 0 8 0 624407970 601174016 21743 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=587084 CPUtime=0.26 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 3192 0 0 0 26 0 0 0 18 0 8 0 624407970 601174016 21743 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=587084 CPUtime=0.24 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 2761 0 0 0 23 1 0 0 17 0 8 0 624407970 601174016 21743 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=587084 CPUtime=0.22 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 2781 0 0 0 21 1 0 0 17 0 8 0 624407970 601174016 21743 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020500974 0 0 4096 2 18446604453978955840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 586952
[startup+0.871708 s]
/proc/loadavg: 1.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=666080 CPUtime=6.39 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 52509 0 0 0 613 26 0 0 18 0 8 0 624407969 682065920 49553 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020056773 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 166729 49852 379 106 0 161700 0
[pid=11860/tid=11861] ppid=11858 vsize=667048 CPUtime=0.79 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7142 0 0 0 76 3 0 0 18 0 8 0 624407970 683057152 49954 33554432000 4194304 4627427 140733610567344 18446744073709551615 4534796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=667648 CPUtime=0.79 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7253 0 0 0 77 2 0 0 18 0 8 0 624407970 683671552 49996 33554432000 4194304 4627427 140733610567344 18446744073709551615 4534837 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=667648 CPUtime=0.82 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 6462 0 0 0 78 4 0 0 18 0 8 0 624407970 683671552 50074 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020093047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=667648 CPUtime=0.78 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) D 11858 11860 11573 0 -1 4202560 7135 0 0 0 75 3 0 0 18 0 8 0 624407970 683671552 50226 33554432000 4194304 4627427 140733610567344 18446744073709551615 4535587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=670540 CPUtime=0.93 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7816 0 0 0 90 3 0 0 18 0 8 0 624407970 686632960 53435 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=670540 CPUtime=0.91 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7550 0 0 0 87 4 0 0 18 0 8 0 624407970 686632960 53576 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=670540 CPUtime=0.9 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 2963 0 0 0 89 1 0 0 18 0 8 0 624407970 686632960 53611 33554432000 4194304 4627427 140733610567344 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 666080
[startup+1.93869 s]
/proc/loadavg: 1.00 1.00 1.00 1/238 11860
/proc/meminfo: memFree=28358020/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=678928 CPUtime=14.87 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 66942 0 0 0 1452 35 0 0 19 0 8 0 624407969 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 169732 59763 389 106 0 164703 0
[pid=11860/tid=11861] ppid=11858 vsize=678928 CPUtime=1.85 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8554 0 0 0 181 4 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=678928 CPUtime=1.85 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8915 0 0 0 181 4 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=678928 CPUtime=1.87 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8859 0 0 0 182 5 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=678928 CPUtime=1.84 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9338 0 0 0 179 5 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4322537 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=678928 CPUtime=1.87 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8880 0 0 0 183 4 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=678928 CPUtime=1.83 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8876 0 0 0 179 4 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=678928 CPUtime=1.83 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 3292 0 0 0 182 1 0 0 19 0 8 0 624407970 695222272 59763 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (KiB) 678928
[startup+3.10047 s]
/proc/loadavg: 1.64 1.13 1.04 9/246 11868
/proc/meminfo: memFree=28118824/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=681076 CPUtime=24.16 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 70321 0 0 0 2379 37 0 0 21 0 8 0 624407969 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4328659 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 170269 61216 389 106 0 165240 0
[pid=11860/tid=11861] ppid=11858 vsize=681076 CPUtime=3.01 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 8908 0 0 0 297 4 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=681076 CPUtime=3.01 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9227 0 0 0 297 4 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=681076 CPUtime=3.02 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9349 0 0 0 297 5 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=681076 CPUtime=3 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9638 0 0 0 295 5 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=681076 CPUtime=3.03 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9242 0 0 0 299 4 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4332551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=681076 CPUtime=2.99 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 9271 0 0 0 295 4 0 0 21 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=681076 CPUtime=3 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 4002 0 0 0 298 2 0 0 18 0 8 0 624407970 697421824 61216 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 681076
[startup+6.30089 s]
/proc/loadavg: 1.64 1.13 1.04 9/246 11868
/proc/meminfo: memFree=28109404/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=637912 CPUtime=49.73 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 78240 0 0 0 4934 39 0 0 25 0 8 0 624407969 653221888 64310 33554432000 4194304 4627427 140733610567344 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 159478 64310 391 106 0 154449 0
[pid=11860/tid=11861] ppid=11858 vsize=637912 CPUtime=6.21 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10008 0 0 0 617 4 0 0 25 0 8 0 624407970 653221888 64310 33554432000 4194304 4627427 140733610567344 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=637912 CPUtime=6.21 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10053 0 0 0 617 4 0 0 25 0 8 0 624407970 653221888 64310 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=637912 CPUtime=6.2 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10136 0 0 0 615 5 0 0 25 0 8 0 624407970 653221888 64311 33554432000 4194304 4627427 140733610567344 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=637912 CPUtime=6.2 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10692 0 0 0 615 5 0 0 25 0 8 0 624407970 653221888 64311 33554432000 4194304 4627427 140733610567344 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=637912 CPUtime=6.23 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10176 0 0 0 619 4 0 0 25 0 8 0 624407970 653221888 64311 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=637912 CPUtime=6.2 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 10192 0 0 0 615 5 0 0 25 0 8 0 624407970 653221888 64311 33554432000 4194304 4627427 140733610567344 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=637912 CPUtime=6.19 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 4825 0 0 0 617 2 0 0 25 0 8 0 624407970 653221888 64311 33554432000 4194304 4627427 140733610567344 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (KiB) 637912
[startup+12.7007 s]
/proc/loadavg: 2.62 1.36 1.12 9/246 11868
/proc/meminfo: memFree=28028184/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=767304 CPUtime=100.87 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 104609 0 0 0 10040 47 0 0 25 0 8 0 624407969 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 191826 85479 391 106 0 186797 0
[pid=11860/tid=11861] ppid=11858 vsize=767304 CPUtime=12.6 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15294 0 0 0 1255 5 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=767304 CPUtime=12.6 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14887 0 0 0 1255 5 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=767304 CPUtime=12.56 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 13792 0 0 0 1249 7 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=767304 CPUtime=12.6 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 13179 0 0 0 1254 6 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=767304 CPUtime=12.64 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 12259 0 0 0 1259 5 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=767304 CPUtime=12.6 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 12026 0 0 0 1254 6 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=767304 CPUtime=12.6 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 6473 0 0 0 1257 3 0 0 25 0 8 0 624407970 785719296 85479 33554432000 4194304 4627427 140733610567344 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.87
Current children cumulated vsize (KiB) 767304
Solver just ended. Dumping a history of the last processes samples
[startup+13.8005 s]
/proc/loadavg: 2.62 1.36 1.12 9/246 11868
/proc/meminfo: memFree=28009212/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=767380 CPUtime=109.66 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 108992 0 0 0 10917 49 0 0 25 0 8 0 624407969 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 191845 88787 391 106 0 186816 0
[pid=11860/tid=11861] ppid=11858 vsize=767380 CPUtime=13.71 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15683 0 0 0 1365 6 0 0 25 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=767380 CPUtime=13.7 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15330 0 0 0 1365 5 0 0 18 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=767380 CPUtime=13.65 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 13995 0 0 0 1358 7 0 0 25 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=767380 CPUtime=13.7 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15244 0 0 0 1363 7 0 0 18 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=767380 CPUtime=13.73 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 13104 0 0 0 1368 5 0 0 25 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4227988 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=767380 CPUtime=13.7 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 12189 0 0 0 1364 6 0 0 25 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=767380 CPUtime=13.7 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 6574 0 0 0 1367 3 0 0 25 0 8 0 624407970 785797120 88787 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 109.66
Current children cumulated vsize (KiB) 767380
[startup+15.4092 s]
/proc/loadavg: 2.62 1.36 1.12 9/246 11869
/proc/meminfo: memFree=27994076/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=823988 CPUtime=122.51 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 114409 0 0 0 12201 50 0 0 25 0 8 0 624407969 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4327479 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 205997 91654 391 106 0 200968 0
[pid=11860/tid=11861] ppid=11858 vsize=823988 CPUtime=15.32 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16252 0 0 0 1526 6 0 0 25 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=823988 CPUtime=15.31 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15826 0 0 0 1526 5 0 0 22 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=823988 CPUtime=15.24 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14487 0 0 0 1517 7 0 0 25 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=823988 CPUtime=15.31 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15714 0 0 0 1524 7 0 0 21 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=823988 CPUtime=15.34 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14991 0 0 0 1529 5 0 0 25 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4310172 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=823988 CPUtime=15.31 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 12782 0 0 0 1525 6 0 0 25 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=823988 CPUtime=15.31 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 6936 0 0 0 1528 3 0 0 25 0 8 0 624407970 843763712 91654 33554432000 4194304 4627427 140733610567344 18446744073709551615 4327446 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 122.51
Current children cumulated vsize (KiB) 823988
[startup+17.0009 s]
/proc/loadavg: 3.05 1.47 1.15 9/246 11869
/proc/meminfo: memFree=27984776/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=833292 CPUtime=135.24 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 119822 0 0 0 13473 51 0 0 25 0 8 0 624407969 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 208323 95876 391 106 0 203294 0
[pid=11860/tid=11861] ppid=11858 vsize=833292 CPUtime=16.91 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16779 0 0 0 1685 6 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=833292 CPUtime=16.9 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 17099 0 0 0 1685 5 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=833292 CPUtime=16.82 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14946 0 0 0 1675 7 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=833292 CPUtime=16.9 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16183 0 0 0 1683 7 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=833292 CPUtime=16.93 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15631 0 0 0 1688 5 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4327473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=833292 CPUtime=16.89 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14280 0 0 0 1683 6 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=833292 CPUtime=16.9 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7049 0 0 0 1687 3 0 0 25 0 8 0 624407970 853291008 95876 33554432000 4194304 4627427 140733610567344 18446744073709551615 260020044716 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 135.24
Current children cumulated vsize (KiB) 833292
[startup+17.4009 s]
/proc/loadavg: 3.05 1.47 1.15 9/246 11869
/proc/meminfo: memFree=27984776/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=824128 CPUtime=138.44 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 120234 0 0 0 13792 52 0 0 25 0 8 0 624407969 843907072 95633 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11860/statm: 206032 95633 391 106 0 201003 0
[pid=11860/tid=11861] ppid=11858 vsize=824128 CPUtime=17.31 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16823 0 0 0 1725 6 0 0 25 0 8 0 624407970 843907072 95633 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=824128 CPUtime=17.3 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 17146 0 0 0 1725 5 0 0 25 0 8 0 624407970 843907072 95633 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=824128 CPUtime=17.22 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14992 0 0 0 1715 7 0 0 25 0 8 0 624407970 843907072 95634 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=824128 CPUtime=17.3 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16238 0 0 0 1723 7 0 0 25 0 8 0 624407970 843907072 95634 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=824128 CPUtime=17.33 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 15702 0 0 0 1728 5 0 0 25 0 8 0 624407970 843907072 95634 33554432000 4194304 4627427 140733610567344 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=824128 CPUtime=17.29 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 14310 0 0 0 1723 6 0 0 25 0 8 0 624407970 843907072 95634 33554432000 4194304 4627427 140733610567344 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=824128 CPUtime=17.3 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 7077 0 0 0 1727 3 0 0 25 0 8 0 624407970 843907072 95634 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 138.44
Current children cumulated vsize (KiB) 824128
[startup+17.8008 s]
/proc/loadavg: 3.05 1.47 1.15 9/246 11869
/proc/meminfo: memFree=27977836/32951124 swapFree=67111464/67111528
[pid=11860] ppid=11858 vsize=824128 CPUtime=140.72 cores=0-7
/proc/11860/stat : 11860 (strangenight2-m) R 11858 11860 11573 0 -1 4202496 121117 0 0 0 14020 52 0 0 25 0 8 0 624407969 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11860/statm: 206032 96516 391 106 0 201003 0
[pid=11860/tid=11861] ppid=11858 vsize=824128 CPUtime=17.71 cores=0-7
/proc/11860/task/11861/stat : 11861 (strangenight2-m) R 11858 11860 11573 0 -1 4202560 16836 0 0 0 1765 6 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11860/tid=11862] ppid=11858 vsize=824128 CPUtime=17.55 cores=0-7
/proc/11860/task/11862/stat : 11862 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 17171 0 0 0 1750 5 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 5 0 0 0
[pid=11860/tid=11863] ppid=11858 vsize=824128 CPUtime=17.46 cores=0-7
/proc/11860/task/11863/stat : 11863 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 15032 0 0 0 1739 7 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 7 0 0 0
[pid=11860/tid=11864] ppid=11858 vsize=824128 CPUtime=17.54 cores=0-7
/proc/11860/task/11864/stat : 11864 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 16261 0 0 0 1747 7 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 6 0 0 0
[pid=11860/tid=11865] ppid=11858 vsize=824128 CPUtime=17.58 cores=0-7
/proc/11860/task/11865/stat : 11865 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 15718 0 0 0 1753 5 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 1 0 0 0
[pid=11860/tid=11866] ppid=11858 vsize=824128 CPUtime=17.54 cores=0-7
/proc/11860/task/11866/stat : 11866 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 14310 0 0 0 1748 6 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 4 0 0 0
[pid=11860/tid=11867] ppid=11858 vsize=824128 CPUtime=17.54 cores=0-7
/proc/11860/task/11867/stat : 11867 (strangenight2-m) S 11858 11860 11573 0 -1 4202560 7087 0 0 0 1751 3 0 0 25 0 8 0 624407970 843907072 96516 33554432000 4194304 4627427 140733610567344 18446744073709551615 47736463853108 0 0 4096 2 18446604453978955840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 140.72
Current children cumulated vsize (KiB) 824128
Child status: 20
Real time (s): 17.8463
CPU time (s): 140.8
CPU user time (s): 140.256
CPU system time (s): 0.543917
CPU usage (%): 788.958
Max. virtual memory (cumulated for all children) (KiB): 833292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.256
system time used= 0.543917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121120
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= 34126
involuntary context switches= 740
runsolver used 0.040993 second user time and 0.098984 second system time
The end
Begin job on node110 at 2011-05-02 15:09:34
IDJOB=3321246
IDBENCH=84958
IDSOLVER=1709
FILE ID=node110/3321246-1304341774
RUNJOBID= node110-1304335483-11587
PBS_JOBID= 13178013
Free space on /tmp= 73932 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321246-1304341774/watcher-3321246-1304341774 -o /tmp/evaluation-result-3321246-1304341774/solver-3321246-1304341774 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321246-1304341774.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 51fef6c1c8ac21be9eb125cde1cdd08e
RANDOM SEED=883082984
node110.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.830
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.75
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.830
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.83
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.830
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.76
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.830
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.83
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28358300 kB
Buffers: 1051100 kB
Cached: 1526412 kB
SwapCached: 64 kB
Active: 2013820 kB
Inactive: 2144980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28358300 kB
SwapTotal: 67111528 kB
SwapFree: 67111464 kB
Dirty: 6644 kB
Writeback: 0 kB
AnonPages: 1581868 kB
Mapped: 21244 kB
Slab: 355532 kB
PageTables: 14712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 34651672 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= 73924 MiB
End job on node110 at 2011-05-02 15:09:52