0.00/0.00 c Outputting solution to console
0.54/0.10 c Using 8 threads
0.54/0.11 c This is CryptoMiniSat 3.0.0
0.54/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.54/0.11 c Reading file 'HOME/instance-3321089-1304323091.cnf'
0.54/0.11 c -- header says num vars: 96526
0.54/0.11 c -- header says num clauses: 325263
2.14/0.47 c -- clauses added: 0 learnts, 325263 normals, 0 xors
2.14/0.47 c -- vars added 96526
2.14/0.47 c Parsing time: 0.13 s
2.14/0.47 c N st 0 0 96526 185013 136241 0 838160 0 no data no data
7.51/1.11 c asymm cl-useful: 2393/40083/185013 lits-rem:3788 time: 0.63
52.17/6.70 c Flit: 680 Blit: 3823 bXBeca: 0 bXProp: 14655 Bins: 0 BRemL: 0 BRemN: 0 P: 91.8M T: 5.60
52.17/6.73 c Cleaning up after failed var search: 0.02 s
52.96/6.81 c Replacing 14655 vars Replaced 282554 lits Time: 0.07 s
52.96/6.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
52.96/6.89 c bin-w-bin subsume rem 5299 bins time: 0.02 s
53.75/6.95 c subs with bin: 13138 lits-rem: 10274 v-fix: 0 time: 0.05 s
55.29/7.10 c Subs w/ non-existent bins: 1884 l-rem: 1295 v-fix: 2 done: 74044 time: 0.14 s
56.07/7.23 c Removed useless bin: 3763 fixed: 0 props: 18.24M time: 0.13 s
58.41/7.60 c lits-rem: 30 cl-subs: 7847 v-elim: 24681 v-fix: 0 time: 0.34 s
59.27/7.61 c Finding binary XORs T: 0.02 s found: 133
59.27/7.64 c Replacing 133 vars Replaced 1452 lits Time: 0.03 s
60.07/7.75 c Finding non-binary XORs: 0.07 s (found: 21197, avg size: 3.0)
60.07/7.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3760 locsubst: 258 time: 0.03
60.07/7.76 c calculated reachability. Time: 0.00
60.07/7.77 c Calc default polars - time: 0.01 s pos: 10446 undec: 52759 neg: 33321
60.07/7.77 c =========================================================================================
60.07/7.77 c types(t): F = full restart, N = normal restart
60.07/7.77 c types(t): S = simplification begin/end, E = solution found
60.07/7.77 c restart types(rt): st = static, dy = dynamic
60.07/7.77 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
60.07/7.77 c B st 0 0 45468 69866 44949 0 373937 0 no data no data
64.80/8.30 c Decided on static restart strategy
69.59/8.93 c N st 8 4916 45445 69866 45219 4491 373935 47155 no data no data
75.19/9.60 c Replacing 1498 vars Replaced 19505 lits Time: 0.02 s
81.58/10.45 c Finding binary XORs T: 0.02 s found: 696
81.58/10.48 c Replacing 703 vars Replaced 13118 lits Time: 0.02 s
82.38/10.53 c N st 10 11298 41231 62098 43523 8695 337825 108373 no data no data
95.97/12.24 c N st 11 17042 41079 62098 46929 14219 337825 207865 no data no data
109.52/13.91 c Finding binary XORs T: 0.02 s found: 254
109.52/13.93 c Replacing 718 vars Replaced 12375 lits Time: 0.02 s
113.50/14.44 c F st 12 25000 39888 59894 45920 13515 326906 192598 no data no data
113.50/14.47 c Replacing 5 vars Replaced 54 lits Time: 0.02 s
115.10/14.68 c N st 12 25000 39880 59870 45891 13515 326761 192577 no data no data
127.09/16.15 c Decided on static restart strategy
127.09/16.15 c N st 18 30001 39446 58917 46990 18266 322695 288186 no data no data
127.09/16.15 c S st 18 30001 39446 58917 46990 18266 322695 288186 no data no data
129.55/16.45 c S st 18 30504 39217 58917 47131 18495 322695 289656 no data no data
129.55/16.47 c x-sub: 55 x-cut: 0 vfix: 0 v-elim: 44 locsubst: 444 time: 0.02
203.78/25.76 c Flit: 625 Blit: 1891 bXBeca: 0 bXProp: 2739 Bins: 152115 BRemL: 16042 BRemN: 103 P: 158.6M T: 9.22
203.78/25.78 c Cleaning up after failed var search: 0.02 s
204.58/25.82 c Replacing 3530 vars Replaced 211162 lits Time: 0.04 s
204.58/25.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
204.58/25.88 c bin-w-bin subsume rem 25984 bins time: 0.03 s
205.39/25.91 c subs with bin: 4219 lits-rem: 4833 v-fix: 0 time: 0.03 s
206.18/26.02 c Subs w/ non-existent bins: 1125 l-rem: 563 v-fix: 8 done: 32608 time: 0.10 s
206.18/26.05 c Removed useless bin: 765 fixed: 0 props: 1.36M time: 0.03 s
206.99/26.14 c lits-rem: 833 cl-subs: 2048 v-elim: 3229 v-fix: 0 time: 0.09 s
206.99/26.17 c Replacing 3 vars Replaced 30 lits Time: 0.02 s
207.78/26.23 c subs with bin: 352 lits-rem: 8946 v-fix: 0 time: 0.04 s
208.64/26.33 c lits-rem: 2046 cl-subs: 1062 v-elim: 0 v-fix: 0 time: 0.09 s
210.17/26.59 c asymm cl-useful: 0/4041/44124 lits-rem:0 time: 0.27
210.98/26.64 c calculated reachability. Time: 0.04
210.98/26.64 c N st 18 30504 29371 44124 112641 15920 238954 401438 no data no data
212.58/26.81 c Finding binary XORs T: 0.16 s found: 1297
212.58/26.83 c Replacing 1297 vars Replaced 28142 lits Time: 0.03 s
226.23/28.54 c N st 20 37616 28021 43783 114907 22698 237179 504594 no data no data
235.52/29.77 c Finding binary XORs T: 0.13 s found: 71
245.85/31.04 c N st 21 44017 27954 43577 224034 16584 236426 594589 no data no data
248.24/31.37 c S st 22 45756 27951 43577 224049 18249 236426 621956 no data no data
250.64/31.63 c S st 22 46259 27948 43577 224119 18656 236426 624686 no data no data
250.64/31.65 c x-sub: 110 x-cut: 0 vfix: 0 v-elim: 108 locsubst: 1773 time: 0.02
365.35/46.10 c Flit: 192 Blit: 309 bXBeca: 0 bXProp: 543 Bins: 42294 BRemL: 27779 BRemN: 88 P: 137.5M T: 14.42
366.20/46.11 c Cleaning up after failed var search: 0.01 s
366.20/46.15 c Replacing 1060 vars Replaced 81268 lits Time: 0.03 s
366.20/46.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
367.02/46.25 c bin-w-bin subsume rem 93324 bins time: 0.08 s
367.02/46.28 c subs with bin: 1012 lits-rem: 558 v-fix: 0 time: 0.03 s
367.74/46.37 c Subs w/ non-existent bins: 156 l-rem: 73 v-fix: 0 done: 26202 time: 0.09 s
367.74/46.39 c Removed useless bin: 399 fixed: 0 props: 0.84M time: 0.02 s
368.54/46.45 c lits-rem: 459 cl-subs: 1331 v-elim: 394 v-fix: 1 time: 0.05 s
369.34/46.50 c subs with bin: 398 lits-rem: 2329 v-fix: 0 time: 0.03 s
369.34/46.57 c lits-rem: 951 cl-subs: 784 v-elim: 0 v-fix: 0 time: 0.06 s
370.14/46.63 c vivif2 -- cl tried 38781 cl shrink 1145 lits rem 1281 time: 0.05
370.14/46.68 c vivif2 -- cl tried 17258 cl shrink 6018 lits rem 16493 time: 0.05
374.14/47.11 c asymm cl-useful: 481/6144/38193 lits-rem:522 time: 0.43
374.14/47.16 c calculated reachability. Time: 0.04
374.14/47.16 c N st 22 46259 25807 38187 116342 17199 209844 379328 no data no data
375.80/47.34 c Finding binary XORs T: 0.18 s found: 341
375.80/47.36 c Replacing 341 vars Replaced 8119 lits Time: 0.02 s
380.53/47.92 c Replacing 423 vars Replaced 10413 lits Time: 0.02 s
416.47/59.16 c Following stats are for *FIRST FINISHED THREAD ONLY*
416.47/59.16 c num threads : 8
416.47/59.16 c restarts : 29
416.47/59.16 c dynamic restarts : 0
416.47/59.16 c static restarts : 29
416.47/59.16 c full restarts : 2
416.47/59.16 c total simplify time : 1.63
416.47/59.16 c learnts DL2 : 0
416.47/59.16 c learnts size 2 : 551089
416.47/59.16 c learnts size 1 : 19936 (20.65 % of vars)
416.47/59.16 c filedLit time : 18.31 (31.18 % time)
416.47/59.16 c v-elim SatELite : 27888 (28.89 % vars)
416.47/59.16 c SatELite time : 0.64 (1.09 % time)
416.47/59.16 c v-elim xor : 3802 (3.94 % vars)
416.47/59.16 c xor elim time : 0.05 (0.09 % time)
416.47/59.16 c num binary xor trees : 9504
416.47/59.16 c binxor trees' crown : 26802 (2.82 leafs/tree)
416.47/59.16 c bin xor find time : 1.11
416.47/59.16 c OTF clause improved : 2770 (0.03 clauses/conflict)
416.47/59.16 c OTF impr. size diff : 3790 (1.37 lits/clause)
416.47/59.16 c OTF cl watch-shrink : 50427 (0.56 clauses/conflict)
416.47/59.16 c OTF cl watch-sh-lit : 110292 (2.19 lits/clause)
416.47/59.16 c tried to recurMin cls : 8945 (10.00 % of conflicts)
416.47/59.16 c updated cache : 0 (0.00 lits/tried recurMin)
416.47/59.16 c unit cls recevied : 992 (4.98 % of units)
416.47/59.16 c unit cls sent : 697 (3.50 % of units)
416.47/59.16 c bin cls recevied : 362052
416.47/59.16 c bin cls sent : 59634
416.47/59.16 c clauses over max glue : 0 (0.00 % of all clauses)
416.47/59.16 c conflicts : 89452 (1523.26 / sec)
416.47/59.16 c decisions : 367801 (5.83 % random)
416.47/59.16 c bogo-props : 1384537434 (23576999.80 / sec)
416.47/59.16 c conflict literals : 1706428 (47.93 % deleted)
416.47/59.16 c Memory used : 2491.20 MB
416.47/59.16 c single-thread CPU time : 58.72 s
416.47/59.16 c all-threads sum CPU time : 414.33 s
416.47/59.16 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-3321089-1304323091/watcher-3321089-1304323091 -o /tmp/evaluation-result-3321089-1304323091/solver-3321089-1304323091 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321089-1304323091.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.07 7.67 5.00 1/247 23687
/proc/meminfo: memFree=27999980/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 414 0 0 0 1 0 0 0 24 0 8 0 524724640 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23687/statm: 23047 353 299 106 0 18018 0
[pid=23687/tid=23688] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0454041 s]
/proc/loadavg: 8.07 7.67 5.00 1/247 23687
/proc/meminfo: memFree=27999980/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=92188 CPUtime=0.21 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 414 0 0 0 21 0 0 0 24 0 8 0 524724640 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978614 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 23047 353 299 106 0 18018 0
[pid=23687/tid=23688] ppid=23685 vsize=92188 CPUtime=0.03 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978608 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=92188 CPUtime=0.04 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978608 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=92188 CPUtime=0.04 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=92188 CPUtime=0.04 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978604 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 92188
[startup+0.100393 s]
/proc/loadavg: 8.07 7.67 5.00 1/247 23687
/proc/meminfo: memFree=27999980/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=92188 CPUtime=0.54 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 414 0 0 0 54 0 0 0 24 0 8 0 524724640 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 23047 353 299 106 0 18018 0
[pid=23687/tid=23688] ppid=23685 vsize=92188 CPUtime=0.09 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=92188 CPUtime=0.09 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 9 0 0 0 24 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=92188 CPUtime=0.09 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=92188 CPUtime=0.09 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=92188 CPUtime=0 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=92188 CPUtime=0.06 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 8 0 524724641 94400512 353 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978610 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 92188
[startup+0.300378 s]
/proc/loadavg: 8.07 7.67 5.00 1/247 23687
/proc/meminfo: memFree=27999980/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=758004 CPUtime=1.62 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 83569 0 0 0 123 39 0 0 17 0 8 0 524724640 776196096 70174 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 189501 70177 341 106 0 184472 0
[pid=23687/tid=23688] ppid=23685 vsize=758004 CPUtime=0.2 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 9931 0 0 0 16 4 0 0 17 0 8 0 524724641 776196096 70177 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=758004 CPUtime=0.23 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 11034 0 0 0 19 4 0 0 18 0 8 0 524724641 776196096 70177 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=758004 CPUtime=0.24 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 10021 0 0 0 18 6 0 0 17 0 8 0 524724641 776196096 70177 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=758004 CPUtime=0.22 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 10448 0 0 0 18 4 0 0 17 0 8 0 524724641 776196096 70178 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=758004 CPUtime=0.1 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 11042 0 0 0 7 3 0 0 17 0 8 0 524724641 776196096 70181 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=758004 CPUtime=0.14 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 10332 0 0 0 9 5 0 0 17 0 8 0 524724641 776196096 70185 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=758004 CPUtime=0.19 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 9215 0 0 0 15 4 0 0 17 0 8 0 524724641 776196096 70195 33554432000 4194304 4627427 140734964839552 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 758004
[startup+0.701293 s]
/proc/loadavg: 8.07 7.67 5.00 1/247 23687
/proc/meminfo: memFree=27999980/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=763016 CPUtime=4.26 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 101267 0 0 0 345 81 0 0 17 0 8 0 524724640 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 190754 87827 366 106 0 185725 0
[pid=23687/tid=23688] ppid=23685 vsize=763016 CPUtime=0.53 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12657 0 0 0 43 10 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=763016 CPUtime=0.56 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12710 0 0 0 47 9 0 0 18 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=763016 CPUtime=0.55 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 11770 0 0 0 46 9 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=763016 CPUtime=0.54 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12924 0 0 0 44 10 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=763016 CPUtime=0.44 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14008 0 0 0 35 9 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=763016 CPUtime=0.47 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 11993 0 0 0 37 10 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=763016 CPUtime=0.52 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 11936 0 0 0 42 10 0 0 17 0 8 0 524724641 781328384 87827 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 763016
[startup+1.50115 s]
/proc/loadavg: 8.07 7.67 5.00 9/255 23695
/proc/meminfo: memFree=27648748/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=765392 CPUtime=10.64 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 106236 0 0 0 982 82 0 0 18 0 8 0 524724640 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 191348 92433 368 106 0 186319 0
[pid=23687/tid=23688] ppid=23685 vsize=765392 CPUtime=1.33 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13285 0 0 0 123 10 0 0 19 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4237895 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=765392 CPUtime=1.36 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13177 0 0 0 127 9 0 0 19 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=765392 CPUtime=1.35 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12420 0 0 0 126 9 0 0 19 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=765392 CPUtime=1.34 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13562 0 0 0 124 10 0 0 18 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=765392 CPUtime=1.23 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14652 0 0 0 114 9 0 0 19 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=765392 CPUtime=1.27 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12467 0 0 0 117 10 0 0 18 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=765392 CPUtime=1.31 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12739 0 0 0 121 10 0 0 18 0 8 0 524724641 783761408 92433 33554432000 4194304 4627427 140734964839552 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 765392
[startup+3.10085 s]
/proc/loadavg: 8.07 7.67 5.00 9/255 23695
/proc/meminfo: memFree=27627312/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=770844 CPUtime=23.43 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 109058 0 0 0 2260 83 0 0 22 0 8 0 524724640 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4297770 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 192711 95255 369 106 0 187682 0
[pid=23687/tid=23688] ppid=23685 vsize=770844 CPUtime=2.93 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13496 0 0 0 283 10 0 0 22 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=770844 CPUtime=2.96 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13416 0 0 0 287 9 0 0 23 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=770844 CPUtime=2.95 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12615 0 0 0 286 9 0 0 22 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=770844 CPUtime=2.94 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13747 0 0 0 284 10 0 0 22 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=770844 CPUtime=2.84 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14893 0 0 0 274 10 0 0 22 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=770844 CPUtime=2.87 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12672 0 0 0 277 10 0 0 21 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=770844 CPUtime=2.9 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14109 0 0 0 280 10 0 0 21 0 8 0 524724641 789344256 95255 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.43
Current children cumulated vsize (KiB) 770844
[startup+6.30127 s]
/proc/loadavg: 8.07 7.67 5.02 9/255 23695
/proc/meminfo: memFree=27616600/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=771560 CPUtime=49 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 109997 0 0 0 4817 83 0 0 25 0 8 0 524724640 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4239218 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 192890 96194 369 106 0 187861 0
[pid=23687/tid=23688] ppid=23685 vsize=771560 CPUtime=6.13 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13579 0 0 0 603 10 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4223952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=771560 CPUtime=6.16 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13510 0 0 0 607 9 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=771560 CPUtime=6.15 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12708 0 0 0 606 9 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=771560 CPUtime=6.14 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 13848 0 0 0 604 10 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=771560 CPUtime=6.04 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14970 0 0 0 594 10 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=771560 CPUtime=6.07 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 12764 0 0 0 597 10 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=771560 CPUtime=6.08 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 14421 0 0 0 598 10 0 0 25 0 8 0 524724641 790077440 96194 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=23687] ppid=23685 vsize=1418056 CPUtime=202.18 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) R 23685 23687 23602 0 -1 4202496 501082 0 0 0 20062 156 0 0 25 0 8 0 524724640 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308703 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 354514 246041 391 106 0 349485 0
[pid=23687/tid=23688] ppid=23685 vsize=1418056 CPUtime=25.3 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 74335 0 0 0 2507 23 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=1418056 CPUtime=25.33 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 61156 0 0 0 2512 21 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=1418056 CPUtime=25.32 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 47156 0 0 0 2516 16 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=1418056 CPUtime=25.31 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 46078 0 0 0 2515 16 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=1418056 CPUtime=25.2 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 69704 0 0 0 2502 18 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=1418056 CPUtime=25.23 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 40661 0 0 0 2507 16 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=1418056 CPUtime=25.1 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 102470 0 0 0 2490 20 0 0 25 0 8 0 524724641 1452089344 246041 33554432000 4194304 4627427 140734964839552 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.18
Current children cumulated vsize (KiB) 1418056
[startup+51.1011 s]
/proc/loadavg: 8.08 7.73 5.16 5/255 23696
/proc/meminfo: memFree=26110652/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2481024 CPUtime=396.96 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 772514 0 0 0 39470 226 0 0 25 0 8 0 524724640 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 620256 474394 391 106 0 615227 0
[pid=23687/tid=23688] ppid=23685 vsize=2481024 CPUtime=50.89 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 91900 0 0 0 5062 27 0 0 18 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2481024 CPUtime=50.89 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85554 0 0 0 5063 26 0 0 25 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2481024 CPUtime=50.92 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5065 27 0 0 25 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2481024 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2481024 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2481024 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2481024 CPUtime=50.44 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 144659 0 0 0 5013 31 0 0 18 0 8 0 524724641 2540568576 474394 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 396.96
Current children cumulated vsize (KiB) 2481024
Solver just ended. Dumping a history of the last processes samples
[startup+54.3005 s]
/proc/loadavg: 7.67 7.65 5.15 5/255 23696
/proc/meminfo: memFree=26063656/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2550984 CPUtime=406.87 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 784994 0 0 0 40459 228 0 0 25 0 8 0 524724640 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 637746 483910 391 106 0 632717 0
[pid=23687/tid=23688] ppid=23685 vsize=2550984 CPUtime=51.24 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 91901 0 0 0 5097 27 0 0 18 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2550984 CPUtime=54.09 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 87292 0 0 0 5382 27 0 0 25 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2550984 CPUtime=54.12 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5385 27 0 0 25 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2550984 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2550984 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2550984 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2550984 CPUtime=53.6 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 155400 0 0 0 5327 33 0 0 18 0 8 0 524724641 2612207616 483910 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 406.87
Current children cumulated vsize (KiB) 2550984
[startup+57.5009 s]
/proc/loadavg: 7.67 7.65 5.15 3/255 23696
/proc/meminfo: memFree=26063272/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2550984 CPUtime=413.27 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 785134 0 0 0 41099 228 0 0 25 0 8 0 524724640 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 637746 484050 391 106 0 632717 0
[pid=23687/tid=23688] ppid=23685 vsize=2550984 CPUtime=51.24 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 91901 0 0 0 5097 27 0 0 18 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2550984 CPUtime=57.29 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 87432 0 0 0 5702 27 0 0 25 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 4299695 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2550984 CPUtime=57.32 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5705 27 0 0 25 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2550984 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2550984 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2550984 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2550984 CPUtime=53.6 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 155400 0 0 0 5327 33 0 0 18 0 8 0 524724641 2612207616 484050 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 413.27
Current children cumulated vsize (KiB) 2550984
[startup+58.3088 s]
/proc/loadavg: 7.22 7.56 5.13 3/255 23696
/proc/meminfo: memFree=26062776/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2550984 CPUtime=414.89 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 785212 0 0 0 41261 228 0 0 25 0 8 0 524724640 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 637746 484128 391 106 0 632717 0
[pid=23687/tid=23688] ppid=23685 vsize=2550984 CPUtime=51.24 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 91901 0 0 0 5097 27 0 0 18 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2550984 CPUtime=58.1 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 87510 0 0 0 5783 27 0 0 25 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 4410121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2550984 CPUtime=58.13 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5786 27 0 0 25 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2550984 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2550984 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2550984 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2550984 CPUtime=53.6 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 155400 0 0 0 5327 33 0 0 18 0 8 0 524724641 2612207616 484128 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 414.89
Current children cumulated vsize (KiB) 2550984
[startup+58.7007 s]
/proc/loadavg: 7.22 7.56 5.13 3/255 23696
/proc/meminfo: memFree=26062776/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2550984 CPUtime=415.67 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 786415 0 0 0 41339 228 0 0 25 0 8 0 524724640 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 637746 484397 391 106 0 632717 0
[pid=23687/tid=23688] ppid=23685 vsize=2550984 CPUtime=51.24 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 91901 0 0 0 5097 27 0 0 18 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2550984 CPUtime=58.49 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 88713 0 0 0 5822 27 0 0 25 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 4409429 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2550984 CPUtime=58.52 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5825 27 0 0 25 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2550984 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2550984 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2550984 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2550984 CPUtime=53.6 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 155400 0 0 0 5327 33 0 0 18 0 8 0 524724641 2612207616 484397 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 415.67
Current children cumulated vsize (KiB) 2550984
[startup+59.1006 s]
/proc/loadavg: 7.22 7.56 5.13 3/255 23696
/proc/meminfo: memFree=26062776/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=2550984 CPUtime=416.47 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) S 23685 23687 23602 0 -1 4202496 786596 0 0 0 41419 228 0 0 25 0 8 0 524724640 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 637746 484548 391 106 0 632717 0
[pid=23687/tid=23688] ppid=23685 vsize=2550984 CPUtime=51.24 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 91901 0 0 0 5097 27 0 0 18 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 4 0 0 0
[pid=23687/tid=23689] ppid=23685 vsize=2550984 CPUtime=58.89 cores=0-7
/proc/23687/task/23689/stat : 23689 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 88894 0 0 0 5862 27 0 0 25 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 4309726 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=2550984 CPUtime=58.92 cores=0-7
/proc/23687/task/23690/stat : 23690 (strangenight2-m) R 23685 23687 23602 0 -1 4202560 85178 0 0 0 5865 27 0 0 25 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780953796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=2550984 CPUtime=48.53 cores=0-7
/proc/23687/task/23691/stat : 23691 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 88672 0 0 0 4826 27 0 0 25 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=2550984 CPUtime=48.49 cores=0-7
/proc/23687/task/23692/stat : 23692 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 110623 0 0 0 4821 28 0 0 25 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=2550984 CPUtime=48.38 cores=0-7
/proc/23687/task/23693/stat : 23693 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 90991 0 0 0 4810 28 0 0 25 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=2550984 CPUtime=53.6 cores=0-7
/proc/23687/task/23694/stat : 23694 (strangenight2-m) S 23685 23687 23602 0 -1 4202560 155400 0 0 0 5327 33 0 0 18 0 8 0 524724641 2612207616 484548 33554432000 4194304 4627427 140734964839552 18446744073709551615 47643780978228 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 416.47
Current children cumulated vsize (KiB) 2550984
[startup+59.2006 s]
/proc/loadavg: 7.22 7.56 5.13 3/255 23696
/proc/meminfo: memFree=26062776/32951124 swapFree=67111348/67111528
[pid=23687] ppid=23685 vsize=0 CPUtime=416.65 cores=0-7
/proc/23687/stat : 23687 (strangenight2-m) Z 23685 23687 23602 0 -1 4203548 786599 0 0 0 41433 232 0 0 18 0 2 0 524724640 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 0 0 0 0 0 0 0
[pid=23687/tid=23688] ppid=23685 vsize=0 CPUtime=51.27 cores=0-7
/proc/23687/task/23688/stat : 23688 (strangenight2-m) R 23685 23687 23602 0 -1 4203588 91901 0 0 0 5097 30 0 0 18 0 2 0 524724641 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 416.65
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 59.2694
CPU time (s): 416.72
CPU user time (s): 414.33
CPU system time (s): 2.38964
CPU usage (%): 703.094
Max. virtual memory (cumulated for all children) (KiB): 2550984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.33
system time used= 2.38964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786599
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= 99317
involuntary context switches= 2291
runsolver used 0.135979 second user time and 0.331949 second system time
The end
Begin job on node142 at 2011-05-02 09:58:12
IDJOB=3321089
IDBENCH=82357
IDSOLVER=1709
FILE ID=node142/3321089-1304323091
RUNJOBID= node142-1304322183-23616
PBS_JOBID= 13176784
Free space on /tmp= 73500 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321089-1304323091/watcher-3321089-1304323091 -o /tmp/evaluation-result-3321089-1304323091/solver-3321089-1304323091 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321089-1304323091.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=1639531112
node142.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.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
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 : 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28000392 kB
Buffers: 1148980 kB
Cached: 2149620 kB
SwapCached: 176 kB
Active: 1748460 kB
Inactive: 2688664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28000392 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 11692 kB
Writeback: 0 kB
AnonPages: 1138736 kB
Mapped: 21936 kB
Slab: 436256 kB
PageTables: 15536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 41702468 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= 73496 MiB
End job on node142 at 2011-05-02 09:59:11