Trace number 3175177

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? (TO) 4800.27 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175177-1304095751.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.05	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.05	c -- vars added        400
0.00/0.05	c Parsing time:  0.00 s
0.00/0.05	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.05	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     176 undec:      46 neg:     178
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       389      1690         0         0      5137         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.38/0.14	c  N st     8      4918       389      1690         0      4802      5137     94689   no data   no data  --
1.18/0.36	c  N st    10     11300       389      1690         0      4443      5137     63983   no data   no data  --
1.98/0.59	c  N st    11     17043       389      1690         0     10043      5137    170088   no data   no data  --
3.57/0.96	c  F st    12     25001       389      1690         0     12304      5137    211029   no data   no data  --
3.57/0.96	c  N st    12     25001       389      1690         0     12304      5137    211029   no data   no data  --
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30002       389      1690         0     10598      5137    160494   no data   no data  --
4.77/1.20	c  S st    18     30002       389      1690         0     10598      5137    160494   no data   no data  --
4.77/1.23	c  S st    18     30503       389      1690         0     11096      5137    170119   no data   no data  --
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.77/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4.77/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.39	c lits-rem:       196  cl-subs:      833  v-elim:      0  v-fix:    0  time:  0.58 s
5.17/1.39	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.03
5.17/1.39	c calculated reachability. Time: 0.00
5.17/1.39	c  N st    18     30503       389      1690         0     10263      5137    155289   no data   no data  --
7.16/1.82	c  N st    20     37613       389      1690         0      9515      5137    128227   no data   no data  --
8.39/2.16	c  N st    21     44013       389      1690         0     15726      5137    245750   no data   no data  --
8.79/2.26	c  S st    22     45754       389      1690         0     17439      5137    281157   no data   no data  --
9.17/2.30	c  S st    22     46256       389      1690         0      9260      5137    114074   no data   no data  --
9.17/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.17/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.17/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
9.17/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.36	c lits-rem:        57  cl-subs:      201  v-elim:      0  v-fix:    0  time:  0.22 s
9.17/2.36	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c vivif2 --  cl tried     9059 cl shrink        0 lits rem          0 time: 0.00
9.17/2.37	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.03
9.17/2.37	c calculated reachability. Time: 0.00
9.17/2.37	c  N st    22     46256       389      1690         0      9059      5137    110770   no data   no data  --
12.78/3.21	c  N st    23     60655       389      1690         0     13452      5137    191428   no data   no data  --
15.16/3.84	c  N st    24     69384       389      1690         0     11245      5137    134958   no data   no data  --
15.16/3.84	c  S st    24     69384       389      1690         0     11245      5137    134958   no data   no data  --
15.16/3.87	c  S st    24     69887       389      1690         0     11746      5137    144368   no data   no data  --
15.16/3.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.16/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.16/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.00	c lits-rem:        58  cl-subs:      111  v-elim:      0  v-fix:    0  time:  0.48 s
15.96/4.00	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
15.96/4.00	c vivif2 --  cl tried    11635 cl shrink        0 lits rem          0 time: 0.01
15.96/4.01	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.04
15.96/4.01	c calculated reachability. Time: 0.00
15.96/4.01	c  N st    24     69887       389      1690         0     11635      5137    142330   no data   no data  --
20.75/5.24	c  F st    25     87500       389      1690         0     17069      5137    241077   no data   no data  --
20.75/5.24	c  N st    25     87500       389      1690         0     17069      5137    241077   no data   no data  --
22.35/5.64	c Decided on static restart strategy
23.15/5.88	c  N st    32     95540       389      1690         0     24868      5137    388520   no data   no data  --
25.96/6.57	c  N st    34    104831       389      1690         0     21227      5137    309349   no data   no data  --
25.96/6.57	c  S st    34    104831       389      1690         0     21227      5137    309349   no data   no data  --
26.36/6.62	c  S st    34    105331       389      1690         0     21724      5137    318704   no data   no data  --
26.36/6.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.36/6.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.36/6.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
26.36/6.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.31	c lits-rem:       252  cl-subs:     1539  v-elim:      0  v-fix:    0  time:  2.69 s
29.13/7.31	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
29.13/7.32	c vivif2 --  cl tried    20185 cl shrink        0 lits rem          0 time: 0.01
29.13/7.33	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.06
29.13/7.33	c calculated reachability. Time: 0.00
29.13/7.33	c  N st    34    105331       389      1690         0     20185      5137    290046   no data   no data  --
31.93/8.05	c  N st    35    114931       389      1690         0     15936      5137    192520   no data   no data  --
37.13/9.30	c  N st    36    129330       389      1690         0     15285      5137    164540   no data   no data  --
43.54/10.98	c  N st    37    150927       389      1690         0     20751      5137    267351   no data   no data  --
45.91/11.56	c  S st    38    157996       389      1690         0     27585      5137    396771   no data   no data  --
46.31/11.62	c  S st    38    158500       389      1690         0     28087      5137    407080   no data   no data  --
46.31/11.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.31/11.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.31/11.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.31/11.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.31/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
46.31/11.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.10/12.85	c lits-rem:       550  cl-subs:     1855  v-elim:      0  v-fix:    0  time:  4.84 s
51.10/12.85	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
51.10/12.86	c vivif2 --  cl tried    26232 cl shrink        0 lits rem          0 time: 0.02
51.10/12.88	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
51.10/12.88	c calculated reachability. Time: 0.00
51.10/12.88	c  N st    38    158500       389      1690         0     26232      5137    372260   no data   no data  --
69.90/17.55	c  N st    39    207088       389      1690         0     20991      5137    240976   no data   no data  --
83.08/20.88	c  N st    40    237751       389      1690         0     31328      5137    418585   no data   no data  --
83.08/20.88	c  S st    40    237751       389      1690         0     31328      5137    418585   no data   no data  --
83.48/20.97	c  S st    40    238254       389      1690         0     31828      5137    428380   no data   no data  --
83.48/20.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.48/20.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.48/20.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
83.48/20.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.48/20.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.48/20.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
83.48/20.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.45/22.40	c lits-rem:       425  cl-subs:     3143  v-elim:      0  v-fix:    0  time:  5.63 s
89.45/22.40	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
89.45/22.41	c vivif2 --  cl tried    28685 cl shrink        0 lits rem          0 time: 0.01
89.45/22.43	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
89.45/22.43	c calculated reachability. Time: 0.00
89.45/22.43	c  N st    40    238254       389      1690         0     28685      5137    373723   no data   no data  --
120.21/30.18	c  F st    41    306250       389      1690         0     30508      5137    365504   no data   no data  --
120.21/30.18	c  N st    41    306250       389      1690         0     30508      5137    365504   no data   no data  --
122.63/30.78	c Decided on static restart strategy
131.81/33.09	c  N st    51    334557       389      1690         0     34867      5137    466779   no data   no data  --
142.58/35.75	c  N st    53    357381       389      1690         0     32845      5137    409508   no data   no data  --
142.58/35.75	c  S st    53    357381       389      1690         0     32845      5137    409508   no data   no data  --
142.98/35.83	c  S st    53    357884       389      1690         0     33346      5137    419940   no data   no data  --
142.98/35.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.98/35.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.98/35.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
142.98/35.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.98/35.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.98/35.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
142.98/35.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.18/37.13	c lits-rem:       561  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  5.09 s
148.18/37.13	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
148.18/37.14	c vivif2 --  cl tried    32115 cl shrink        0 lits rem          0 time: 0.02
148.18/37.16	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.10
148.18/37.16	c calculated reachability. Time: 0.00
148.18/37.16	c  N st    53    357884       389      1690         0     32115      5137    396149   no data   no data  --
162.95/40.85	c  N st    54    390277       389      1690         0     38384      5137    528241   no data   no data  --
189.32/47.47	c  N st    55    438866       389      1690         0     32204      5137    362063   no data   no data  --
228.48/57.25	c  N st    56    511750       389      1690         0     45492      5137    604871   no data   no data  --
243.24/60.95	c  N st    57    536828       389      1690         0     39704      5137    455604   no data   no data  --
243.24/60.95	c  S st    57    536828       389      1690         0     39704      5137    455604   no data   no data  --
243.64/61.05	c  S st    57    537329       389      1690         0     40200      5137    465898   no data   no data  --
243.64/61.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
243.64/61.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
243.64/61.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
243.64/61.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.64/61.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.64/61.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
243.64/61.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.63/62.55	c lits-rem:       910  cl-subs:     2096  v-elim:      0  v-fix:    0  time:  5.90 s
249.63/62.55	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
249.63/62.56	c vivif2 --  cl tried    38104 cl shrink        0 lits rem          0 time: 0.02
249.63/62.59	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.14
249.63/62.59	c calculated reachability. Time: 0.00
249.63/62.59	c  N st    57    537329       389      1690         0     38104      5137    431487   no data   no data  --
359.90/90.12	c  N st    58    701313       389      1690         0     67045      5137    941892   no data   no data  --
434.19/108.76	c  N st    59    805995       389      1690         0     61066      5137    766742   no data   no data  --
434.19/108.76	c  S st    59    805995       389      1690         0     61066      5137    766742   no data   no data  --
435.01/108.94	c  S st    59    806499       389      1690         0     61569      5137    777386   no data   no data  --
435.01/108.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
435.01/108.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
435.01/108.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
435.01/108.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
435.01/108.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
435.01/108.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
435.01/108.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
446.57/111.89	c lits-rem:      1072  cl-subs:     6916  v-elim:      0  v-fix:    0  time: 11.57 s
446.57/111.89	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
446.97/111.90	c vivif2 --  cl tried    54653 cl shrink        0 lits rem          0 time: 0.03
446.97/111.96	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.24
446.97/111.96	c calculated reachability. Time: 0.00
446.97/111.96	c  N st    59    806499       389      1690         0     54653      5137    670572   no data   no data  --
653.48/163.61	c  F st    60   1071877       389      1690         0     70117      5137    889529   no data   no data  --
653.48/163.61	c  N st    60   1071877       389      1690         0     70117      5137    889529   no data   no data  --
659.10/165.03	c Decided on static restart strategy
680.24/170.37	c  N st    70   1100188       389      1690         0     54249      5137    591619   no data   no data  --
715.00/179.02	c  N st    72   1136181       389      1690         0     44738      5137    392658   no data   no data  --
741.77/185.73	c  N st    73   1168573       389      1690         0     76004      5137   1007197   no data   no data  --
779.70/195.20	c  N st    74   1209748       389      1690         0     70393      5137    882096   no data   no data  --
779.70/195.20	c  S st    74   1209748       389      1690         0     70393      5137    882096   no data   no data  --
780.50/195.42	c  S st    74   1210248       389      1690         0     70893      5137    892243   no data   no data  --
780.50/195.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
780.50/195.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
780.50/195.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
780.50/195.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
780.50/195.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
780.50/195.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
780.50/195.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
798.88/200.03	c lits-rem:      1342  cl-subs:     5592  v-elim:      0  v-fix:    0  time: 18.19 s
798.88/200.03	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
798.88/200.04	c vivif2 --  cl tried    65301 cl shrink        0 lits rem          0 time: 0.04
799.30/200.15	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.41
799.30/200.15	c calculated reachability. Time: 0.00
799.30/200.15	c  N st    74   1210248       389      1690         0     65301      5137    794695   no data   no data  --
874.40/218.91	c  N st    75   1283132       389      1690         0     89152      5137   1210202   no data   no data  --
983.03/246.11	c  N st    76   1392456       389      1690         0     50173      5137    441925   no data   no data  --
1139.22/285.20	c  N st    77   1556442       389      1690         0     55094      5137    504923   no data   no data  --
1288.61/322.66	c  N st    78   1710248       389      1690         0     95987      5137   1297323   no data   no data  --
1288.61/322.66	c  S st    78   1710248       389      1690         0     95987      5137   1297323   no data   no data  --
1290.21/323.03	c  S st    78   1710753       389      1690         0     96489      5137   1307143   no data   no data  --
1290.21/323.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1290.21/323.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1290.21/323.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1290.62/323.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1290.62/323.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1290.62/323.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1290.62/323.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1321.77/330.97	c lits-rem:       117  cl-subs:    10828  v-elim:      0  v-fix:    0  time: 31.30 s
1321.77/330.97	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1321.77/330.99	c vivif2 --  cl tried    85661 cl shrink        0 lits rem          0 time: 0.06
1322.58/331.10	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.46
1322.58/331.11	c calculated reachability. Time: 0.00
1322.58/331.11	c  N st    78   1710753       389      1690         0     85661      5137   1117760   no data   no data  --
1732.41/433.76	c  N st    79   2079717       389      1690         0     97892      5137   1297533   no data   no data  --
1892.99/473.91	c  N st    80   2210754       389      1690         0    101776      5137   1341247   no data   no data  --
1892.99/473.91	c  S st    80   2210754       389      1690         0    101776      5137   1341247   no data   no data  --
1894.18/474.27	c  S st    80   2211258       389      1690         0    102279      5137   1351928   no data   no data  --
1894.18/474.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1894.18/474.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1894.58/474.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1894.58/474.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1894.58/474.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1894.58/474.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1894.58/474.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1924.17/481.73	c lits-rem:       463  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 29.41 s
1924.17/481.73	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1924.17/481.75	c vivif2 --  cl tried    93981 cl shrink        0 lits rem          0 time: 0.06
1924.57/481.88	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.51
1924.57/481.88	c calculated reachability. Time: 0.00
1924.57/481.88	c  N st    80   2211258       389      1690         0     93981      5137   1201560   no data   no data  --
2540.11/635.90	c  N st    81   2711258       389      1690         0    117014      5137   1546798   no data   no data  --
2540.11/635.90	c  S st    81   2711258       389      1690         0    117014      5137   1546798   no data   no data  --
2541.71/636.31	c  S st    81   2711767       389      1690         0    117519      5137   1557992   no data   no data  --
2541.71/636.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2541.71/636.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2541.71/636.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
2542.11/636.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2542.11/636.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2542.11/636.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2542.11/636.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2581.65/646.34	c lits-rem:      1387  cl-subs:    10199  v-elim:      0  v-fix:    0  time: 39.58 s
2581.65/646.34	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
2581.65/646.36	c vivif2 --  cl tried   107320 cl shrink        0 lits rem          0 time: 0.08
2582.45/646.51	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.62
2582.45/646.52	c calculated reachability. Time: 0.00
2582.45/646.52	c  N st    81   2711767       389      1690         0    107320      5137   1392122   no data   no data  --
3210.38/803.74	c  N st    82   3211768       389      1690         0     83797      5137    796342   no data   no data  --
3210.38/803.74	c  S st    82   3211768       389      1690         0     83797      5137    796342   no data   no data  --
3211.60/804.00	c  S st    82   3212276       389      1690         0     84303      5137    807134   no data   no data  --
3211.60/804.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3211.60/804.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3211.60/804.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3211.60/804.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3211.60/804.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3211.60/804.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3211.60/804.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3222.37/806.72	c lits-rem:       674  cl-subs:     2282  v-elim:      0  v-fix:    0  time: 10.59 s
3222.37/806.72	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
3222.37/806.73	c vivif2 --  cl tried    82021 cl shrink        0 lits rem          0 time: 0.05
3222.77/806.83	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.40
3222.77/806.84	c calculated reachability. Time: 0.00
3222.77/806.84	c  N st    82   3212276       389      1690         0     82021      5137    770173   no data   no data  --
3941.78/986.85	c  N st    83   3712278       389      1690         0     92361      5137    876319   no data   no data  --
3941.78/986.85	c  S st    83   3712278       389      1690         0     92361      5137    876319   no data   no data  --
3942.98/987.18	c  S st    83   3712785       389      1690         0     92867      5137    886881   no data   no data  --
3942.98/987.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3942.98/987.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3943.38/987.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3943.38/987.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3943.38/987.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3943.38/987.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3943.38/987.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3956.97/990.68	c lits-rem:      1130  cl-subs:     4194  v-elim:      0  v-fix:    0  time: 13.69 s
3956.97/990.68	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
3957.36/990.70	c vivif2 --  cl tried    88673 cl shrink        0 lits rem          0 time: 0.05
3957.76/990.81	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.47
3957.76/990.82	c calculated reachability. Time: 0.00
3957.76/990.82	c  N st    83   3712785       389      1690         0     88673      5137    826959   no data   no data  --
4007.31/1003.26	c  F st    84   3751562       389      1690         0    125965      5137   1539702   no data   no data  --
4007.31/1003.26	c  N st    84   3751562       389      1690         0    125965      5137   1539702   no data   no data  --
4016.10/1005.49	c Decided on static restart strategy
4053.23/1014.78	c  N st    94   3779868       389      1690         0    153252      5137   2086938   no data   no data  --
4106.36/1028.02	c  N st    96   3815861       389      1690         0    106407      5137   1181387   no data   no data  --
4159.49/1041.35	c  N st    97   3848253       389      1690         0    137625      5137   1798683   no data   no data  --
4219.41/1056.38	c  N st    98   3896843       389      1690         0    101981      5137   1089950   no data   no data  --
4335.65/1085.44	c  N st    99   3969725       389      1690         0     88364      5137    787097   no data   no data  --
4495.43/1125.45	c  N st   100   4079049       389      1690         0    108342      5137   1155401   no data   no data  --
4686.37/1173.26	c  N st   101   4212785       389      1690         0    151564      5137   2044545   no data   no data  --
4686.37/1173.26	c  S st   101   4212785       389      1690         0    151564      5137   2044545   no data   no data  --
4688.76/1173.84	c  S st   101   4213288       389      1690         0    152066      5137   2054816   no data   no data  --
4688.76/1173.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4688.76/1173.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4689.16/1173.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4689.16/1174.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4689.16/1174.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4689.16/1174.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4689.16/1174.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4787.03/1198.46	c lits-rem:      1658  cl-subs:    17194  v-elim:      0  v-fix:    0  time: 97.69 s
4787.03/1198.46	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
4787.03/1198.48	c vivif2 --  cl tried   134872 cl shrink        0 lits rem          0 time: 0.10
4787.83/1198.69	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.83
4787.83/1198.69	c calculated reachability. Time: 0.00
4787.83/1198.69	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175177-1304095751/watcher-3175177-1304095751 -o /tmp/evaluation-result-3175177-1304095751/solver-3175177-1304095751 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175177-1304095751.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: 7.46 7.92 8.01 6/184 23509
/proc/meminfo: memFree=25256844/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 521173306 52465664 352 33554432000 4194304 4650419 140734642273008 18446744073709551615 47402529560498 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 12809 352 303 112 0 7774 0
[pid=23509/tid=23510] ppid=23507 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521173306 52465664 352 33554432000 4194304 4650419 140734642273008 18446744073709551615 47402529560498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521173306 52465664 352 33554432000 4194304 4650419 140734642273008 18446744073709551615 47402529560498 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521173306 52465664 352 33554432000 4194304 4650419 140734642273008 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.07353 s]
/proc/loadavg: 7.46 7.92 8.01 6/184 23509
/proc/meminfo: memFree=25256844/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=282340 CPUtime=0.27 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 1463 0 0 0 27 0 0 0 18 0 4 0 521173306 289116160 1332 33554432000 4194304 4650419 140734642273008 18446744073709551615 4310809 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 70585 1332 391 112 0 65550 0
[pid=23509/tid=23510] ppid=23507 vsize=282340 CPUtime=0.06 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 299 0 0 0 6 0 0 0 18 0 4 0 521173306 289116160 1332 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=282340 CPUtime=0.06 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 266 0 0 0 6 0 0 0 18 0 4 0 521173306 289116160 1332 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=282340 CPUtime=0.06 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 204 0 0 0 6 0 0 0 25 0 4 0 521173306 289116160 1332 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282340

