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-3394164-1306092142.cnf'
0.13/0.02 c -- header says num vars: 96526
0.13/0.02 c -- header says num clauses: 325263
1.99/0.44 c -- clauses added: 0 learnts, 325263 normals, 0 xors
1.99/0.44 c -- vars added 96526
1.99/0.44 c Parsing time: 0.19 s
1.99/0.44 c N st 0 0 96526 185013 136241 0 838160 0 no data no data
7.09/1.06 c asymm cl-useful: 2393/40083/185013 lits-rem:3788 time: 0.61
45.91/5.93 c Flit: 680 Blit: 3823 bXBeca: 0 bXProp: 14655 Bins: 0 BRemL: 0 BRemN: 0 P: 91.8M T: 4.87
45.91/5.95 c Cleaning up after failed var search: 0.02 s
46.57/6.02 c Replacing 14655 vars Replaced 282554 lits Time: 0.06 s
47.33/6.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
47.33/6.15 c bin-w-bin subsume rem 5299 bins time: 0.02 s
48.10/6.21 c subs with bin: 13138 lits-rem: 10274 v-fix: 0 time: 0.05 s
48.85/6.36 c Subs w/ non-existent bins: 1884 l-rem: 1295 v-fix: 2 done: 74044 time: 0.14 s
49.64/6.48 c Removed useless bin: 3763 fixed: 0 props: 18.24M time: 0.12 s
53.52/6.93 c lits-rem: 30 cl-subs: 7847 v-elim: 24681 v-fix: 0 time: 0.36 s
53.52/6.94 c Finding binary XORs T: 0.02 s found: 133
53.52/6.97 c Replacing 133 vars Replaced 1452 lits Time: 0.03 s
54.35/7.08 c Finding non-binary XORs: 0.07 s (found: 21197, avg size: 3.0)
54.35/7.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3760 locsubst: 258 time: 0.03
54.35/7.09 c calculated reachability. Time: 0.00
55.00/7.10 c Calc default polars - time: 0.01 s pos: 10446 undec: 52759 neg: 33321
55.00/7.10 c =========================================================================================
55.00/7.10 c types(t): F = full restart, N = normal restart
55.00/7.10 c types(t): S = simplification begin/end, E = solution found
55.00/7.10 c restart types(rt): st = static, dy = dynamic
55.00/7.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
55.00/7.10 c B st 0 0 45468 69866 44949 0 373937 0 no data no data
59.00/7.66 c Decided on static restart strategy
64.59/8.33 c N st 8 4916 45445 69866 45219 4491 373935 47155 no data no data
70.18/9.01 c Replacing 1495 vars Replaced 19472 lits Time: 0.02 s
76.56/9.82 c Finding binary XORs T: 0.02 s found: 690
76.56/9.84 c Replacing 691 vars Replaced 12961 lits Time: 0.02 s
80.69/10.36 c N st 10 11298 41268 62168 43307 8698 338155 115420 no data no data
90.93/11.67 c N st 11 17042 41267 62168 43382 14216 338155 207303 no data no data
102.89/13.16 c Finding binary XORs T: 0.02 s found: 215
102.89/13.18 c Replacing 694 vars Replaced 13167 lits Time: 0.02 s
106.15/13.58 c F st 12 25000 39916 60386 45887 13348 328086 208197 no data no data
106.15/13.61 c Replacing 3 vars Replaced 25 lits Time: 0.02 s
108.46/13.81 c N st 12 25000 39913 60355 45852 13348 327927 208158 no data no data
121.24/15.41 c Decided on static restart strategy
121.24/15.41 c N st 18 30000 39891 60355 45898 18154 327926 298150 no data no data
121.24/15.41 c S st 18 30000 39891 60355 45898 18154 327926 298150 no data no data
122.84/15.68 c S st 18 30503 39775 60355 47449 18381 327926 302363 no data no data
123.71/15.72 c x-sub: 55 x-cut: 0 vfix: 0 v-elim: 44 locsubst: 430 time: 0.02
186.70/23.63 c Flit: 610 Blit: 1894 bXBeca: 0 bXProp: 2935 Bins: 217977 BRemL: 21175 BRemN: 121 P: 145.8M T: 7.72
186.70/23.65 c Cleaning up after failed var search: 0.02 s
186.70/23.69 c Replacing 3591 vars Replaced 259373 lits Time: 0.04 s
187.50/23.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
187.50/23.75 c bin-w-bin subsume rem 32500 bins time: 0.04 s
187.50/23.79 c subs with bin: 4477 lits-rem: 4993 v-fix: 0 time: 0.04 s
188.31/23.87 c Subs w/ non-existent bins: 1109 l-rem: 537 v-fix: 1 done: 32687 time: 0.08 s
189.10/23.91 c Removed useless bin: 803 fixed: 0 props: 2.57M time: 0.03 s
189.90/24.01 c lits-rem: 875 cl-subs: 2005 v-elim: 3180 v-fix: 0 time: 0.09 s
189.90/24.07 c subs with bin: 249 lits-rem: 10297 v-fix: 0 time: 0.04 s
190.70/24.19 c lits-rem: 1353 cl-subs: 1277 v-elim: 0 v-fix: 0 time: 0.10 s
193.10/24.47 c asymm cl-useful: 0/4333/44416 lits-rem:0 time: 0.29
193.97/24.54 c calculated reachability. Time: 0.04
193.97/24.54 c N st 18 30503 29506 44416 152286 15723 240726 483640 no data no data
194.83/24.69 c Finding binary XORs T: 0.15 s found: 1267
195.49/24.72 c Replacing 1267 vars Replaced 30995 lits Time: 0.03 s
206.67/26.11 c N st 20 37615 28224 44069 152133 22581 238916 586115 no data no data
224.92/28.40 c N st 21 44015 27917 43091 151890 15787 235143 430982 no data no data
228.99/29.00 c S st 22 45755 27774 43091 284729 17455 235142 739029 no data no data
230.51/29.17 c Finding binary XORs T: 0.12 s found: 513
231.31/29.20 c Replacing 970 vars Replaced 59045 lits Time: 0.03 s
232.90/29.44 c S st 22 46258 26274 41143 278013 17715 222945 730610 no data no data
232.90/29.46 c x-sub: 124 x-cut: 0 vfix: 1 v-elim: 109 locsubst: 1765 time: 0.02
332.47/42.12 c Flit: 202 Blit: 343 bXBeca: 8 bXProp: 527 Bins: 51052 BRemL: 45778 BRemN: 84 P: 142.2M T: 12.53
332.47/42.14 c Cleaning up after failed var search: 0.01 s
332.47/42.17 c Replacing 1020 vars Replaced 106385 lits Time: 0.03 s
332.47/42.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
333.99/42.32 c bin-w-bin subsume rem 115587 bins time: 0.13 s
333.99/42.35 c subs with bin: 895 lits-rem: 534 v-fix: 0 time: 0.03 s
334.79/42.41 c Subs w/ non-existent bins: 94 l-rem: 49 v-fix: 0 done: 24435 time: 0.06 s
334.79/42.43 c Removed useless bin: 275 fixed: 0 props: 1.19M time: 0.02 s
334.79/42.48 c lits-rem: 305 cl-subs: 1071 v-elim: 413 v-fix: 0 time: 0.04 s
335.58/42.53 c subs with bin: 419 lits-rem: 3293 v-fix: 0 time: 0.03 s
336.39/42.60 c lits-rem: 2141 cl-subs: 680 v-elim: 0 v-fix: 0 time: 0.07 s
336.39/42.65 c vivif2 -- cl tried 36594 cl shrink 1148 lits rem 1225 time: 0.05
336.39/42.69 c vivif2 -- cl tried 16212 cl shrink 5588 lits rem 12444 time: 0.03
340.39/43.10 c asymm cl-useful: 440/6077/35965 lits-rem:463 time: 0.41
340.39/43.14 c calculated reachability. Time: 0.04
340.39/43.15 c N st 22 46258 24022 35960 144122 16170 196615 433642 no data no data
342.10/43.33 c Finding binary XORs T: 0.18 s found: 308
342.10/43.35 c Replacing 308 vars Replaced 8916 lits Time: 0.02 s
367.14/50.04 c Following stats are for *FIRST FINISHED THREAD ONLY*
367.14/50.04 c num threads : 8
367.14/50.04 c restarts : 25
367.14/50.04 c dynamic restarts : 0
367.14/50.04 c static restarts : 25
367.14/50.04 c full restarts : 1
367.14/50.04 c total simplify time : 1.07
367.14/50.04 c learnts DL2 : 0
367.14/50.04 c learnts size 2 : 576038
367.14/50.04 c learnts size 1 : 25346 (26.26 % of vars)
367.14/50.04 c filedLit time : 15.60 (31.57 % time)
367.14/50.04 c v-elim SatELite : 27759 (28.76 % vars)
367.14/50.04 c SatELite time : 0.75 (1.51 % time)
367.14/50.04 c v-elim xor : 3801 (3.94 % vars)
367.14/50.04 c xor elim time : 0.05 (0.11 % time)
367.14/50.04 c num binary xor trees : 9155
367.14/50.04 c binxor trees' crown : 25393 (2.77 leafs/tree)
367.14/50.04 c bin xor find time : 0.67
367.14/50.04 c OTF clause improved : 2533 (0.03 clauses/conflict)
367.14/50.04 c OTF impr. size diff : 3490 (1.38 lits/clause)
367.14/50.04 c OTF cl watch-shrink : 45844 (0.56 clauses/conflict)
367.14/50.04 c OTF cl watch-sh-lit : 102006 (2.23 lits/clause)
367.14/50.04 c tried to recurMin cls : 6303 (7.73 % of conflicts)
367.14/50.04 c updated cache : 0 (0.00 lits/tried recurMin)
367.14/50.04 c unit cls recevied : 515 (2.03 % of units)
367.14/50.04 c unit cls sent : 267 (1.05 % of units)
367.14/50.04 c bin cls recevied : 182702
367.14/50.04 c bin cls sent : 182033
367.14/50.04 c clauses over max glue : 0 (0.00 % of all clauses)
367.14/50.04 c conflicts : 81556 (1650.58 / sec)
367.14/50.04 c decisions : 394843 (7.28 % random)
367.14/50.04 c bogo-props : 1215274893 (24595484.53 / sec)
367.14/50.04 c conflict literals : 1572916 (48.28 % deleted)
367.14/50.04 c Memory used : 2295.06 MB
367.14/50.04 c single-thread CPU time : 49.41 s
367.14/50.04 c all-threads sum CPU time : 364.73 s
367.14/50.04 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-3394164-1306092142/watcher-3394164-1306092142 -o /tmp/evaluation-result-3394164-1306092142/solver-3394164-1306092142 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394164-1306092142.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: 6.51 6.92 6.36 2/474 7819
/proc/meminfo: memFree=7815652/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=92144 CPUtime=0.03 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 8 0 720813924 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615154 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7819/statm: 23036 352 299 95 0 18018 0
[pid=7819/tid=7820] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615158 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615148 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615144 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=92144 CPUtime=0 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720813925 94355456 352 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403615154 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0254451 s]
/proc/loadavg: 6.51 6.92 6.36 2/474 7819
/proc/meminfo: memFree=7815652/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=92144 CPUtime=0.13 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 451 0 0 0 13 0 0 0 22 0 8 0 720813924 94355456 374 33554432000 4194304 4580107 140736437008960 18446744073709551615 4345040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 50343 378 310 95 0 45325 0
[pid=7819/tid=7820] ppid=7817 vsize=157680 CPUtime=0.02 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 10 0 0 0 2 0 0 0 23 0 8 0 720813925 161464320 379 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=157680 CPUtime=0.02 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 6 0 0 0 2 0 0 0 23 0 8 0 720813925 161464320 379 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 4 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=157680 CPUtime=0.02 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 8 0 0 0 2 0 0 0 23 0 8 0 720813925 161464320 379 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=157680 CPUtime=0.02 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 8 0 0 0 2 0 0 0 24 0 8 0 720813925 161464320 382 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=223216 CPUtime=0.01 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 11 0 0 0 1 0 0 0 24 0 8 0 720813925 228573184 385 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=223216 CPUtime=0 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 8 0 720813925 228573184 394 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=288752 CPUtime=0.01 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 8 0 0 0 1 0 0 0 24 0 8 0 720813925 295682048 399 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 92144
[startup+0.100436 s]
/proc/loadavg: 6.51 6.92 6.36 2/474 7819
/proc/meminfo: memFree=7815652/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=587608 CPUtime=0.49 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 66580 0 0 0 35 14 0 0 23 0 8 0 720813924 601710592 52173 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 146902 52197 338 95 0 141884 0
[pid=7819/tid=7820] ppid=7817 vsize=587608 CPUtime=0.07 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 8793 0 0 0 5 2 0 0 23 0 8 0 720813925 601710592 52212 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=587608 CPUtime=0.06 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 9057 0 0 0 5 1 0 0 23 0 8 0 720813925 601710592 52232 33554432000 4194304 4580107 140736437008960 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=587608 CPUtime=0.05 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 8750 0 0 0 4 1 0 0 17 0 8 0 720813925 601710592 52247 33554432000 4194304 4580107 140736437008960 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=587608 CPUtime=0.06 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 10028 0 0 0 4 2 0 0 24 0 8 0 720813925 601710592 52263 33554432000 4194304 4580107 140736437008960 18446744073709551615 208079929813 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=587608 CPUtime=0.01 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 1091 0 0 0 1 0 0 0 24 0 8 0 720813925 601710592 52275 33554432000 4194304 4580107 140736437008960 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=587608 CPUtime=0.04 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 10246 0 0 0 3 1 0 0 18 0 8 0 720813925 601710592 52279 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=587608 CPUtime=0.06 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 9781 0 0 0 5 1 0 0 18 0 8 0 720813925 601710592 52295 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 587608
[startup+0.300459 s]
/proc/loadavg: 6.51 6.92 6.36 2/474 7819
/proc/meminfo: memFree=7815652/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=691248 CPUtime=1.51 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 87557 0 0 0 99 52 0 0 17 0 8 0 720813924 707837952 72149 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 172812 72151 338 95 0 167794 0
[pid=7819/tid=7820] ppid=7817 vsize=691248 CPUtime=0.21 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 9805 0 0 0 14 7 0 0 16 0 8 0 720813925 707837952 72154 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=691248 CPUtime=0.18 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 10095 0 0 0 13 5 0 0 16 0 8 0 720813925 707837952 72155 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 4 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=691248 CPUtime=0.22 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 12393 0 0 0 14 8 0 0 18 0 8 0 720813925 707837952 72156 33554432000 4194304 4580107 140736437008960 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=691248 CPUtime=0.22 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 11531 0 0 0 13 9 0 0 18 0 8 0 720813925 707837952 72157 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=691248 CPUtime=0.07 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 9276 0 0 0 5 2 0 0 17 0 8 0 720813925 707837952 72159 33554432000 4194304 4580107 140736437008960 18446744073709551615 208079897519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=691248 CPUtime=0.16 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 12151 0 0 0 11 5 0 0 16 0 8 0 720813925 707837952 72160 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=691248 CPUtime=0.18 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 11532 0 0 0 13 5 0 0 16 0 8 0 720813925 707837952 72161 33554432000 4194304 4580107 140736437008960 18446744073709551615 208080337390 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 691248
[startup+1.05326 s]
/proc/loadavg: 6.51 6.92 6.36 2/474 7819
/proc/meminfo: memFree=7815652/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=701884 CPUtime=7.09 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 104788 0 0 0 631 78 0 0 18 0 8 0 720813924 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 175471 88898 361 95 0 170453 0
[pid=7819/tid=7820] ppid=7817 vsize=701884 CPUtime=0.93 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 11588 0 0 0 83 10 0 0 16 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=701884 CPUtime=0.86 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 11894 0 0 0 79 7 0 0 16 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=701884 CPUtime=0.93 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14000 0 0 0 81 12 0 0 18 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=701884 CPUtime=0.94 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 13693 0 0 0 81 13 0 0 18 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=701884 CPUtime=0.71 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 12716 0 0 0 66 5 0 0 18 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=701884 CPUtime=0.85 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14004 0 0 0 78 7 0 0 16 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4235649 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=701884 CPUtime=0.87 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14325 0 0 0 79 8 0 0 16 0 8 0 720813925 718729216 88898 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 701884
[startup+1.51816 s]
/proc/loadavg: 6.71 6.96 6.38 11/482 7827
/proc/meminfo: memFree=7450416/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=702872 CPUtime=10.78 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 107806 0 0 0 1000 78 0 0 19 0 8 0 720813924 719740928 91916 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292944 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 175718 91916 361 95 0 170700 0
[pid=7819/tid=7820] ppid=7817 vsize=702872 CPUtime=1.4 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 11776 0 0 0 130 10 0 0 17 0 8 0 720813925 719740928 91916 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=702872 CPUtime=1.32 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 12087 0 0 0 125 7 0 0 17 0 8 0 720813925 719740928 91916 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=702872 CPUtime=1.4 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14663 0 0 0 127 13 0 0 19 0 8 0 720813925 719740928 91916 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=702872 CPUtime=1.4 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 13914 0 0 0 127 13 0 0 19 0 8 0 720813925 719740928 91916 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=702872 CPUtime=1.15 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 13359 0 0 0 110 5 0 0 18 0 8 0 720813925 719740928 91917 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=702872 CPUtime=1.31 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14183 0 0 0 124 7 0 0 17 0 8 0 720813925 719740928 91917 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=702872 CPUtime=1.33 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14576 0 0 0 125 8 0 0 17 0 8 0 720813925 719740928 91918 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.78
Current children cumulated vsize (KiB) 702872
[startup+3.10087 s]
/proc/loadavg: 6.71 6.96 6.38 10/482 7827
/proc/meminfo: memFree=7443968/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=708416 CPUtime=23.42 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 110612 0 0 0 2263 79 0 0 23 0 8 0 720813924 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 177104 94722 362 95 0 172086 0
[pid=7819/tid=7820] ppid=7817 vsize=708416 CPUtime=2.98 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 11943 0 0 0 288 10 0 0 19 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=708416 CPUtime=2.9 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 12290 0 0 0 283 7 0 0 19 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=708416 CPUtime=2.98 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14866 0 0 0 285 13 0 0 23 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=708416 CPUtime=2.99 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14122 0 0 0 286 13 0 0 23 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 208079899650 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=708416 CPUtime=2.72 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 13615 0 0 0 267 5 0 0 22 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=708416 CPUtime=2.9 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 14374 0 0 0 283 7 0 0 19 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=708416 CPUtime=2.91 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 15942 0 0 0 283 8 0 0 19 0 8 0 720813925 725417984 94722 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.42
Current children cumulated vsize (KiB) 708416
[startup+6.30126 s]
/proc/loadavg: 6.71 6.96 6.38 9/482 7827
/proc/meminfo: memFree=7434492/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=920188 CPUtime=48.85 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 147710 0 0 0 4784 101 0 0 18 0 8 0 720813924 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4515292 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7819/statm: 230047 131299 375 95 0 225029 0
[pid=7819/tid=7820] ppid=7817 vsize=920188 CPUtime=6.17 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 15923 0 0 0 605 12 0 0 18 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4443383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=920188 CPUtime=6.09 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 16116 0 0 0 599 10 0 0 18 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4412381 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=920188 CPUtime=6.16 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 20323 0 0 0 600 16 0 0 18 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4428067 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=920188 CPUtime=6.18 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 18859 0 0 0 603 15 0 0 18 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=920188 CPUtime=5.85 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 22290 0 0 0 579 6 0 0 25 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4415721 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=920188 CPUtime=6.07 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 19404 0 0 0 595 12 0 0 18 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4515174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=920188 CPUtime=6.1 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 16229 0 0 0 602 8 0 0 25 0 8 0 720813925 942272512 131299 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=7819] ppid=7817 vsize=1460308 CPUtime=201.89 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 450607 0 0 0 20011 178 0 0 25 0 8 0 720813924 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7819/statm: 365077 246809 381 95 0 360059 0
[pid=7819/tid=7820] ppid=7817 vsize=1460308 CPUtime=25.33 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 54115 0 0 0 2510 23 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1460308 CPUtime=25.26 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 60766 0 0 0 2503 23 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1460308 CPUtime=25.32 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 36023 0 0 0 2508 24 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=1460308 CPUtime=25.35 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 37628 0 0 0 2513 22 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=1460308 CPUtime=25.03 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 39385 0 0 0 2492 11 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=1460308 CPUtime=25.22 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 40516 0 0 0 2503 19 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=1460308 CPUtime=25.29 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 121103 0 0 0 2507 22 0 0 25 0 8 0 720813925 1495355392 246809 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.89
Current children cumulated vsize (KiB) 1460308
Solver just ended. Dumping a history of the last processes samples
[startup+25.9005 s]
/proc/loadavg: 7.08 7.02 6.41 9/482 7827
/proc/meminfo: memFree=6826040/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=1463328 CPUtime=205.06 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 453390 0 0 0 20328 178 0 0 25 0 8 0 720813924 1498447872 249592 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7819/statm: 365832 249592 381 95 0 360814 0
[pid=7819/tid=7820] ppid=7817 vsize=1463328 CPUtime=25.73 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 54177 0 0 0 2550 23 0 0 25 0 8 0 720813925 1498447872 249592 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=1463328 CPUtime=25.65 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 60908 0 0 0 2542 23 0 0 25 0 8 0 720813925 1498447872 249592 33554432000 4194304 4580107 140736437008960 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=1463328 CPUtime=25.72 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 37471 0 0 0 2548 24 0 0 25 0 8 0 720813925 1498447872 249595 33554432000 4194304 4580107 140736437008960 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=1463328 CPUtime=25.75 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 38476 0 0 0 2553 22 0 0 25 0 8 0 720813925 1498447872 249598 33554432000 4194304 4580107 140736437008960 18446744073709551615 4225221 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=1463328 CPUtime=25.43 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 39390 0 0 0 2532 11 0 0 25 0 8 0 720813925 1498447872 249599 33554432000 4194304 4580107 140736437008960 18446744073709551615 4303672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=1463328 CPUtime=25.62 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 40747 0 0 0 2543 19 0 0 25 0 8 0 720813925 1498447872 249600 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=1463328 CPUtime=25.69 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 121127 0 0 0 2547 22 0 0 25 0 8 0 720813925 1498447872 249606 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 205.06
Current children cumulated vsize (KiB) 1463328
[startup+38.7011 s]
/proc/loadavg: 7.28 7.07 6.43 9/482 7828
/proc/meminfo: memFree=6206800/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=2171724 CPUtime=305.61 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) R 7817 7819 7428 0 -1 4202496 624124 0 0 0 30332 229 0 0 25 0 8 0 720813924 2223845376 409925 33554432000 4194304 4580107 140736437008960 18446744073709551615 4234187 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 542931 409926 381 95 0 537913 0
[pid=7819/tid=7820] ppid=7817 vsize=2171724 CPUtime=37.94 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 63446 0 0 0 3768 26 0 0 23 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4302561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=2171724 CPUtime=37.75 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 68797 0 0 0 3750 25 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=2171724 CPUtime=38.47 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 65626 0 0 0 3815 32 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=2171724 CPUtime=38.35 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 66369 0 0 0 3806 29 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=2171724 CPUtime=38.23 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 76707 0 0 0 3802 21 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4406388 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=2171724 CPUtime=38.36 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 74467 0 0 0 3807 29 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=2171724 CPUtime=38.38 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 138647 0 0 0 3809 29 0 0 25 0 8 0 720813925 2223845376 409926 33554432000 4194304 4580107 140736437008960 18446744073709551615 4235151 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 305.61
Current children cumulated vsize (KiB) 2171724
[startup+45.1008 s]
/proc/loadavg: 7.26 7.07 6.44 9/482 7828
/proc/meminfo: memFree=6042996/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=2317748 CPUtime=353.64 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) S 7817 7819 7428 0 -1 4202496 670623 0 0 0 35122 242 0 0 25 0 8 0 720813924 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 579437 446139 381 95 0 574419 0
[pid=7819/tid=7820] ppid=7817 vsize=2317748 CPUtime=44.34 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 68550 0 0 0 4407 27 0 0 18 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=2317748 CPUtime=43.27 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 75289 0 0 0 4301 26 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=2317748 CPUtime=44.33 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 67257 0 0 0 4400 33 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=2317748 CPUtime=44.75 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 67843 0 0 0 4446 29 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=2317748 CPUtime=44.08 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 78968 0 0 0 4387 21 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=2317748 CPUtime=44.11 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 79327 0 0 0 4381 30 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 7 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=2317748 CPUtime=44.79 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 160501 0 0 0 4440 39 0 0 25 0 8 0 720813925 2373373952 446139 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 353.64
Current children cumulated vsize (KiB) 2317748
[startup+48.3012 s]
/proc/loadavg: 6.92 7.00 6.42 4/482 7828
/proc/meminfo: memFree=6008648/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=2329576 CPUtime=363.24 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) S 7817 7819 7428 0 -1 4202496 679134 0 0 0 36076 248 0 0 25 0 8 0 720813924 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 582394 453390 381 95 0 577376 0
[pid=7819/tid=7820] ppid=7817 vsize=2329576 CPUtime=47.54 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 71062 0 0 0 4726 28 0 0 18 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 4502095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=2329576 CPUtime=43.27 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 75289 0 0 0 4301 26 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=2329576 CPUtime=44.33 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 67257 0 0 0 4400 33 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=2329576 CPUtime=47.95 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 67843 0 0 0 4766 29 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403590340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=2329576 CPUtime=44.08 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 78968 0 0 0 4387 21 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=2329576 CPUtime=44.11 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 79327 0 0 0 4381 30 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 7 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=2329576 CPUtime=47.99 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 166500 0 0 0 4755 44 0 0 25 0 8 0 720813925 2385485824 453390 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 363.24
Current children cumulated vsize (KiB) 2329576
[startup+49.1011 s]
/proc/loadavg: 6.92 7.00 6.42 4/482 7828
/proc/meminfo: memFree=5999100/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=2339452 CPUtime=365.33 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) S 7817 7819 7428 0 -1 4202496 683981 0 0 0 36283 250 0 0 25 0 8 0 720813924 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 584863 458222 381 95 0 579845 0
[pid=7819/tid=7820] ppid=7817 vsize=2339452 CPUtime=48.03 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 71219 0 0 0 4775 28 0 0 18 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=2339452 CPUtime=43.27 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 75289 0 0 0 4301 26 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=2339452 CPUtime=44.33 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 67257 0 0 0 4400 33 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=2339452 CPUtime=48.75 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 67843 0 0 0 4846 29 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403590340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=2339452 CPUtime=44.08 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 78968 0 0 0 4387 21 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=2339452 CPUtime=44.11 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 79327 0 0 0 4381 30 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 7 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=2339452 CPUtime=48.79 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 171190 0 0 0 4833 46 0 0 25 0 8 0 720813925 2395598848 458222 33554432000 4194304 4580107 140736437008960 18446744073709551615 4515472 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 365.33
Current children cumulated vsize (KiB) 2339452
[startup+49.9169 s]
/proc/loadavg: 6.92 7.00 6.42 3/482 7828
/proc/meminfo: memFree=5966984/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=2350136 CPUtime=366.97 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) S 7817 7819 7428 0 -1 4202496 688360 0 0 0 36446 251 0 0 25 0 8 0 720813924 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 587534 462032 381 95 0 582516 0
[pid=7819/tid=7820] ppid=7817 vsize=2350136 CPUtime=48.03 cores=0-7
/proc/7819/task/7820/stat : 7820 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 71219 0 0 0 4775 28 0 0 18 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7821] ppid=7817 vsize=2350136 CPUtime=43.27 cores=0-7
/proc/7819/task/7821/stat : 7821 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 75289 0 0 0 4301 26 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 6 0 0 0
[pid=7819/tid=7822] ppid=7817 vsize=2350136 CPUtime=44.33 cores=0-7
/proc/7819/task/7822/stat : 7822 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 67257 0 0 0 4400 33 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 1 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=2350136 CPUtime=49.57 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 67843 0 0 0 4928 29 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403590187 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7819/tid=7824] ppid=7817 vsize=2350136 CPUtime=44.08 cores=0-7
/proc/7819/task/7824/stat : 7824 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 78968 0 0 0 4387 21 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 5 0 0 0
[pid=7819/tid=7825] ppid=7817 vsize=2350136 CPUtime=44.11 cores=0-7
/proc/7819/task/7825/stat : 7825 (strangenight2-m) S 7817 7819 7428 0 -1 4202560 79327 0 0 0 4381 30 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 46953403614772 0 0 4096 2 18446604468767897792 0 0 -1 7 0 0 0
[pid=7819/tid=7826] ppid=7817 vsize=2350136 CPUtime=49.6 cores=0-7
/proc/7819/task/7826/stat : 7826 (strangenight2-m) R 7817 7819 7428 0 -1 4202560 175569 0 0 0 4914 46 0 0 25 0 8 0 720813925 2406539264 462032 33554432000 4194304 4580107 140736437008960 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 366.97
Current children cumulated vsize (KiB) 2350136
[startup+50.1009 s]
/proc/loadavg: 6.92 7.00 6.42 3/482 7828
/proc/meminfo: memFree=5966984/32950928 swapFree=56454924/67111528
[pid=7819] ppid=7817 vsize=0 CPUtime=367.28 cores=0-7
/proc/7819/stat : 7819 (strangenight2-m) Z 7817 7819 7428 0 -1 4203548 688364 0 0 0 36472 256 0 0 18 0 2 0 720813924 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7819/statm: 0 0 0 0 0 0 0
[pid=7819/tid=7823] ppid=7817 vsize=0 CPUtime=49.76 cores=0-7
/proc/7819/task/7823/stat : 7823 (strangenight2-m) R 7817 7819 7428 0 -1 4202564 67846 0 0 0 4941 35 0 0 25 0 2 0 720813925 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 367.28
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 50.1296
CPU time (s): 367.32
CPU user time (s): 364.727
CPU system time (s): 2.5936
CPU usage (%): 732.74
Max. virtual memory (cumulated for all children) (KiB): 2350136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.727
system time used= 2.59361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688364
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= 143589
involuntary context switches= 12608
runsolver used 0.239963 second user time and 0.579911 second system time
The end
Begin job on node127 at 2011-05-22 21:22:23
IDJOB=3394164
IDBENCH=82357
IDSOLVER=1878
FILE ID=node127/3394164-1306092142
RUNJOBID= node127-1306090631-7442
PBS_JOBID= 13387935
Free space on /tmp= 73336 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394164-1306092142/watcher-3394164-1306092142 -o /tmp/evaluation-result-3394164-1306092142/solver-3394164-1306092142 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394164-1306092142.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=488572360
node127.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.823
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.64
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.823
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.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
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.86
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.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
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.60
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.823
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: 32950928 kB
MemFree: 7815808 kB
Buffers: 216148 kB
Cached: 3845192 kB
SwapCached: 19444 kB
Active: 8040524 kB
Inactive: 16827884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 7815808 kB
SwapTotal: 67111528 kB
SwapFree: 56454924 kB
Dirty: 11556 kB
Writeback: 0 kB
AnonPages: 20794884 kB
Mapped: 31648 kB
Slab: 100340 kB
PageTables: 94360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 119724408 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= 73332 MiB
End job on node127 at 2011-05-22 21:23:13