0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3321227-1304332712.cnf'
0.00/0.01 c -- header says num vars: 15364
0.00/0.01 c -- header says num clauses: 2210893
9.73/1.32 c -- clauses added: 0 learnts, 2210893 normals, 0 xors
9.73/1.32 c -- vars added 15364
9.73/1.32 c Parsing time: 1.11 s
9.73/1.32 c N st 0 0 15364 2169520 39444 0 20327211 0 no data no data
12.90/1.73 c asymm cl-useful: 0/4577/2168587 lits-rem:0 time: 0.30
68.05/8.70 c Flit: 20 Blit: 0 bXBeca: 0 bXProp: 136 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.94
93.63/11.81 c Replacing 136 vars Replaced 1510727 lits Time: 3.09 s
102.32/13.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
102.32/13.11 c bin-w-bin subsume rem 706 bins time: 0.01 s
120.64/15.46 c subs with bin: 6661 lits-rem: 241 v-fix: 0 time: 2.35 s
121.38/15.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2881 time: 0.04 s
121.38/15.55 c Removed useless bin: 0 fixed: 0 props: 3.91M time: 0.05 s
6809.72/852.25 c lits-rem: 0 cl-subs: 21348 v-elim: 1112 v-fix: 0 time: 836.52 s
6809.72/852.28 c Finding binary XORs T: 0.03 s found: 0
6810.52/852.39 c calculated reachability. Time: 0.01
6811.36/852.46 c Calc default polars - time: 0.07 s pos: 430 undec: 2220 neg: 12714
6811.36/852.46 c =========================================================================================
6811.36/852.46 c types(t): F = full restart, N = normal restart
6811.36/852.46 c types(t): S = simplification begin/end, E = solution found
6811.36/852.46 c restart types(rt): st = static, dy = dynamic
6811.36/852.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6811.36/852.46 c B st 0 0 13144 2141932 34626 0 19740814 0 no data no data
6824.91/854.20 c N dy 20 4199 13137 2141932 34720 4036 19740814 162281 9.09 9.67
6841.70/856.21 c N dy 43 8206 13137 2141932 35523 7912 19740814 314842 9.04 11.65
6854.47/857.83 c Finding binary XORs T: 0.03 s found: 2
6863.27/858.92 c N dy 71 12215 13133 2133538 35683 11772 19693754 482124 9.66 11.34
6872.06/860.04 c N dy 91 16257 13130 2133538 35759 15712 19693754 656706 9.73 13.59
6886.44/861.80 c N dy 114 20348 13130 2133538 35976 10017 19693745 200960 9.75 10.42
6896.83/863.10 c N dy 140 24520 13130 2133538 36025 14110 19693743 376675 9.89 10.48
6897.63/863.24 c F st 144 25001 13129 2133538 36152 14582 19693743 398755 9.91 7.74
6899.27/863.41 c Replacing 2 vars Replaced 20 lits Time: 0.08 s
6912.02/865.08 c N dy 150 30000 13127 2133534 36187 19476 19693693 609008 9.91 no data
6912.02/865.08 c S st 150 30000 13127 2133534 36187 19476 19693693 609008 9.91 no data
6916.86/865.68 c Finding binary XORs T: 0.02 s found: 0
6930.40/867.32 c S st 150 30500 13127 2133534 36200 19960 19693693 621391 9.91 no data
6931.20/867.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
6999.93/876.03 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 404727 BRemL: 227955 BRemN: 0 P: 200.1M T: 8.61
7005.58/876.71 c blocked clauses removed: 0 vars: 0 tried: 13126 T: 0.01 s
7005.58/876.74 c bin-w-bin subsume rem 541 bins time: 0.03 s
7062.19/883.87 c subs with bin: 9785 lits-rem: 131675 v-fix: 0 time: 7.13 s
7062.99/883.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 219 time: 0.04 s
7062.99/883.97 c Removed useless bin: 14 fixed: 0 props: 1.44M time: 0.03 s
13359.21/1671.78 c lits-rem: 0 cl-subs: 69520 v-elim: 213 v-fix: 0 time: 787.70 s
13360.86/1671.91 c subs with bin: 159 lits-rem: 1710 v-fix: 0 time: 0.10 s
19655.91/2459.41 c lits-rem: 5 cl-subs: 1381 v-elim: 0 v-fix: 0 time: 786.96 s
19660.70/2460.04 c asymm cl-useful: 0/2897/2051530 lits-rem:0 time: 0.63
19661.50/2460.15 c calculated reachability. Time: 0.01
19661.50/2460.15 c N dy 150 30500 12913 2051530 194197 9650 18987765 502147 9.91 no data
19661.50/2460.19 c Finding binary XORs T: 0.04 s found: 0
19675.88/2461.93 c Finding binary XORs T: 0.04 s found: 47
19689.48/2463.61 c N dy 172 34622 12878 2050336 398731 13615 18955787 1111237 9.88 10.43
19708.66/2466.00 c Finding binary XORs T: 0.04 s found: 0
19721.45/2467.60 c N dy 196 38686 12878 2050335 493362 17597 18955776 1496369 9.98 13.20
19751.03/2471.30 c N dy 216 42706 12878 2050335 493372 11368 18955776 1101704 9.94 12.76
19764.61/2473.04 c S st 233 45752 12878 2050335 493379 14390 18955774 1279199 9.94 8.63
19784.61/2475.52 c S st 233 46253 12878 2050335 493383 14887 18955774 1294008 9.94 no data
19785.40/2475.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
19879.72/2487.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 72391 BRemL: 224087 BRemN: 2 P: 200.0M T: 11.83
19882.92/2487.83 c Replacing 47 vars Replaced 223011 lits Time: 0.36 s
19889.32/2488.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19889.32/2488.66 c bin-w-bin subsume rem 3043 bins time: 0.05 s
20068.38/2511.09 c subs with bin: 23147 lits-rem: 5440 v-fix: 0 time: 22.43 s
20069.18/2511.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 616 time: 0.06 s
20070.03/2511.23 c Removed useless bin: 175 fixed: 0 props: 1.79M time: 0.05 s
25947.79/3246.59 c lits-rem: 0 cl-subs: 51735 v-elim: 127 v-fix: 0 time: 735.28 s
25950.19/3246.89 c subs with bin: 96 lits-rem: 1159 v-fix: 0 time: 0.26 s
32239.74/4033.67 c lits-rem: 0 cl-subs: 274 v-elim: 0 v-fix: 0 time: 786.25 s
32246.89/4034.53 c vivif2 -- cl tried 1440812 cl shrink 91 lits rem 91 time: 0.86
32246.89/4034.57 c vivif2 -- cl tried 12081 cl shrink 957 lits rem 1936 time: 0.03
32250.89/4035.04 c asymm cl-useful: 0/2245/1975306 lits-rem:0 time: 0.47
32251.69/4035.15 c calculated reachability. Time: 0.01
32251.69/4035.15 c N dy 233 46253 12704 1975306 326282 12065 18486891 801669 9.94 no data
32251.69/4035.19 c Finding binary XORs T: 0.04 s found: 0
32275.72/4038.14 c Finding binary XORs T: 0.04 s found: 3
32277.26/4038.37 c N dy 254 50479 12569 1963700 400501 15633 18259403 1135863 9.91 10.84
32301.30/4041.33 c N dy 280 55057 12569 1963700 400505 20171 18259402 1360107 9.99 10.78
32330.82/4045.08 c N dy 306 59244 12569 1963700 400578 24319 18259402 1569195 10.02 10.55
32351.61/4047.69 c N dy 330 63408 12569 1963700 400602 28440 18259402 1749259 10.02 10.66
32370.80/4050.04 c N dy 354 67534 12569 1963700 400605 18086 18259402 1102197 10.03 12.57
32379.59/4051.12 c S st 361 69379 12569 1963700 400606 19918 18259402 1205083 10.01 no data
32395.57/4053.16 c S st 361 69887 12569 1963700 400607 20424 18259401 1219554 10.01 no data
32396.37/4053.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
32475.51/4063.18 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 15235 BRemL: 186926 BRemN: 4 P: 200.0M T: 9.91
32477.16/4063.40 c Replacing 6 vars Replaced 425 lits Time: 0.22 s
32483.50/4064.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
32483.50/4064.19 c bin-w-bin subsume rem 1548 bins time: 0.03 s
32652.17/4085.22 c subs with bin: 25196 lits-rem: 2300 v-fix: 0 time: 21.03 s
32652.17/4085.28 c Subs w/ non-existent bins: 22 l-rem: 0 v-fix: 0 done: 1751 time: 0.06 s
32653.01/4085.33 c Removed useless bin: 11 fixed: 0 props: 1.69M time: 0.05 s
38474.05/4813.52 c lits-rem: 0 cl-subs: 3172 v-elim: 55 v-fix: 0 time: 728.09 s
38480.39/4814.34 c subs with bin: 314 lits-rem: 3375 v-fix: 0 time: 0.78 s
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-3321227-1304332712/watcher-3321227-1304332712 -o /tmp/evaluation-result-3321227-1304332712/solver-3321227-1304332712 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321227-1304332712.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: 0.08 0.17 2.24 2/186 8356
/proc/meminfo: memFree=24970756/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 47515830032306 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 23047 353 299 106 0 18018 0
[pid=8356/tid=8357] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 47515830032306 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 47515830032310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 47515830032300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=92188 CPUtime=0 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871258 94400512 353 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.058534 s]
/proc/loadavg: 0.08 0.17 2.24 2/186 8356
/proc/meminfo: memFree=24970756/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=490544 CPUtime=0.37 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) D 8354 8356 8329 0 -1 4202496 9175 0 0 0 31 6 0 0 18 0 8 0 544871258 502317056 9057 33554432000 4194304 4627427 140737355866784 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 122654 9092 339 106 0 117625 0
[pid=8356/tid=8357] ppid=8354 vsize=490896 CPUtime=0.05 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 1161 0 0 0 4 1 0 0 18 0 8 0 544871258 502677504 9199 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=491468 CPUtime=0.04 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 1157 0 0 0 4 0 0 0 18 0 8 0 544871258 503263232 9272 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=492012 CPUtime=0.06 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 1558 0 0 0 6 0 0 0 18 0 8 0 544871258 503820288 13155 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=492012 CPUtime=0.06 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 1601 0 0 0 5 1 0 0 18 0 8 0 544871258 503820288 13155 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=492556 CPUtime=0.06 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 1651 0 0 0 6 0 0 0 18 0 8 0 544871258 504377344 13305 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080290218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=492828 CPUtime=0.06 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 1534 0 0 0 5 1 0 0 18 0 8 0 544871258 504655872 13379 33554432000 4194304 4627427 140737355866784 18446744073709551615 4360574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=493208 CPUtime=0.06 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 1677 0 0 0 5 1 0 0 18 0 8 0 544871258 505044992 13462 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 490544
[startup+0.160639 s]
/proc/loadavg: 0.08 0.17 2.24 2/186 8356
/proc/meminfo: memFree=24970756/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=760528 CPUtime=1.18 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) D 8354 8356 8329 0 -1 4202496 26794 0 0 0 107 11 0 0 18 0 8 0 544871258 778780672 26667 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080290218 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 190252 26755 339 106 0 185223 0
[pid=8356/tid=8357] ppid=8354 vsize=761008 CPUtime=0.14 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 3383 0 0 0 13 1 0 0 18 0 8 0 544871258 779272192 26755 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=761008 CPUtime=0.15 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 3350 0 0 0 14 1 0 0 18 0 8 0 544871258 779272192 26755 33554432000 4194304 4627427 140737355866784 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=761248 CPUtime=0.14 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 3277 0 0 0 13 1 0 0 18 0 8 0 544871258 779517952 26976 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=761248 CPUtime=0.14 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 3285 0 0 0 13 1 0 0 18 0 8 0 544871258 779517952 26976 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080290218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=761248 CPUtime=0.13 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 3406 0 0 0 13 0 0 0 18 0 8 0 544871258 779517952 26976 33554432000 4194304 4627427 140737355866784 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=761248 CPUtime=0.13 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 3237 0 0 0 12 1 0 0 18 0 8 0 544871258 779517952 26976 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=761488 CPUtime=0.14 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 3396 0 0 0 13 1 0 0 18 0 8 0 544871258 779763712 27003 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 760528
[startup+0.303209 s]
/proc/loadavg: 0.08 0.17 2.24 2/186 8356
/proc/meminfo: memFree=24970756/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=931952 CPUtime=2.15 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 59110 0 0 0 188 27 0 0 17 0 8 0 544871258 954318848 57047 33554432000 4194304 4627427 140737355866784 18446744073709551615 4360079 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 232988 57137 341 106 0 227959 0
[pid=8356/tid=8357] ppid=8354 vsize=931952 CPUtime=0.26 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) S 8354 8356 8329 0 -1 4202560 7435 0 0 0 23 3 0 0 17 0 8 0 544871258 954318848 57170 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080337390 0 0 4096 2 18446604466868553600 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=931952 CPUtime=0.27 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 7499 0 0 0 24 3 0 0 17 0 8 0 544871258 954318848 57232 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=931952 CPUtime=0.25 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 7509 0 0 0 23 2 0 0 17 0 8 0 544871258 954318848 57438 33554432000 4194304 4627427 140737355866784 18446744073709551615 4532095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=932088 CPUtime=0.26 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 7249 0 0 0 23 3 0 0 17 0 8 0 544871258 954458112 57463 33554432000 4194304 4627427 140737355866784 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=932088 CPUtime=0.25 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 7313 0 0 0 23 2 0 0 17 0 8 0 544871258 954458112 57463 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=932088 CPUtime=0.26 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 7335 0 0 0 23 3 0 0 17 0 8 0 544871258 954458112 57463 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=932088 CPUtime=0.26 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 7263 0 0 0 22 4 0 0 17 0 8 0 544871258 954458112 57463 33554432000 4194304 4627427 140737355866784 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 931952
[startup+0.719667 s]
/proc/loadavg: 0.08 0.17 2.24 2/186 8356
/proc/meminfo: memFree=24970756/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=2101932 CPUtime=5.28 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) D 8354 8356 8329 0 -1 4202496 181042 0 0 0 475 53 0 0 18 0 8 0 544871258 2152378368 178785 33554432000 4194304 4627427 140737355866784 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 525584 178792 341 106 0 520555 0
[pid=8356/tid=8357] ppid=8354 vsize=2102336 CPUtime=0.64 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 22834 0 0 0 59 5 0 0 18 0 8 0 544871258 2152792064 178792 33554432000 4194304 4627427 140737355866784 18446744073709551615 4302991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=2102336 CPUtime=0.65 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 22834 0 0 0 59 6 0 0 18 0 8 0 544871258 2152792064 178792 33554432000 4194304 4627427 140737355866784 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=2103144 CPUtime=0.65 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 22994 0 0 0 58 7 0 0 18 0 8 0 544871258 2153619456 178995 33554432000 4194304 4627427 140737355866784 18446744073709551615 4531504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=2103144 CPUtime=0.66 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 21258 0 0 0 61 5 0 0 18 0 8 0 544871258 2153619456 178995 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=2103548 CPUtime=0.65 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 22627 0 0 0 59 6 0 0 18 0 8 0 544871258 2154033152 178995 33554432000 4194304 4627427 140737355866784 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=2104356 CPUtime=0.66 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 23587 0 0 0 59 7 0 0 18 0 8 0 544871258 2154860544 183727 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=2104760 CPUtime=0.67 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) D 8354 8356 8329 0 -1 4202560 23056 0 0 0 60 7 0 0 18 0 8 0 544871258 2155274240 184941 33554432000 4194304 4627427 140737355866784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 2101932
[startup+1.50059 s]
/proc/loadavg: 0.08 0.17 2.24 7/194 8364
/proc/meminfo: memFree=23921428/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=2468224 CPUtime=11.33 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 364968 0 0 0 1039 94 0 0 19 0 8 0 544871258 2527461376 362711 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 617056 362714 365 106 0 612027 0
[pid=8356/tid=8357] ppid=8354 vsize=2468224 CPUtime=1.4 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 45649 0 0 0 130 10 0 0 18 0 8 0 544871258 2527461376 362714 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=2468224 CPUtime=1.41 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 45774 0 0 0 131 10 0 0 18 0 8 0 544871258 2527461376 362716 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=2468224 CPUtime=1.4 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 45947 0 0 0 129 11 0 0 18 0 8 0 544871258 2527461376 362716 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=2468224 CPUtime=1.42 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 44252 0 0 0 131 11 0 0 18 0 8 0 544871258 2527461376 362717 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=2468224 CPUtime=1.41 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 45991 0 0 0 130 11 0 0 18 0 8 0 544871258 2527461376 362719 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=2468224 CPUtime=1.39 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 46129 0 0 0 127 12 0 0 18 0 8 0 544871258 2527461376 362726 33554432000 4194304 4627427 140737355866784 18446744073709551615 208079929099 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=2468224 CPUtime=1.4 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 44354 0 0 0 128 12 0 0 19 0 8 0 544871258 2527461376 362739 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 2468224
[startup+3.10129 s]
/proc/loadavg: 0.08 0.17 2.24 10/194 8364
/proc/meminfo: memFree=23387360/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=2572256 CPUtime=24.08 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 414019 0 0 0 2300 108 0 0 22 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 643064 411762 367 106 0 638035 0
[pid=8356/tid=8357] ppid=8354 vsize=2572256 CPUtime=3 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 51759 0 0 0 288 12 0 0 21 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=2572256 CPUtime=3 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 52120 0 0 0 285 15 0 0 20 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=2572256 CPUtime=3 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 52683 0 0 0 288 12 0 0 21 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=2572256 CPUtime=3.02 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 50675 0 0 0 289 13 0 0 21 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=2572256 CPUtime=3.01 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 52106 0 0 0 289 12 0 0 20 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=2572256 CPUtime=2.99 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 53299 0 0 0 285 14 0 0 21 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=2572256 CPUtime=2.99 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 48344 0 0 0 286 13 0 0 22 0 8 0 544871258 2633990144 411762 33554432000 4194304 4627427 140737355866784 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 2572256
[startup+6.30068 s]
/proc/loadavg: 0.79 0.31 2.28 9/194 8364
/proc/meminfo: memFree=23294008/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=2577612 CPUtime=49.66 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 424981 0 0 0 4850 116 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 644403 422724 368 106 0 639374 0
[pid=8356/tid=8357] ppid=8354 vsize=2577612 CPUtime=6.2 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 53229 0 0 0 607 13 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=2577612 CPUtime=6.19 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 53722 0 0 0 602 17 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=2577612 CPUtime=6.2 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 54182 0 0 0 607 13 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=2577612 CPUtime=6.22 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 52001 0 0 0 609 13 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=2577612 CPUtime=6.21 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 53442 0 0 0 608 13 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=2577612 CPUtime=6.19 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 54559 0 0 0 604 15 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=2577612 CPUtime=6.18 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 49767 0 0 0 603 15 0 0 25 0 8 0 544871258 2639474688 422724 33554432000 4194304 4627427 140737355866784 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
################
# More data... #
################
Current children cumulated vsize (KiB) 8135060
[startup+4722.31 s]
/proc/loadavg: 8.02 8.04 7.97 9/194 8501
/proc/meminfo: memFree=18453156/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=37745 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2786708 0 0 0 3773711 791 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1626758 395 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=4722.08 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 288447 0 0 0 472142 66 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=4722 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 472127 73 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=4721.94 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 472120 74 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=4722.05 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 472092 113 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4691.97 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 469073 124 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=4722.05 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 472071 134 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=4721.25 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 471994 131 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 37745
Current children cumulated vsize (KiB) 8135060
[startup+4782.3 s]
/proc/loadavg: 8.00 8.03 7.97 10/194 8503
/proc/meminfo: memFree=18453256/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=38224.6 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2786708 0 0 0 3821667 791 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467823 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1626758 395 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=4782.07 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 288447 0 0 0 478141 66 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=4782 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 478127 73 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=4781.93 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 478119 74 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=4782.05 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 478092 113 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4751.58 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 475034 124 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=4782.04 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 478070 134 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=4781.24 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 477993 131 0 0 25 0 8 0 544871258 8330301440 1626758 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467847 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 38224.6
Current children cumulated vsize (KiB) 8135060
[startup+4842.3 s]
/proc/loadavg: 8.00 8.02 7.97 9/194 8505
/proc/meminfo: memFree=18453124/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=38704.2 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2804349 0 0 0 3869626 795 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1626906 395 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=4842.07 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 288447 0 0 0 484141 66 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=4842 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 484127 73 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=4841.93 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 484119 74 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=4842.05 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 484092 113 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4811.2 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 480996 124 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=4842.03 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 484069 134 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=4841.24 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 483993 131 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 38704.2
Current children cumulated vsize (KiB) 8135060
[startup+4902.3 s]
/proc/loadavg: 8.00 8.02 7.97 9/194 8506
/proc/meminfo: memFree=18452964/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=39183.9 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2804349 0 0 0 3917590 795 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1626906 395 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=4902.08 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 288447 0 0 0 490142 66 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=4902 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 490127 73 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=4901.94 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 490120 74 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=4902.05 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 490092 113 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4870.82 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 486958 124 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=4902.03 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 490069 134 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=4901.25 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 489994 131 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39183.8
Current children cumulated vsize (KiB) 8135060
[startup+4962.3 s]
/proc/loadavg: 8.06 8.03 7.98 9/194 8517
/proc/meminfo: memFree=18451196/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=39663.4 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2804349 0 0 0 3965547 795 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1626906 395 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=4962.08 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 288447 0 0 0 496142 66 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=4962 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 496127 73 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=4961.93 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 496119 74 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=4962.05 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 496092 113 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4930.43 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 492919 124 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=4962 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 496066 134 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=4961.25 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 495994 131 0 0 25 0 8 0 544871258 8330301440 1626906 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39663.4
Current children cumulated vsize (KiB) 8135060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5004.5 s]
/proc/loadavg: 8.10 8.04 7.98 9/194 8518
/proc/meminfo: memFree=18451176/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=8135060 CPUtime=40000.8 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) R 8354 8356 8329 0 -1 4202496 2811873 0 0 0 3999285 797 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 2033765 1627013 399 106 0 2028736 0
[pid=8356/tid=8357] ppid=8354 vsize=8135060 CPUtime=5004.28 cores=0-7
/proc/8356/task/8357/stat : 8357 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 295971 0 0 0 500361 67 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8356/tid=8358] ppid=8354 vsize=8135060 CPUtime=5004.21 cores=0-7
/proc/8356/task/8358/stat : 8358 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 284235 0 0 0 500348 73 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8356/tid=8359] ppid=8354 vsize=8135060 CPUtime=5004.14 cores=0-7
/proc/8356/task/8359/stat : 8359 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 290512 0 0 0 500340 74 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8356/tid=8360] ppid=8354 vsize=8135060 CPUtime=5004.26 cores=0-7
/proc/8356/task/8360/stat : 8360 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 409221 0 0 0 500313 113 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=8135060 CPUtime=4972.36 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 401091 0 0 0 497112 124 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8356/tid=8362] ppid=8354 vsize=8135060 CPUtime=5004.21 cores=0-7
/proc/8356/task/8362/stat : 8362 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 406239 0 0 0 500287 134 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8356/tid=8363] ppid=8354 vsize=8135060 CPUtime=5003.46 cores=0-7
/proc/8356/task/8363/stat : 8363 (strangenight2-m) R 8354 8356 8329 0 -1 4202560 390727 0 0 0 500215 131 0 0 25 0 8 0 544871258 8330301440 1627013 33554432000 4194304 4627427 140737355866784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 8135060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5004.61 s]
/proc/loadavg: 8.10 8.04 7.98 9/194 8518
/proc/meminfo: memFree=18451176/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=0 CPUtime=40001 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) Z 8354 8356 8329 0 -1 4203548 2811873 0 0 0 3999290 807 0 0 25 0 2 0 544871258 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 0 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=0 CPUtime=4972.47 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4203588 401091 0 0 0 497113 134 0 0 25 0 2 0 544871258 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0
[startup+5004.8 s]
/proc/loadavg: 8.10 8.04 7.98 9/194 8518
/proc/meminfo: memFree=18451176/32950928 swapFree=67111348/67111528
[pid=8356] ppid=8354 vsize=0 CPUtime=40001.2 cores=0-7
/proc/8356/stat : 8356 (strangenight2-m) Z 8354 8356 8329 0 -1 4203548 2811873 0 0 0 3999290 826 0 0 25 0 2 0 544871258 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8356/statm: 0 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8354 vsize=0 CPUtime=4972.66 cores=0-7
/proc/8356/task/8361/stat : 8361 (strangenight2-m) R 8354 8356 8329 0 -1 4203588 401091 0 0 0 497113 153 0 0 25 0 2 0 544871258 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5004.84
CPU time (s): 40001.2
CPU user time (s): 39992.9
CPU system time (s): 8.29774
CPU usage (%): 799.251
Max. virtual memory (cumulated for all children) (KiB): 8443236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39992.9
system time used= 8.29774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2811873
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= 95913
involuntary context switches= 192009
runsolver used 6.54101 second user time and 25.3072 second system time
The end
Begin job on node127 at 2011-05-02 12:38:36
IDJOB=3321227
IDBENCH=83466
IDSOLVER=1709
FILE ID=node127/3321227-1304332712
RUNJOBID= node127-1304332708-8343
PBS_JOBID= 13177716
Free space on /tmp= 73256 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321227-1304332712/watcher-3321227-1304332712 -o /tmp/evaluation-result-3321227-1304332712/solver-3321227-1304332712 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321227-1304332712.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=1412188476
node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.60
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.823
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24971160 kB
Buffers: 807296 kB
Cached: 3603752 kB
SwapCached: 8 kB
Active: 3363740 kB
Inactive: 4159196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24971160 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 120088 kB
Writeback: 0 kB
AnonPages: 3111784 kB
Mapped: 18244 kB
Slab: 386416 kB
PageTables: 11704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 3643808 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= 73248 MiB
End job on node127 at 2011-05-02 14:02:02