[startup+0.100525 s]
/proc/loadavg: 7.46 7.92 8.01 6/184 23509
/proc/meminfo: memFree=25256844/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=282508 CPUtime=0.38 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 1623 0 0 0 38 0 0 0 18 0 4 0 521173306 289288192 1492 33554432000 4194304 4650419 140734642273008 18446744073709551615 4330796 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 70627 1492 391 112 0 65592 0
[pid=23509/tid=23510] ppid=23507 vsize=282508 CPUtime=0.09 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 345 0 0 0 9 0 0 0 18 0 4 0 521173306 289288192 1492 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=282508 CPUtime=0.09 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 308 0 0 0 9 0 0 0 18 0 4 0 521173306 289288192 1492 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=282508 CPUtime=0.09 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 246 0 0 0 9 0 0 0 25 0 4 0 521173306 289288192 1492 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282508

[startup+0.30049 s]
/proc/loadavg: 7.46 7.92 8.01 6/184 23509
/proc/meminfo: memFree=25256844/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=283524 CPUtime=1.18 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 2584 0 0 0 118 0 0 0 18 0 4 0 521173306 290328576 1980 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 70881 1980 393 112 0 65846 0
[pid=23509/tid=23510] ppid=23507 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 580 0 0 0 29 0 0 0 18 0 4 0 521173306 290328576 1980 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 539 0 0 0 29 0 0 0 18 0 4 0 521173306 290328576 1980 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 486 0 0 0 29 0 0 0 25 0 4 0 521173306 290328576 1980 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283524

