0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3394754-1306104978.cnf'
0.00/0.06 c -- header says num vars: 17064
0.00/0.06 c -- header says num clauses: 545612
2.58/0.41 c -- clauses added: 0 learnts, 545612 normals, 0 xors
2.58/0.41 c -- vars added 17064
2.58/0.41 c Parsing time: 0.25 s
2.58/0.41 c N st 0 0 17064 68679 476913 0 1608381 0 no data no data
6.85/0.96 c asymm cl-useful: 1018/1064/68679 lits-rem:16742 time: 0.54
28.90/3.75 c Flit: 1266 Blit: 0 bXBeca: 0 bXProp: 28 Bins: 0 BRemL: 0 BRemN: 0 P: 51.5M T: 2.73
28.90/3.76 c Cleaning up after failed var search: 0.02 s
28.90/3.78 c Replacing 28 vars Replaced 1985 lits Time: 0.02 s
29.57/3.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
29.57/3.87 c bin-w-bin subsume rem 405 bins time: 0.04 s
38.35/4.92 c subs with bin: 110 lits-rem: 2616 v-fix: 0 time: 1.04 s
38.35/5.00 c Subs w/ non-existent bins: 0 l-rem: 74 v-fix: 0 done: 15643 time: 0.08 s
39.15/5.09 c Removed useless bin: 3015 fixed: 0 props: 7.06M time: 0.09 s
46.43/5.91 c lits-rem: 440 cl-subs: 882 v-elim: 3990 v-fix: 0 time: 0.82 s
47.11/6.01 c Finding binary XORs T: 0.10 s found: 15
47.11/6.03 c Replacing 15 vars Replaced 2926 lits Time: 0.02 s
47.11/6.09 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
47.11/6.09 c calculated reachability. Time: 0.02
47.92/6.10 c Calc default polars - time: 0.01 s pos: 5827 undec: 5487 neg: 5750
47.92/6.10 c =========================================================================================
47.92/6.10 c types(t): F = full restart, N = normal restart
47.92/6.10 c types(t): S = simplification begin/end, E = solution found
47.92/6.10 c restart types(rt): st = static, dy = dynamic
47.92/6.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
47.92/6.10 c B st 0 0 11638 72464 321912 0 1316963 0 no data no data
53.51/6.83 c N dy 15 4072 11638 72464 322051 3798 1316948 388941 25.12 76.87
59.90/7.65 c N dy 25 8473 11638 72464 323134 7967 1316938 739262 20.86 22.23
87.85/11.14 c F st 37 25002 11638 72464 323375 14262 1316935 1664311 16.24 12.07
88.65/11.20 c N st 37 25002 11638 72464 323375 14262 1316935 1664311 16.24 12.07
97.43/12.31 c N dy 43 30002 11614 72464 324934 19104 1316914 2127142 16.24 no data
97.43/12.31 c S st 43 30002 11614 72464 324934 19104 1316914 2127142 16.24 no data
99.14/12.58 c S st 43 30504 11614 72464 325060 19477 1316913 2137828 16.24 no data
99.82/12.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
130.97/16.53 c Flit: 28 Blit: 2 bXBeca: 0 bXProp: 10 Bins: 932389 BRemL: 119062 BRemN: 1 P: 67.0M T: 3.90
131.77/16.67 c Replacing 10 vars Replaced 12882 lits Time: 0.14 s
132.56/16.76 c blocked clauses removed: 2822 vars: 608 tried: 14675 T: 0.06 s
133.45/16.87 c bin-w-bin subsume rem 3489 bins time: 0.11 s
145.32/18.30 c subs with bin: 1264 lits-rem: 39400 v-fix: 0 time: 1.43 s
146.13/18.42 c Subs w/ non-existent bins: 19 l-rem: 1367 v-fix: 0 done: 10966 time: 0.12 s
146.13/18.48 c Removed useless bin: 3345 fixed: 0 props: 2.48M time: 0.05 s
148.53/18.72 c lits-rem: 7700 cl-subs: 95 v-elim: 153 v-fix: 0 time: 0.24 s
165.28/20.81 c subs with bin: 1 lits-rem: 6831 v-fix: 0 time: 1.99 s
233.88/29.59 c lits-rem: 13940 cl-subs: 2428 v-elim: 0 v-fix: 0 time: 8.75 s
235.72/29.93 c asymm cl-useful: 754/3345/68011 lits-rem:14917 time: 0.34
235.72/29.97 c calculated reachability. Time: 0.02
235.72/29.97 c N dy 43 30504 10813 68010 965176 15411 1119977 2993575 16.24 no data
236.25/30.07 c Finding binary XORs T: 0.10 s found: 13
243.90/31.63 c N dy 62 34676 10226 68010 1356532 19452 1119977 4197502 16.46 17.77
245.09/31.84 c Finding binary XORs T: 0.08 s found: 16
251.57/32.95 c N dy 81 38748 10105 65394 1092145 21147 873115 3619804 16.65 17.64
258.75/33.80 c N dy 105 42789 10038 64408 947266 24027 844884 3425723 16.67 17.56
262.76/34.39 c S st 117 45756 9707 64408 948084 14601 844884 2334186 16.49 11.80
265.14/34.63 c S st 117 46258 9700 64408 948113 15067 844883 2344937 16.49 no data
265.14/34.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
281.04/36.91 c Flit: 52 Blit: 22 bXBeca: 0 bXProp: 22 Bins: 7445 BRemL: 126810 BRemN: 775 P: 43.9M T: 2.24
281.04/36.99 c Replacing 51 vars Replaced 35553 lits Time: 0.05 s
281.34/37.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
281.34/37.08 c bin-w-bin subsume rem 6592 bins time: 0.06 s
282.84/37.58 c subs with bin: 446 lits-rem: 5926 v-fix: 0 time: 0.51 s
283.14/37.67 c Subs w/ non-existent bins: 43 l-rem: 538 v-fix: 0 done: 9536 time: 0.09 s
283.14/37.70 c Removed useless bin: 3864 fixed: 0 props: 1.87M time: 0.03 s
284.04/37.92 c lits-rem: 1052 cl-subs: 1062 v-elim: 1362 v-fix: 0 time: 0.21 s
284.93/38.29 c subs with bin: 104 lits-rem: 10272 v-fix: 0 time: 0.36 s
285.53/38.43 c lits-rem: 3979 cl-subs: 620 v-elim: 0 v-fix: 0 time: 0.13 s
285.53/38.45 c vivif2 -- cl tried 62057 cl shrink 1511 lits rem 9170 time: 0.02
285.53/38.47 c vivif2 -- cl tried 5871 cl shrink 1482 lits rem 4544 time: 0.02
286.76/38.81 c asymm cl-useful: 206/17638/61940 lits-rem:521 time: 0.34
286.76/38.84 c calculated reachability. Time: 0.01
286.76/38.84 c N dy 117 46258 8174 61930 433091 5862 673761 752358 16.49 no data
286.76/38.84 c Following stats are for *FIRST FINISHED THREAD ONLY*
286.76/38.84 c num threads : 8
286.76/38.84 c restarts : 232
286.76/38.84 c dynamic restarts : 214
286.76/38.84 c static restarts : 18
286.76/38.84 c full restarts : 2
286.76/38.84 c total simplify time : 0.40
286.76/38.84 c learnts DL2 : 0
286.76/38.84 c learnts size 2 : 1637129
286.76/38.84 c learnts size 1 : 4661 (27.31 % of vars)
286.76/38.84 c filedLit time : 7.60 (20.78 % time)
286.76/38.84 c v-elim SatELite : 5189 (30.41 % vars)
286.76/38.84 c SatELite time : 1.61 (4.39 % time)
286.76/38.84 c v-elim xor : 0 (0.00 % vars)
286.76/38.84 c xor elim time : 0.01 (0.04 % time)
286.76/38.84 c num binary xor trees : 67
286.76/38.84 c binxor trees' crown : 84 (1.25 leafs/tree)
286.76/38.84 c bin xor find time : 0.34
286.76/38.84 c OTF clause improved : 2536 (0.03 clauses/conflict)
286.76/38.84 c OTF impr. size diff : 6739 (2.66 lits/clause)
286.76/38.84 c OTF cl watch-shrink : 70837 (0.70 clauses/conflict)
286.76/38.84 c OTF cl watch-sh-lit : 1233765 (17.42 lits/clause)
286.76/38.84 c tried to recurMin cls : 50454 (49.79 % of conflicts)
286.76/38.84 c updated cache : 0 (0.00 lits/tried recurMin)
286.76/38.84 c unit cls recevied : 334 (7.17 % of units)
286.76/38.84 c unit cls sent : 116 (2.49 % of units)
286.76/38.84 c bin cls recevied : 339796
286.76/38.84 c bin cls sent : 26669
286.76/38.84 c clauses over max glue : 0 (0.00 % of all clauses)
286.76/38.84 c conflicts : 101324 (2771.49 / sec)
286.76/38.84 c decisions : 713027 (1.64 % random)
286.76/38.84 c bogo-props : 653021977 (17861924.07 / sec)
286.76/38.84 c conflict literals : 5658724 (42.10 % deleted)
286.76/38.84 c Memory used : 1797.05 MB
286.76/38.84 c single-thread CPU time : 36.56 s
286.76/38.84 c all-threads sum CPU time : 285.18 s
286.76/38.84 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394754-1306104978/watcher-3394754-1306104978 -o /tmp/evaluation-result-3394754-1306104978/solver-3394754-1306104978 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394754-1306104978.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.45 8.00 8.05 3/417 16985
/proc/meminfo: memFree=9812004/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=92144 CPUtime=0.04 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 412 0 0 0 4 0 0 0 22 0 8 0 722096070 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266284 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16985/statm: 23036 352 299 95 0 18018 0
[pid=16985/tid=16986] ppid=16983 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266290 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=92144 CPUtime=0 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266294 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=92144 CPUtime=0 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=92144 CPUtime=0 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 722096071 94355456 352 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598266284 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.112671 s]
/proc/loadavg: 7.45 8.00 8.05 3/417 16985
/proc/meminfo: memFree=9812004/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=582036 CPUtime=0.68 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 17931 0 0 0 58 10 0 0 18 0 8 0 722096070 596004864 14086 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939295 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 145509 14102 337 95 0 140491 0
[pid=16985/tid=16986] ppid=16983 vsize=582036 CPUtime=0.08 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2232 0 0 0 8 0 0 0 17 0 8 0 722096071 596004864 14113 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=582036 CPUtime=0.09 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2363 0 0 0 8 1 0 0 18 0 8 0 722096071 596004864 14125 33554432000 4194304 4580107 140734714842368 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=582036 CPUtime=0.08 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 2516 0 0 0 7 1 0 0 17 0 8 0 722096071 596004864 14128 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 18446604449703598848 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=582036 CPUtime=0.08 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 1976 0 0 0 7 1 0 0 17 0 8 0 722096071 596004864 14130 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=582036 CPUtime=0.08 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2241 0 0 0 8 0 0 0 18 0 8 0 722096071 596004864 14130 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=582036 CPUtime=0.03 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 1981 0 0 0 2 1 0 0 17 0 8 0 722096071 596004864 14141 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 18446604449703598848 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=582036 CPUtime=0.08 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2165 0 0 0 7 1 0 0 17 0 8 0 722096071 596004864 14147 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939295 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 582036
[startup+0.202677 s]
/proc/loadavg: 7.45 8.00 8.05 3/417 16985
/proc/meminfo: memFree=9812004/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=583540 CPUtime=1.24 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) D 16983 16985 16879 0 -1 4202496 23383 0 0 0 97 27 0 0 17 0 8 0 722096070 597544960 19537 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516877495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 145885 19543 337 95 0 140867 0
[pid=16985/tid=16986] ppid=16983 vsize=583540 CPUtime=0.15 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 3020 0 0 0 13 2 0 0 17 0 8 0 722096071 597544960 19559 33554432000 4194304 4580107 140734714842368 18446744073709551615 4253218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=583540 CPUtime=0.16 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 3272 0 0 0 13 3 0 0 18 0 8 0 722096071 597544960 19578 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=583540 CPUtime=0.15 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 2919 0 0 0 12 3 0 0 17 0 8 0 722096071 597544960 19589 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 18446604449703598848 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=583540 CPUtime=0.15 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2498 0 0 0 12 3 0 0 17 0 8 0 722096071 597544960 19606 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=583540 CPUtime=0.16 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 3232 0 0 0 14 2 0 0 18 0 8 0 722096071 597544960 19625 33554432000 4194304 4580107 140734714842368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=583540 CPUtime=0.11 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 2467 0 0 0 7 4 0 0 17 0 8 0 722096071 597544960 19637 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516493786 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=583540 CPUtime=0.14 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 2629 0 0 0 11 3 0 0 17 0 8 0 722096071 597544960 19644 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 18446604449703598848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 583540
[startup+0.302618 s]
/proc/loadavg: 7.45 8.00 8.05 3/417 16985
/proc/meminfo: memFree=9812004/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=586176 CPUtime=1.88 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 31374 0 0 0 147 41 0 0 18 0 8 0 722096070 600244224 27528 33554432000 4194304 4580107 140734714842368 18446744073709551615 4353768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 146544 27541 338 95 0 141526 0
[pid=16985/tid=16986] ppid=16983 vsize=586176 CPUtime=0.24 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 4180 0 0 0 20 4 0 0 17 0 8 0 722096071 600244224 27551 33554432000 4194304 4580107 140734714842368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=586176 CPUtime=0.24 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 4518 0 0 0 20 4 0 0 18 0 8 0 722096071 600244224 27576 33554432000 4194304 4580107 140734714842368 18446744073709551615 4512312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=586308 CPUtime=0.22 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 3586 0 0 0 16 6 0 0 17 0 8 0 722096071 600379392 27588 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 18446604449703598848 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=586308 CPUtime=0.23 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 3352 0 0 0 17 6 0 0 17 0 8 0 722096071 600379392 27604 33554432000 4194304 4580107 140734714842368 18446744073709551615 4353423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=586308 CPUtime=0.24 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 4557 0 0 0 21 3 0 0 18 0 8 0 722096071 600379392 27618 33554432000 4194304 4580107 140734714842368 18446744073709551615 4353929 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=586308 CPUtime=0.19 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 3270 0 0 0 13 6 0 0 17 0 8 0 722096071 600379392 27647 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=586308 CPUtime=0.21 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 3294 0 0 0 16 5 0 0 17 0 8 0 722096071 600379392 27659 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 586176
[startup+0.944491 s]
/proc/loadavg: 7.45 8.00 8.05 3/417 16985
/proc/meminfo: memFree=9812004/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=595308 CPUtime=6.85 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 51015 0 0 0 625 60 0 0 18 0 8 0 722096070 609595392 47164 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 148827 47164 360 95 0 143809 0
[pid=16985/tid=16986] ppid=16983 vsize=595308 CPUtime=0.87 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 7004 0 0 0 80 7 0 0 18 0 8 0 722096071 609595392 47164 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=595308 CPUtime=0.88 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 6280 0 0 0 82 6 0 0 18 0 8 0 722096071 609595392 47164 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=595308 CPUtime=0.83 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 6565 0 0 0 74 9 0 0 18 0 8 0 722096071 609595392 47164 33554432000 4194304 4580107 140734714842368 18446744073709551615 4252707 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=595308 CPUtime=0.84 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 5936 0 0 0 76 8 0 0 18 0 8 0 722096071 609595392 47165 33554432000 4194304 4580107 140734714842368 18446744073709551615 4288907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=595308 CPUtime=0.87 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 6546 0 0 0 82 5 0 0 18 0 8 0 722096071 609595392 47165 33554432000 4194304 4580107 140734714842368 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=595308 CPUtime=0.8 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 5601 0 0 0 71 9 0 0 18 0 8 0 722096071 609595392 47165 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=595308 CPUtime=0.83 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 6360 0 0 0 75 8 0 0 18 0 8 0 722096071 609595392 47165 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 595308
[startup+1.51639 s]
/proc/loadavg: 7.49 8.00 8.05 8/425 16993
/proc/meminfo: memFree=9527360/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=615104 CPUtime=11.41 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 82319 0 0 0 1072 69 0 0 19 0 8 0 722096070 629866496 78468 33554432000 4194304 4580107 140734714842368 18446744073709551615 4231546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 153776 78475 360 95 0 148758 0
[pid=16985/tid=16986] ppid=16983 vsize=615104 CPUtime=1.44 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 11335 0 0 0 136 8 0 0 18 0 8 0 722096071 629866496 78475 33554432000 4194304 4580107 140734714842368 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=615104 CPUtime=1.45 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 11256 0 0 0 138 7 0 0 18 0 8 0 722096071 629866496 78475 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=615104 CPUtime=1.4 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 10060 0 0 0 129 11 0 0 19 0 8 0 722096071 629866496 78475 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=615104 CPUtime=1.41 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 10228 0 0 0 132 9 0 0 18 0 8 0 722096071 629866496 78475 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=615104 CPUtime=1.44 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 11530 0 0 0 138 6 0 0 18 0 8 0 722096071 629866496 78475 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=615104 CPUtime=1.37 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 9842 0 0 0 127 10 0 0 19 0 8 0 722096071 629866496 78478 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=615104 CPUtime=1.4 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 6678 0 0 0 132 8 0 0 18 0 8 0 722096071 629866496 78481 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 615104
[startup+3.1011 s]
/proc/loadavg: 7.49 8.00 8.05 9/425 16993
/proc/meminfo: memFree=9282088/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=978876 CPUtime=24 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 140581 0 0 0 2308 92 0 0 19 0 8 0 722096070 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 244719 136730 361 95 0 239701 0
[pid=16985/tid=16986] ppid=16983 vsize=978876 CPUtime=3.01 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 19605 0 0 0 290 11 0 0 19 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=978876 CPUtime=3.03 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 18799 0 0 0 292 11 0 0 20 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=978876 CPUtime=2.96 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 19229 0 0 0 282 14 0 0 19 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=978876 CPUtime=2.99 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 18718 0 0 0 287 12 0 0 19 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=978876 CPUtime=3.03 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 19050 0 0 0 293 10 0 0 19 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=978876 CPUtime=2.94 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 18323 0 0 0 281 13 0 0 19 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=978876 CPUtime=2.97 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 7640 0 0 0 289 8 0 0 18 0 8 0 722096071 1002369024 136730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24
Current children cumulated vsize (KiB) 978876
[startup+6.30051 s]
/proc/loadavg: 7.53 8.00 8.05 9/425 16994
/proc/meminfo: memFree=9104784/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1125220 CPUtime=49.51 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 193418 0 0 0 4844 107 0 0 18 0 8 0 722096070 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4318508 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 281305 179298 379 95 0 276287 0
[pid=16985/tid=16986] ppid=16983 vsize=1125220 CPUtime=6.21 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 26816 0 0 0 608 13 0 0 18 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1125220 CPUtime=6.23 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 26213 0 0 0 609 14 0 0 18 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1125220 CPUtime=6.1 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 26120 0 0 0 595 15 0 0 18 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4301408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1125220 CPUtime=6.18 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 26216 0 0 0 603 15 0 0 25 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1125220 CPUtime=6.22 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 26638 0 0 0 611 11 0 0 19 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4318471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1125220 CPUtime=6.14 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 25151 0 0 0 598 16 0 0 18 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1125220 CPUtime=6.17 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 10037 0 0 0 608 9 0 0 25 0 8 0 722096071 1152225280 179298 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 49389 0 0 0 2556 21 0 0 25 0 8 0 722096071 1631031296 300840 33554432000 4194304 4580107 140734714842368 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1592804 CPUtime=25.71 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 47289 0 0 0 2554 17 0 0 25 0 8 0 722096071 1631031296 300840 33554432000 4194304 4580107 140734714842368 18446744073709551615 4412948 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1592804 CPUtime=25.73 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 43280 0 0 0 2553 20 0 0 25 0 8 0 722096071 1631031296 300840 33554432000 4194304 4580107 140734714842368 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1592804 CPUtime=25.76 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 36017 0 0 0 2559 17 0 0 25 0 8 0 722096071 1631031296 300840 33554432000 4194304 4580107 140734714842368 18446744073709551615 4412108 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 205.98
Current children cumulated vsize (KiB) 1592804
[startup+32.3158 s]
/proc/loadavg: 7.56 7.98 8.04 9/425 16994
/proc/meminfo: memFree=8501400/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1712716 CPUtime=248.16 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 407354 0 0 0 24651 165 0 0 20 0 8 0 722096070 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16985/statm: 428179 328314 380 95 0 423161 0
[pid=16985/tid=16986] ppid=16983 vsize=1712716 CPUtime=30.77 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 53292 0 0 0 3056 21 0 0 19 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1712716 CPUtime=30.77 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 52002 0 0 0 3057 20 0 0 15 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598264862 0 0 4096 2 18446604449703598848 0 0 -1 4 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1712716 CPUtime=30.6 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 48277 0 0 0 3038 22 0 0 18 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598264862 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1712716 CPUtime=31.41 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 53388 0 0 0 3119 22 0 0 19 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1712716 CPUtime=31.74 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 51965 0 0 0 3156 18 0 0 18 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1712716 CPUtime=30.25 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 49686 0 0 0 3003 22 0 0 16 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4518624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1712716 CPUtime=30.36 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 43400 0 0 0 3016 20 0 0 16 0 8 0 722096071 1753821184 328314 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 248.16
Current children cumulated vsize (KiB) 1712716
[startup+35.5012 s]
/proc/loadavg: 7.60 7.98 8.04 10/425 16994
/proc/meminfo: memFree=8473124/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=272.41 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 418171 0 0 0 27074 167 0 0 22 0 8 0 722096070 1884340224 335235 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16985/statm: 460044 335235 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=33.67 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 54966 0 0 0 3346 21 0 0 21 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4224996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=33.65 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 53547 0 0 0 3345 20 0 0 19 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=33.41 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50035 0 0 0 3319 22 0 0 19 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=34.61 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55253 0 0 0 3439 22 0 0 25 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=34.93 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 53459 0 0 0 3475 18 0 0 25 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=33.45 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50064 0 0 0 3323 22 0 0 20 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=33.56 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 43664 0 0 0 3336 20 0 0 22 0 8 0 722096071 1884340224 335236 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 272.41
Current children cumulated vsize (KiB) 1840176
[startup+37.1009 s]
/proc/loadavg: 7.60 7.98 8.04 4/425 16994
/proc/meminfo: memFree=8469088/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=281.64 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 419168 0 0 0 27996 168 0 0 25 0 8 0 722096070 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 4412654 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16985/statm: 460044 336232 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=35.25 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55233 0 0 0 3504 21 0 0 25 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=34.56 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53669 0 0 0 3436 20 0 0 21 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=34.29 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 50298 0 0 0 3407 22 0 0 21 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=35.49 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 55426 0 0 0 3527 22 0 0 25 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=35.81 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53610 0 0 0 3563 18 0 0 25 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=35.03 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50073 0 0 0 3481 22 0 0 25 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598241323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=34.44 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 43664 0 0 0 3424 20 0 0 25 0 8 0 722096071 1884340224 336232 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 281.64
Current children cumulated vsize (KiB) 1840176
[startup+37.9008 s]
/proc/loadavg: 7.60 7.98 8.04 4/425 16994
/proc/meminfo: memFree=8468964/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=284.04 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 419666 0 0 0 28236 168 0 0 25 0 8 0 722096070 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4399171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16985/statm: 460044 336730 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=36.05 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55685 0 0 0 3584 21 0 0 25 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=34.56 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53669 0 0 0 3436 20 0 0 21 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=34.29 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 50298 0 0 0 3407 22 0 0 21 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=35.49 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 55426 0 0 0 3527 22 0 0 25 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=35.81 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53610 0 0 0 3563 18 0 0 25 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=35.83 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50073 0 0 0 3561 22 0 0 25 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598241476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=34.44 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 43664 0 0 0 3424 20 0 0 25 0 8 0 722096071 1884340224 336730 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 284.04
Current children cumulated vsize (KiB) 1840176
[startup+38.3007 s]
/proc/loadavg: 7.60 7.98 8.04 4/425 16994
/proc/meminfo: memFree=8468964/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=285.23 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 419720 0 0 0 28355 168 0 0 25 0 8 0 722096070 1884340224 336784 33554432000 4194304 4580107 140734714842368 18446744073709551615 246516499375 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16985/statm: 460044 336785 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=36.45 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55740 0 0 0 3624 21 0 0 25 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 4401342 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=34.56 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53669 0 0 0 3436 20 0 0 21 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=34.29 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 50298 0 0 0 3407 22 0 0 21 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=35.49 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 55426 0 0 0 3527 22 0 0 25 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=35.81 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53610 0 0 0 3563 18 0 0 25 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=36.23 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50073 0 0 0 3601 22 0 0 25 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598241323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=34.44 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 43664 0 0 0 3424 20 0 0 25 0 8 0 722096071 1884340224 336785 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 285.23
Current children cumulated vsize (KiB) 1840176
[startup+38.7006 s]
/proc/loadavg: 7.60 7.98 8.04 4/425 16994
/proc/meminfo: memFree=8468964/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=286.43 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 419881 0 0 0 28475 168 0 0 25 0 8 0 722096070 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16985/statm: 460044 336945 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=36.85 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55814 0 0 0 3664 21 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 4292903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=34.56 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53669 0 0 0 3436 20 0 0 21 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=34.29 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 50298 0 0 0 3407 22 0 0 21 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=35.49 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 55426 0 0 0 3527 22 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=35.81 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53610 0 0 0 3563 18 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=36.63 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50073 0 0 0 3641 22 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598241323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=34.44 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 43664 0 0 0 3424 20 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 286.43
Current children cumulated vsize (KiB) 1840176
[startup+38.8006 s]
/proc/loadavg: 7.60 7.98 8.04 4/425 16994
/proc/meminfo: memFree=8466372/32951124 swapFree=54282648/67111528
[pid=16985] ppid=16983 vsize=1840176 CPUtime=286.76 cores=0-7
/proc/16985/stat : 16985 (strangenight2-m) R 16983 16985 16879 0 -1 4202496 419881 0 0 0 28508 168 0 0 25 0 8 0 722096070 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16985/statm: 460044 336945 380 95 0 455026 0
[pid=16985/tid=16986] ppid=16983 vsize=1840176 CPUtime=36.97 cores=0-7
/proc/16985/task/16986/stat : 16986 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 55814 0 0 0 3676 21 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265875 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16985/tid=16987] ppid=16983 vsize=1840176 CPUtime=34.56 cores=0-7
/proc/16985/task/16987/stat : 16987 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53669 0 0 0 3436 20 0 0 21 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 5 0 0 0
[pid=16985/tid=16988] ppid=16983 vsize=1840176 CPUtime=34.29 cores=0-7
/proc/16985/task/16988/stat : 16988 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 50298 0 0 0 3407 22 0 0 21 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 0 0 0 0
[pid=16985/tid=16989] ppid=16983 vsize=1840176 CPUtime=35.49 cores=0-7
/proc/16985/task/16989/stat : 16989 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 55426 0 0 0 3527 22 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 1 0 0 0
[pid=16985/tid=16990] ppid=16983 vsize=1840176 CPUtime=35.81 cores=0-7
/proc/16985/task/16990/stat : 16990 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 53610 0 0 0 3563 18 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 3 0 0 0
[pid=16985/tid=16991] ppid=16983 vsize=1840176 CPUtime=36.75 cores=0-7
/proc/16985/task/16991/stat : 16991 (strangenight2-m) R 16983 16985 16879 0 -1 4202560 50073 0 0 0 3653 22 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598241323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16985/tid=16992] ppid=16983 vsize=1840176 CPUtime=34.44 cores=0-7
/proc/16985/task/16992/stat : 16992 (strangenight2-m) S 16983 16985 16879 0 -1 4202560 43664 0 0 0 3424 20 0 0 25 0 8 0 722096071 1884340224 336945 33554432000 4194304 4580107 140734714842368 18446744073709551615 47759598265908 0 0 4096 2 18446604449703598848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 286.76
Current children cumulated vsize (KiB) 1840176
Child status: 20
Real time (s): 38.9031
CPU time (s): 286.927
CPU user time (s): 285.184
CPU system time (s): 1.74373
CPU usage (%): 737.543
Max. virtual memory (cumulated for all children) (KiB): 1840176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.184
system time used= 1.74373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419884
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= 98092
involuntary context switches= 2269
runsolver used 0.151976 second user time and 0.403938 second system time
The end
Begin job on node134 at 2011-05-23 00:56:19
IDJOB=3394754
IDBENCH=84172
IDSOLVER=1878
FILE ID=node134/3394754-1306104978
RUNJOBID= node134-1306104977-16893
PBS_JOBID= 13388017
Free space on /tmp= 73048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394754-1306104978/watcher-3394754-1306104978 -o /tmp/evaluation-result-3394754-1306104978/solver-3394754-1306104978 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394754-1306104978.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=1297645328
node134.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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
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.831
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.83
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.831
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 : 7186.06
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.831
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.80
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.75
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.831
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 9812160 kB
Buffers: 252340 kB
Cached: 6511764 kB
SwapCached: 24380 kB
Active: 7645516 kB
Inactive: 15194220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 9812160 kB
SwapTotal: 67111528 kB
SwapFree: 54282648 kB
Dirty: 15960 kB
Writeback: 64 kB
AnonPages: 16058788 kB
Mapped: 21616 kB
Slab: 141316 kB
PageTables: 88812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 110746480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73044 MiB
End job on node134 at 2011-05-23 00:56:58