Trace number 3368786

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-1-mt (fixed)? (TO) 4800.34 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
MD5SUM6d54c2a76a59aa67a01046a2e8240fb6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.7501
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368786-1305403028.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
1.17/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.17/0.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
1.17/0.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.36	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
1.17/0.36	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.36	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.17/0.36	c calculated reachability. Time: 0.00
1.17/0.36	c Calc default polars -  time:   0.00 s pos:     176 undec:      46 neg:     178
1.17/0.36	c =========================================================================================
1.17/0.36	c types(t): F = full restart, N = normal restart
1.17/0.36	c types(t): S = simplification begin/end, E = solution found
1.17/0.36	c restart types(rt): st = static, dy = dynamic
1.17/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       389      1690         0         0      5137         0   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4918       389      1690         0      4802      5137     94689   no data   no data  --
3.17/0.85	c  N st    10     11300       389      1690         0      4443      5137     63983   no data   no data  --
3.17/0.85	c  N st    11     17043       389      1690         0     10043      5137    170088   no data   no data  --
3.98/1.05	c  F st    12     25001       389      1690         0     12304      5137    211029   no data   no data  --
3.98/1.05	c  N st    12     25001       389      1690         0     12304      5137    211029   no data   no data  --
4.76/1.25	c Decided on static restart strategy
4.76/1.25	c  N st    18     30002       389      1690         0     10598      5137    160494   no data   no data  --
4.76/1.25	c  S st    18     30002       389      1690         0     10598      5137    160494   no data   no data  --
4.76/1.25	c  S st    18     30503       389      1690         0     11096      5137    170119   no data   no data  --
4.76/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.76/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4.76/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.45	c lits-rem:       196  cl-subs:      833  v-elim:      0  v-fix:    0  time:  0.59 s
5.56/1.45	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.03
5.56/1.45	c calculated reachability. Time: 0.00
5.56/1.45	c  N st    18     30503       389      1690         0     10263      5137    155289   no data   no data  --
7.16/1.83	c  N st    20     37613       389      1690         0      9515      5137    128227   no data   no data  --
8.37/2.17	c  N st    21     44013       389      1690         0     15726      5137    245750   no data   no data  --
8.79/2.27	c  S st    22     45754       389      1690         0     17439      5137    281157   no data   no data  --
9.14/2.31	c  S st    22     46256       389      1690         0      9260      5137    114074   no data   no data  --
9.14/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.14/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
9.14/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.37	c lits-rem:        57  cl-subs:      201  v-elim:      0  v-fix:    0  time:  0.22 s
9.14/2.37	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
9.14/2.37	c vivif2 --  cl tried     9059 cl shrink        0 lits rem          0 time: 0.00
9.14/2.38	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.03
9.14/2.38	c calculated reachability. Time: 0.00
9.14/2.38	c  N st    22     46256       389      1690         0      9059      5137    110770   no data   no data  --
12.76/3.22	c  N st    23     60655       389      1690         0     13452      5137    191428   no data   no data  --
15.13/3.85	c  N st    24     69384       389      1690         0     11245      5137    134958   no data   no data  --
15.13/3.85	c  S st    24     69384       389      1690         0     11245      5137    134958   no data   no data  --
15.13/3.88	c  S st    24     69887       389      1690         0     11746      5137    144368   no data   no data  --
15.13/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.13/3.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.13/3.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.01	c lits-rem:        58  cl-subs:      111  v-elim:      0  v-fix:    0  time:  0.48 s
15.93/4.01	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
15.93/4.01	c vivif2 --  cl tried    11635 cl shrink        0 lits rem          0 time: 0.00
15.93/4.02	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.04
15.93/4.02	c calculated reachability. Time: 0.00
15.93/4.02	c  N st    24     69887       389      1690         0     11635      5137    142330   no data   no data  --
20.72/5.25	c  F st    25     87500       389      1690         0     17069      5137    241077   no data   no data  --
20.72/5.25	c  N st    25     87500       389      1690         0     17069      5137    241077   no data   no data  --
22.31/5.65	c Decided on static restart strategy
23.11/5.90	c  N st    32     95540       389      1690         0     24868      5137    388520   no data   no data  --
25.92/6.58	c  N st    34    104831       389      1690         0     21227      5137    309349   no data   no data  --
25.92/6.58	c  S st    34    104831       389      1690         0     21227      5137    309349   no data   no data  --
26.34/6.64	c  S st    34    105331       389      1690         0     21724      5137    318704   no data   no data  --
26.34/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.34/6.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
26.34/6.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.09/7.32	c lits-rem:       252  cl-subs:     1539  v-elim:      0  v-fix:    0  time:  2.68 s
29.09/7.33	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
29.09/7.33	c vivif2 --  cl tried    20185 cl shrink        0 lits rem          0 time: 0.01
29.09/7.34	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.06
29.09/7.34	c calculated reachability. Time: 0.00
29.09/7.34	c  N st    34    105331       389      1690         0     20185      5137    290046   no data   no data  --
31.88/8.06	c  N st    35    114931       389      1690         0     15936      5137    192520   no data   no data  --
37.07/9.31	c  N st    36    129330       389      1690         0     15285      5137    164540   no data   no data  --
43.47/10.99	c  N st    37    150927       389      1690         0     20751      5137    267351   no data   no data  --
45.84/11.57	c  S st    38    157996       389      1690         0     27585      5137    396771   no data   no data  --
46.24/11.63	c  S st    38    158500       389      1690         0     28087      5137    407080   no data   no data  --
46.24/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.24/11.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.24/11.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.24/11.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.24/11.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.24/11.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
46.24/11.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.03/12.86	c lits-rem:       550  cl-subs:     1855  v-elim:      0  v-fix:    0  time:  4.82 s
51.03/12.86	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
51.03/12.87	c vivif2 --  cl tried    26232 cl shrink        0 lits rem          0 time: 0.02
51.03/12.88	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
51.03/12.89	c calculated reachability. Time: 0.00
51.03/12.89	c  N st    38    158500       389      1690         0     26232      5137    372260   no data   no data  --
69.80/17.56	c  N st    39    207088       389      1690         0     20991      5137    240976   no data   no data  --
82.97/20.89	c  N st    40    237751       389      1690         0     31328      5137    418585   no data   no data  --
82.97/20.90	c  S st    40    237751       389      1690         0     31328      5137    418585   no data   no data  --
83.39/20.98	c  S st    40    238254       389      1690         0     31828      5137    428380   no data   no data  --
83.39/20.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
83.39/20.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.39/20.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
83.74/21.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.74/21.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.74/21.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
83.74/21.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.32/22.42	c lits-rem:       425  cl-subs:     3143  v-elim:      0  v-fix:    0  time:  5.66 s
89.32/22.42	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
89.32/22.43	c vivif2 --  cl tried    28685 cl shrink        0 lits rem          0 time: 0.02
89.32/22.45	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
89.32/22.45	c calculated reachability. Time: 0.00
89.32/22.45	c  N st    40    238254       389      1690         0     28685      5137    373723   no data   no data  --
120.44/30.22	c  F st    41    306250       389      1690         0     30508      5137    365504   no data   no data  --
120.44/30.22	c  N st    41    306250       389      1690         0     30508      5137    365504   no data   no data  --
122.88/30.82	c Decided on static restart strategy
131.99/33.13	c  N st    51    334557       389      1690         0     34867      5137    466779   no data   no data  --
142.37/35.79	c  N st    53    357381       389      1690         0     32845      5137    409508   no data   no data  --
142.37/35.79	c  S st    53    357381       389      1690         0     32845      5137    409508   no data   no data  --
142.77/35.87	c  S st    53    357884       389      1690         0     33346      5137    419940   no data   no data  --
142.77/35.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.77/35.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.77/35.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
142.77/35.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.77/35.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.77/35.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
142.77/35.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
147.95/37.17	c lits-rem:       561  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  5.09 s
147.95/37.17	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
147.95/37.17	c vivif2 --  cl tried    32115 cl shrink        0 lits rem          0 time: 0.02
148.36/37.20	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.10
148.36/37.20	c calculated reachability. Time: 0.00
148.36/37.20	c  N st    53    357884       389      1690         0     32115      5137    396149   no data   no data  --
162.71/40.89	c  N st    54    390277       389      1690         0     38384      5137    528241   no data   no data  --
189.43/47.51	c  N st    55    438866       389      1690         0     32204      5137    362063   no data   no data  --
228.18/57.29	c  N st    56    511750       389      1690         0     45492      5137    604871   no data   no data  --
242.89/61.00	c  N st    57    536828       389      1690         0     39704      5137    455604   no data   no data  --
242.89/61.00	c  S st    57    536828       389      1690         0     39704      5137    455604   no data   no data  --
243.29/61.09	c  S st    57    537329       389      1690         0     40200      5137    465898   no data   no data  --
243.29/61.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
243.29/61.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
243.69/61.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
243.69/61.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.69/61.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.69/61.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
243.69/61.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.27/62.58	c lits-rem:       910  cl-subs:     2096  v-elim:      0  v-fix:    0  time:  5.83 s
249.27/62.58	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
249.27/62.58	c vivif2 --  cl tried    38104 cl shrink        0 lits rem          0 time: 0.02
249.69/62.62	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.12
249.69/62.62	c calculated reachability. Time: 0.00
249.69/62.62	c  N st    57    537329       389      1690         0     38104      5137    431487   no data   no data  --
358.95/90.10	c  N st    58    701313       389      1690         0     67045      5137    941892   no data   no data  --
433.54/108.72	c  N st    59    805995       389      1690         0     61066      5137    766742   no data   no data  --
433.54/108.72	c  S st    59    805995       389      1690         0     61066      5137    766742   no data   no data  --
433.96/108.90	c  S st    59    806499       389      1690         0     61569      5137    777386   no data   no data  --
433.96/108.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
433.96/108.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
434.38/108.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
434.38/108.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
434.38/108.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.38/108.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
434.38/108.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
445.91/111.88	c lits-rem:      1072  cl-subs:     6916  v-elim:      0  v-fix:    0  time: 11.66 s
445.91/111.88	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
445.91/111.89	c vivif2 --  cl tried    54653 cl shrink        0 lits rem          0 time: 0.04
446.31/111.95	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.24
446.31/111.95	c calculated reachability. Time: 0.00
446.31/111.95	c  N st    59    806499       389      1690         0     54653      5137    670572   no data   no data  --
652.91/163.72	c  F st    60   1071877       389      1690         0     70117      5137    889529   no data   no data  --
652.91/163.72	c  N st    60   1071877       389      1690         0     70117      5137    889529   no data   no data  --
658.48/165.15	c Decided on static restart strategy
679.65/170.48	c  N st    70   1100188       389      1690         0     54249      5137    591619   no data   no data  --
714.33/179.19	c  N st    72   1136181       389      1690         0     44738      5137    392658   no data   no data  --
741.50/185.91	c  N st    73   1168573       389      1690         0     76004      5137   1007197   no data   no data  --
779.35/195.41	c  N st    74   1209748       389      1690         0     70393      5137    882096   no data   no data  --
779.35/195.41	c  S st    74   1209748       389      1690         0     70393      5137    882096   no data   no data  --
780.15/195.62	c  S st    74   1210248       389      1690         0     70893      5137    892243   no data   no data  --
780.15/195.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
780.15/195.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
780.15/195.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
780.15/195.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
780.15/195.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
780.15/195.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
780.15/195.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
799.69/200.54	c lits-rem:      1342  cl-subs:     5592  v-elim:      0  v-fix:    0  time: 19.32 s
799.69/200.54	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
799.69/200.55	c vivif2 --  cl tried    65301 cl shrink        0 lits rem          0 time: 0.05
800.08/200.66	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.44
800.08/200.66	c calculated reachability. Time: 0.00
800.08/200.66	c  N st    74   1210248       389      1690         0     65301      5137    794695   no data   no data  --
874.66/219.34	c  N st    75   1283132       389      1690         0     89152      5137   1210202   no data   no data  --
983.52/246.64	c  N st    76   1392456       389      1690         0     50173      5137    441925   no data   no data  --
1139.86/285.91	c  N st    77   1556442       389      1690         0     55094      5137    504923   no data   no data  --
1290.22/323.54	c  N st    78   1710248       389      1690         0     95987      5137   1297323   no data   no data  --
1290.22/323.54	c  S st    78   1710248       389      1690         0     95987      5137   1297323   no data   no data  --
1291.42/323.87	c  S st    78   1710753       389      1690         0     96489      5137   1307143   no data   no data  --
1291.42/323.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1291.42/323.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1291.82/323.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1291.82/323.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1291.82/323.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1291.82/323.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1291.82/323.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1322.93/331.78	c lits-rem:       117  cl-subs:    10828  v-elim:      0  v-fix:    0  time: 31.15 s
1322.93/331.78	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1322.93/331.80	c vivif2 --  cl tried    85661 cl shrink        0 lits rem          0 time: 0.06
1323.73/331.91	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.44
1323.73/331.91	c calculated reachability. Time: 0.00
1323.73/331.91	c  N st    78   1710753       389      1690         0     85661      5137   1117760   no data   no data  --
1734.13/434.80	c  N st    79   2079717       389      1690         0     97892      5137   1297533   no data   no data  --
1894.46/475.04	c  N st    80   2210754       389      1690         0    101776      5137   1341247   no data   no data  --
1894.46/475.04	c  S st    80   2210754       389      1690         0    101776      5137   1341247   no data   no data  --
1896.05/475.40	c  S st    80   2211258       389      1690         0    102279      5137   1351928   no data   no data  --
1896.05/475.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1896.05/475.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1896.05/475.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1896.45/475.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1896.45/475.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1896.45/475.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1896.45/475.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1926.01/482.91	c lits-rem:       463  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 29.55 s
1926.01/482.91	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1926.01/482.93	c vivif2 --  cl tried    93981 cl shrink        0 lits rem          0 time: 0.07
1926.37/483.05	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.51
1926.37/483.06	c calculated reachability. Time: 0.00
1926.37/483.06	c  N st    80   2211258       389      1690         0     93981      5137   1201560   no data   no data  --
2542.95/637.60	c  N st    81   2711258       389      1690         0    117014      5137   1546798   no data   no data  --
2542.95/637.60	c  S st    81   2711258       389      1690         0    117014      5137   1546798   no data   no data  --
2544.17/638.00	c  S st    81   2711767       389      1690         0    117519      5137   1557992   no data   no data  --
2544.59/638.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2544.59/638.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2544.59/638.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
2544.94/638.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2544.94/638.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2544.94/638.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2544.94/638.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2584.43/648.08	c lits-rem:      1387  cl-subs:    10199  v-elim:      0  v-fix:    0  time: 39.70 s
2584.43/648.08	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
2584.83/648.10	c vivif2 --  cl tried   107320 cl shrink        0 lits rem          0 time: 0.08
2585.23/648.25	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.63
2585.23/648.26	c calculated reachability. Time: 0.00
2585.23/648.26	c  N st    81   2711767       389      1690         0    107320      5137   1392122   no data   no data  --
3214.56/806.02	c  N st    82   3211768       389      1690         0     83797      5137    796342   no data   no data  --
3214.56/806.02	c  S st    82   3211768       389      1690         0     83797      5137    796342   no data   no data  --
3215.38/806.29	c  S st    82   3212276       389      1690         0     84303      5137    807134   no data   no data  --
3215.38/806.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3215.38/806.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3215.80/806.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3215.80/806.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3215.80/806.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3215.80/806.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3215.80/806.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3226.53/809.08	c lits-rem:       674  cl-subs:     2282  v-elim:      0  v-fix:    0  time: 10.85 s
3226.53/809.08	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
3226.53/809.09	c vivif2 --  cl tried    82021 cl shrink        0 lits rem          0 time: 0.05
3226.93/809.19	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.40
3226.93/809.19	c calculated reachability. Time: 0.00
3226.93/809.19	c  N st    82   3212276       389      1690         0     82021      5137    770173   no data   no data  --
3948.44/990.02	c  N st    83   3712278       389      1690         0     92361      5137    876319   no data   no data  --
3948.44/990.02	c  S st    83   3712278       389      1690         0     92361      5137    876319   no data   no data  --
3949.59/990.34	c  S st    83   3712785       389      1690         0     92867      5137    886881   no data   no data  --
3949.59/990.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3949.59/990.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3949.59/990.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3949.99/990.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3949.99/990.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3949.99/990.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3949.99/990.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3963.55/993.86	c lits-rem:      1130  cl-subs:     4194  v-elim:      0  v-fix:    0  time: 13.71 s
3963.55/993.86	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
3963.55/993.88	c vivif2 --  cl tried    88673 cl shrink        0 lits rem          0 time: 0.06
3963.95/993.99	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.46
3963.95/994.00	c calculated reachability. Time: 0.00
3963.95/994.00	c  N st    83   3712785       389      1690         0     88673      5137    826959   no data   no data  --
4013.83/1006.41	c  F st    84   3751562       389      1690         0    125965      5137   1539702   no data   no data  --
4013.83/1006.41	c  N st    84   3751562       389      1690         0    125965      5137   1539702   no data   no data  --
4022.60/1008.67	c Decided on static restart strategy
4059.66/1017.97	c  N st    94   3779868       389      1690         0    153252      5137   2086938   no data   no data  --
4112.71/1031.23	c  N st    96   3815861       389      1690         0    106407      5137   1181387   no data   no data  --
4166.15/1044.65	c  N st    97   3848253       389      1690         0    137625      5137   1798683   no data   no data  --
4226.36/1059.71	c  N st    98   3896843       389      1690         0    101981      5137   1089950   no data   no data  --
4342.43/1088.85	c  N st    99   3969725       389      1690         0     88364      5137    787097   no data   no data  --
4502.35/1128.94	c  N st   100   4079049       389      1690         0    108342      5137   1155401   no data   no data  --
4694.23/1177.02	c  N st   101   4212785       389      1690         0    151564      5137   2044545   no data   no data  --
4694.23/1177.02	c  S st   101   4212785       389      1690         0    151564      5137   2044545   no data   no data  --
4696.57/1177.66	c  S st   101   4213288       389      1690         0    152066      5137   2054816   no data   no data  --
4696.57/1177.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4696.57/1177.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4696.97/1177.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.33
4697.37/1177.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4697.37/1177.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4697.37/1177.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4697.37/1177.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4792.28/1201.67	c lits-rem:      1658  cl-subs:    17194  v-elim:      0  v-fix:    0  time: 95.03 s
4792.28/1201.67	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
4792.28/1201.69	c vivif2 --  cl tried   134872 cl shrink        0 lits rem          0 time: 0.10
4793.48/1201.90	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.84
4793.48/1201.91	c calculated reachability. Time: 0.00
4793.48/1201.91	c  N st   101   4213288       389      1690         0    134872      5137   1745769   no data   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3368786-1305403028/watcher-3368786-1305403028 -o /tmp/evaluation-result-3368786-1305403028/solver-3368786-1305403028 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368786-1305403028.cnf 