[startup+0.70042 s]
/proc/loadavg: 7.46 7.92 8.01 6/184 23509
/proc/meminfo: memFree=25256844/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=284968 CPUtime=2.77 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 4519 0 0 0 277 0 0 0 18 0 4 0 521173306 291807232 2294 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 71242 2294 393 112 0 66207 0
[pid=23509/tid=23510] ppid=23507 vsize=284968 CPUtime=0.69 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1081 0 0 0 69 0 0 0 18 0 4 0 521173306 291807232 2294 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=284968 CPUtime=0.69 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1018 0 0 0 69 0 0 0 18 0 4 0 521173306 291807232 2295 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=284968 CPUtime=0.69 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 948 0 0 0 69 0 0 0 25 0 4 0 521173306 291807232 2295 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363432 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) 284968

[startup+1.50028 s]
/proc/loadavg: 7.46 7.92 8.01 9/188 23513
/proc/meminfo: memFree=25243668/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=276944 CPUtime=5.97 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 7610 0 0 0 596 1 0 0 20 0 4 0 521173306 283590656 4268 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 69236 4268 395 112 0 64201 0
[pid=23509/tid=23510] ppid=23507 vsize=276944 CPUtime=1.49 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1627 0 0 0 149 0 0 0 20 0 4 0 521173306 283590656 4268 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=276944 CPUtime=1.49 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1545 0 0 0 149 0 0 0 19 0 4 0 521173306 283590656 4268 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=276944 CPUtime=1.48 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 1435 0 0 0 148 0 0 0 25 0 4 0 521173306 283590656 4268 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 276944

