Trace number 3367185

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 306.998 76.9453

General information on the benchmark

Nameapplication/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
MD5SUMac372f51471a04bbb3fb9a678284c6a4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.57246
Satisfiable
(Un)Satisfiability was proved
Number of variables29317
Number of clauses277090
Sum of the clauses size598882
Maximum clause length179
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2264085
Number of clauses of size 38078
Number of clauses of size 41144
Number of clauses of size 5453
Number of clauses of size over 53186

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3367185-1305394021.cnf'
0.00/0.00	c -- header says num vars:          29317
0.00/0.00	c -- header says num clauses:      277090
0.33/0.11	c -- clauses added:            0 learnts,       277090 normals,            0 xors
0.33/0.11	c -- vars added      29317
0.33/0.11	c Parsing time:  0.07 s
0.33/0.11	c  N st     0         0     29317     12861    264085         0    598738         0   no data   no data
0.33/0.36	c asymm  cl-useful: 5/3513/12727 lits-rem:201 time: 0.23
14.68/3.78	c Flit:    89 Blit:   1878 bXBeca:    0 bXProp:  527 Bins:      0 BRemL:      0 BRemN:      0 P: 111.1M T:  3.33
14.68/3.79	c Cleaning up after failed var search:     0.01 s 
14.68/3.80	c Replacing      527 vars Replaced    11553 lits Time:     0.01 s 
15.09/3.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.09/3.82	c bin-w-bin subsume rem          156 bins  time:  0.01 s
15.09/3.85	c subs with bin:       22  lits-rem:         0  v-fix:    0  time:  0.03 s
15.87/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26575 time:  0.21 s
16.67/4.20	c Removed useless bin:    2803  fixed:     0  props:  20.00M  time:  0.14 s
17.08/4.38	c lits-rem:       291  cl-subs:     1976  v-elim:   4960  v-fix:    0  time:  0.18 s
17.88/4.57	c Finding binary XORs  T:     0.19 s  found:       0
18.28/4.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
18.28/4.62	c calculated reachability. Time: 0.04
18.28/4.63	c Calc default polars -  time:   0.00 s pos:    2524 undec:    8777 neg:   18016
18.28/4.63	c =========================================================================================
18.28/4.63	c types(t): F = full restart, N = normal restart
18.28/4.63	c types(t): S = simplification begin/end, E = solution found
18.28/4.63	c restart types(rt): st = static, dy = dynamic
18.28/4.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
18.28/4.63	c  B st     0         0     21615     13414    184644         0    526741         0   no data   no data
19.90/5.07	c  N dy    16      4050     21615     13414    185314      3303    526741    136240      8.10      8.57
21.47/5.49	c  N dy    38      8380     21615     13414    187550      5181    526741    154085      8.30      8.82
23.07/5.87	c  N dy    74     12637     21603     13414    187580      5468    526741    137435      9.30      9.85
24.66/6.20	c  N dy    97     16640     21603     13414    187680      9336    526741    272596      9.66     10.35
25.86/6.58	c  N dy   113     20925     21591     13414    187782      8159    526741    202099      9.63     10.42
27.46/6.97	c  F st   130     25000     21591     13414    187793     12121    526741    336241      9.64      8.34
27.86/7.01	c  N st   130     25000     21591     13372    187205     11948    525145    332271      9.64      8.34
29.45/7.47	c Decided on static restart strategy
29.45/7.47	c  N st   136     30000     21591     13372    187242     10338    525145    277952      9.64   no data
29.45/7.47	c  S st   136     30000     21591     13372    187242     10338    525145    277952      9.64   no data
29.85/7.55	c  S st   136     30500     21591     13372    187258     10820    525145    296299      9.64   no data
29.85/7.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.62/11.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins: 830084 BRemL:  34559 BRemN:   1974 P: 104.8M T:  4.21
47.01/11.82	c Replacing        9 vars Replaced      428 lits Time:     0.03 s 
47.01/11.85	c blocked clauses removed:     1354 vars:   1246 tried:       24690 T: 0.02 s
47.41/11.92	c bin-w-bin subsume rem          154 bins  time:  0.08 s
49.01/12.35	c subs with bin:      291  lits-rem:     27487  v-fix:    0  time:  0.43 s
49.81/12.55	c Subs w/ non-existent bins:     11 l-rem:      6 v-fix:     0 done:  20336 time:  0.19 s
49.81/12.59	c Removed useless bin:     353  fixed:     0  props:   3.67M  time:  0.04 s
50.23/12.68	c lits-rem:       151  cl-subs:      371  v-elim:    293  v-fix:    0  time:  0.09 s
51.01/12.87	c subs with bin:     1078  lits-rem:      4611  v-fix:    0  time:  0.17 s
51.41/12.98	c lits-rem:       582  cl-subs:      501  v-elim:      0  v-fix:    0  time:  0.10 s
52.60/13.23	c asymm  cl-useful: 31/3862/10984 lits-rem:35 time: 0.26
53.00/13.30	c calculated reachability. Time: 0.05
53.00/13.30	c  N st   136     30500     20043     10984    912418      9200    445134   1759686      9.64   no data
53.40/13.46	c Finding binary XORs  T:     0.16 s  found:       0
56.99/14.37	c  N st   138     37610     20043     10984    912439      8532    445134   1740326      9.64   no data
59.79/15.07	c  N st   139     44012     20042     10984    944777     14617    445134   2045292      9.64   no data
60.99/15.33	c  S st   140     45753     20042     10984    944779     16256    445134   2098293      9.64   no data
61.39/15.45	c  S st   140     46260     20042     10984    944788     16752    445134   2115641      9.64   no data
61.39/15.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
74.96/18.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3046 BRemL: 177741 BRemN:      8 P: 93.2M T:  3.40
74.96/18.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.36/18.94	c bin-w-bin subsume rem          211 bins  time:  0.06 s
76.58/19.27	c subs with bin:       53  lits-rem:      4291  v-fix:    0  time:  0.33 s
77.36/19.45	c Subs w/ non-existent bins:      4 l-rem:      3 v-fix:     0 done:  20042 time:  0.18 s
77.76/19.50	c Removed useless bin:     693  fixed:     0  props:   5.97M  time:  0.05 s
77.76/19.59	c lits-rem:         2  cl-subs:       16  v-elim:     11  v-fix:    0  time:  0.08 s
78.96/19.85	c subs with bin:        8  lits-rem:      1010  v-fix:    0  time:  0.24 s
80.97/20.40	c lits-rem:       402  cl-subs:      611  v-elim:      0  v-fix:    0  time:  0.55 s
81.38/20.42	c vivif2 --  cl tried    10924 cl shrink      141 lits rem        211 time: 0.02
81.38/20.46	c vivif2 --  cl tried    16136 cl shrink     4299 lits rem      17519 time: 0.04
82.15/20.65	c asymm  cl-useful: 0/3498/10873 lits-rem:0 time: 0.19
82.55/20.71	c calculated reachability. Time: 0.04
82.55/20.71	c  N st   140     46260     20031     10873    768515     16128    438498   1723956      9.64   no data
89.76/22.53	c Finding binary XORs  T:     0.14 s  found:       5
90.53/22.73	c  N st   141     60658     20028     10871    791289     11896    438356   1588771      9.64   no data
94.56/23.78	c  N st   142     69390     20027     10871    791290     19961    438356   1876291      9.64   no data
94.56/23.78	c  S st   142     69390     20027     10871    791290     19961    438356   1876291      9.64   no data
95.72/24.00	c  S st   142     69892     20027     10871    791829     20457    438356   1898835      9.64   no data
95.72/24.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
110.10/27.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3743 BRemL: 199239 BRemN:     43 P: 93.5M T:  3.59
110.10/27.65	c Replacing        5 vars Replaced      599 lits Time:     0.03 s 
110.10/27.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.50/27.71	c bin-w-bin subsume rem         2958 bins  time:  0.05 s
111.30/27.91	c subs with bin:        3  lits-rem:        11  v-fix:    0  time:  0.20 s
111.72/28.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20022 time:  0.18 s
112.13/28.15	c Removed useless bin:     173  fixed:     0  props:   8.63M  time:  0.06 s
112.49/28.23	c lits-rem:         0  cl-subs:        1  v-elim:     56  v-fix:    0  time:  0.08 s
113.69/28.51	c subs with bin:        2  lits-rem:       326  v-fix:    0  time:  0.26 s
116.52/29.21	c lits-rem:      1095  cl-subs:     1010  v-elim:      0  v-fix:    0  time:  0.70 s
116.52/29.23	c vivif2 --  cl tried    10911 cl shrink       88 lits rem       1595 time: 0.02
116.52/29.27	c vivif2 --  cl tried    19014 cl shrink     3407 lits rem      11234 time: 0.04
117.68/29.55	c asymm  cl-useful: 24/2723/10910 lits-rem:160 time: 0.27
118.08/29.60	c calculated reachability. Time: 0.04
118.08/29.60	c  N st   142     69892     19966     10907    590294     19014    438614   1429949      9.64   no data
126.47/31.73	c  F st   143     87500     19959     10907    590509     14239    438614   1257393      9.64   no data
126.47/31.78	c  N st   143     87500     19959     10905    590154     14206    438267   1255778      9.64   no data
129.29/32.46	c  N dy   153     93097     19959     10905    590629     19372    438267   1433609      9.74     16.03
133.67/33.51	c  N dy   196     99057     19959     10905    590634     12896    438267   1183785     10.21     10.76
136.86/34.33	c  S st   236    104839     19958     10905    590639     18309    438267   1352854     10.51      8.92
137.26/34.48	c  S st   236    105344     19958     10905    590650     18803    438267   1370991     10.51   no data
137.65/34.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152.02/38.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:  59822 BRemL: 164924 BRemN:    574 P: 92.0M T:  3.62
152.02/38.15	c Replacing       11 vars Replaced      621 lits Time:     0.03 s 
152.02/38.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.42/38.20	c bin-w-bin subsume rem          106 bins  time:  0.04 s
152.82/38.32	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.12 s
153.22/38.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19947 time:  0.18 s
153.62/38.57	c Removed useless bin:     149  fixed:     0  props:  11.94M  time:  0.07 s
154.02/38.64	c lits-rem:         0  cl-subs:        9  v-elim:     10  v-fix:    0  time:  0.07 s
154.82/38.86	c subs with bin:        4  lits-rem:       378  v-fix:    0  time:  0.21 s
156.41/39.22	c lits-rem:       530  cl-subs:      503  v-elim:      0  v-fix:    0  time:  0.35 s
156.41/39.24	c vivif2 --  cl tried    10951 cl shrink       86 lits rem       2661 time: 0.02
156.41/39.27	c vivif2 --  cl tried    17363 cl shrink     2819 lits rem      12368 time: 0.04
157.61/39.55	c asymm  cl-useful: 17/2992/10931 lits-rem:21 time: 0.28
158.01/39.60	c calculated reachability. Time: 0.04
158.01/39.60	c  N dy   236    105344     19937     10931    484517     17363    439852   1119342     10.51   no data
158.41/39.75	c Finding binary XORs  T:     0.14 s  found:       0
162.40/40.76	c  N dy   269    112148     19937     10931    484817     23789    439852   1317825     10.53     17.36
166.39/41.72	c  N dy   299    119398     19934     10931    486823     17869    439852   1079380     10.48     11.66
170.79/42.81	c  N dy   348    127314     19934     10931    486827     25336    439852   1306417     10.66     11.47
175.18/43.90	c  N dy   402    135475     19933     10931    486849     19273    439852   1127128     10.87     13.58
179.97/45.16	c  N dy   442    144207     19933     10931    486861     27433    439852   1374169     10.90     15.52
185.56/46.54	c  N dy   484    154721     19930     10931    486868     22464    439852   1204974     10.86     11.53
187.15/46.99	c  S st   500    158017     19929     10931    486873     25543    439852   1296392     10.88      8.41
187.95/47.15	c  S st   500    158520     19929     10931    486880     26038    439852   1313984     10.88   no data
187.95/47.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
203.53/51.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  63456 BRemL:  70087 BRemN:     68 P: 93.3M T:  3.84
203.53/51.04	c Replacing        5 vars Replaced      975 lits Time:     0.03 s 
203.53/51.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
203.53/51.08	c bin-w-bin subsume rem          364 bins  time:  0.04 s
203.95/51.19	c subs with bin:        3  lits-rem:         5  v-fix:    0  time:  0.10 s
204.72/51.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19924 time:  0.17 s
205.12/51.43	c Removed useless bin:      41  fixed:     0  props:  11.65M  time:  0.07 s
205.52/51.50	c lits-rem:         0  cl-subs:       13  v-elim:      2  v-fix:    0  time:  0.07 s
206.72/51.81	c subs with bin:      299  lits-rem:      1132  v-fix:    0  time:  0.28 s
208.75/52.31	c lits-rem:       589  cl-subs:      606  v-elim:      0  v-fix:    0  time:  0.50 s
208.75/52.33	c vivif2 --  cl tried    10926 cl shrink       12 lits rem        361 time: 0.02
208.75/52.38	c vivif2 --  cl tried    22601 cl shrink     3432 lits rem      14694 time: 0.05
209.91/52.65	c asymm  cl-useful: 2/4840/10926 lits-rem:5 time: 0.27
210.31/52.70	c calculated reachability. Time: 0.04
210.31/52.70	c  N dy   500    158520     19922     10925    479289     22601    439621   1227032     10.88   no data
210.71/52.84	c Finding binary XORs  T:     0.14 s  found:       0
216.71/54.31	c  N dy   544    168758     19916     10925    484703     17647    439621   1071747     10.88     11.59
223.09/55.91	c  N dy   602    180539     19916     10925    484740     28815    439621   1412935     10.89     11.49
229.88/57.62	c  N dy   656    192095     19916     10925    484758     23390    439621   1232786     10.92     14.63
235.87/59.12	c Finding binary XORs  T:     0.14 s  found:       1
238.67/59.84	c  N dy   711    204490     19916     10924    484516     34501    439266   1538296     10.91     11.56
245.85/61.68	c  N dy   761    217616     19913     10924    484815     29395    439266   1335894     10.85     11.58
255.03/63.90	c  N dy   828    231709     19910     10924    484828     24209    439266   1163986     10.88     11.48
258.62/64.82	c  S st   863    237783     19910     10924    484835     29977    439266   1324958     10.94      9.19
259.02/64.99	c  S st   863    238285     19910     10924    484836     30477    439266   1342683     10.94   no data
259.42/65.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.22/68.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  18993 BRemL:  47205 BRemN:      5 P: 92.4M T:  3.79
274.63/68.84	c Replacing        7 vars Replaced      508 lits Time:     0.03 s 
274.63/68.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
274.63/68.88	c bin-w-bin subsume rem          471 bins  time:  0.04 s
274.99/68.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
275.79/69.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19903 time:  0.17 s
276.20/69.22	c Removed useless bin:      30  fixed:     0  props:  12.65M  time:  0.08 s
276.20/69.29	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.07 s
277.80/69.63	c subs with bin:      218  lits-rem:      3812  v-fix:    0  time:  0.32 s
280.99/70.40	c lits-rem:      1790  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  0.77 s
280.99/70.42	c vivif2 --  cl tried    10923 cl shrink        6 lits rem          6 time: 0.02
280.99/70.49	c vivif2 --  cl tried    27257 cl shrink     4059 lits rem      12709 time: 0.07
282.19/70.77	c asymm  cl-useful: 5/2693/10921 lits-rem:25 time: 0.28
282.59/70.82	c calculated reachability. Time: 0.04
282.59/70.82	c  N dy   863    238285     19901     10919    455475     27257    438841   1216237     10.94   no data
283.00/70.96	c Finding binary XORs  T:     0.14 s  found:       0
293.36/73.52	c  N dy   918    253545     19893     10919    455640     22848    438841   1074172     10.87     11.81
304.55/76.35	c  N dy   979    270598     19873     10919    456714     38864    438841   1491204     10.82     11.65
306.94/76.90	c Following stats are for *FIRST FINISHED THREAD ONLY*
306.94/76.90	c num threads              : 4          
306.94/76.90	c restarts                 : 1146       
306.94/76.90	c dynamic restarts         : 1112       
306.94/76.90	c static restarts          : 34         
306.94/76.90	c full restarts            : 3          
306.94/76.90	c total simplify time      : 1.11       
306.94/76.90	c learnts DL2              : 0          
306.94/76.90	c learnts size 2           : 1313720    
306.94/76.90	c learnts size 1           : 2543        (8.67      % of vars)
306.94/76.90	c filedLit time            : 18.16       (23.69     % time)
306.94/76.90	c v-elim SatELite          : 6561        (22.38     % vars)
306.94/76.90	c SatELite time            : 4.57        (5.96      % time)
306.94/76.90	c v-elim xor               : 0           (0.00      % vars)
306.94/76.90	c xor elim time            : 0.06        (0.08      % time)
306.94/76.90	c num binary xor trees     : 331        
306.94/76.90	c binxor trees' crown      : 564         (1.70      leafs/tree)
306.94/76.90	c bin xor find time        : 1.21       
306.94/76.90	c OTF clause improved      : 21021       (0.06      clauses/conflict)
306.94/76.90	c OTF impr. size diff      : 24046       (1.14       lits/clause)
306.94/76.90	c OTF cl watch-shrink      : 254089      (0.77      clauses/conflict)
306.94/76.90	c OTF cl watch-sh-lit      : 1384803     (5.45       lits/clause)
306.94/76.90	c tried to recurMin cls    : 59461       (18.02      % of conflicts)
306.94/76.90	c updated cache            : 0           (0.00       lits/tried recurMin)
306.94/76.90	c unit cls recevied        : 21          (0.83      % of units)
306.94/76.90	c unit cls sent            : 44          (1.73      % of units)
306.94/76.90	c bin cls recevied         : 186057     
306.94/76.90	c bin cls sent             : 4722       
306.94/76.90	c clauses over max glue    : 0           (0.00      % of all clauses)
306.94/76.90	c conflicts                : 329984      (4305.06   / sec)
306.94/76.90	c decisions                : 453495      (1.94      % random)
306.94/76.90	c bogo-props               : 4936148753  (64398257.10 / sec)
306.94/76.90	c conflict literals        : 9559693     (35.13     % deleted)
306.94/76.90	c Memory used              : 1259.91     MB
306.94/76.90	c single-thread CPU time   : 76.65       s
306.94/76.90	c all-threads sum CPU time : 306.15      s
306.94/76.90	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367185-1305394021/watcher-3367185-1305394021 -o /tmp/evaluation-result-3367185-1305394021/solver-3367185-1305394021 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367185-1305394021.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 408 0 0 0 1 0 0 0 24 0 4 0 651002823 52396032 348 33554432000 4194304 4580107 140736346107504 18446744073709551615 47955468298162 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 12792 348 299 95 0 7774 0
[pid=7549/tid=7550] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651002823 52396032 348 33554432000 4194304 4580107 140736346107504 18446744073709551615 47955468298162 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651002823 52396032 348 33554432000 4194304 4580107 140736346107504 18446744073709551615 47955468298152 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651002823 52396032 348 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.078916 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=370664 CPUtime=0.25 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 14549 0 0 0 19 6 0 0 18 0 4 0 651002823 379559936 12479 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921438241 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 92983 12848 338 95 0 87965 0
[pid=7549/tid=7550] ppid=7547 vsize=371932 CPUtime=0.05 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 3367 0 0 0 4 1 0 0 18 0 4 0 651002823 380858368 12856 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921432089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=371932 CPUtime=0.05 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) S 7547 7549 6866 0 -1 4202560 3653 0 0 0 4 1 0 0 17 0 4 0 651002823 380858368 12871 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921882094 0 0 4096 2 18446604463265209280 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=371932 CPUtime=0.06 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) S 7547 7549 6866 0 -1 4202560 4041 0 0 0 5 1 0 0 18 0 4 0 651002823 380858368 12887 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921882094 0 0 4096 2 18446604463265209280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 370664

