0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.06/0.04 c This is CryptoMiniSat 3.0.0
0.06/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.06/0.04 c Reading file 'HOME/instance-3394662-1307666104.cnf'
0.06/0.04 c -- header says num vars: 6664
0.06/0.04 c -- header says num clauses: 69700
0.06/0.09 c -- clauses added: 0 learnts, 69700 normals, 0 xors
0.06/0.09 c -- vars added 6664
0.06/0.09 c Parsing time: 0.03 s
0.06/0.09 c N st 0 0 6664 52125 16248 0 322357 0 no data no data
0.06/0.49 c asymm cl-useful: 5/8238/51426 lits-rem:5 time: 0.39
0.82/0.68 c Flit: 27 Blit: 0 bXBeca: 0 bXProp: 101 Bins: 0 BRemL: 0 BRemN: 0 P: 6.9M T: 0.18
5.10/0.70 c Replacing 101 vars Replaced 33096 lits Time: 0.01 s
5.10/0.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5.10/0.78 c bin-w-bin subsume rem 583 bins time: 0.00 s
5.10/0.78 c subs with bin: 1468 lits-rem: 268 v-fix: 0 time: 0.01 s
5.10/0.78 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 5821 time: 0.01 s
5.72/0.79 c Removed useless bin: 16 fixed: 0 props: 1.41M time: 0.01 s
6.46/0.92 c lits-rem: 0 cl-subs: 673 v-elim: 598 v-fix: 0 time: 0.13 s
6.46/0.92 c Finding binary XORs T: 0.00 s found: 0
6.46/0.95 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
6.46/0.95 c calculated reachability. Time: 0.00
6.46/0.96 c Calc default polars - time: 0.00 s pos: 198 undec: 1441 neg: 5025
6.46/0.96 c =========================================================================================
6.46/0.96 c types(t): F = full restart, N = normal restart
6.46/0.96 c types(t): S = simplification begin/end, E = solution found
6.46/0.96 c restart types(rt): st = static, dy = dynamic
6.46/0.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6.46/0.96 c B st 0 0 5223 49790 13312 0 308807 0 no data no data
6.46/1.20 c N dy 15 4085 5222 49790 13417 3935 308807 137880 7.32 8.13
10.68/1.45 c N dy 43 8172 5216 49790 14452 7885 308807 257732 8.13 9.13
12.28/1.68 c N dy 72 12345 5179 49790 14499 7786 308806 177676 8.37 9.02
14.72/1.96 c N dy 97 16353 5177 49790 14876 11704 308806 294612 8.46 9.09
15.47/2.02 c Finding binary XORs T: 0.00 s found: 2
17.07/2.26 c N dy 127 20401 5171 49152 15019 8688 304690 160138 8.73 9.27
19.48/2.53 c N dy 150 24567 5160 49152 15044 12786 304690 279991 8.74 9.29
19.48/2.56 c F st 155 25001 5160 49152 15240 13215 304690 295223 8.81 no data
19.48/2.57 c Replacing 2 vars Replaced 16 lits Time: 0.00 s
22.71/2.99 c N dy 161 30001 5151 49133 15128 9502 304489 151819 8.81 no data
22.71/2.99 c S st 161 30001 5151 49133 15128 9502 304489 151819 8.81 no data
23.53/3.06 c S st 161 30503 5151 49133 15156 9976 304489 161714 8.81 no data
23.53/3.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
27.47/3.53 c Flit: 8 Blit: 2 bXBeca: 0 bXProp: 3 Bins: 127810 BRemL: 111124 BRemN: 0 P: 12.8M T: 0.47
27.47/3.54 c Replacing 3 vars Replaced 853 lits Time: 0.01 s
27.47/3.55 c blocked clauses removed: 0 vars: 0 tried: 5137 T: 0.00 s
27.47/3.56 c bin-w-bin subsume rem 437 bins time: 0.00 s
27.47/3.57 c subs with bin: 1279 lits-rem: 1121 v-fix: 0 time: 0.01 s
27.47/3.59 c Subs w/ non-existent bins: 35 l-rem: 95 v-fix: 0 done: 5137 time: 0.02 s
27.47/3.59 c Removed useless bin: 7 fixed: 0 props: 0.53M time: 0.01 s
28.27/3.64 c lits-rem: 0 cl-subs: 841 v-elim: 223 v-fix: 0 time: 0.04 s
28.27/3.65 c subs with bin: 176 lits-rem: 960 v-fix: 0 time: 0.01 s
28.27/3.68 c lits-rem: 82 cl-subs: 411 v-elim: 0 v-fix: 0 time: 0.02 s
31.51/4.08 c asymm cl-useful: 10/9014/46843 lits-rem:11 time: 0.41
31.51/4.09 c calculated reachability. Time: 0.00
31.51/4.09 c N dy 161 30503 4914 46843 28206 4284 293818 73808 8.81 no data
31.51/4.09 c Finding binary XORs T: 0.01 s found: 0
33.87/4.39 c N dy 175 34894 4910 46843 28362 8577 293815 193972 8.63 9.11
36.27/4.63 c Finding binary XORs T: 0.01 s found: 0
36.27/4.67 c N dy 195 38946 4843 46059 122083 11839 288302 476331 8.60 9.20
39.46/5.01 c N dy 216 43166 4842 46059 122094 9013 288302 365613 8.58 9.09
41.10/5.23 c S st 235 45755 4834 46059 122131 11575 288299 455903 8.64 6.76
41.85/5.30 c S st 235 46256 4834 46059 122131 12075 288299 465443 8.64 no data
41.85/5.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
45.05/5.73 c Flit: 21 Blit: 1 bXBeca: 0 bXProp: 37 Bins: 19506 BRemL: 102718 BRemN: 0 P: 12.5M T: 0.42
45.05/5.75 c Replacing 37 vars Replaced 28229 lits Time: 0.01 s
45.05/5.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45.05/5.76 c bin-w-bin subsume rem 763 bins time: 0.00 s
45.05/5.78 c subs with bin: 1935 lits-rem: 879 v-fix: 0 time: 0.02 s
45.85/5.80 c Subs w/ non-existent bins: 26 l-rem: 58 v-fix: 0 done: 4758 time: 0.01 s
45.85/5.80 c Removed useless bin: 51 fixed: 0 props: 0.41M time: 0.01 s
45.85/5.87 c lits-rem: 0 cl-subs: 2745 v-elim: 160 v-fix: 0 time: 0.06 s
46.65/5.90 c subs with bin: 276 lits-rem: 1476 v-fix: 0 time: 0.03 s
46.65/5.93 c lits-rem: 121 cl-subs: 573 v-elim: 0 v-fix: 0 time: 0.03 s
46.65/5.95 c vivif2 -- cl tried 40183 cl shrink 132 lits rem 547 time: 0.01
46.65/5.95 c vivif2 -- cl tried 6607 cl shrink 1232 lits rem 3005 time: 0.01
50.65/6.43 c asymm cl-useful: 24/12257/40183 lits-rem:29 time: 0.47
50.65/6.43 c calculated reachability. Time: 0.00
50.65/6.43 c N dy 235 46256 4598 40183 32119 6596 251190 118353 8.64 no data
50.65/6.44 c Finding binary XORs T: 0.01 s found: 0
53.04/6.71 c N dy 253 50272 4597 40183 46136 10555 251189 260944 8.58 14.17
54.65/6.97 c Finding binary XORs T: 0.01 s found: 1
55.45/7.05 c N dy 276 54462 4549 39714 43868 7205 248473 134056 8.60 9.13
57.88/7.40 c N dy 295 58995 4548 39714 52005 11669 248473 282496 8.57 9.07
58.69/7.48 c Finding binary XORs T: 0.01 s found: 2
61.04/7.75 c N dy 319 63000 4510 39507 60210 15279 247309 409142 8.57 9.52
62.64/7.99 c Finding binary XORs T: 0.01 s found: 0
64.24/8.13 c N dy 336 67040 4473 39464 56616 18903 246705 513932 8.54 9.53
65.84/8.34 c S st 351 69384 4473 39464 56699 11277 246705 225480 8.56 7.02
66.67/8.41 c S st 351 69887 4473 39464 56704 11772 246705 235189 8.56 no data
66.67/8.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
69.84/8.83 c Flit: 22 Blit: 19 bXBeca: 0 bXProp: 25 Bins: 27458 BRemL: 39453 BRemN: 23 P: 12.0M T: 0.41
69.84/8.84 c Replacing 28 vars Replaced 10394 lits Time: 0.01 s
69.84/8.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
69.84/8.85 c bin-w-bin subsume rem 433 bins time: 0.00 s
69.84/8.87 c subs with bin: 3068 lits-rem: 498 v-fix: 0 time: 0.02 s
69.84/8.88 c Subs w/ non-existent bins: 98 l-rem: 36 v-fix: 0 done: 4374 time: 0.01 s
69.84/8.89 c Removed useless bin: 29 fixed: 0 props: 0.37M time: 0.00 s
70.64/8.94 c lits-rem: 0 cl-subs: 1646 v-elim: 160 v-fix: 0 time: 0.05 s
70.64/8.97 c subs with bin: 380 lits-rem: 1433 v-fix: 0 time: 0.02 s
70.64/8.99 c lits-rem: 242 cl-subs: 396 v-elim: 0 v-fix: 0 time: 0.02 s
71.44/9.00 c vivif2 -- cl tried 33997 cl shrink 178 lits rem 534 time: 0.01
71.44/9.01 c vivif2 -- cl tried 7559 cl shrink 1036 lits rem 2010 time: 0.01
71.44/9.09 c asymm cl-useful: 36/4486/33995 lits-rem:108 time: 0.09
72.24/9.10 c calculated reachability. Time: 0.00
72.24/9.10 c N dy 351 69887 4214 33959 34147 7546 214711 116833 8.56 no data
72.24/9.11 c Finding binary XORs T: 0.01 s found: 3
74.63/9.46 c Following stats are for *FIRST FINISHED THREAD ONLY*
74.63/9.46 c num threads : 8
74.63/9.46 c restarts : 429
74.63/9.46 c dynamic restarts : 417
74.63/9.46 c static restarts : 12
74.63/9.46 c full restarts : 1
74.63/9.46 c total simplify time : 0.07
74.63/9.46 c learnts DL2 : 0
74.63/9.46 c learnts size 2 : 216896
74.63/9.46 c learnts size 1 : 2155 (32.34 % of vars)
74.63/9.46 c filedLit time : 0.74 (7.90 % time)
74.63/9.46 c v-elim SatELite : 920 (13.81 % vars)
74.63/9.46 c SatELite time : 0.20 (2.19 % time)
74.63/9.46 c v-elim xor : 0 (0.00 % vars)
74.63/9.46 c xor elim time : 0.01 (0.06 % time)
74.63/9.46 c num binary xor trees : 159
74.63/9.46 c binxor trees' crown : 186 (1.17 leafs/tree)
74.63/9.46 c bin xor find time : 0.04
74.63/9.46 c OTF clause improved : 780 (0.01 clauses/conflict)
74.63/9.46 c OTF impr. size diff : 1010 (1.29 lits/clause)
74.63/9.46 c OTF cl watch-shrink : 52887 (0.62 clauses/conflict)
74.63/9.46 c OTF cl watch-sh-lit : 184919 (3.50 lits/clause)
74.63/9.46 c tried to recurMin cls : 35199 (41.43 % of conflicts)
74.63/9.46 c updated cache : 0 (0.00 lits/tried recurMin)
74.63/9.46 c unit cls recevied : 149 (6.91 % of units)
74.63/9.46 c unit cls sent : 109 (5.06 % of units)
74.63/9.46 c bin cls recevied : 166679
74.63/9.46 c bin cls sent : 21502
74.63/9.46 c clauses over max glue : 0 (0.00 % of all clauses)
74.63/9.46 c conflicts : 84969 (9088.98 / sec)
74.63/9.46 c decisions : 169449 (3.37 % random)
74.63/9.46 c bogo-props : 467350177 (49991579.15 / sec)
74.63/9.46 c conflict literals : 2603477 (31.12 % deleted)
74.63/9.46 c Memory used : 755.93 MB
74.63/9.46 c single-thread CPU time : 9.35 s
74.63/9.46 c all-threads sum CPU time : 74.78 s
74.63/9.46 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3394662-1307666104/watcher-3394662-1307666104 -o /tmp/evaluation-result-3394662-1307666104/solver-3394662-1307666104 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394662-1307666104.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: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 8 0 878208371 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578614 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9618/statm: 23036 353 299 95 0 18018 0
[pid=9618/tid=9619] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578610 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 353 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0169201 s]
/proc/loadavg: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=92144 CPUtime=0.06 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 421 0 0 0 6 0 0 0 25 0 8 0 878208371 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578205 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 23036 361 302 95 0 18018 0
[pid=9618/tid=9619] ppid=9616 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578201 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578201 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578199 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578205 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=92144 CPUtime=0 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 878208372 94355456 361 33554432000 4194304 4580107 140737144147584 18446744073709551615 47114078578610 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92144
[startup+0.111672 s]
/proc/loadavg: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=568216 CPUtime=0.82 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 15523 0 0 0 73 9 0 0 18 0 8 0 878208371 581853184 15020 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 142087 15050 360 95 0 137069 0
[pid=9618/tid=9619] ppid=9616 vsize=568348 CPUtime=0.11 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1960 0 0 0 10 1 0 0 18 0 8 0 878208372 581988352 15055 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=568348 CPUtime=0.11 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 2101 0 0 0 10 1 0 0 18 0 8 0 878208372 581988352 15142 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=568348 CPUtime=0.09 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 1697 0 0 0 8 1 0 0 17 0 8 0 878208372 581988352 15155 33554432000 4194304 4580107 140737144147584 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=568748 CPUtime=0.13 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 2078 0 0 0 12 1 0 0 18 0 8 0 878208372 582397952 15834 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=569728 CPUtime=0.47 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 2298 0 0 0 46 1 0 0 18 0 8 0 878208372 583401472 17933 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=570520 CPUtime=0.49 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) D 9616 9618 9588 0 -1 4202560 2215 0 0 0 48 1 0 0 18 0 8 0 878208372 584212480 18655 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=570520 CPUtime=0.46 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) D 9616 9618 9588 0 -1 4202560 2489 0 0 0 45 1 0 0 18 0 8 0 878208372 584212480 18655 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 568216
[startup+0.632299 s]
/proc/loadavg: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=640292 CPUtime=5.1 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 24776 0 0 0 495 15 0 0 18 0 8 0 878208371 655659008 24273 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 161189 26005 371 95 0 156171 0
[pid=9618/tid=9619] ppid=9616 vsize=644900 CPUtime=0.67 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 3063 0 0 0 65 2 0 0 18 0 8 0 878208372 660377600 26217 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=644900 CPUtime=0.66 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) D 9616 9618 9588 0 -1 4202560 5095 0 0 0 64 2 0 0 18 0 8 0 878208372 660377600 26217 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=644900 CPUtime=0.65 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) D 9616 9618 9588 0 -1 4202560 3006 0 0 0 63 2 0 0 18 0 8 0 878208372 660377600 26225 33554432000 4194304 4580107 140737144147584 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=644900 CPUtime=0.65 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 3452 0 0 0 63 2 0 0 18 0 8 0 878208372 660377600 26233 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=644900 CPUtime=0.65 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 3198 0 0 0 63 2 0 0 18 0 8 0 878208372 660377600 26240 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122411216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=644900 CPUtime=0.65 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 2934 0 0 0 64 1 0 0 18 0 8 0 878208372 660377600 26378 33554432000 4194304 4580107 140737144147584 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=644900 CPUtime=0.63 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 2694 0 0 0 62 1 0 0 18 0 8 0 878208372 660377600 26378 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 18446604471098581248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 640292
[startup+0.778354 s]
/proc/loadavg: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=664936 CPUtime=5.72 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 39133 0 0 0 549 23 0 0 17 0 8 0 878208371 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4515212 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 166234 38505 375 95 0 161216 0
[pid=9618/tid=9619] ppid=9616 vsize=664936 CPUtime=0.71 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 5440 0 0 0 68 3 0 0 17 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4478896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=664936 CPUtime=0.74 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 5890 0 0 0 72 2 0 0 18 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=664936 CPUtime=0.69 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 4857 0 0 0 66 3 0 0 18 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4292006 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=664936 CPUtime=0.69 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 5377 0 0 0 67 2 0 0 18 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122771882 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=664936 CPUtime=0.7 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 4992 0 0 0 67 3 0 0 18 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=664936 CPUtime=0.7 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 4767 0 0 0 68 2 0 0 17 0 8 0 878208372 680894464 38505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4427185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=669220 CPUtime=0.7 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) D 9616 9618 9588 0 -1 4202560 2736 0 0 0 69 1 0 0 18 0 8 0 878208372 685281280 39629 33554432000 4194304 4580107 140737144147584 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 664936
[startup+1.50062 s]
/proc/loadavg: 1.01 1.43 1.75 1/170 9618
/proc/meminfo: memFree=32108044/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=694644 CPUtime=11.49 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 53223 0 0 0 1122 27 0 0 18 0 8 0 878208371 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 4484503 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 173661 41339 378 95 0 168643 0
[pid=9618/tid=9619] ppid=9616 vsize=694644 CPUtime=1.43 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 7497 0 0 0 139 4 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=694644 CPUtime=1.47 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 7169 0 0 0 144 3 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 18446604471098581248 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=694644 CPUtime=1.42 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 7017 0 0 0 138 4 0 0 19 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=694644 CPUtime=1.43 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 7101 0 0 0 140 3 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=694644 CPUtime=1.41 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) S 9616 9618 9588 0 -1 4202560 7025 0 0 0 138 3 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122819054 0 0 4096 2 18446604471098581248 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=694644 CPUtime=1.42 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 6654 0 0 0 139 3 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=694644 CPUtime=1.42 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 3659 0 0 0 141 1 0 0 18 0 8 0 878208372 711315456 41339 33554432000 4194304 4580107 140737144147584 18446744073709551615 228122370005 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 694644
[startup+3.10033 s]
/proc/loadavg: 1.73 1.57 1.80 9/178 9626
/proc/meminfo: memFree=31933788/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=612188 CPUtime=24.27 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 68485 0 0 0 2397 30 0 0 21 0 8 0 878208371 626880512 42504 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 153047 42504 380 95 0 148029 0
[pid=9618/tid=9619] ppid=9616 vsize=612188 CPUtime=3.03 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 9546 0 0 0 299 4 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=612188 CPUtime=3.06 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 9184 0 0 0 303 3 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=612188 CPUtime=3.01 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 8977 0 0 0 297 4 0 0 22 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=612188 CPUtime=3.02 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 9042 0 0 0 299 3 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=612188 CPUtime=3.02 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 8949 0 0 0 298 4 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4302439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=612188 CPUtime=3.03 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 8692 0 0 0 299 4 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=612188 CPUtime=3 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 5089 0 0 0 299 1 0 0 21 0 8 0 878208372 626880512 42505 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.27
Current children cumulated vsize (KiB) 612188
[startup+6.30675 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31865596/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=698628 CPUtime=49.9 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 91952 0 0 0 4955 35 0 0 25 0 8 0 878208371 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 174657 60947 380 95 0 169639 0
[pid=9618/tid=9619] ppid=9616 vsize=698628 CPUtime=6.24 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13036 0 0 0 619 5 0 0 21 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=698628 CPUtime=6.27 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12890 0 0 0 623 4 0 0 21 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=698628 CPUtime=6.22 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11493 0 0 0 617 5 0 0 21 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=698628 CPUtime=6.22 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12186 0 0 0 619 3 0 0 25 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4412304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=698628 CPUtime=6.23 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 10685 0 0 0 619 4 0 0 25 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=698628 CPUtime=6.23 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11739 0 0 0 619 4 0 0 25 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=698628 CPUtime=6.19 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 7757 0 0 0 617 2 0 0 25 0 8 0 878208372 715395072 60947 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 698628
Solver just ended. Dumping a history of the last processes samples
[startup+7.10061 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31865596/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=687736 CPUtime=56.25 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 95273 0 0 0 5589 36 0 0 25 0 8 0 878208371 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4320663 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 171934 62855 380 95 0 166916 0
[pid=9618/tid=9619] ppid=9616 vsize=687736 CPUtime=7.03 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13102 0 0 0 698 5 0 0 23 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=687736 CPUtime=7.06 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13220 0 0 0 702 4 0 0 23 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=687736 CPUtime=7.01 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11616 0 0 0 696 5 0 0 23 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=687736 CPUtime=7.03 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12890 0 0 0 699 4 0 0 25 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=687736 CPUtime=7.02 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 10909 0 0 0 698 4 0 0 25 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=687736 CPUtime=7.02 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12003 0 0 0 698 4 0 0 25 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=687736 CPUtime=6.98 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 8671 0 0 0 696 2 0 0 25 0 8 0 878208372 704241664 62855 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 56.25
Current children cumulated vsize (KiB) 687736
[startup+8.70032 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31839960/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=708528 CPUtime=69.04 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 102668 0 0 0 6866 38 0 0 25 0 8 0 878208371 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4234976 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 177132 68506 380 95 0 172114 0
[pid=9618/tid=9619] ppid=9616 vsize=708528 CPUtime=8.63 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13239 0 0 0 858 5 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=708528 CPUtime=8.67 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 14389 0 0 0 862 5 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=708528 CPUtime=8.61 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12305 0 0 0 856 5 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=708528 CPUtime=8.62 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13923 0 0 0 858 4 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=708528 CPUtime=8.62 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11885 0 0 0 858 4 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=708528 CPUtime=8.62 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13301 0 0 0 857 5 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4401307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=708528 CPUtime=8.57 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 9819 0 0 0 855 2 0 0 25 0 8 0 878208372 725532672 68506 33554432000 4194304 4580107 140737144147584 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 69.04
Current children cumulated vsize (KiB) 708528
[startup+9.10125 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31839960/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=708528 CPUtime=72.24 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 105066 0 0 0 7186 38 0 0 25 0 8 0 878208371 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4290455 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 177132 70268 380 95 0 172114 0
[pid=9618/tid=9619] ppid=9616 vsize=708528 CPUtime=9.03 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13285 0 0 0 898 5 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4321002 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=708528 CPUtime=9.07 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 14494 0 0 0 902 5 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=708528 CPUtime=9.01 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12456 0 0 0 896 5 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4339077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=708528 CPUtime=9.02 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 14039 0 0 0 898 4 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=708528 CPUtime=9.02 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11885 0 0 0 898 4 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=708528 CPUtime=9.03 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13464 0 0 0 898 5 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=708528 CPUtime=8.97 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 10918 0 0 0 895 2 0 0 25 0 8 0 878208372 725532672 70268 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 72.24
Current children cumulated vsize (KiB) 708528
[startup+9.30121 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31839960/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=774064 CPUtime=73.83 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 106417 0 0 0 7345 38 0 0 25 0 8 0 878208371 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 193516 70578 380 95 0 188498 0
[pid=9618/tid=9619] ppid=9616 vsize=774064 CPUtime=9.23 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13290 0 0 0 918 5 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=774064 CPUtime=9.27 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 15048 0 0 0 922 5 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=774064 CPUtime=9.21 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 12586 0 0 0 916 5 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4317066 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=774064 CPUtime=9.22 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 14562 0 0 0 918 4 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=774064 CPUtime=9.22 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11885 0 0 0 918 4 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=774064 CPUtime=9.23 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13510 0 0 0 918 5 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=774064 CPUtime=9.17 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 10918 0 0 0 915 2 0 0 25 0 8 0 878208372 792641536 70578 33554432000 4194304 4580107 140737144147584 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 73.83
Current children cumulated vsize (KiB) 774064
[startup+9.40119 s]
/proc/loadavg: 2.23 1.68 1.83 9/178 9627
/proc/meminfo: memFree=31839960/32951124 swapFree=67051744/67111528
[pid=9618] ppid=9616 vsize=774064 CPUtime=74.63 cores=0-7
/proc/9618/stat : 9618 (strangenight2-m) R 9616 9618 9588 0 -1 4202496 107146 0 0 0 7425 38 0 0 25 0 8 0 878208371 792641536 70373 33554432000 4194304 4580107 140737144147584 18446744073709551615 4316717 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 193516 70373 380 95 0 188498 0
[pid=9618/tid=9619] ppid=9616 vsize=774064 CPUtime=9.33 cores=0-7
/proc/9618/task/9619/stat : 9619 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13291 0 0 0 928 5 0 0 25 0 8 0 878208372 792641536 70373 33554432000 4194304 4580107 140737144147584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9618/tid=9620] ppid=9616 vsize=774064 CPUtime=9.37 cores=0-7
/proc/9618/task/9620/stat : 9620 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 15074 0 0 0 932 5 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4317211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9618/tid=9621] ppid=9616 vsize=774064 CPUtime=9.31 cores=0-7
/proc/9618/task/9621/stat : 9621 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13148 0 0 0 926 5 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9618/tid=9622] ppid=9616 vsize=774064 CPUtime=9.32 cores=0-7
/proc/9618/task/9622/stat : 9622 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 14592 0 0 0 928 4 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9618/tid=9623] ppid=9616 vsize=774064 CPUtime=9.32 cores=0-7
/proc/9618/task/9623/stat : 9623 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 11886 0 0 0 928 4 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9618/tid=9624] ppid=9616 vsize=774064 CPUtime=9.33 cores=0-7
/proc/9618/task/9624/stat : 9624 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 13558 0 0 0 928 5 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4322558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9618/tid=9625] ppid=9616 vsize=774064 CPUtime=9.27 cores=0-7
/proc/9618/task/9625/stat : 9625 (strangenight2-m) R 9616 9618 9588 0 -1 4202560 10941 0 0 0 925 2 0 0 25 0 8 0 878208372 792641536 70374 33554432000 4194304 4580107 140737144147584 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 74.63
Current children cumulated vsize (KiB) 774064
Child status: 20
Real time (s): 9.48115
CPU time (s): 75.1826
CPU user time (s): 74.7776
CPU system time (s): 0.404938
CPU usage (%): 792.969
Max. virtual memory (cumulated for all children) (KiB): 774064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.7776
system time used= 0.404938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107300
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= 29205
involuntary context switches= 378
runsolver used 0.011998 second user time and 0.046992 second system time
The end
Begin job on node138 at 2011-06-10 02:35:04
IDJOB=3394662
IDBENCH=83438
IDSOLVER=1878
FILE ID=node138/3394662-1307666104
RUNJOBID= node138-1307666104-9602
PBS_JOBID= 13549472
Free space on /tmp= 74108 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394662-1307666104/watcher-3394662-1307666104 -o /tmp/evaluation-result-3394662-1307666104/solver-3394662-1307666104 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394662-1307666104.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4f20f237857124f0eb214df627f84b82
RANDOM SEED=326550251
node138.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.854
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.70
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.854
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.854
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.854
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.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
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.854
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.854
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: 32108356 kB
Buffers: 218348 kB
Cached: 415936 kB
SwapCached: 13436 kB
Active: 374412 kB
Inactive: 277408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 32108356 kB
SwapTotal: 67111528 kB
SwapFree: 67051744 kB
Dirty: 7440 kB
Writeback: 0 kB
AnonPages: 14776 kB
Mapped: 8636 kB
Slab: 125212 kB
PageTables: 4504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 184192 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= 74100 MiB
End job on node138 at 2011-06-10 02:35:14