[startup+3.10099 s]
/proc/loadavg: 7.46 7.92 8.01 9/188 23513
/proc/meminfo: memFree=25225192/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=281148 CPUtime=12.36 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 14972 0 0 0 1234 2 0 0 25 0 4 0 521173306 287895552 8362 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 70287 8362 395 112 0 65252 0
[pid=23509/tid=23510] ppid=23507 vsize=281148 CPUtime=3.08 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 3539 0 0 0 308 0 0 0 25 0 4 0 521173306 287895552 8362 33554432000 4194304 4650419 140734642273008 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=281148 CPUtime=3.09 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 3884 0 0 0 309 0 0 0 25 0 4 0 521173306 287895552 8362 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=281148 CPUtime=3.07 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 3344 0 0 0 307 0 0 0 25 0 4 0 521173306 287895552 8362 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 281148

[startup+6.30043 s]
/proc/loadavg: 7.51 7.92 8.01 9/188 23513
/proc/meminfo: memFree=25214812/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=286908 CPUtime=25.14 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 22586 0 0 0 2511 3 0 0 25 0 4 0 521173306 293793792 11675 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 71727 11675 395 112 0 66692 0
[pid=23509/tid=23510] ppid=23507 vsize=286908 CPUtime=6.28 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 5809 0 0 0 628 0 0 0 25 0 4 0 521173306 293793792 11675 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=286908 CPUtime=6.28 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 6303 0 0 0 628 0 0 0 25 0 4 0 521173306 293793792 11675 33554432000 4194304 4650419 140734642273008 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=286908 CPUtime=6.25 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 4375 0 0 0 625 0 0 0 25 0 4 0 521173306 293793792 11675 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 286908

