0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321122-1304324076.cnf'
0.00/0.02 c -- header says num vars: 63349
0.00/0.02 c -- header says num clauses: 943492
5.46/0.94 c -- clauses added: 0 learnts, 943492 normals, 0 xors
5.46/0.94 c -- vars added 63349
5.46/0.94 c Parsing time: 0.41 s
5.46/0.94 c N st 0 0 63349 34554 907893 0 2147524 0 no data no data
8.57/1.38 c asymm cl-useful: 28/500/34031 lits-rem:1938 time: 0.42
62.13/8.06 c Flit: 608 Blit: 7126 bXBeca: 0 bXProp: 421 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.68
62.13/8.09 c Cleaning up after failed var search: 0.03 s
62.93/8.13 c Replacing 422 vars Replaced 17547 lits Time: 0.04 s
62.93/8.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
63.71/8.22 c bin-w-bin subsume rem 746 bins time: 0.05 s
64.50/8.38 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.16 s
74.77/9.69 c Subs w/ non-existent bins: 6 l-rem: 179 v-fix: 0 done: 51259 time: 1.28 s
76.41/9.88 c Removed useless bin: 8780 fixed: 0 props: 20.01M time: 0.19 s
77.96/10.02 c lits-rem: 62 cl-subs: 84 v-elim: 140 v-fix: 0 time: 0.14 s
77.96/10.05 c Finding binary XORs T: 0.02 s found: 68
77.96/10.08 c Replacing 68 vars Replaced 3543 lits Time: 0.03 s
78.76/10.11 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
78.76/10.11 c calculated reachability. Time: 0.00
78.76/10.13 c Calc default polars - time: 0.01 s pos: 1820 undec: 24980 neg: 36549
78.76/10.13 c =========================================================================================
78.76/10.13 c types(t): F = full restart, N = normal restart
78.76/10.13 c types(t): S = simplification begin/end, E = solution found
78.76/10.13 c restart types(rt): st = static, dy = dynamic
78.76/10.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
78.76/10.13 c B st 0 0 51051 25330 616641 0 1458594 0 no data no data
93.15/11.97 c N dy 17 4016 50930 25330 617046 3489 1458590 724698 13.01 13.98
111.58/14.29 c N dy 43 8075 50449 24845 604008 4568 1424230 714588 15.02 16.89
133.92/17.03 c N dy 67 12082 50223 24845 604153 8384 1424224 1877347 15.47 16.49
155.54/19.74 c N dy 89 16125 50097 24845 605587 7891 1424216 1292601 15.67 25.47
186.67/23.60 c N dy 124 20436 49166 24065 585700 6005 1373917 447754 18.96 20.23
217.09/27.47 c N dy 144 24718 49095 23445 573219 9856 1341878 2135989 18.58 19.67
219.45/27.72 c F st 147 25000 49087 23445 574061 10129 1341878 2264743 18.58 no data
269.85/34.06 c N dy 153 30000 48063 22589 553582 7766 1291698 1140069 18.58 no data
269.85/34.06 c S st 153 30000 48063 22589 553582 7766 1291698 1140069 18.58 no data
273.00/34.44 c S st 153 30500 48063 22589 553602 8245 1291698 1224170 18.58 no data
273.00/34.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
361.73/45.55 c Flit: 3985 Blit: 1040 bXBeca: 0 bXProp: 326 Bins: 566618 BRemL: 3654 BRemN: 0 P: 200.0M T: 11.00
361.73/45.59 c Cleaning up after failed var search: 0.03 s
362.53/45.65 c Replacing 326 vars Replaced 107377 lits Time: 0.06 s
362.53/45.68 c blocked clauses removed: 0 vars: 12209 tried: 40377 T: 0.02 s
363.33/45.74 c bin-w-bin subsume rem 6671 bins time: 0.05 s
364.13/45.88 c subs with bin: 269 lits-rem: 132 v-fix: 0 time: 0.14 s
369.72/46.50 c Subs w/ non-existent bins: 121 l-rem: 343 v-fix: 7 done: 26083 time: 0.63 s
370.52/46.69 c Removed useless bin: 1017 fixed: 0 props: 20.00M time: 0.19 s
371.32/46.79 c lits-rem: 2 cl-subs: 164 v-elim: 17 v-fix: 0 time: 0.10 s
384.15/48.35 c subs with bin: 174 lits-rem: 10645 v-fix: 0 time: 1.51 s
385.70/48.52 c lits-rem: 1837 cl-subs: 805 v-elim: 0 v-fix: 0 time: 0.17 s
388.11/48.89 c asymm cl-useful: 308/714/14128 lits-rem:1265 time: 0.36
389.70/49.01 c calculated reachability. Time: 0.11
389.70/49.01 c N dy 153 30500 26059 14104 492339 5094 730655 898809 18.58 no data
392.10/49.40 c Finding binary XORs T: 0.39 s found: 110
416.09/52.37 c N dy 162 34592 24352 12505 372726 8171 645415 1928047 17.70 22.18
438.47/55.12 c N dy 170 39086 23566 11974 349045 12333 612094 3207275 17.03 18.03
463.29/58.22 c Finding binary XORs T: 0.39 s found: 150
463.29/58.30 c Replacing 260 vars Replaced 30364 lits Time: 0.07 s
468.04/58.88 c N dy 173 44759 22863 11233 321296 10394 573225 1674118 16.33 17.58
472.89/59.48 c S st 175 45750 22845 11233 321313 11361 573225 1894268 16.25 12.74
476.03/59.81 c S st 175 46251 22845 11233 321338 11802 573224 1974618 16.25 no data
476.03/59.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
500.70/66.09 c Flit: 2918 Blit: 1457 bXBeca: 0 bXProp: 630 Bins: 330913 BRemL: 4066 BRemN: 0 P: 84.0M T: 6.21
500.98/66.11 c Cleaning up after failed var search: 0.02 s
500.98/66.14 c Replacing 630 vars Replaced 62853 lits Time: 0.02 s
500.98/66.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
500.98/66.15 c bin-w-bin subsume rem 6717 bins time: 0.01 s
500.98/66.17 c subs with bin: 109 lits-rem: 69 v-fix: 0 time: 0.01 s
501.27/66.22 c Subs w/ non-existent bins: 98 l-rem: 162 v-fix: 0 done: 13548 time: 0.05 s
501.27/66.24 c Removed useless bin: 439 fixed: 0 props: 2.25M time: 0.02 s
501.27/66.26 c lits-rem: 7 cl-subs: 158 v-elim: 47 v-fix: 0 time: 0.02 s
503.08/66.86 c subs with bin: 343 lits-rem: 23554 v-fix: 0 time: 0.58 s
503.38/66.96 c lits-rem: 1216 cl-subs: 1521 v-elim: 0 v-fix: 0 time: 0.09 s
503.38/66.96 c vivif2 -- cl tried 3310 cl shrink 527 lits rem 740 time: 0.01
503.38/66.99 c vivif2 -- cl tried 6276 cl shrink 4728 lits rem 84876 time: 0.03
504.00/67.18 c asymm cl-useful: 0/1697/2911 lits-rem:0 time: 0.19
504.28/67.20 c calculated reachability. Time: 0.01
504.28/67.20 c N dy 175 46251 13501 2911 91015 6040 117867 232121 16.25 no data
504.78/67.44 c Following stats are for *FIRST FINISHED THREAD ONLY*
504.78/67.44 c num threads : 8
504.78/67.44 c restarts : 235
504.78/67.44 c dynamic restarts : 223
504.78/67.44 c static restarts : 12
504.78/67.44 c full restarts : 1
504.78/67.44 c total simplify time : 0.36
504.78/67.44 c learnts DL2 : 0
504.78/67.44 c learnts size 2 : 995093
504.78/67.44 c learnts size 1 : 33400 (52.72 % of vars)
504.78/67.44 c filedLit time : 6.73 (10.07 % time)
504.78/67.44 c v-elim SatELite : 140 (0.22 % vars)
504.78/67.44 c SatELite time : 1.36 (2.03 % time)
504.78/67.44 c v-elim xor : 0 (0.00 % vars)
504.78/67.44 c xor elim time : 0.00 (0.00 % time)
504.78/67.44 c num binary xor trees : 801
504.78/67.44 c binxor trees' crown : 1040 (1.30 leafs/tree)
504.78/67.44 c bin xor find time : 0.06
504.78/67.44 c OTF clause improved : 770 (0.01 clauses/conflict)
504.78/67.44 c OTF impr. size diff : 1538 (2.00 lits/clause)
504.78/67.44 c OTF cl watch-shrink : 39704 (0.68 clauses/conflict)
504.78/67.44 c OTF cl watch-sh-lit : 1766768 (44.50 lits/clause)
504.78/67.44 c tried to recurMin cls : 0 (0.00 % of conflicts)
504.78/67.44 c updated cache : 0 (nan lits/tried recurMin)
504.78/67.44 c unit cls recevied : 1751 (5.24 % of units)
504.78/67.44 c unit cls sent : 1299 (3.89 % of units)
504.78/67.44 c bin cls recevied : 83006
504.78/67.44 c bin cls sent : 1185
504.78/67.44 c clauses over max glue : 0 (0.00 % of all clauses)
504.78/67.44 c conflicts : 58143 (870.29 / sec)
504.78/67.44 c decisions : 237922 (0.00 % random)
504.78/67.44 c bogo-props : 1312664007 (19648057.77 / sec)
504.78/67.44 c conflict literals : 25824091 (30.70 % deleted)
504.78/67.44 c Memory used : 1820.73 MB
504.78/67.44 c single-thread CPU time : 66.81 s
504.78/67.44 c all-threads sum CPU time : 501.33 s
504.78/67.44 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-3321122-1304324076/watcher-3321122-1304324076 -o /tmp/evaluation-result-3321122-1304324076/solver-3321122-1304324076 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321122-1304324076.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.24 7.55 5.70 2/194 8690
/proc/meminfo: memFree=30483208/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=92188 CPUtime=0.01 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078578 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8690/statm: 23047 352 299 106 0 18018 0
[pid=8690/tid=8691] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078578 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 248101495862 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 248101495862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078578 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=92188 CPUtime=0 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544007437 94400512 352 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078578 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.034023 s]
/proc/loadavg: 7.24 7.55 5.70 2/194 8690
/proc/meminfo: memFree=30483208/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=428184 CPUtime=0.16 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) S 8688 8690 8464 0 -1 4202496 6527 0 0 0 15 1 0 0 24 0 8 0 544007437 438460416 5767 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 107070 5780 337 106 0 102041 0
[pid=8690/tid=8691] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 762 0 0 0 2 0 0 0 24 0 8 0 544007437 438558720 5798 33554432000 4194304 4627427 140735488154832 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 952 0 0 0 2 0 0 0 24 0 8 0 544007437 438558720 5825 33554432000 4194304 4627427 140735488154832 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 487 0 0 0 2 0 0 0 25 0 8 0 544007437 438558720 5849 33554432000 4194304 4627427 140735488154832 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=428280 CPUtime=0 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 795 0 0 0 0 0 0 0 25 0 8 0 544007437 438558720 5876 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089395311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 837 0 0 0 2 0 0 0 25 0 8 0 544007437 438558720 5890 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) D 8688 8690 8464 0 -1 4202560 921 0 0 0 2 0 0 0 25 0 8 0 544007437 438558720 5890 33554432000 4194304 4627427 140735488154832 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=428280 CPUtime=0.02 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) D 8688 8690 8464 0 -1 4202560 913 0 0 0 2 0 0 0 25 0 8 0 544007437 438558720 5890 33554432000 4194304 4627427 140735488154832 18446744073709551615 4313410 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 428184
[startup+0.101049 s]
/proc/loadavg: 7.24 7.55 5.70 2/194 8690
/proc/meminfo: memFree=30483208/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=558784 CPUtime=0.56 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 37550 0 0 0 41 15 0 0 18 0 8 0 544007437 572194816 29345 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 139696 29391 339 106 0 134667 0
[pid=8690/tid=8691] ppid=8688 vsize=558784 CPUtime=0.06 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 4262 0 0 0 5 1 0 0 17 0 8 0 544007437 572194816 29401 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=566988 CPUtime=0.07 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 4761 0 0 0 6 1 0 0 17 0 8 0 544007437 580595712 29415 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=566988 CPUtime=0.06 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 5130 0 0 0 5 1 0 0 17 0 8 0 544007437 580595712 29458 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=575192 CPUtime=0.05 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 4449 0 0 0 3 2 0 0 17 0 8 0 544007437 588996608 29469 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=575192 CPUtime=0.06 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 4438 0 0 0 5 1 0 0 17 0 8 0 544007437 588996608 29524 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=575192 CPUtime=0.07 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 4517 0 0 0 5 2 0 0 17 0 8 0 544007437 588996608 29563 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=575192 CPUtime=0.07 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 4560 0 0 0 6 1 0 0 17 0 8 0 544007437 588996608 29589 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 558784
[startup+0.30299 s]
/proc/loadavg: 7.24 7.55 5.70 2/194 8690
/proc/meminfo: memFree=30483208/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=621636 CPUtime=1.9 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 50361 0 0 0 120 70 0 0 17 0 8 0 544007437 636555264 42156 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 155409 42160 341 106 0 150380 0
[pid=8690/tid=8691] ppid=8688 vsize=621636 CPUtime=0.23 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 5710 0 0 0 14 9 0 0 17 0 8 0 544007437 636555264 42161 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=621636 CPUtime=0.23 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 6349 0 0 0 15 8 0 0 17 0 8 0 544007437 636555264 42162 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=621768 CPUtime=0.21 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 6680 0 0 0 14 7 0 0 17 0 8 0 544007437 636690432 42165 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=621768 CPUtime=0.22 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 6049 0 0 0 14 8 0 0 17 0 8 0 544007437 636690432 42167 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=621768 CPUtime=0.23 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 6132 0 0 0 15 8 0 0 17 0 8 0 544007437 636690432 42168 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=621768 CPUtime=0.24 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 6120 0 0 0 14 10 0 0 17 0 8 0 544007437 636690432 42168 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=621768 CPUtime=0.23 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 6164 0 0 0 16 7 0 0 17 0 8 0 544007437 636690432 42170 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 621636
[startup+0.700907 s]
/proc/loadavg: 7.24 7.55 5.70 2/194 8690
/proc/meminfo: memFree=30483208/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=648076 CPUtime=4.27 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 72548 0 0 0 254 173 0 0 17 0 8 0 544007437 663629824 64343 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 162052 64345 341 106 0 157023 0
[pid=8690/tid=8691] ppid=8688 vsize=648208 CPUtime=0.53 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 8142 0 0 0 31 22 0 0 16 0 8 0 544007437 663764992 64346 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=648208 CPUtime=0.53 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 8947 0 0 0 33 20 0 0 16 0 8 0 544007437 663764992 64346 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=648208 CPUtime=0.5 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 9888 0 0 0 29 21 0 0 16 0 8 0 544007437 663764992 64350 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=648208 CPUtime=0.52 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 8827 0 0 0 31 21 0 0 17 0 8 0 544007437 663764992 64352 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=648208 CPUtime=0.53 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 8829 0 0 0 30 23 0 0 17 0 8 0 544007437 663764992 64355 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=648208 CPUtime=0.55 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 8614 0 0 0 33 22 0 0 17 0 8 0 544007437 663764992 64357 33554432000 4194304 4627427 140735488154832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=648208 CPUtime=0.52 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 8859 0 0 0 33 19 0 0 17 0 8 0 544007437 663764992 64358 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803246 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 648076
[startup+1.50077 s]
/proc/loadavg: 7.24 7.55 5.70 9/202 8698
/proc/meminfo: memFree=30163048/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=661940 CPUtime=10.18 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 93013 0 0 0 771 247 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 165485 84759 367 106 0 160456 0
[pid=8690/tid=8691] ppid=8688 vsize=661940 CPUtime=1.24 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 10723 0 0 0 94 30 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=661940 CPUtime=1.27 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11261 0 0 0 97 30 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=661940 CPUtime=1.24 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 12206 0 0 0 93 31 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=661940 CPUtime=1.25 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11478 0 0 0 96 29 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=661940 CPUtime=1.28 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11477 0 0 0 95 33 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=661940 CPUtime=1.29 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11083 0 0 0 98 31 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=661940 CPUtime=1.28 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11904 0 0 0 100 28 0 0 17 0 8 0 544007437 677826560 84759 33554432000 4194304 4627427 140735488154832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 661940
[startup+3.10049 s]
/proc/loadavg: 7.24 7.55 5.70 11/202 8698
/proc/meminfo: memFree=30142092/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=663128 CPUtime=22.97 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 95370 0 0 0 2049 248 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 165782 86935 367 106 0 160753 0
[pid=8690/tid=8691] ppid=8688 vsize=663128 CPUtime=2.85 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 10873 0 0 0 254 31 0 0 18 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=663128 CPUtime=2.87 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11411 0 0 0 257 30 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=663128 CPUtime=2.84 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 12348 0 0 0 253 31 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=663128 CPUtime=2.84 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11631 0 0 0 255 29 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=663128 CPUtime=2.88 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11629 0 0 0 254 34 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=663128 CPUtime=2.89 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11235 0 0 0 258 31 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=663128 CPUtime=2.87 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 13216 0 0 0 259 28 0 0 19 0 8 0 544007437 679043072 86935 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321550 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.97
Current children cumulated vsize (KiB) 663128
[startup+6.30092 s]
/proc/loadavg: 7.30 7.56 5.71 9/202 8699
/proc/meminfo: memFree=30133892/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=669740 CPUtime=48.54 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 98553 0 0 0 4604 250 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309067 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 167435 88537 369 106 0 162406 0
[pid=8690/tid=8691] ppid=8688 vsize=669740 CPUtime=6.04 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 10889 0 0 0 573 31 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308809 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=669740 CPUtime=6.07 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11430 0 0 0 577 30 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=669740 CPUtime=6.04 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 12372 0 0 0 573 31 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=669740 CPUtime=6.02 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11656 0 0 0 573 29 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=669740 CPUtime=6.09 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11649 0 0 0 575 34 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=669740 CPUtime=6.09 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 11256 0 0 0 578 31 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=669740 CPUtime=6.08 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 16244 0 0 0 578 30 0 0 25 0 8 0 544007437 685813760 88537 33554432000 4194304 4627427 140735488154832 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=8690] ppid=8688 vsize=882412 CPUtime=201.85 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 196064 0 0 0 19907 278 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 220603 130824 388 106 0 215574 0
[pid=8690/tid=8691] ppid=8688 vsize=882412 CPUtime=25.2 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 24506 0 0 0 2486 34 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=882412 CPUtime=25.23 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 23733 0 0 0 2491 32 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=882412 CPUtime=25.24 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 24714 0 0 0 2489 35 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=882412 CPUtime=25.1 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 23987 0 0 0 2477 33 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=882412 CPUtime=25.26 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 23863 0 0 0 2489 37 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=882412 CPUtime=25.26 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 23900 0 0 0 2491 35 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=882412 CPUtime=25.27 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 26390 0 0 0 2493 34 0 0 25 0 8 0 544007437 903589888 130824 33554432000 4194304 4627427 140735488154832 18446744073709551615 4329679 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.85
Current children cumulated vsize (KiB) 882412
[startup+51.101 s]
/proc/loadavg: 7.67 7.62 5.81 9/202 8700
/proc/meminfo: memFree=29446036/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1566552 CPUtime=406.49 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 406242 0 0 0 40329 320 0 0 25 0 8 0 544007437 1604149248 268835 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 391638 268836 391 106 0 386609 0
[pid=8690/tid=8691] ppid=8688 vsize=1566552 CPUtime=50.8 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 70815 0 0 0 5038 42 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1566552 CPUtime=50.83 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 54159 0 0 0 5045 38 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1566552 CPUtime=50.84 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 39871 0 0 0 5045 39 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1566552 CPUtime=50.56 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 39603 0 0 0 5019 37 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1566552 CPUtime=50.85 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 40087 0 0 0 5044 41 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1566552 CPUtime=50.86 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 36717 0 0 0 5048 38 0 0 25 0 8 0 544007437 1604149248 268837 33554432000 4194304 4627427 140735488154832 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1566552 CPUtime=50.87 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 43016 0 0 0 5050 37 0 0 25 0 8 0 544007437 1604149248 268840 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308171 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.49
Current children cumulated vsize (KiB) 1566552
Solver just ended. Dumping a history of the last processes samples
[startup+57.5009 s]
/proc/loadavg: 7.69 7.62 5.83 9/202 8700
/proc/meminfo: memFree=29234852/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1827944 CPUtime=457.66 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 474084 0 0 0 45428 338 0 0 25 0 8 0 544007437 1871814656 316436 33554432000 4194304 4627427 140735488154832 18446744073709551615 4322529 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 456986 316436 391 106 0 451957 0
[pid=8690/tid=8691] ppid=8688 vsize=1827944 CPUtime=57.2 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 85072 0 0 0 5675 45 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1827944 CPUtime=57.22 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 78113 0 0 0 5679 43 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4238603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1827944 CPUtime=57.24 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 48629 0 0 0 5682 42 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1827944 CPUtime=56.92 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 44185 0 0 0 5655 37 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1827944 CPUtime=57.25 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 44555 0 0 0 5682 43 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4321538 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1827944 CPUtime=57.25 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 40871 0 0 0 5686 39 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1827944 CPUtime=57.27 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 46813 0 0 0 5688 39 0 0 25 0 8 0 544007437 1871814656 316440 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 457.66
Current children cumulated vsize (KiB) 1827944
[startup+63.9007 s]
/proc/loadavg: 7.72 7.63 5.84 4/202 8700
/proc/meminfo: memFree=29056416/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1862612 CPUtime=494.38 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 523552 0 0 0 49086 352 0 0 19 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 465653 359333 391 106 0 460624 0
[pid=8690/tid=8691] ppid=8688 vsize=1862612 CPUtime=60.04 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 86903 0 0 0 5958 46 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1862612 CPUtime=60.15 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 80600 0 0 0 5972 43 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1862612 CPUtime=63.34 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 61957 0 0 0 6289 45 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1862612 CPUtime=63.3 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 61658 0 0 0 6288 42 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 4308241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1862612 CPUtime=60.1 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 45838 0 0 0 5966 44 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1862612 CPUtime=63.65 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 41977 0 0 0 6326 39 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195053611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1862612 CPUtime=60.11 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 48690 0 0 0 5972 39 0 0 25 0 8 0 544007437 1907314688 359333 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 494.38
Current children cumulated vsize (KiB) 1862612
[startup+65.5005 s]
/proc/loadavg: 7.34 7.55 5.82 4/202 8700
/proc/meminfo: memFree=29041780/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1864424 CPUtime=499.17 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 525880 0 0 0 49565 352 0 0 24 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 4297751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 466106 361661 391 106 0 461077 0
[pid=8690/tid=8691] ppid=8688 vsize=1864424 CPUtime=60.04 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 86903 0 0 0 5958 46 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1864424 CPUtime=60.15 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 80600 0 0 0 5972 43 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1864424 CPUtime=63.34 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 61957 0 0 0 6289 45 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1864424 CPUtime=64.91 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 62030 0 0 0 6448 43 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 4419165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1864424 CPUtime=60.1 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 45838 0 0 0 5966 44 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1864424 CPUtime=65.25 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 41977 0 0 0 6486 39 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195053611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1864424 CPUtime=60.11 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 48690 0 0 0 5972 39 0 0 25 0 8 0 544007437 1909170176 361661 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 499.17
Current children cumulated vsize (KiB) 1864424
[startup+66.3003 s]
/proc/loadavg: 7.34 7.55 5.82 4/202 8700
/proc/meminfo: memFree=29031612/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1864424 CPUtime=501.57 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 530598 0 0 0 49804 353 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 466106 365186 391 106 0 461077 0
[pid=8690/tid=8691] ppid=8688 vsize=1864424 CPUtime=60.04 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 86903 0 0 0 5958 46 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1864424 CPUtime=60.15 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 80600 0 0 0 5972 43 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1864424 CPUtime=63.34 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 61957 0 0 0 6289 45 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1864424 CPUtime=65.7 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 64830 0 0 0 6527 43 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 4424307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1864424 CPUtime=60.1 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 45838 0 0 0 5966 44 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1864424 CPUtime=66.05 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 41977 0 0 0 6566 39 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195053764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1864424 CPUtime=60.11 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 48690 0 0 0 5972 39 0 0 25 0 8 0 544007437 1909170176 365186 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 501.57
Current children cumulated vsize (KiB) 1864424
[startup+67.1072 s]
/proc/loadavg: 7.34 7.55 5.82 4/202 8700
/proc/meminfo: memFree=29024916/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=1864424 CPUtime=504 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) R 8688 8690 8464 0 -1 4202496 531192 0 0 0 50046 354 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 466106 365342 391 106 0 461077 0
[pid=8690/tid=8691] ppid=8688 vsize=1864424 CPUtime=60.04 cores=0-7
/proc/8690/task/8691/stat : 8691 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 86903 0 0 0 5958 46 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 6 0 0 0
[pid=8690/tid=8692] ppid=8688 vsize=1864424 CPUtime=60.15 cores=0-7
/proc/8690/task/8692/stat : 8692 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 80600 0 0 0 5972 43 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 2 0 0 0
[pid=8690/tid=8693] ppid=8688 vsize=1864424 CPUtime=63.34 cores=0-7
/proc/8690/task/8693/stat : 8693 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 61957 0 0 0 6289 45 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 4 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=1864424 CPUtime=66.5 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 65031 0 0 0 6607 43 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 4419558 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8690/tid=8695] ppid=8688 vsize=1864424 CPUtime=60.1 cores=0-7
/proc/8690/task/8695/stat : 8695 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 45838 0 0 0 5966 44 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 3 0 0 0
[pid=8690/tid=8696] ppid=8688 vsize=1864424 CPUtime=66.86 cores=0-7
/proc/8690/task/8696/stat : 8696 (strangenight2-m) R 8688 8690 8464 0 -1 4202560 41977 0 0 0 6647 39 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195053764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8690/tid=8697] ppid=8688 vsize=1864424 CPUtime=60.11 cores=0-7
/proc/8690/task/8697/stat : 8697 (strangenight2-m) S 8688 8690 8464 0 -1 4202560 48690 0 0 0 5972 39 0 0 25 0 8 0 544007437 1909170176 365342 33554432000 4194304 4627427 140735488154832 18446744073709551615 47523195078196 0 0 4096 2 18446604454224046912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 504
Current children cumulated vsize (KiB) 1864424
[startup+67.5011 s]
/proc/loadavg: 7.34 7.55 5.82 4/202 8700
/proc/meminfo: memFree=29024916/32950928 swapFree=66698924/67111528
[pid=8690] ppid=8688 vsize=0 CPUtime=504.92 cores=0-7
/proc/8690/stat : 8690 (strangenight2-m) Z 8688 8690 8464 0 -1 4203548 531196 0 0 0 50132 360 0 0 24 0 2 0 544007437 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8690/statm: 0 0 0 0 0 0 0
[pid=8690/tid=8694] ppid=8688 vsize=0 CPUtime=66.9 cores=0-7
/proc/8690/task/8694/stat : 8694 (strangenight2-m) R 8688 8690 8464 0 -1 4203588 65032 0 0 0 6641 49 0 0 25 0 2 0 544007437 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 504.92
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 67.5214
CPU time (s): 504.949
CPU user time (s): 501.329
CPU system time (s): 3.62045
CPU usage (%): 747.836
Max. virtual memory (cumulated for all children) (KiB): 2011424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.329
system time used= 3.62045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531196
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= 353612
involuntary context switches= 2169
runsolver used 0.113982 second user time and 0.278957 second system time
The end
Begin job on node123 at 2011-05-02 10:14:36
IDJOB=3321122
IDBENCH=82420
IDSOLVER=1709
FILE ID=node123/3321122-1304324076
RUNJOBID= node123-1304322187-8478
PBS_JOBID= 13176803
Free space on /tmp= 73968 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321122-1304324076/watcher-3321122-1304324076 -o /tmp/evaluation-result-3321122-1304324076/solver-3321122-1304324076 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321122-1304324076.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1879868264
node123.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.838
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.67
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.838
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 : 5226.15
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.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.82
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.838
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.74
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.838
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.80
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.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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: 30483488 kB
Buffers: 49896 kB
Cached: 200716 kB
SwapCached: 12720 kB
Active: 43876 kB
Inactive: 2204452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30483488 kB
SwapTotal: 67111528 kB
SwapFree: 66698924 kB
Dirty: 20980 kB
Writeback: 0 kB
AnonPages: 1992436 kB
Mapped: 16200 kB
Slab: 144916 kB
PageTables: 10256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2691076 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= 73964 MiB
End job on node123 at 2011-05-02 10:15:44