running on 4 cores: 0,2,4,6

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: 8.20 8.11 8.02 7/361 14998
/proc/meminfo: memFree=25238300/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 730533461 52465664 352 33554432000 4194304 4650419 140735544912720 18446744073709551615 47318377662386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 12809 352 303 112 0 7774 0
[pid=14998/tid=14999] ppid=14996 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730533462 52465664 352 33554432000 4194304 4650419 140735544912720 18446744073709551615 47318377662386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730533462 52465664 352 33554432000 4194304 4650419 140735544912720 18446744073709551615 47318377662386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730533462 52465664 352 33554432000 4194304 4650419 140735544912720 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0444349 s]
/proc/loadavg: 8.20 8.11 8.02 7/361 14998
/proc/meminfo: memFree=25238300/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=282344 CPUtime=0.15 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 1264 0 0 0 15 0 0 0 18 0 4 0 730533461 289120256 1147 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 70586 1147 390 112 0 65551 0
[pid=14998/tid=14999] ppid=14996 vsize=282344 CPUtime=0.04 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 237 0 0 0 4 0 0 0 18 0 4 0 730533462 289120256 1147 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=282344 CPUtime=0.03 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 239 0 0 0 3 0 0 0 18 0 4 0 730533462 289120256 1147 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=282344 CPUtime=0.03 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 144 0 0 0 3 0 0 0 25 0 4 0 730533462 289120256 1147 33554432000 4194304 4650419 140735544912720 18446744073709551615 4367372 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282344