[startup+12.7003 s]
/proc/loadavg: 7.63 7.94 8.02 9/188 23513
/proc/meminfo: memFree=25204060/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=290488 CPUtime=50.7 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 34455 0 0 0 5065 5 0 0 25 0 4 0 521173306 297459712 16567 33554432000 4194304 4650419 140734642273008 18446744073709551615 4441512 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 72622 16567 395 112 0 67587 0
[pid=23509/tid=23510] ppid=23507 vsize=290488 CPUtime=12.68 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 8781 0 0 0 1267 1 0 0 25 0 4 0 521173306 297459712 16567 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=290488 CPUtime=12.69 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 9198 0 0 0 1268 1 0 0 25 0 4 0 521173306 297459712 16567 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=290488 CPUtime=12.62 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 6431 0 0 0 1261 1 0 0 25 0 4 0 521173306 297459712 16567 33554432000 4194304 4650419 140734642273008 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 290488

[startup+25.501 s]
/proc/loadavg: 7.87 7.97 8.03 9/188 23514
/proc/meminfo: memFree=25176160/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=298924 CPUtime=101.84 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 52258 0 0 0 10174 10 0 0 25 0 4 0 521173306 306098176 20146 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 74731 20146 395 112 0 69696 0
[pid=23509/tid=23510] ppid=23507 vsize=298924 CPUtime=25.49 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 13955 0 0 0 2546 3 0 0 25 0 4 0 521173306 306098176 20146 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=298924 CPUtime=25.49 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 14570 0 0 0 2547 2 0 0 25 0 4 0 521173306 306098176 20146 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=298924 CPUtime=25.34 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 9102 0 0 0 2533 1 0 0 25 0 4 0 521173306 306098176 20146 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 298924

