0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321092-1304323105.cnf'
0.00/0.02 c -- header says num vars: 516641
0.00/0.02 c -- header says num clauses: 9436757
39.72/7.92 c -- clauses added: 0 learnts, 9436757 normals, 0 xors
39.72/7.92 c -- vars added 516641
39.72/7.92 c Parsing time: 2.82 s
39.72/7.92 c N st 0 0 516641 321663 8129437 0 18415253 0 no data no data
48.29/9.07 c asymm cl-useful: 519/674/247225 lits-rem:2328 time: 1.09
177.83/25.26 c Flit: 233 Blit: 93807 bXBeca: 0 bXProp: 810 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 16.20
179.37/25.44 c Cleaning up after failed var search: 0.17 s
180.96/25.67 c Replacing 810 vars Replaced 26619 lits Time: 0.22 s
183.33/25.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
188.02/26.52 c bin-w-bin subsume rem 884 bins time: 0.56 s
222.38/30.83 c subs with bin: 0 lits-rem: 4289 v-fix: 0 time: 4.31 s
244.65/33.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23833 time: 2.73 s
246.24/33.85 c Removed useless bin: 6590 fixed: 0 props: 20.02M time: 0.26 s
253.41/34.73 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 0.87 s
254.20/34.86 c Finding binary XORs T: 0.13 s found: 2248
255.85/35.08 c Replacing 2248 vars Replaced 277404 lits Time: 0.22 s
257.38/35.25 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
257.38/35.25 c calculated reachability. Time: 0.01
258.18/35.34 c Calc default polars - time: 0.09 s pos: 2959 undec: 253132 neg: 260550
258.18/35.34 c =========================================================================================
258.18/35.34 c types(t): F = full restart, N = normal restart
258.18/35.34 c types(t): S = simplification begin/end, E = solution found
258.18/35.34 c restart types(rt): st = static, dy = dynamic
258.18/35.34 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
258.18/35.34 c B st 0 0 263509 182521 4342279 0 9903460 0 no data no data
382.84/50.98 c N dy 14 4185 216347 150294 3346763 3732 7691333 2074742 9.91 10.46
515.53/67.56 c N dy 36 8737 215663 148562 3290500 8127 7565699 4592082 9.42 10.00
597.84/77.81 c Following stats are for *FIRST FINISHED THREAD ONLY*
597.84/77.81 c num threads : 8
597.84/77.81 c restarts : 103
597.84/77.81 c dynamic restarts : 97
597.84/77.81 c static restarts : 6
597.84/77.81 c full restarts : 0
597.84/77.81 c total simplify time : 1.27
597.84/77.81 c learnts DL2 : 0
597.84/77.81 c learnts size 2 : 8141524
597.84/77.81 c learnts size 1 : 366554 (70.95 % of vars)
597.84/77.81 c filedLit time : 0.00 (0.00 % time)
597.84/77.81 c v-elim SatELite : 0 (0.00 % vars)
597.84/77.81 c SatELite time : 0.00 (0.00 % time)
597.84/77.81 c v-elim xor : 0 (0.00 % vars)
597.84/77.81 c xor elim time : 0.00 (0.00 % time)
597.84/77.81 c num binary xor trees : 2812
597.84/77.81 c binxor trees' crown : 3063 (1.09 leafs/tree)
597.84/77.81 c bin xor find time : 0.16
597.84/77.81 c OTF clause improved : 170 (0.01 clauses/conflict)
597.84/77.81 c OTF impr. size diff : 1592 (9.36 lits/clause)
597.84/77.81 c OTF cl watch-shrink : 12064 (0.57 clauses/conflict)
597.84/77.81 c OTF cl watch-sh-lit : 442045 (36.64 lits/clause)
597.84/77.81 c tried to recurMin cls : 13446 (63.45 % of conflicts)
597.84/77.81 c updated cache : 61156 (4.55 lits/tried recurMin)
597.84/77.81 c unit cls recevied : 1343 (0.37 % of units)
597.84/77.81 c unit cls sent : 305005 (83.21 % of units)
597.84/77.81 c bin cls recevied : 2317
597.84/77.81 c bin cls sent : 9168
597.84/77.81 c clauses over max glue : 0 (0.00 % of all clauses)
597.84/77.81 c conflicts : 21193 (291.62 / sec)
597.84/77.81 c decisions : 189001 (1.48 % random)
597.84/77.81 c bogo-props : 921447545 (12679374.10 / sec)
597.84/77.81 c conflict literals : 9731987 (38.42 % deleted)
597.84/77.81 c Memory used : 4149.37 MB
597.84/77.81 c single-thread CPU time : 72.67 s
597.84/77.81 c all-threads sum CPU time : 580.39 s
597.84/77.81 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321092-1304323105/watcher-3321092-1304323105 -o /tmp/evaluation-result-3321092-1304323105/solver-3321092-1304323105 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321092-1304323105.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 47502062438322 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26481/statm: 23047 353 299 106 0 18018 0
[pid=26481/tid=26482] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 47502062438322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 47502062438312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 47502062438322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=92188 CPUtime=0 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524726932 94400512 353 33554432000 4194304 4627427 140736419848944 18446744073709551615 47502062438316 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.104863 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=526884 CPUtime=0.68 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 23278 0 0 0 62 6 0 0 18 0 8 0 524726932 539529216 19383 33554432000 4194304 4627427 140736419848944 18446744073709551615 220815933640 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26481/statm: 131721 19410 341 106 0 126692 0
[pid=26481/tid=26482] ppid=26479 vsize=526884 CPUtime=0.08 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 2931 0 0 0 8 0 0 0 17 0 8 0 524726932 539529216 19422 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 4 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=526884 CPUtime=0.07 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 2503 0 0 0 7 0 0 0 18 0 8 0 524726932 539529216 19438 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=526884 CPUtime=0.08 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 3302 0 0 0 7 1 0 0 18 0 8 0 524726932 539529216 19447 33554432000 4194304 4627427 140736419848944 18446744073709551615 4533484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=526884 CPUtime=0.07 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 2846 0 0 0 7 0 0 0 17 0 8 0 524726932 539529216 19464 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 7 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=526884 CPUtime=0.09 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 3334 0 0 0 8 1 0 0 18 0 8 0 524726932 539529216 19487 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=526884 CPUtime=0.08 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 2391 0 0 0 8 0 0 0 18 0 8 0 524726932 539529216 19502 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=526884 CPUtime=0.06 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 3083 0 0 0 6 0 0 0 18 0 8 0 524726932 539529216 19643 33554432000 4194304 4627427 140736419848944 18446744073709551615 220815933837 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 526884
[startup+0.200881 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=565748 CPUtime=1.34 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 41323 0 0 0 115 19 0 0 17 0 8 0 524726932 579325952 33163 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26481/statm: 141437 33164 341 106 0 136408 0
[pid=26481/tid=26482] ppid=26479 vsize=565748 CPUtime=0.17 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 5554 0 0 0 14 3 0 0 17 0 8 0 524726932 579325952 33164 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=565748 CPUtime=0.16 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 4408 0 0 0 14 2 0 0 17 0 8 0 524726932 579325952 33164 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=565748 CPUtime=0.15 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 5246 0 0 0 13 2 0 0 17 0 8 0 524726932 579325952 33164 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=565748 CPUtime=0.16 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 5156 0 0 0 14 2 0 0 18 0 8 0 524726932 579325952 33164 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 7 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=565748 CPUtime=0.17 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 5500 0 0 0 15 2 0 0 17 0 8 0 524726932 579325952 33164 33554432000 4194304 4627427 140736419848944 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=565748 CPUtime=0.16 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 4844 0 0 0 14 2 0 0 17 0 8 0 524726932 579325952 33169 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816236347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=565748 CPUtime=0.15 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 5433 0 0 0 13 2 0 0 17 0 8 0 524726932 579325952 33171 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 565748
[startup+0.304856 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=572968 CPUtime=1.98 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 54712 0 0 0 159 39 0 0 17 0 8 0 524726932 586719232 46503 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26481/statm: 143242 46507 341 106 0 138213 0
[pid=26481/tid=26482] ppid=26479 vsize=572968 CPUtime=0.25 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 7106 0 0 0 20 5 0 0 17 0 8 0 524726932 586719232 46512 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=572968 CPUtime=0.24 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 6051 0 0 0 19 5 0 0 17 0 8 0 524726932 586719232 46512 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=572968 CPUtime=0.24 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 6922 0 0 0 19 5 0 0 17 0 8 0 524726932 586719232 46513 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=572968 CPUtime=0.24 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 6936 0 0 0 20 4 0 0 17 0 8 0 524726932 586719232 46515 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 7 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=572968 CPUtime=0.25 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 7392 0 0 0 20 5 0 0 17 0 8 0 524726932 586719232 46515 33554432000 4194304 4627427 140736419848944 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=572968 CPUtime=0.23 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 6332 0 0 0 19 4 0 0 17 0 8 0 524726932 586719232 46515 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=572968 CPUtime=0.22 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 7188 0 0 0 18 4 0 0 17 0 8 0 524726932 586719232 46515 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 572968
[startup+0.700773 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=633452 CPUtime=3.76 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 85472 0 0 0 253 123 0 0 16 0 8 0 524726932 648654848 68795 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26481/statm: 158363 68798 341 106 0 153334 0
[pid=26481/tid=26482] ppid=26479 vsize=633452 CPUtime=0.45 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 10704 0 0 0 30 15 0 0 16 0 8 0 524726932 648654848 68800 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=633452 CPUtime=0.47 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 9869 0 0 0 31 16 0 0 16 0 8 0 524726932 648654848 68800 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=633452 CPUtime=0.47 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 11086 0 0 0 32 15 0 0 16 0 8 0 524726932 648654848 68802 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=633452 CPUtime=0.46 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 10898 0 0 0 31 15 0 0 16 0 8 0 524726932 648654848 68806 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 7 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=633452 CPUtime=0.47 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 11277 0 0 0 32 15 0 0 16 0 8 0 524726932 648654848 68809 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=633452 CPUtime=0.46 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) D 26479 26481 26192 0 -1 4202560 9707 0 0 0 30 16 0 0 16 0 8 0 524726932 648654848 68809 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=633452 CPUtime=0.45 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 11423 0 0 0 31 14 0 0 16 0 8 0 524726932 648654848 68812 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 633452
[startup+2.86036 s]
/proc/loadavg: 6.94 7.35 4.90 1/221 26481
/proc/meminfo: memFree=28784412/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=1232944 CPUtime=12.77 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 228555 0 0 0 674 603 0 0 16 0 8 0 524726932 1262534656 194476 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26481/statm: 308236 194477 341 106 0 303207 0
[pid=26481/tid=26482] ppid=26479 vsize=1232944 CPUtime=1.55 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 27287 0 0 0 81 74 0 0 15 0 8 0 524726932 1262534656 194478 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=1232944 CPUtime=1.62 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 28562 0 0 0 88 74 0 0 15 0 8 0 524726932 1262534656 194482 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=1232944 CPUtime=1.57 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 28750 0 0 0 85 72 0 0 15 0 8 0 524726932 1262534656 194485 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=1232944 CPUtime=1.58 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 28041 0 0 0 87 71 0 0 16 0 8 0 524726932 1262534656 194486 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=1232944 CPUtime=1.62 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 30338 0 0 0 86 76 0 0 16 0 8 0 524726932 1262534656 194487 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 4 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=1232944 CPUtime=1.6 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 26795 0 0 0 80 80 0 0 16 0 8 0 524726932 1262534656 194488 33554432000 4194304 4627427 140736419848944 18446744073709551615 4530593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=1232944 CPUtime=1.55 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 30382 0 0 0 79 76 0 0 16 0 8 0 524726932 1262534656 194488 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 1232944
[startup+3.10031 s]
/proc/loadavg: 6.95 7.34 4.91 6/229 26489
/proc/meminfo: memFree=27953712/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=1239648 CPUtime=13.89 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 243387 0 0 0 730 659 0 0 15 0 8 0 524726932 1269399552 209182 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 309912 209183 341 106 0 304883 0
[pid=26481/tid=26482] ppid=26479 vsize=1239648 CPUtime=1.68 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 29149 0 0 0 88 80 0 0 15 0 8 0 524726932 1269399552 209186 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=1239648 CPUtime=1.76 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 30588 0 0 0 95 81 0 0 15 0 8 0 524726932 1269399552 209186 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=1239648 CPUtime=1.71 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 30560 0 0 0 92 79 0 0 15 0 8 0 524726932 1269399552 209189 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=1239648 CPUtime=1.72 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 29748 0 0 0 94 78 0 0 16 0 8 0 524726932 1269399552 209190 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=1239648 CPUtime=1.76 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 32241 0 0 0 92 84 0 0 16 0 8 0 524726932 1269399552 209190 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=1239648 CPUtime=1.73 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 28570 0 0 0 86 87 0 0 15 0 8 0 524726932 1269399552 209190 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 2 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=1239648 CPUtime=1.69 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 32263 0 0 0 87 82 0 0 16 0 8 0 524726932 1269399552 209192 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.89
Current children cumulated vsize (KiB) 1239648
[startup+6.30072 s]
/proc/loadavg: 6.95 7.34 4.91 5/229 26489
/proc/meminfo: memFree=27131556/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=2699028 CPUtime=30.74 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 569205 0 0 0 1731 1343 0 0 16 0 8 0 524726932 2763804672 499878 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 674757 499879 341 106 0 669728 0
[pid=26481/tid=26482] ppid=26479 vsize=2699028 CPUtime=3.79 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 67325 0 0 0 222 157 0 0 16 0 8 0 524726932 2763804672 499879 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=2699028 CPUtime=3.87 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 70991 0 0 0 219 168 0 0 16 0 8 0 524726932 2763804672 499881 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=2699028 CPUtime=3.82 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 71188 0 0 0 216 166 0 0 16 0 8 0 524726932 2763804672 499884 33554432000 4194304 4627427 140736419848944 18446744073709551615 4530507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=2699028 CPUtime=3.83 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 68178 0 0 0 217 166 0 0 15 0 8 0 524726932 2763804672 499888 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=2699028 CPUtime=3.87 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 75230 0 0 0 219 168 0 0 16 0 8 0 524726932 2763804672 499894 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=2699028 CPUtime=3.8 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) S 26479 26481 26192 0 -1 4202560 69166 0 0 0 210 170 0 0 15 0 8 0 524726932 2763804672 499894 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816341486 0 0 4096 2 18446604453918018432 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=2699028 CPUtime=3.78 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) D 26479 26481 26192 0 -1 4202560 75323 0 0 0 209 169 0 0 16 0 8 0 524726932 2763804672 499894 33554432000 4194304 4627427 140736419848944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/loadavg: 7.50 7.43 5.05 9/229 26490
/proc/meminfo: memFree=25310888/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4027464 CPUtime=401.23 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 948535 0 0 0 38378 1745 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1006866 869015 386 106 0 1001837 0
[pid=26481/tid=26482] ppid=26479 vsize=4027464 CPUtime=50.13 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 116171 0 0 0 4807 206 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4027464 CPUtime=50.22 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 117170 0 0 0 4801 221 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4027464 CPUtime=49.85 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 122751 0 0 0 4768 217 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4027464 CPUtime=50.19 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 115991 0 0 0 4798 221 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4027464 CPUtime=50.23 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 125634 0 0 0 4804 219 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4027464 CPUtime=50.09 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 117509 0 0 0 4787 222 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321538 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4027464 CPUtime=50.23 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 116107 0 0 0 4807 216 0 0 25 0 8 0 524726932 4124123136 869015 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 401.23
Current children cumulated vsize (KiB) 4027464
[startup+66.0007 s]
/proc/loadavg: 7.61 7.46 5.10 9/229 26490
/proc/meminfo: memFree=25243716/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4158716 CPUtime=503.54 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 965180 0 0 0 48603 1751 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1039679 885660 386 106 0 1034650 0
[pid=26481/tid=26482] ppid=26479 vsize=4158716 CPUtime=62.92 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118480 0 0 0 6086 206 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4158716 CPUtime=63.02 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 119250 0 0 0 6080 222 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4158716 CPUtime=62.55 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 124822 0 0 0 6038 217 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4158716 CPUtime=62.99 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118898 0 0 0 6077 222 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4158716 CPUtime=63.04 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 127225 0 0 0 6084 220 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4158716 CPUtime=62.87 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 119451 0 0 0 6065 222 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4158716 CPUtime=63.03 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 117761 0 0 0 6087 216 0 0 25 0 8 0 524726932 4258525184 885660 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 503.54
Current children cumulated vsize (KiB) 4158716
[startup+72.4005 s]
/proc/loadavg: 7.72 7.48 5.12 9/229 26491
/proc/meminfo: memFree=25210236/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4289968 CPUtime=554.74 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 973227 0 0 0 53720 1754 0 0 25 0 8 0 524726932 4392927232 893707 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1072492 893707 386 106 0 1067463 0
[pid=26481/tid=26482] ppid=26479 vsize=4289968 CPUtime=69.33 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 119690 0 0 0 6726 207 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4289968 CPUtime=69.43 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120164 0 0 0 6721 222 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4289968 CPUtime=68.92 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 126103 0 0 0 6674 218 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321467 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4289968 CPUtime=69.39 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 119874 0 0 0 6717 222 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4289968 CPUtime=69.44 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 128338 0 0 0 6724 220 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4333074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4289968 CPUtime=69.27 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120415 0 0 0 6705 222 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4289968 CPUtime=69.44 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118536 0 0 0 6727 217 0 0 25 0 8 0 524726932 4392927232 893708 33554432000 4194304 4627427 140736419848944 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 554.74
Current children cumulated vsize (KiB) 4289968
[startup+75.6009 s]
/proc/loadavg: 7.75 7.49 5.13 9/229 26491
/proc/meminfo: memFree=25247552/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4117696 CPUtime=580.28 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 976874 0 0 0 56271 1757 0 0 25 0 8 0 524726932 4216520704 885235 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321776 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1029424 885236 387 106 0 1024395 0
[pid=26481/tid=26482] ppid=26479 vsize=4117696 CPUtime=72.53 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120208 0 0 0 7046 207 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4117696 CPUtime=72.63 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120622 0 0 0 7040 223 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4117696 CPUtime=72.09 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 126720 0 0 0 6991 218 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4117696 CPUtime=72.59 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120338 0 0 0 7036 223 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4117696 CPUtime=72.63 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 128774 0 0 0 7043 220 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4117696 CPUtime=72.46 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120909 0 0 0 7024 222 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4117696 CPUtime=72.63 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118714 0 0 0 7046 217 0 0 25 0 8 0 524726932 4216520704 885236 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 580.28
Current children cumulated vsize (KiB) 4117696
[startup+77.2006 s]
/proc/loadavg: 7.75 7.49 5.13 9/229 26491
/proc/meminfo: memFree=25238252/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4248948 CPUtime=593.05 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 978746 0 0 0 57548 1757 0 0 25 0 8 0 524726932 4350922752 887107 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1062237 887107 387 106 0 1057208 0
[pid=26481/tid=26482] ppid=26479 vsize=4248948 CPUtime=74.12 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120447 0 0 0 7205 207 0 0 25 0 8 0 524726932 4350922752 887107 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4248948 CPUtime=74.22 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120933 0 0 0 7199 223 0 0 25 0 8 0 524726932 4350922752 887107 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4248948 CPUtime=73.68 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 126962 0 0 0 7150 218 0 0 25 0 8 0 524726932 4350922752 887107 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4248948 CPUtime=74.19 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120661 0 0 0 7196 223 0 0 25 0 8 0 524726932 4350922752 887107 33554432000 4194304 4627427 140736419848944 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4248948 CPUtime=74.24 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 129029 0 0 0 7203 221 0 0 25 0 8 0 524726932 4350922752 887111 33554432000 4194304 4627427 140736419848944 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4248948 CPUtime=74.06 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 121109 0 0 0 7184 222 0 0 25 0 8 0 524726932 4350922752 887111 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4248948 CPUtime=74.23 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118714 0 0 0 7206 217 0 0 25 0 8 0 524726932 4350922752 887113 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 593.05
Current children cumulated vsize (KiB) 4248948
[startup+77.6006 s]
/proc/loadavg: 7.75 7.49 5.13 9/229 26491
/proc/meminfo: memFree=25238252/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4248948 CPUtime=596.25 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 979259 0 0 0 57868 1757 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1062237 887620 387 106 0 1057208 0
[pid=26481/tid=26482] ppid=26479 vsize=4248948 CPUtime=74.52 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120504 0 0 0 7245 207 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4248948 CPUtime=74.62 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 121061 0 0 0 7239 223 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4248948 CPUtime=74.08 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 127024 0 0 0 7190 218 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4248948 CPUtime=74.59 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120724 0 0 0 7236 223 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4248948 CPUtime=74.64 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 129120 0 0 0 7243 221 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4248948 CPUtime=74.46 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 121142 0 0 0 7224 222 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4248948 CPUtime=74.62 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118714 0 0 0 7245 217 0 0 25 0 8 0 524726932 4350922752 887620 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 596.25
Current children cumulated vsize (KiB) 4248948
[startup+77.8005 s]
/proc/loadavg: 7.75 7.49 5.13 9/229 26491
/proc/meminfo: memFree=25238252/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=4248948 CPUtime=597.84 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) R 26479 26481 26192 0 -1 4202496 979493 0 0 0 58027 1757 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 1062237 887854 387 106 0 1057208 0
[pid=26481/tid=26482] ppid=26479 vsize=4248948 CPUtime=74.72 cores=0-7
/proc/26481/task/26482/stat : 26482 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120548 0 0 0 7265 207 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=4248948 CPUtime=74.82 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 121083 0 0 0 7259 223 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322497 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26481/tid=26484] ppid=26479 vsize=4248948 CPUtime=74.28 cores=0-7
/proc/26481/task/26484/stat : 26484 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 127070 0 0 0 7210 218 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26481/tid=26485] ppid=26479 vsize=4248948 CPUtime=74.79 cores=0-7
/proc/26481/task/26485/stat : 26485 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 120747 0 0 0 7256 223 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26481/tid=26486] ppid=26479 vsize=4248948 CPUtime=74.84 cores=0-7
/proc/26481/task/26486/stat : 26486 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 129150 0 0 0 7263 221 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26481/tid=26487] ppid=26479 vsize=4248948 CPUtime=74.66 cores=0-7
/proc/26481/task/26487/stat : 26487 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 121190 0 0 0 7244 222 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26481/tid=26488] ppid=26479 vsize=4248948 CPUtime=74.82 cores=0-7
/proc/26481/task/26488/stat : 26488 (strangenight2-m) R 26479 26481 26192 0 -1 4202560 118714 0 0 0 7265 217 0 0 25 0 8 0 524726932 4350922752 887854 33554432000 4194304 4627427 140736419848944 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 597.84
Current children cumulated vsize (KiB) 4248948
[startup+77.9006 s]
/proc/loadavg: 7.75 7.49 5.13 2/223 26491
/proc/meminfo: memFree=26795024/32951124 swapFree=67105204/67111528
[pid=26481] ppid=26479 vsize=0 CPUtime=598.06 cores=0-7
/proc/26481/stat : 26481 (strangenight2-m) Z 26479 26481 26192 0 -1 4203548 979511 0 0 0 58039 1767 0 0 25 0 2 0 524726932 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26481/statm: 0 0 0 0 0 0 0
[pid=26481/tid=26483] ppid=26479 vsize=0 CPUtime=74.94 cores=0-7
/proc/26481/task/26483/stat : 26483 (strangenight2-m) R 26479 26481 26192 0 -1 4203588 121085 0 0 0 7261 233 0 0 25 0 2 0 524726932 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) 598.06
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 78.0022
CPU time (s): 598.157
CPU user time (s): 580.391
CPU system time (s): 17.7663
CPU usage (%): 766.846
Max. virtual memory (cumulated for all children) (KiB): 4289968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 580.391
system time used= 17.7663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979511
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= 2124630
involuntary context switches= 4010
runsolver used 0.134979 second user time and 0.384941 second system time
The end
Begin job on node147 at 2011-05-02 09:58:30
IDJOB=3321092
IDBENCH=82364
IDSOLVER=1709
FILE ID=node147/3321092-1304323105
RUNJOBID= node147-1304322183-26206
PBS_JOBID= 13176779
Free space on /tmp= 73384 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321092-1304323105/watcher-3321092-1304323105 -o /tmp/evaluation-result-3321092-1304323105/solver-3321092-1304323105 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321092-1304323105.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=95761839
node147.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.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
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.75
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.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
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.75
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.836
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.82
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.836
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.76
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.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28784568 kB
Buffers: 362140 kB
Cached: 2103772 kB
SwapCached: 3088 kB
Active: 1828280 kB
Inactive: 1983140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28784568 kB
SwapTotal: 67111528 kB
SwapFree: 67105204 kB
Dirty: 176700 kB
Writeback: 0 kB
AnonPages: 1344304 kB
Mapped: 18956 kB
Slab: 281084 kB
PageTables: 12224 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 24611528 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= 73380 MiB
End job on node147 at 2011-05-02 09:59:48