[startup+0.100424 s]
/proc/loadavg: 8.20 8.11 8.02 7/361 14998
/proc/meminfo: memFree=25238300/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=282344 CPUtime=0.37 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 1536 0 0 0 37 0 0 0 18 0 4 0 730533461 289120256 1419 33554432000 4194304 4650419 140735544912720 18446744073709551615 4328270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 70586 1420 391 112 0 65551 0
[pid=14998/tid=14999] ppid=14996 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 306 0 0 0 9 0 0 0 18 0 4 0 730533462 289120256 1420 33554432000 4194304 4650419 140735544912720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 306 0 0 0 9 0 0 0 18 0 4 0 730533462 289120256 1420 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=282344 CPUtime=0.08 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 217 0 0 0 8 0 0 0 25 0 4 0 730533462 289120256 1420 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282344

[startup+0.300387 s]
/proc/loadavg: 8.20 8.11 8.02 7/361 14998
/proc/meminfo: memFree=25238300/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=283512 CPUtime=1.17 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 2552 0 0 0 117 0 0 0 18 0 4 0 730533461 290316288 1962 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 70878 1962 393 112 0 65843 0
[pid=14998/tid=14999] ppid=14996 vsize=283512 CPUtime=0.29 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 557 0 0 0 29 0 0 0 18 0 4 0 730533462 290316288 1962 33554432000 4194304 4650419 140735544912720 18446744073709551615 4334389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=283512 CPUtime=0.29 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 554 0 0 0 29 0 0 0 18 0 4 0 730533462 290316288 1962 33554432000 4194304 4650419 140735544912720 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=283512 CPUtime=0.28 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 473 0 0 0 28 0 0 0 25 0 4 0 730533462 290316288 1962 33554432000 4194304 4650419 140735544912720 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283512