[startup+51.1005 s]
/proc/loadavg: 7.97 7.99 8.03 9/188 23514
/proc/meminfo: memFree=25140736/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=308792 CPUtime=204.09 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 80068 0 0 0 20391 18 0 0 25 0 4 0 521173306 316203008 25403 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 77198 25403 395 112 0 72163 0
[pid=23509/tid=23510] ppid=23507 vsize=308792 CPUtime=51.09 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 21984 0 0 0 5104 5 0 0 25 0 4 0 521173306 316203008 25403 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=308792 CPUtime=51.09 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 22072 0 0 0 5105 4 0 0 25 0 4 0 521173306 316203008 25403 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=308792 CPUtime=50.8 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 13014 0 0 0 5077 3 0 0 25 0 4 0 521173306 316203008 25403 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 308792

[startup+102.306 s]
/proc/loadavg: 8.05 8.00 8.03 9/188 23516
/proc/meminfo: memFree=25095700/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=315960 CPUtime=408.63 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 119454 0 0 0 40833 30 0 0 25 0 4 0 521173306 323543040 30806 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 78990 30806 395 112 0 73955 0
[pid=23509/tid=23510] ppid=23507 vsize=315960 CPUtime=102.28 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 33568 0 0 0 10220 8 0 0 25 0 4 0 521173306 323543040 30806 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=315960 CPUtime=102.3 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 32867 0 0 0 10222 8 0 0 25 0 4 0 521173306 323543040 30806 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=315960 CPUtime=101.73 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 18502 0 0 0 10168 5 0 0 25 0 4 0 521173306 323543040 30806 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 315960

[startup+162.301 s]

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

[pid=23509] ppid=23507 vsize=466800 CPUtime=2805.34 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 380870 0 0 0 280407 127 0 0 25 0 4 0 521173306 478003200 72823 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 116700 72823 395 112 0 111665 0
[pid=23509/tid=23510] ppid=23507 vsize=466800 CPUtime=702.23 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 108600 0 0 0 70187 36 0 0 25 0 4 0 521173306 478003200 72823 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=466800 CPUtime=702.3 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 105268 0 0 0 70196 34 0 0 25 0 4 0 521173306 478003200 72823 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=466800 CPUtime=698.47 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 54027 0 0 0 69827 20 0 0 25 0 4 0 521173306 478003200 72823 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 466800