[startup+0.102885 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=373076 CPUtime=0.33 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 16714 0 0 0 25 8 0 0 18 0 4 0 651002823 382029824 14638 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921882143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 93269 14705 338 95 0 88251 0
[pid=7549/tid=7550] ppid=7547 vsize=373208 CPUtime=0.07 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 3865 0 0 0 5 2 0 0 17 0 4 0 651002823 382164992 14789 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=373208 CPUtime=0.08 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 4115 0 0 0 6 2 0 0 17 0 4 0 651002823 382164992 14839 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=373340 CPUtime=0.07 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) D 7547 7549 6866 0 -1 4202560 4455 0 0 0 6 1 0 0 17 0 4 0 651002823 382300160 14871 33554432000 4194304 4580107 140736346107504 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 373076

[startup+0.415428 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=404772 CPUtime=2.98 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 43182 0 0 0 283 15 0 0 18 0 4 0 651002823 414486528 41004 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 103212 46693 360 95 0 98194 0
[pid=7549/tid=7550] ppid=7547 vsize=412848 CPUtime=0.84 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 14299 0 0 0 80 4 0 0 18 0 4 0 651002823 422756352 46695 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=412848 CPUtime=0.84 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 14357 0 0 0 80 4 0 0 19 0 4 0 651002823 422756352 46697 33554432000 4194304 4580107 140736346107504 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=412848 CPUtime=0.84 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 5543 0 0 0 82 2 0 0 19 0 4 0 651002823 422756352 46699 33554432000 4194304 4580107 140736346107504 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 404772

[startup+0.971721 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=421152 CPUtime=3.8 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 54412 0 0 0 363 17 0 0 18 0 4 0 651002823 431259648 51917 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 105288 51919 360 95 0 100270 0
[pid=7549/tid=7550] ppid=7547 vsize=421152 CPUtime=0.94 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 16089 0 0 0 89 5 0 0 18 0 4 0 651002823 431259648 51919 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=421152 CPUtime=0.94 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 16147 0 0 0 90 4 0 0 19 0 4 0 651002823 431259648 51921 33554432000 4194304 4580107 140736346107504 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=421152 CPUtime=0.94 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 5746 0 0 0 92 2 0 0 19 0 4 0 651002823 431259648 51925 33554432000 4194304 4580107 140736346107504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 421152

[startup+1.50063 s]
/proc/loadavg: 7.83 7.27 7.20 5/241 7549
/proc/meminfo: memFree=23469744/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=534472 CPUtime=5.91 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 86881 0 0 0 566 25 0 0 18 0 4 0 651002823 547299328 84386 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 133618 84388 361 95 0 128600 0
[pid=7549/tid=7550] ppid=7547 vsize=534472 CPUtime=1.47 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) D 7547 7549 6866 0 -1 4202560 26616 0 0 0 139 8 0 0 18 0 4 0 651002823 547299328 84389 33554432000 4194304 4580107 140736346107504 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=534472 CPUtime=1.47 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 26981 0 0 0 141 6 0 0 18 0 4 0 651002823 547299328 84396 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=534472 CPUtime=1.47 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 6362 0 0 0 145 2 0 0 20 0 4 0 651002823 547299328 84403 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 534472

[startup+3.10034 s]
/proc/loadavg: 7.83 7.27 7.20 9/245 7553
/proc/meminfo: memFree=22937096/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=796428 CPUtime=12.28 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 133924 0 0 0 1192 36 0 0 19 0 4 0 651002823 815542272 130618 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293076 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 199107 130618 361 95 0 194089 0
[pid=7549/tid=7550] ppid=7547 vsize=796428 CPUtime=3.07 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 42259 0 0 0 295 12 0 0 19 0 4 0 651002823 815542272 130618 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=796428 CPUtime=3.07 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 42047 0 0 0 298 9 0 0 19 0 4 0 651002823 815542272 130618 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=796428 CPUtime=3.05 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 7212 0 0 0 303 2 0 0 25 0 4 0 651002823 815542272 130618 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 796428

[startup+6.30075 s]
/proc/loadavg: 7.84 7.29 7.21 9/245 7553
/proc/meminfo: memFree=22979628/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=807188 CPUtime=25.06 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 148358 0 0 0 2467 39 0 0 21 0 4 0 651002823 826560512 140499 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 201797 140499 380 95 0 196779 0
[pid=7549/tid=7550] ppid=7547 vsize=807188 CPUtime=6.27 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 46647 0 0 0 614 13 0 0 25 0 4 0 651002823 826560512 140499 33554432000 4194304 4580107 140736346107504 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=807188 CPUtime=6.27 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 46127 0 0 0 618 9 0 0 21 0 4 0 651002823 826560512 140500 33554432000 4194304 4580107 140736346107504 18446744073709551615 4321908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=807188 CPUtime=6.23 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 8939 0 0 0 620 3 0 0 25 0 4 0 651002823 826560512 140500 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 807188

[startup+12.7086 s]
/proc/loadavg: 7.85 7.30 7.21 9/245 7553
/proc/meminfo: memFree=22684584/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1113132 CPUtime=50.64 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 221476 0 0 0 5007 57 0 0 25 0 4 0 651002823 1139847168 207991 33554432000 4194304 4580107 140736346107504 18446744073709551615 4413643 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 278283 207991 381 95 0 273265 0
[pid=7549/tid=7550] ppid=7547 vsize=1113132 CPUtime=12.67 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 56095 0 0 0 1252 15 0 0 25 0 4 0 651002823 1139847168 207991 33554432000 4194304 4580107 140736346107504 18446744073709551615 4235094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1113132 CPUtime=12.68 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 55627 0 0 0 1257 11 0 0 25 0 4 0 651002823 1139847168 207991 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1113132 CPUtime=12.58 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 53253 0 0 0 1245 13 0 0 25 0 4 0 651002823 1139847168 207991 33554432000 4194304 4580107 140736346107504 18446744073709551615 4515326 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 1113132

[startup+25.5002 s]
/proc/loadavg: 7.95 7.35 7.23 9/245 7554
/proc/meminfo: memFree=22668000/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1191028 CPUtime=101.71 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 247332 0 0 0 10108 63 0 0 25 0 4 0 651002823 1219612672 222320 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 297757 222320 381 95 0 292739 0
[pid=7549/tid=7550] ppid=7547 vsize=1191028 CPUtime=25.46 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 62855 0 0 0 2529 17 0 0 25 0 4 0 651002823 1219612672 222320 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1191028 CPUtime=25.47 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 61867 0 0 0 2534 13 0 0 25 0 4 0 651002823 1219612672 222320 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1191028 CPUtime=25.29 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 60726 0 0 0 2514 15 0 0 25 0 4 0 651002823 1219612672 222320 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 1191028

[startup+51.1006 s]
/proc/loadavg: 7.97 7.40 7.25 9/245 7554
/proc/meminfo: memFree=22489064/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1282744 CPUtime=203.95 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 275617 0 0 0 20323 72 0 0 25 0 4 0 651002823 1313529856 238480 33554432000 4194304 4580107 140736346107504 18446744073709551615 4413206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 320686 238480 381 95 0 315668 0
[pid=7549/tid=7550] ppid=7547 vsize=1282744 CPUtime=51.06 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 70374 0 0 0 5087 19 0 0 25 0 4 0 651002823 1313529856 238480 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1282744 CPUtime=51.07 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 67764 0 0 0 5092 15 0 0 25 0 4 0 651002823 1313529856 238480 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1282744 CPUtime=50.7 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 70115 0 0 0 5053 17 0 0 25 0 4 0 651002823 1313529856 238480 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 1282744

Solver just ended. Dumping a history of the last processes samples

[startup+51.7005 s]
/proc/loadavg: 7.97 7.40 7.25 9/245 7554
/proc/meminfo: memFree=22489064/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1282744 CPUtime=206.32 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 276279 0 0 0 20560 72 0 0 25 0 4 0 651002823 1313529856 239142 33554432000 4194304 4580107 140736346107504 18446744073709551615 4413356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 320686 239142 381 95 0 315668 0
[pid=7549/tid=7550] ppid=7547 vsize=1282744 CPUtime=51.67 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 70481 0 0 0 5147 20 0 0 25 0 4 0 651002823 1313529856 239142 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1282744 CPUtime=51.66 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 67864 0 0 0 5151 15 0 0 25 0 4 0 651002823 1313529856 239142 33554432000 4194304 4580107 140736346107504 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1282744 CPUtime=51.3 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 70223 0 0 0 5113 17 0 0 25 0 4 0 651002823 1313529856 239142 33554432000 4194304 4580107 140736346107504 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 206.32
Current children cumulated vsize (KiB) 1282744

[startup+64.5011 s]
/proc/loadavg: 7.97 7.43 7.26 9/245 7555
/proc/meminfo: memFree=22542612/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1267876 CPUtime=257.42 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 287852 0 0 0 25666 76 0 0 25 0 4 0 651002823 1298305024 239218 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 316969 239218 381 95 0 311951 0
[pid=7549/tid=7550] ppid=7547 vsize=1267876 CPUtime=64.46 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 73782 0 0 0 6426 20 0 0 25 0 4 0 651002823 1298305024 239218 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1267876 CPUtime=64.46 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 69339 0 0 0 6430 16 0 0 25 0 4 0 651002823 1298305024 239218 33554432000 4194304 4580107 140736346107504 18446744073709551615 4317511 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1267876 CPUtime=64 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 74226 0 0 0 6381 19 0 0 25 0 4 0 651002823 1298305024 239218 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 257.42
Current children cumulated vsize (KiB) 1267876

[startup+70.901 s]
/proc/loadavg: 8.06 7.45 7.27 9/245 7555
/proc/meminfo: memFree=22487412/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1344704 CPUtime=283 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 292069 0 0 0 28222 78 0 0 25 0 4 0 651002823 1376976896 242191 33554432000 4194304 4580107 140736346107504 18446744073709551615 4496880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 336176 242191 381 95 0 331158 0
[pid=7549/tid=7550] ppid=7547 vsize=1344704 CPUtime=70.87 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75287 0 0 0 7066 21 0 0 25 0 4 0 651002823 1376976896 242191 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1344704 CPUtime=70.87 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 70581 0 0 0 7071 16 0 0 25 0 4 0 651002823 1376976896 242191 33554432000 4194304 4580107 140736346107504 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1344704 CPUtime=70.36 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75309 0 0 0 7017 19 0 0 25 0 4 0 651002823 1376976896 242191 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 283
Current children cumulated vsize (KiB) 1344704

[startup+74.1004 s]
/proc/loadavg: 8.06 7.45 7.27 9/245 7555
/proc/meminfo: memFree=22480216/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1290144 CPUtime=295.76 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 294249 0 0 0 29497 79 0 0 25 0 4 0 651002823 1321107456 242213 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 322536 242213 381 95 0 317518 0
[pid=7549/tid=7550] ppid=7547 vsize=1290144 CPUtime=74.06 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75366 0 0 0 7384 22 0 0 25 0 4 0 651002823 1321107456 242213 33554432000 4194304 4580107 140736346107504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1290144 CPUtime=74.06 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 71649 0 0 0 7390 16 0 0 25 0 4 0 651002823 1321107456 242213 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1290144 CPUtime=73.54 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75337 0 0 0 7335 19 0 0 25 0 4 0 651002823 1321107456 242213 33554432000 4194304 4580107 140736346107504 18446744073709551615 4305506 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 295.76
Current children cumulated vsize (KiB) 1290144

[startup+75.7011 s]
/proc/loadavg: 8.05 7.46 7.27 9/245 7555
/proc/meminfo: memFree=22471040/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1290144 CPUtime=302.15 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 294992 0 0 0 30135 80 0 0 25 0 4 0 651002823 1321107456 242956 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 322536 242956 381 95 0 317518 0
[pid=7549/tid=7550] ppid=7547 vsize=1290144 CPUtime=75.67 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75398 0 0 0 7545 22 0 0 25 0 4 0 651002823 1321107456 242956 33554432000 4194304 4580107 140736346107504 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1290144 CPUtime=75.66 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 71815 0 0 0 7550 16 0 0 25 0 4 0 651002823 1321107456 242956 33554432000 4194304 4580107 140736346107504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1290144 CPUtime=75.12 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75625 0 0 0 7493 19 0 0 25 0 4 0 651002823 1321107456 242956 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 302.15
Current children cumulated vsize (KiB) 1290144

[startup+76.5089 s]
/proc/loadavg: 8.05 7.46 7.27 9/245 7555
/proc/meminfo: memFree=22464952/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1290144 CPUtime=305.37 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 295850 0 0 0 30457 80 0 0 25 0 4 0 651002823 1321107456 243814 33554432000 4194304 4580107 140736346107504 18446744073709551615 4321592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 322536 243814 381 95 0 317518 0
[pid=7549/tid=7550] ppid=7547 vsize=1290144 CPUtime=76.47 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 76040 0 0 0 7625 22 0 0 25 0 4 0 651002823 1321107456 243814 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1290144 CPUtime=76.47 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 71816 0 0 0 7631 16 0 0 25 0 4 0 651002823 1321107456 243814 33554432000 4194304 4580107 140736346107504 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1290144 CPUtime=75.92 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75737 0 0 0 7573 19 0 0 25 0 4 0 651002823 1321107456 243814 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 305.37
Current children cumulated vsize (KiB) 1290144

[startup+76.9009 s]
/proc/loadavg: 8.05 7.46 7.27 9/245 7555
/proc/meminfo: memFree=22464952/32951124 swapFree=61559568/67111528
[pid=7549] ppid=7547 vsize=1290144 CPUtime=306.94 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 6866 0 -1 4202496 296586 0 0 0 30614 80 0 0 25 0 4 0 651002823 1321107456 244550 33554432000 4194304 4580107 140736346107504 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7549/statm: 322536 244550 381 95 0 317518 0
[pid=7549/tid=7550] ppid=7547 vsize=1290144 CPUtime=76.86 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 76086 0 0 0 7664 22 0 0 25 0 4 0 651002823 1321107456 244550 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=1290144 CPUtime=76.86 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 71818 0 0 0 7670 16 0 0 25 0 4 0 651002823 1321107456 244550 33554432000 4194304 4580107 140736346107504 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=1290144 CPUtime=76.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 6866 0 -1 4202560 75785 0 0 0 7612 19 0 0 25 0 4 0 651002823 1321107456 244550 33554432000 4194304 4580107 140736346107504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 306.94
Current children cumulated vsize (KiB) 1290144

Child status: 20
Real time (s): 76.9453
CPU time (s): 306.998
CPU user time (s): 306.152
CPU system time (s): 0.845871
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 1355680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 306.152
system time used= 0.845871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296589
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= 18575
involuntary context switches= 2148

runsolver used 0.151976 second user time and 0.414936 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-14 19:27:01
IDJOB=3367185
IDBENCH=82424
IDSOLVER=1844
FILE ID=node109/3367185-1305394021
RUNJOBID= node109-1305393717-7383
PBS_JOBID= 13324441
Free space on /tmp= 73180 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367185-1305394021/watcher-3367185-1305394021 -o /tmp/evaluation-result-3367185-1305394021/solver-3367185-1305394021 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367185-1305394021.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ac372f51471a04bbb3fb9a678284c6a4
RANDOM SEED=1252521774

node109.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.809
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.61
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.809
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.809
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.809
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.809
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.809
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.809
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.809
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:      23469900 kB
Buffers:        223240 kB
Cached:        2291708 kB
SwapCached:      28404 kB
Active:         905052 kB
Inactive:      8357364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23469900 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:           37696 kB
Writeback:           0 kB
AnonPages:     6725224 kB
Mapped:          18192 kB
Slab:           123188 kB
PageTables:      32520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18859100 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= 73172 MiB
End job on node109 at 2011-05-14 19:28:18