[startup+0.700315 s]
/proc/loadavg: 8.20 8.11 8.02 7/361 14998
/proc/meminfo: memFree=25238300/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=284996 CPUtime=2.77 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 4486 0 0 0 277 0 0 0 18 0 4 0 730533461 291835904 2275 33554432000 4194304 4650419 140735544912720 18446744073709551615 4334357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 71249 2275 393 112 0 66214 0
[pid=14998/tid=14999] ppid=14996 vsize=284996 CPUtime=0.69 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1060 0 0 0 69 0 0 0 18 0 4 0 730533462 291835904 2275 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=284996 CPUtime=0.69 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1033 0 0 0 69 0 0 0 18 0 4 0 730533462 291835904 2275 33554432000 4194304 4650419 140735544912720 18446744073709551615 4314688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=284996 CPUtime=0.68 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 935 0 0 0 68 0 0 0 25 0 4 0 730533462 291835904 2275 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284996

[startup+1.50117 s]
/proc/loadavg: 8.20 8.11 8.02 11/365 15002
/proc/meminfo: memFree=25221900/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=276972 CPUtime=5.96 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 7607 0 0 0 595 1 0 0 20 0 4 0 730533461 283619328 4222 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 69243 4222 395 112 0 64208 0
[pid=14998/tid=14999] ppid=14996 vsize=276972 CPUtime=1.49 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1611 0 0 0 149 0 0 0 19 0 4 0 730533462 283619328 4222 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=276972 CPUtime=1.48 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1562 0 0 0 148 0 0 0 19 0 4 0 730533462 283619328 4222 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=276972 CPUtime=1.47 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 1421 0 0 0 147 0 0 0 25 0 4 0 730533462 283619328 4222 33554432000 4194304 4650419 140735544912720 18446744073709551615 4315033 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 276972