[startup+762.307 s]
/proc/loadavg: 8.09 8.15 8.09 9/188 23542
/proc/meminfo: memFree=24725760/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=466888 CPUtime=3045.03 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 397171 0 0 0 304368 135 0 0 25 0 4 0 521173306 478093312 76896 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 116722 76896 395 112 0 111687 0
[pid=23509/tid=23510] ppid=23507 vsize=466888 CPUtime=762.24 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 113556 0 0 0 76184 40 0 0 25 0 4 0 521173306 478093312 76896 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=466888 CPUtime=762.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 109359 0 0 0 76195 36 0 0 25 0 4 0 521173306 478093312 76896 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=466888 CPUtime=758.14 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 56022 0 0 0 75793 21 0 0 25 0 4 0 521173306 478093312 76896 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 466888

[startup+822.301 s]
/proc/loadavg: 8.37 8.21 8.11 9/188 23544
/proc/meminfo: memFree=24699560/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=550268 CPUtime=3284.68 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 416317 0 0 0 328326 142 0 0 25 0 4 0 521173306 563474432 79371 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 137567 79371 395 112 0 132532 0
[pid=23509/tid=23510] ppid=23507 vsize=550268 CPUtime=822.23 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 120033 0 0 0 82181 42 0 0 25 0 4 0 521173306 563474432 79371 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=550268 CPUtime=822.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 111845 0 0 0 82194 37 0 0 25 0 4 0 521173306 563474432 79371 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=550268 CPUtime=817.82 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 60074 0 0 0 81759 23 0 0 25 0 4 0 521173306 563474432 79371 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 550268

[startup+882.301 s]
/proc/loadavg: 8.25 8.20 8.11 9/188 23545
/proc/meminfo: memFree=24697688/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=550448 CPUtime=3524.35 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 434011 0 0 0 352284 151 0 0 25 0 4 0 521173306 563658752 76785 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 137612 76785 395 112 0 132577 0
[pid=23509/tid=23510] ppid=23507 vsize=550448 CPUtime=882.22 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 125511 0 0 0 88177 45 0 0 25 0 4 0 521173306 563658752 76785 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=550448 CPUtime=882.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 115113 0 0 0 88192 39 0 0 25 0 4 0 521173306 563658752 76785 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=550448 CPUtime=877.49 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 63076 0 0 0 87725 24 0 0 25 0 4 0 521173306 563658752 76785 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 550448

[startup+942.3 s]
/proc/loadavg: 8.59 8.29 8.14 10/188 23550
/proc/meminfo: memFree=24678064/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=550660 CPUtime=3764.03 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 453776 0 0 0 376244 159 0 0 25 0 4 0 521173306 563875840 85160 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 137665 85160 395 112 0 132630 0
[pid=23509/tid=23510] ppid=23507 vsize=550660 CPUtime=942.22 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 130992 0 0 0 94174 48 0 0 25 0 4 0 521173306 563875840 85160 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=550660 CPUtime=942.3 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 121172 0 0 0 94190 40 0 0 25 0 4 0 521173306 563875840 85160 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=550660 CPUtime=937.16 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 65158 0 0 0 93691 25 0 0 25 0 4 0 521173306 563875840 85160 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 550660

[startup+1002.3 s]
/proc/loadavg: 8.37 8.28 8.15 9/188 23552
/proc/meminfo: memFree=24626892/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=620408 CPUtime=4003.7 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 473939 0 0 0 400203 167 0 0 25 0 4 0 521173306 635297792 87759 33554432000 4194304 4650419 140734642273008 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 155102 87759 395 112 0 150067 0
[pid=23509/tid=23510] ppid=23507 vsize=620408 CPUtime=1002.21 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 137256 0 0 0 100171 50 0 0 25 0 4 0 521173306 635297792 87759 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=620408 CPUtime=1002.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 125323 0 0 0 100188 43 0 0 25 0 4 0 521173306 635297792 87759 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=620408 CPUtime=996.84 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 67804 0 0 0 99658 26 0 0 25 0 4 0 521173306 635297792 87759 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 620408

[startup+1062.3 s]
/proc/loadavg: 8.36 8.29 8.16 9/188 23553
/proc/meminfo: memFree=24607164/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=555040 CPUtime=4243.37 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 488922 0 0 0 424164 173 0 0 25 0 4 0 521173306 568360960 88466 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 138760 88466 395 112 0 133725 0
[pid=23509/tid=23510] ppid=23507 vsize=555040 CPUtime=1062.2 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 141418 0 0 0 106169 51 0 0 25 0 4 0 521173306 568360960 88466 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=555040 CPUtime=1062.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 127782 0 0 0 106187 44 0 0 25 0 4 0 521173306 568360960 88466 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=555040 CPUtime=1056.51 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 69900 0 0 0 105624 27 0 0 25 0 4 0 521173306 568360960 88466 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 555040

