0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.50/0.12 c This is CryptoMiniSat 3.0.0
0.50/0.12 c WARNING: for repeatability, setting FPU to use double precision
0.50/0.12 c Reading file 'HOME/instance-3321003-1304322184.cnf'
0.50/0.12 c -- header says num vars: 136756
0.50/0.12 c -- header says num clauses: 905980
6.20/1.18 c -- clauses added: 0 learnts, 905980 normals, 0 xors
6.20/1.18 c -- vars added 136756
6.20/1.18 c Parsing time: 0.32 s
6.20/1.18 c N st 0 0 136756 134065 771540 0 2447216 0 no data no data
15.00/2.25 c asymm cl-useful: 0/82/134065 lits-rem:0 time: 1.28
170.78/21.71 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 4602 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 19.46
171.58/21.81 c Replacing 4602 vars Replaced 133764 lits Time: 0.10 s
171.58/21.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
172.44/21.95 c bin-w-bin subsume rem 1149 bins time: 0.07 s
176.38/22.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.54 s
179.57/22.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15962 time: 0.39 s
181.23/23.08 c Removed useless bin: 0 fixed: 0 props: 20.01M time: 0.19 s
190.79/24.27 c lits-rem: 0 cl-subs: 20043 v-elim: 44009 v-fix: 0 time: 1.14 s
191.51/24.31 c Finding binary XORs T: 0.03 s found: 0
192.30/24.43 c Finding non-binary XORs: 0.09 s (found: 16, avg size: 3.0)
192.30/24.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
192.30/24.45 c calculated reachability. Time: 0.00
192.30/24.47 c Calc default polars - time: 0.02 s pos: 29575 undec: 50044 neg: 57137
192.30/24.47 c =========================================================================================
192.30/24.47 c types(t): F = full restart, N = normal restart
192.30/24.47 c types(t): S = simplification begin/end, E = solution found
192.30/24.47 c restart types(rt): st = static, dy = dynamic
192.30/24.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
192.30/24.47 c B st 0 0 88018 137627 671055 0 2484267 0 no data no data
267.35/33.85 c N dy 15 4011 88018 137627 671226 3668 2484267 244608 12.29 13.81
348.93/44.03 c N dy 26 8107 87945 137627 671514 7548 2484267 517345 10.14 10.84
436.05/54.99 c N dy 34 12527 87944 137627 671635 11728 2484267 716309 8.92 9.39
522.31/65.72 c Following stats are for *FIRST FINISHED THREAD ONLY*
522.31/65.72 c num threads : 8
522.31/65.72 c restarts : 52
522.31/65.72 c dynamic restarts : 46
522.31/65.72 c static restarts : 6
522.31/65.72 c full restarts : 0
522.31/65.72 c total simplify time : 0.03
522.31/65.72 c learnts DL2 : 0
522.31/65.72 c learnts size 2 : 773613
522.31/65.72 c learnts size 1 : 23037 (16.85 % of vars)
522.31/65.72 c filedLit time : 21.06 (32.32 % time)
522.31/65.72 c v-elim SatELite : 44009 (32.18 % vars)
522.31/65.72 c SatELite time : 3.03 (4.65 % time)
522.31/65.72 c v-elim xor : 0 (0.00 % vars)
522.31/65.72 c xor elim time : 0.04 (0.06 % time)
522.31/65.72 c num binary xor trees : 671
522.31/65.72 c binxor trees' crown : 4602 (6.86 leafs/tree)
522.31/65.72 c bin xor find time : 0.04
522.31/65.72 c OTF clause improved : 532 (0.03 clauses/conflict)
522.31/65.72 c OTF impr. size diff : 618 (1.16 lits/clause)
522.31/65.72 c OTF cl watch-shrink : 4515 (0.29 clauses/conflict)
522.31/65.72 c OTF cl watch-sh-lit : 17470 (3.87 lits/clause)
522.31/65.72 c tried to recurMin cls : 0 (0.00 % of conflicts)
522.31/65.72 c updated cache : 0 (nan lits/tried recurMin)
522.31/65.72 c unit cls recevied : 18 (0.08 % of units)
522.31/65.72 c unit cls sent : 38 (0.16 % of units)
522.31/65.72 c bin cls recevied : 10893
522.31/65.72 c bin cls sent : 260
522.31/65.72 c clauses over max glue : 0 (0.00 % of all clauses)
522.31/65.72 c conflicts : 15492 (237.67 / sec)
522.31/65.72 c decisions : 35463 (0.00 % random)
522.31/65.72 c bogo-props : 902682904 (13848633.94 / sec)
522.31/65.72 c conflict literals : 585651 (37.79 % deleted)
522.31/65.72 c Memory used : 1657.04 MB
522.31/65.72 c single-thread CPU time : 65.18 s
522.31/65.72 c all-threads sum CPU time : 520.98 s
522.31/65.72 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-3321003-1304322184/watcher-3321003-1304322184 -o /tmp/evaluation-result-3321003-1304322184/solver-3321003-1304322184 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321003-1304322184.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.00 0.00 0.00 2/233 26229
/proc/meminfo: memFree=28223604/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 414 0 0 0 2 0 0 0 21 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26229/statm: 23047 353 299 106 0 18018 0
[pid=26229/tid=26230] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869616 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543816185 94400512 353 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 0 0 0 -1 3 0 0 0
[startup+0.049886 s]
/proc/loadavg: 0.00 0.00 0.00 2/233 26229
/proc/meminfo: memFree=28223604/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=92188 CPUtime=0.23 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 422 0 0 0 23 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26229/statm: 23047 361 303 106 0 18018 0
[pid=26229/tid=26230] ppid=26227 vsize=92188 CPUtime=0.03 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=92188 CPUtime=0.04 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=92188 CPUtime=0.04 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=92188 CPUtime=0.04 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 92188
[startup+0.100875 s]
/proc/loadavg: 0.00 0.00 0.00 2/233 26229
/proc/meminfo: memFree=28223604/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=92188 CPUtime=0.5 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 422 0 0 0 50 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26229/statm: 23047 361 303 106 0 18018 0
[pid=26229/tid=26230] ppid=26227 vsize=92188 CPUtime=0.08 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 8 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=92188 CPUtime=0 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 543816185 94400512 361 33554432000 4194304 4627427 140736628790256 18446744073709551615 47853427869203 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 92188
[startup+0.301056 s]
/proc/loadavg: 0.00 0.00 0.00 2/233 26229
/proc/meminfo: memFree=28223604/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=607244 CPUtime=1.53 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 33972 0 0 0 124 29 0 0 17 0 8 0 543816185 621817856 28987 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26229/statm: 151811 29006 341 106 0 146782 0
[pid=26229/tid=26230] ppid=26227 vsize=607244 CPUtime=0.22 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) S 26227 26229 26203 0 -1 4202560 3962 0 0 0 18 4 0 0 17 0 8 0 543816185 621817856 29038 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836014 0 0 4096 2 18446604453891442560 0 0 -1 7 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=607244 CPUtime=0.09 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 3904 0 0 0 7 2 0 0 17 0 8 0 543816185 621817856 29145 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=607244 CPUtime=0.16 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 5175 0 0 0 12 4 0 0 17 0 8 0 543816185 621817856 29203 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905774263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=607244 CPUtime=0.12 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 3646 0 0 0 9 3 0 0 17 0 8 0 543816185 621817856 29206 33554432000 4194304 4627427 140736628790256 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=607244 CPUtime=0.2 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 4028 0 0 0 17 3 0 0 17 0 8 0 543816185 621817856 29220 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=607244 CPUtime=0.24 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 4792 0 0 0 20 4 0 0 17 0 8 0 543816185 621817856 29236 33554432000 4194304 4627427 140736628790256 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=607244 CPUtime=0.24 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 4994 0 0 0 20 4 0 0 17 0 8 0 543816185 621817856 29242 33554432000 4194304 4627427 140736628790256 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 607244
[startup+0.700739 s]
/proc/loadavg: 0.00 0.00 0.00 2/233 26229
/proc/meminfo: memFree=28223604/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=709796 CPUtime=3.44 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 105697 0 0 0 259 85 0 0 17 0 8 0 543816185 726831104 89908 33554432000 4194304 4627427 140736628790256 18446744073709551615 4530816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26229/statm: 177449 89911 341 106 0 172420 0
[pid=26229/tid=26230] ppid=26227 vsize=709796 CPUtime=0.49 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 13499 0 0 0 37 12 0 0 17 0 8 0 543816185 726831104 89913 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=709796 CPUtime=0.25 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 10076 0 0 0 18 7 0 0 17 0 8 0 543816185 726831104 89920 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=709796 CPUtime=0.43 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 14834 0 0 0 31 12 0 0 17 0 8 0 543816185 726831104 89921 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=709796 CPUtime=0.35 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 13711 0 0 0 24 11 0 0 16 0 8 0 543816185 726831104 89923 33554432000 4194304 4627427 140736628790256 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=709796 CPUtime=0.46 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 13923 0 0 0 37 9 0 0 15 0 8 0 543816185 726831104 89928 33554432000 4194304 4627427 140736628790256 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=709796 CPUtime=0.5 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 14431 0 0 0 39 11 0 0 17 0 8 0 543816185 726831104 89932 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=709796 CPUtime=0.5 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 14174 0 0 0 38 12 0 0 17 0 8 0 543816185 726831104 89935 33554432000 4194304 4627427 140736628790256 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 709796
[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 10/241 26237
/proc/meminfo: memFree=27715760/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=839672 CPUtime=9.33 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 162898 0 0 0 824 109 0 0 17 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 209918 128992 365 106 0 204889 0
[pid=26229/tid=26230] ppid=26227 vsize=839672 CPUtime=1.23 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 18914 0 0 0 109 14 0 0 18 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=839672 CPUtime=0.91 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 22852 0 0 0 79 12 0 0 17 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=839672 CPUtime=1.18 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20099 0 0 0 104 14 0 0 18 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=839672 CPUtime=1.12 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20495 0 0 0 98 14 0 0 17 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=839672 CPUtime=1.2 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 21069 0 0 0 108 12 0 0 16 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=839672 CPUtime=1.25 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 19726 0 0 0 111 14 0 0 18 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=839672 CPUtime=1.27 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 19606 0 0 0 112 15 0 0 18 0 8 0 543816185 859824128 128992 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 839672
[startup+3.10131 s]
/proc/loadavg: 0.64 0.13 0.04 9/241 26237
/proc/meminfo: memFree=27707700/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=843428 CPUtime=22.13 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 168277 0 0 0 2103 110 0 0 19 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 210857 134371 367 106 0 205828 0
[pid=26229/tid=26230] ppid=26227 vsize=843428 CPUtime=2.83 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 19688 0 0 0 269 14 0 0 21 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=843428 CPUtime=2.51 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 23720 0 0 0 239 12 0 0 19 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=843428 CPUtime=2.78 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20997 0 0 0 264 14 0 0 20 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=843428 CPUtime=2.72 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 21371 0 0 0 258 14 0 0 19 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=843428 CPUtime=2.8 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 21775 0 0 0 268 12 0 0 18 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=843428 CPUtime=2.86 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20580 0 0 0 271 15 0 0 21 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=843428 CPUtime=2.87 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 19939 0 0 0 272 15 0 0 21 0 8 0 543816185 863670272 134371 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.13
Current children cumulated vsize (KiB) 843428
[startup+6.30073 s]
/proc/loadavg: 0.64 0.13 0.04 9/241 26237
/proc/meminfo: memFree=27684544/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=844496 CPUtime=47.7 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 168665 0 0 0 4659 111 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 211124 134759 367 106 0 206095 0
[pid=26229/tid=26230] ppid=26227 vsize=844496 CPUtime=6 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 19689 0 0 0 586 14 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=844496 CPUtime=5.71 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 23722 0 0 0 559 12 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=844496 CPUtime=5.98 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20997 0 0 0 584 14 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=844496 CPUtime=5.92 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 21374 0 0 0 578 14 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=844496 CPUtime=6 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 21776 0 0 0 588 12 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=844496 CPUtime=6.06 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20580 0 0 0 591 15 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=844496 CPUtime=6.07 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 20318 0 0 0 592 15 0 0 25 0 8 0 543816185 864763904 134759 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 28714 0 0 0 2507 14 0 0 25 0 8 0 543816185 1401683968 222710 33554432000 4194304 4627427 140736628790256 18446744073709551615 4436162 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1368832 CPUtime=25.26 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 30249 0 0 0 2509 17 0 0 25 0 8 0 543816185 1401683968 222711 33554432000 4194304 4627427 140736628790256 18446744073709551615 4534828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1368832 CPUtime=25.27 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 23154 0 0 0 2512 15 0 0 25 0 8 0 543816185 1401683968 222711 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.1
Current children cumulated vsize (KiB) 1368832
[startup+51.1007 s]
/proc/loadavg: 4.53 1.23 0.42 9/241 26238
/proc/meminfo: memFree=27146092/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1631264 CPUtime=405.61 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 324003 0 0 0 40410 151 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 407816 269677 389 106 0 402787 0
[pid=26229/tid=26230] ppid=26227 vsize=1631264 CPUtime=50.61 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40455 0 0 0 5041 20 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1631264 CPUtime=50.31 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49001 0 0 0 5012 19 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1631264 CPUtime=50.77 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40341 0 0 0 5056 21 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4327210 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1631264 CPUtime=50.71 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41415 0 0 0 5053 18 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1631264 CPUtime=50.8 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43234 0 0 0 5063 17 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1631264 CPUtime=50.85 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41077 0 0 0 5065 20 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1631264 CPUtime=50.87 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24001 0 0 0 5071 16 0 0 25 0 8 0 543816185 1670414336 269677 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.61
Current children cumulated vsize (KiB) 1631264
Solver just ended. Dumping a history of the last processes samples
[startup+57.5005 s]
/proc/loadavg: 5.06 1.45 0.50 9/241 26238
/proc/meminfo: memFree=27142744/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=456.76 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 324804 0 0 0 45524 152 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 270478 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=57 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40514 0 0 0 5680 20 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=56.66 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49097 0 0 0 5647 19 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=57.16 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40429 0 0 0 5695 21 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=57.11 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41539 0 0 0 5693 18 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=57.2 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43350 0 0 0 5703 17 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=57.25 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41158 0 0 0 5705 20 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=57.27 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24114 0 0 0 5711 16 0 0 25 0 8 0 543816185 1737523200 270478 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 456.76
Current children cumulated vsize (KiB) 1696800
[startup+60.7009 s]
/proc/loadavg: 5.06 1.45 0.50 9/241 26238
/proc/meminfo: memFree=27141380/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=482.35 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 325146 0 0 0 48082 153 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 270820 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=60.2 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40541 0 0 0 6000 20 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=59.83 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49135 0 0 0 5964 19 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=60.36 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40478 0 0 0 6015 21 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=60.31 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41578 0 0 0 6013 18 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=60.4 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43390 0 0 0 6023 17 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=60.45 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41196 0 0 0 6025 20 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=60.47 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24168 0 0 0 6031 16 0 0 25 0 8 0 543816185 1737523200 270820 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 482.35
Current children cumulated vsize (KiB) 1696800
[startup+63.9013 s]
/proc/loadavg: 5.30 1.56 0.54 9/241 26239
/proc/meminfo: memFree=27139892/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=507.92 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 325457 0 0 0 50639 153 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 271131 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=63.41 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40572 0 0 0 6321 20 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=63.01 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49167 0 0 0 6282 19 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=63.56 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40506 0 0 0 6335 21 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=63.51 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41612 0 0 0 6333 18 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=63.6 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43434 0 0 0 6343 17 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=63.65 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41254 0 0 0 6345 20 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=63.67 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24201 0 0 0 6351 16 0 0 25 0 8 0 543816185 1737523200 271131 33554432000 4194304 4627427 140736628790256 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 507.92
Current children cumulated vsize (KiB) 1696800
[startup+64.7012 s]
/proc/loadavg: 5.30 1.56 0.54 9/241 26239
/proc/meminfo: memFree=27139892/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=514.32 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 325527 0 0 0 51279 153 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 271201 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=64.21 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40577 0 0 0 6401 20 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4330019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=63.81 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49173 0 0 0 6362 19 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=64.36 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40515 0 0 0 6415 21 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=64.31 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41622 0 0 0 6413 18 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=64.4 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43447 0 0 0 6423 17 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=64.45 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41264 0 0 0 6425 20 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=64.47 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24207 0 0 0 6431 16 0 0 25 0 8 0 543816185 1737523200 271201 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 514.32
Current children cumulated vsize (KiB) 1696800
[startup+65.5011 s]
/proc/loadavg: 5.30 1.56 0.54 9/241 26239
/proc/meminfo: memFree=27139892/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=520.71 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 325605 0 0 0 51918 153 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 271279 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=65.01 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40586 0 0 0 6481 20 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=64.6 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49181 0 0 0 6441 19 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=65.16 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40526 0 0 0 6495 21 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=65.11 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41630 0 0 0 6493 18 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=65.2 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43460 0 0 0 6503 17 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=65.25 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41275 0 0 0 6505 20 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=65.27 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24214 0 0 0 6511 16 0 0 25 0 8 0 543816185 1737523200 271279 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 520.71
Current children cumulated vsize (KiB) 1696800
[startup+65.701 s]
/proc/loadavg: 5.30 1.56 0.54 9/241 26239
/proc/meminfo: memFree=27139892/32951124 swapFree=67111356/67111528
[pid=26229] ppid=26227 vsize=1696800 CPUtime=522.31 cores=0-7
/proc/26229/stat : 26229 (strangenight2-m) R 26227 26229 26203 0 -1 4202496 325621 0 0 0 52078 153 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26229/statm: 424200 271295 389 106 0 419171 0
[pid=26229/tid=26230] ppid=26227 vsize=1696800 CPUtime=65.21 cores=0-7
/proc/26229/task/26230/stat : 26230 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40587 0 0 0 6501 20 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26229/tid=26231] ppid=26227 vsize=1696800 CPUtime=64.8 cores=0-7
/proc/26229/task/26231/stat : 26231 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 49183 0 0 0 6461 19 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26229/tid=26232] ppid=26227 vsize=1696800 CPUtime=65.36 cores=0-7
/proc/26229/task/26232/stat : 26232 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 40529 0 0 0 6515 21 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26229/tid=26233] ppid=26227 vsize=1696800 CPUtime=65.31 cores=0-7
/proc/26229/task/26233/stat : 26233 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41631 0 0 0 6513 18 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26229/tid=26234] ppid=26227 vsize=1696800 CPUtime=65.4 cores=0-7
/proc/26229/task/26234/stat : 26234 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 43463 0 0 0 6523 17 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26229/tid=26235] ppid=26227 vsize=1696800 CPUtime=65.45 cores=0-7
/proc/26229/task/26235/stat : 26235 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 41277 0 0 0 6525 20 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26229/tid=26236] ppid=26227 vsize=1696800 CPUtime=65.47 cores=0-7
/proc/26229/task/26236/stat : 26236 (strangenight2-m) R 26227 26229 26203 0 -1 4202560 24215 0 0 0 6531 16 0 0 25 0 8 0 543816185 1737523200 271295 33554432000 4194304 4627427 140736628790256 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1696800
Child status: 20
Real time (s): 65.7846
CPU time (s): 522.573
CPU user time (s): 520.98
CPU system time (s): 1.59276
CPU usage (%): 794.369
Max. virtual memory (cumulated for all children) (KiB): 1696800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.98
system time used= 1.59276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325626
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= 121176
involuntary context switches= 8282
runsolver used 0.131979 second user time and 0.352946 second system time
The end
Begin job on node137 at 2011-05-02 09:43:05
IDJOB=3321003
IDBENCH=20431
IDSOLVER=1709
FILE ID=node137/3321003-1304322184
RUNJOBID= node137-1304322184-26217
PBS_JOBID= 13176789
Free space on /tmp= 73708 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321003-1304322184/watcher-3321003-1304322184 -o /tmp/evaluation-result-3321003-1304322184/solver-3321003-1304322184 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321003-1304322184.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1223615711
node137.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.844
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.68
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.844
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.844
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.844
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.74
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.844
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.844
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.844
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.83
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.844
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28224140 kB
Buffers: 949344 kB
Cached: 2463396 kB
SwapCached: 48 kB
Active: 1240984 kB
Inactive: 3014636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28224140 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 22312 kB
Writeback: 0 kB
AnonPages: 842936 kB
Mapped: 20196 kB
Slab: 397612 kB
PageTables: 12844 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 32809936 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= 73704 MiB
End job on node137 at 2011-05-02 09:44:11