[startup+3.10087 s]
/proc/loadavg: 8.20 8.11 8.02 9/365 15002
/proc/meminfo: memFree=25189288/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=284108 CPUtime=12.34 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 15056 0 0 0 1232 2 0 0 25 0 4 0 730533461 290926592 8407 33554432000 4194304 4650419 140735544912720 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 71027 8407 395 112 0 65992 0
[pid=14998/tid=14999] ppid=14996 vsize=284108 CPUtime=3.09 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 3541 0 0 0 309 0 0 0 25 0 4 0 730533462 290926592 8407 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=284108 CPUtime=3.08 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 3891 0 0 0 307 1 0 0 25 0 4 0 730533462 290926592 8407 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=284108 CPUtime=3.05 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 3379 0 0 0 305 0 0 0 25 0 4 0 730533462 290926592 8407 33554432000 4194304 4650419 140735544912720 18446744073709551615 4310880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 284108

[startup+6.30028 s]
/proc/loadavg: 8.18 8.11 8.02 9/365 15002
/proc/meminfo: memFree=25158256/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=289288 CPUtime=25.11 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 22694 0 0 0 2508 3 0 0 25 0 4 0 730533461 296230912 11685 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 72322 11685 395 112 0 67287 0
[pid=14998/tid=14999] ppid=14996 vsize=289288 CPUtime=6.29 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 5792 0 0 0 629 0 0 0 25 0 4 0 730533462 296230912 11685 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=289288 CPUtime=6.28 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 6323 0 0 0 627 1 0 0 25 0 4 0 730533462 296230912 11685 33554432000 4194304 4650419 140735544912720 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=289288 CPUtime=6.22 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 4449 0 0 0 622 0 0 0 25 0 4 0 730533462 296230912 11685 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 289288