[startup+1122.3 s]
/proc/loadavg: 8.37 8.29 8.17 9/188 23555
/proc/meminfo: memFree=24588804/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=620772 CPUtime=4483.05 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 507456 0 0 0 448123 182 0 0 25 0 4 0 521173306 635670528 92073 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 155193 92073 395 112 0 150158 0
[pid=23509/tid=23510] ppid=23507 vsize=620772 CPUtime=1122.2 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 146584 0 0 0 112166 54 0 0 25 0 4 0 521173306 635670528 92073 33554432000 4194304 4650419 140734642273008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=620772 CPUtime=1122.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 131326 0 0 0 112185 46 0 0 25 0 4 0 521173306 635670528 92073 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=620772 CPUtime=1116.18 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 73814 0 0 0 111589 29 0 0 25 0 4 0 521173306 635670528 92073 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 620772

[startup+1182.3 s]
/proc/loadavg: 8.24 8.27 8.16 9/188 23587
/proc/meminfo: memFree=24898980/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=620900 CPUtime=4722.72 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 525509 0 0 0 472082 190 0 0 25 0 4 0 521173306 635801600 93122 33554432000 4194304 4650419 140734642273008 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 155225 93122 395 112 0 150190 0
[pid=23509/tid=23510] ppid=23507 vsize=620900 CPUtime=1182.19 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 151395 0 0 0 118162 57 0 0 25 0 4 0 521173306 635801600 93122 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=620900 CPUtime=1182.31 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 134768 0 0 0 118184 47 0 0 25 0 4 0 521173306 635801600 93122 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=620900 CPUtime=1175.86 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 75308 0 0 0 117556 30 0 0 25 0 4 0 521173306 635801600 93122 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 620900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.25 8.16 9/188 23588
/proc/meminfo: memFree=24854332/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=620900 CPUtime=4800.22 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 528912 0 0 0 479831 191 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 155225 94866 395 112 0 150190 0
[pid=23509/tid=23510] ppid=23507 vsize=620900 CPUtime=1201.6 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 152403 0 0 0 120102 58 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=620900 CPUtime=1201.72 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 134768 0 0 0 120125 47 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=620900 CPUtime=1195.15 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 75985 0 0 0 119485 30 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 620900

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

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

[startup+1201.7 s]
/proc/loadavg: 8.17 8.25 8.16 9/188 23588
/proc/meminfo: memFree=24854332/32951124 swapFree=67111524/67111528
[pid=23509] ppid=23507 vsize=620900 CPUtime=4800.22 cores=0,2,4,6
/proc/23509/stat : 23509 (strangenight1-m) R 23507 23509 23437 0 -1 4202496 528912 0 0 0 479831 191 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23509/statm: 155225 94866 395 112 0 150190 0
[pid=23509/tid=23510] ppid=23507 vsize=620900 CPUtime=1201.6 cores=0,2,4,6
/proc/23509/task/23510/stat : 23510 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 152403 0 0 0 120102 58 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23509/tid=23511] ppid=23507 vsize=620900 CPUtime=1201.72 cores=0,2,4,6
/proc/23509/task/23511/stat : 23511 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 134768 0 0 0 120125 47 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23509/tid=23512] ppid=23507 vsize=620900 CPUtime=1195.15 cores=0,2,4,6
/proc/23509/task/23512/stat : 23512 (strangenight1-m) R 23507 23509 23437 0 -1 4202560 75985 0 0 0 119485 30 0 0 25 0 4 0 521173306 635801600 94866 33554432000 4194304 4650419 140734642273008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 620900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4798.34
CPU system time (s): 1.9367
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 646556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 1.9367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528912
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= 173
involuntary context switches= 74565

runsolver used 1.84172 second user time and 4.73128 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 18:49:11
IDJOB=3175177
IDBENCH=82795
IDSOLVER=1588
FILE ID=node132/3175177-1304095751
RUNJOBID= node132-1304095714-23455
PBS_JOBID= 13170598
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175177-1304095751/watcher-3175177-1304095751 -o /tmp/evaluation-result-3175177-1304095751/solver-3175177-1304095751 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175177-1304095751.cnf

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

MD5SUM BENCH= 6d54c2a76a59aa67a01046a2e8240fb6
RANDOM SEED=1970909410

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25257000 kB
Buffers:        773792 kB
Cached:        6240228 kB
SwapCached:          4 kB
Active:        2209464 kB
Inactive:      4987196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25257000 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6240 kB
Writeback:          24 kB
AnonPages:      182620 kB
Mapped:          15520 kB
Slab:           435944 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   426840 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 19:09:15