[startup+12.7011 s]
/proc/loadavg: 8.17 8.11 8.02 9/365 15003
/proc/meminfo: memFree=25126784/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=290100 CPUtime=50.63 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 34295 0 0 0 5058 5 0 0 25 0 4 0 730533461 297062400 16382 33554432000 4194304 4650419 140735544912720 18446744073709551615 4438736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 72525 16382 395 112 0 67490 0
[pid=14998/tid=14999] ppid=14996 vsize=290100 CPUtime=12.68 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 8914 0 0 0 1268 0 0 0 25 0 4 0 730533462 297062400 16382 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=290100 CPUtime=12.69 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 8902 0 0 0 1267 2 0 0 25 0 4 0 730533462 297062400 16382 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=290100 CPUtime=12.55 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 6417 0 0 0 1254 1 0 0 25 0 4 0 730533462 297062400 16382 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 290100

[startup+25.5007 s]
/proc/loadavg: 8.20 8.12 8.03 9/365 15003
/proc/meminfo: memFree=25093792/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=296556 CPUtime=101.68 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 51818 0 0 0 10159 9 0 0 25 0 4 0 730533461 303673344 19995 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 74139 19995 395 112 0 69104 0
[pid=14998/tid=14999] ppid=14996 vsize=296556 CPUtime=25.49 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 14224 0 0 0 2547 2 0 0 25 0 4 0 730533462 303673344 19995 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=296556 CPUtime=25.48 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 13945 0 0 0 2545 3 0 0 25 0 4 0 730533462 303673344 19995 33554432000 4194304 4650419 140735544912720 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=296556 CPUtime=25.2 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 9080 0 0 0 2518 2 0 0 25 0 4 0 730533462 303673344 19995 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 296556

[startup+51.101 s]
/proc/loadavg: 8.13 8.11 8.02 9/365 15033
/proc/meminfo: memFree=25055340/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=302812 CPUtime=203.8 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 79709 0 0 0 20362 18 0 0 25 0 4 0 730533461 310079488 25463 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 75703 25463 395 112 0 70668 0
[pid=14998/tid=14999] ppid=14996 vsize=302812 CPUtime=51.09 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 22611 0 0 0 5105 4 0 0 25 0 4 0 730533462 310079488 25463 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=302812 CPUtime=51.07 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 21021 0 0 0 5102 5 0 0 25 0 4 0 730533462 310079488 25463 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=302812 CPUtime=50.51 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 13069 0 0 0 5048 3 0 0 25 0 4 0 730533462 310079488 25463 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 302812

[startup+102.314 s]
/proc/loadavg: 8.11 8.10 8.02 9/365 15035
/proc/meminfo: memFree=24963024/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=305312 CPUtime=408.05 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 117942 0 0 0 40776 29 0 0 25 0 4 0 730533461 312639488 30708 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 76328 30708 395 112 0 71293 0
[pid=14998/tid=14999] ppid=14996 vsize=305312 CPUtime=102.3 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 34246 0 0 0 10224 6 0 0 25 0 4 0 730533462 312639488 30708 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=305312 CPUtime=102.28 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 31691 0 0 0 10219 9 0 0 25 0 4 0 730533462 312639488 30708 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=305312 CPUtime=101.14 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 17535 0 0 0 10110 4 0 0 25 0 4 0 730533462 312639488 30708 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 305312

[startup+162.3 s]

################
# More data... #
################

[pid=14998] ppid=14996 vsize=496408 CPUtime=2561.73 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 351595 0 0 0 256058 115 0 0 25 0 4 0 730533461 508321792 76919 33554432000 4194304 4650419 140735544912720 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 124102 76919 395 112 0 119067 0
[pid=14998/tid=14999] ppid=14996 vsize=496408 CPUtime=642.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 113020 0 0 0 64195 36 0 0 25 0 4 0 730533462 508321792 76919 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=496408 CPUtime=642.19 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 80221 0 0 0 64193 26 0 0 25 0 4 0 730533462 508321792 76919 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=496408 CPUtime=634.91 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 47646 0 0 0 63476 15 0 0 25 0 4 0 730533462 508321792 76919 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.73
Current children cumulated vsize (KiB) 496408

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 8.04 9/365 15060
/proc/meminfo: memFree=24480984/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=496508 CPUtime=2800.98 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 363407 0 0 0 279977 121 0 0 25 0 4 0 730533461 508424192 76706 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 124127 76706 395 112 0 119092 0
[pid=14998/tid=14999] ppid=14996 vsize=496508 CPUtime=702.3 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 119202 0 0 0 70189 41 0 0 25 0 4 0 730533462 508424192 76706 33554432000 4194304 4650419 140735544912720 18446744073709551615 4334357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=496508 CPUtime=702.17 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 80436 0 0 0 70190 27 0 0 25 0 4 0 730533462 508424192 76706 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=496508 CPUtime=694.22 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 49682 0 0 0 69405 17 0 0 25 0 4 0 730533462 508424192 76706 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.98
Current children cumulated vsize (KiB) 496508

[startup+762.314 s]
/proc/loadavg: 8.18 8.11 8.05 9/365 15062
/proc/meminfo: memFree=24493976/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=497080 CPUtime=3040.33 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 376971 0 0 0 303906 127 0 0 25 0 4 0 730533461 509009920 75458 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 124270 75458 395 112 0 119235 0
[pid=14998/tid=14999] ppid=14996 vsize=497080 CPUtime=762.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 124712 0 0 0 76189 42 0 0 25 0 4 0 730533462 509009920 75458 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=497080 CPUtime=762.18 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 80834 0 0 0 76191 27 0 0 25 0 4 0 730533462 509009920 75458 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=497080 CPUtime=753.52 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 51964 0 0 0 75334 18 0 0 25 0 4 0 730533462 509009920 75458 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.33
Current children cumulated vsize (KiB) 497080

[startup+822.3 s]
/proc/loadavg: 8.12 8.11 8.04 9/365 15063
/proc/meminfo: memFree=24446572/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=575440 CPUtime=3279.57 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 396194 0 0 0 327823 134 0 0 25 0 4 0 730533461 589250560 80917 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 143860 80917 395 112 0 138825 0
[pid=14998/tid=14999] ppid=14996 vsize=575440 CPUtime=822.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 134435 0 0 0 82185 46 0 0 25 0 4 0 730533462 589250560 80917 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=575440 CPUtime=822.16 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 80944 0 0 0 82189 27 0 0 25 0 4 0 730533462 589250560 80917 33554432000 4194304 4650419 140735544912720 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=575440 CPUtime=812.81 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 55574 0 0 0 81262 19 0 0 25 0 4 0 730533462 589250560 80917 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.57
Current children cumulated vsize (KiB) 575440

[startup+882.3 s]
/proc/loadavg: 8.11 8.10 8.04 9/365 15065
/proc/meminfo: memFree=24457332/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=563244 CPUtime=3518.85 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 409665 0 0 0 351745 140 0 0 25 0 4 0 730533461 576761856 78327 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 140811 78327 395 112 0 135776 0
[pid=14998/tid=14999] ppid=14996 vsize=563244 CPUtime=882.3 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 140162 0 0 0 88182 48 0 0 25 0 4 0 730533462 576761856 78327 33554432000 4194304 4650419 140735544912720 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=563244 CPUtime=882.14 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 81177 0 0 0 88187 27 0 0 25 0 4 0 730533462 576761856 78327 33554432000 4194304 4650419 140735544912720 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=563244 CPUtime=872.1 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 57214 0 0 0 87191 19 0 0 25 0 4 0 730533462 576761856 78327 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.85
Current children cumulated vsize (KiB) 563244

[startup+942.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/365 15066
/proc/meminfo: memFree=24424700/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=576248 CPUtime=3758.16 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 425713 0 0 0 375668 148 0 0 25 0 4 0 730533461 590077952 83011 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 144062 83011 395 112 0 139027 0
[pid=14998/tid=14999] ppid=14996 vsize=576248 CPUtime=942.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 146184 0 0 0 94181 50 0 0 25 0 4 0 730533462 590077952 83011 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=576248 CPUtime=942.14 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 81647 0 0 0 94186 28 0 0 25 0 4 0 730533462 590077952 83011 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=576248 CPUtime=931.41 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 61241 0 0 0 93120 21 0 0 25 0 4 0 730533462 590077952 83011 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.16
Current children cumulated vsize (KiB) 576248

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.04 9/365 15068
/proc/meminfo: memFree=24420340/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=581460 CPUtime=3997.45 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 444480 0 0 0 399591 154 0 0 25 0 4 0 730533461 595415040 81546 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 145365 81546 395 112 0 140330 0
[pid=14998/tid=14999] ppid=14996 vsize=581460 CPUtime=1002.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 154790 0 0 0 100178 53 0 0 25 0 4 0 730533462 595415040 81546 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=581460 CPUtime=1002.13 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 81793 0 0 0 100185 28 0 0 25 0 4 0 730533462 595415040 81546 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=581460 CPUtime=990.71 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 64138 0 0 0 99048 23 0 0 25 0 4 0 730533462 595415040 81546 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.45
Current children cumulated vsize (KiB) 581460

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 8.05 9/365 15070
/proc/meminfo: memFree=24407412/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=581628 CPUtime=4236.74 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 458350 0 0 0 423513 161 0 0 25 0 4 0 730533461 595587072 85888 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 145407 85888 395 112 0 140372 0
[pid=14998/tid=14999] ppid=14996 vsize=581628 CPUtime=1062.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 159368 0 0 0 106176 55 0 0 25 0 4 0 730533462 595587072 85888 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=581628 CPUtime=1062.11 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 83038 0 0 0 106183 28 0 0 25 0 4 0 730533462 595587072 85888 33554432000 4194304 4650419 140735544912720 18446744073709551615 4329578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=581628 CPUtime=1050 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 65945 0 0 0 104977 23 0 0 25 0 4 0 730533462 595587072 85888 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.74
Current children cumulated vsize (KiB) 581628

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.05 9/365 15071
/proc/meminfo: memFree=24397092/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=582280 CPUtime=4476.02 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 472038 0 0 0 447436 166 0 0 25 0 4 0 730533461 596254720 89824 33554432000 4194304 4650419 140735544912720 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 145570 89824 395 112 0 140535 0
[pid=14998/tid=14999] ppid=14996 vsize=582280 CPUtime=1122.31 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 165358 0 0 0 112173 58 0 0 25 0 4 0 730533462 596254720 89824 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=582280 CPUtime=1122.11 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 83064 0 0 0 112183 28 0 0 25 0 4 0 730533462 596254720 89824 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=582280 CPUtime=1109.3 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 69125 0 0 0 110905 25 0 0 25 0 4 0 730533462 596254720 89824 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.02
Current children cumulated vsize (KiB) 582280

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.05 9/365 15073
/proc/meminfo: memFree=24385164/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=582432 CPUtime=4715.32 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 490801 0 0 0 471360 172 0 0 25 0 4 0 730533461 596410368 89545 33554432000 4194304 4650419 140735544912720 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 145608 89545 395 112 0 140573 0
[pid=14998/tid=14999] ppid=14996 vsize=582432 CPUtime=1182.32 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 172180 0 0 0 118171 61 0 0 25 0 4 0 730533462 596410368 89545 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=582432 CPUtime=1182.11 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 83573 0 0 0 118182 29 0 0 25 0 4 0 730533462 596410368 89545 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=582432 CPUtime=1168.59 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 70606 0 0 0 116834 25 0 0 25 0 4 0 730533462 596410368 89545 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.32
Current children cumulated vsize (KiB) 582432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.11 8.10 8.05 9/365 15073
/proc/meminfo: memFree=24353160/32950928 swapFree=38710892/67111528
[pid=14998] ppid=14996 vsize=582432 CPUtime=4800.27 cores=0,2,4,6
/proc/14998/stat : 14998 (strangenight1-m) R 14996 14998 14563 0 -1 4202496 494369 0 0 0 479853 174 0 0 25 0 4 0 730533461 596410368 91454 33554432000 4194304 4650419 140735544912720 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14998/statm: 145608 91454 395 112 0 140573 0
[pid=14998/tid=14999] ppid=14996 vsize=582432 CPUtime=1203.64 cores=0,2,4,6
/proc/14998/task/14999/stat : 14999 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 173234 0 0 0 120302 62 0 0 25 0 4 0 730533462 596410368 91455 33554432000 4194304 4650419 140735544912720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14998/tid=15000] ppid=14996 vsize=582432 CPUtime=1203.41 cores=0,2,4,6
/proc/14998/task/15000/stat : 15000 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 83573 0 0 0 120312 29 0 0 25 0 4 0 730533462 596410368 91455 33554432000 4194304 4650419 140735544912720 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14998/tid=15001] ppid=14996 vsize=582432 CPUtime=1189.64 cores=0,2,4,6
/proc/14998/task/15001/stat : 15001 (strangenight1-m) R 14996 14998 14563 0 -1 4202560 71462 0 0 0 118938 26 0 0 25 0 4 0 730533462 596410368 91455 33554432000 4194304 4650419 140735544912720 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 582432

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.34
CPU user time (s): 4798.58
CPU system time (s): 1.75873
CPU usage (%): 398.82
Max. virtual memory (cumulated for all children) (KiB): 587780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.58
system time used= 1.75873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494370
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= 167
involuntary context switches= 24964

runsolver used 4.09038 second user time and 9.92049 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-14 21:57:08
IDJOB=3368786
IDBENCH=82795
IDSOLVER=1846
FILE ID=node113/3368786-1305403028
RUNJOBID= node113-1305401822-14878
PBS_JOBID= 13324480
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368786-1305403028/watcher-3368786-1305403028 -o /tmp/evaluation-result-3368786-1305403028/solver-3368786-1305403028 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368786-1305403028.cnf

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

MD5SUM BENCH= 6d54c2a76a59aa67a01046a2e8240fb6
RANDOM SEED=904196521

node113.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.846
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.69
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.846
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.76
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.846
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.846
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.846
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.74
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.846
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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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:     32950928 kB
MemFree:      25238580 kB
Buffers:        254172 kB
Cached:        2805004 kB
SwapCached:      93712 kB
Active:         751500 kB
Inactive:      6700644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25238580 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           12484 kB
Writeback:           0 kB
AnonPages:     4310448 kB
Mapped:          14008 kB
Slab:           105144 kB
PageTables:      91544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87130004 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= 73432 MiB
End job on node113 at 2011-05-14 22:17:14