Trace number 3174012

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.29 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
MD5SUM90ea123f6d02a54bb761f724a5a1c9d1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.43278
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53727
Number of clauses of size over 50

Solver Data 

0.00/0.04	c Outputting solution to console
0.00/0.05	c Using 4 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3174012-1304076744.cnf'
0.00/0.05	c -- header says num vars:            175
0.00/0.05	c -- header says num clauses:        3727
0.00/0.06	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.06	c -- vars added        175
0.00/0.06	c Parsing time:  0.00 s
0.00/0.06	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.06	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
0.00/0.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.99/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
2.99/0.85	c Finding binary XORs  T:     0.00 s  found:       0
2.99/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.99/0.85	c calculated reachability. Time: 0.00
2.99/0.85	c Calc default polars -  time:   0.00 s pos:      83 undec:       5 neg:      87
2.99/0.85	c =========================================================================================
2.99/0.85	c types(t): F = full restart, N = normal restart
2.99/0.85	c types(t): S = simplification begin/end, E = solution found
2.99/0.85	c restart types(rt): st = static, dy = dynamic
2.99/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.99/0.85	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
2.99/0.85	c Decided on static restart strategy
2.99/0.85	c  N st     8      4915       175      3727         0      4748     18635    166739   no data   no data
2.99/0.85	c  N st    10     11298       175      3727         0      4389     18635    112889   no data   no data
2.99/0.85	c  N st    11     17041       175      3727         0      9885     18635    306557   no data   no data
3.79/1.07	c  F st    12     25001       175      3727         0     12055     18635    366364   no data   no data
3.79/1.07	c  N st    12     25001       175      3727         0     12055     18635    366364   no data   no data
4.60/1.29	c Decided on static restart strategy
4.60/1.29	c  N st    18     30002       175      3727         0     10360     18635    298778   no data   no data
4.60/1.29	c  S st    18     30002       175      3727         0     10360     18635    298778   no data   no data
5.01/1.32	c  S st    18     30507       175      3727         0     10854     18635    314730   no data   no data
5.01/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.01/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.01/1.32	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
5.01/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.01/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.01/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
5.01/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.01/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.01/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.79/1.53	c lits-rem:       151  cl-subs:     1046  v-elim:      0  v-fix:    0  time:  0.20 s
5.79/1.57	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.79/1.57	c calculated reachability. Time: 0.00
5.79/1.57	c  N st    18     30507       175      3727         0      9808     18635    272812   no data   no data
7.39/1.95	c  N st    20     37617       175      3727         0      9049     18635    222835   no data   no data
8.99/2.30	c  N st    21     44016       175      3727         0     15134     18635    427538   no data   no data
9.40/2.42	c  S st    22     45760       175      3727         0     16806     18635    483133   no data   no data
9.40/2.47	c  S st    22     46263       175      3727         0      8763     18635    190639   no data   no data
9.40/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.40/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.40/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.40/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.40/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.40/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.40/2.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.40/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.40/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.81/2.51	c lits-rem:        26  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.02 s
9.81/2.51	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.81/2.51	c vivif2 --  cl tried     8641 cl shrink        0 lits rem          0 time: 0.00
9.81/2.55	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.81/2.55	c calculated reachability. Time: 0.00
9.81/2.55	c  N st    22     46263       175      3727         0      8641     18635    185999   no data   no data
12.98/3.37	c  N st    23     60661       175      3727         0     12880     18635    313493   no data   no data
15.37/3.97	c  N st    24     69395       175      3727         0     10745     18635    221877   no data   no data
15.37/3.97	c  S st    24     69395       175      3727         0     10745     18635    221877   no data   no data
15.77/4.00	c  S st    24     69896       175      3727         0     11238     18635    238142   no data   no data
15.77/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.77/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.77/4.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.77/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.77/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.77/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.77/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.77/4.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.77/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.77/4.07	c lits-rem:        26  cl-subs:      221  v-elim:      0  v-fix:    0  time:  0.05 s
15.77/4.07	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.77/4.07	c vivif2 --  cl tried    11017 cl shrink        0 lits rem          0 time: 0.00
16.18/4.13	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
16.18/4.13	c calculated reachability. Time: 0.00
16.18/4.13	c  N st    24     69896       175      3727         0     11017     18635    229782   no data   no data
20.57/5.28	c  F st    25     87500       175      3727         0     16358     18635    399876   no data   no data
20.57/5.28	c  N st    25     87500       175      3727         0     16358     18635    399876   no data   no data
22.18/5.63	c Decided on static restart strategy
22.99/5.82	c  N st    32     95539       175      3727         0     24064     18635    660357   no data   no data
24.97/6.39	c  N st    34    104846       175      3727         0     20555     18635    533206   no data   no data
24.97/6.39	c  S st    34    104846       175      3727         0     20555     18635    533206   no data   no data
25.37/6.45	c  S st    34    105348       175      3727         0     21049     18635    549297   no data   no data
25.37/6.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.37/6.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.37/6.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.37/6.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.37/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.37/6.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.37/6.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.37/6.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.37/6.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.38/6.98	c lits-rem:       265  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.50 s
27.38/6.98	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.38/6.98	c vivif2 --  cl tried    19761 cl shrink        0 lits rem          0 time: 0.00
27.76/7.07	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
27.76/7.07	c calculated reachability. Time: 0.00
27.76/7.07	c  N st    34    105348       175      3727         0     19761     18635    499443   no data   no data
30.56/7.72	c  N st    35    114946       175      3727         0     15570     18635    346279   no data   no data
34.95/8.82	c  N st    36    129344       175      3727         0     15021     18635    298714   no data   no data
41.34/10.41	c  N st    37    150939       175      3727         0     20406     18635    457913   no data   no data
43.35/10.92	c  S st    38    158022       175      3727         0     27220     18635    696813   no data   no data
43.35/10.98	c  S st    38    158524       175      3727         0     27711     18635    713127   no data   no data
43.35/10.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.35/10.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.35/10.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.35/10.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.35/10.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.35/10.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
43.35/10.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.75/11.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.75/11.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.34/11.94	c lits-rem:       454  cl-subs:     1675  v-elim:      0  v-fix:    0  time:  0.91 s
47.34/11.94	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
47.34/11.94	c vivif2 --  cl tried    26036 cl shrink        0 lits rem          0 time: 0.01
47.74/12.06	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.12
47.74/12.06	c calculated reachability. Time: 0.00
47.74/12.06	c  N st    38    158524       175      3727         0     26036     18635    647923   no data   no data
65.32/16.42	c  N st    39    207112       175      3727         0     20864     18635    414272   no data   no data
77.71/19.50	c  N st    40    237786       175      3727         0     30981     18635    756251   no data   no data
77.71/19.50	c  S st    40    237786       175      3727         0     30981     18635    756251   no data   no data
78.11/19.61	c  S st    40    238292       175      3727         0     31479     18635    772484   no data   no data
78.11/19.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.11/19.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
78.11/19.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.11/19.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.11/19.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.11/19.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
78.11/19.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.11/19.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.11/19.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.09/21.68	c lits-rem:       597  cl-subs:     2032  v-elim:      0  v-fix:    0  time:  2.01 s
86.09/21.68	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
86.09/21.68	c vivif2 --  cl tried    29447 cl shrink        0 lits rem          0 time: 0.01
86.89/21.82	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
86.89/21.82	c calculated reachability. Time: 0.00
86.89/21.82	c  N st    40    238292       175      3727         0     29447     18635    695377   no data   no data
115.65/29.07	c  F st    41    306251       175      3727         0     31249     18635    694017   no data   no data
115.65/29.07	c  N st    41    306251       175      3727         0     31249     18635    694017   no data   no data
118.05/29.67	c Decided on static restart strategy
128.46/32.24	c  N st    51    334553       175      3727         0     35495     18635    831629   no data   no data
138.03/34.68	c  N st    53    357438       175      3727         0     33474     18635    717433   no data   no data
138.03/34.68	c  S st    53    357438       175      3727         0     33474     18635    717433   no data   no data
138.42/34.76	c  S st    53    357941       175      3727         0     33969     18635    734068   no data   no data
138.42/34.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.42/34.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
138.42/34.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.42/34.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.42/34.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.42/34.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
138.42/34.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.42/34.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.82/34.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.42/35.70	c lits-rem:       485  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  0.89 s
142.42/35.70	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
142.42/35.71	c vivif2 --  cl tried    32415 cl shrink        0 lits rem          0 time: 0.01
142.82/35.86	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.15
142.82/35.86	c calculated reachability. Time: 0.00
142.82/35.86	c  N st    53    357941       175      3727         0     32415     18635    675968   no data   no data
156.80/39.34	c  N st    54    390333       175      3727         0     38501     18635    879836   no data   no data
185.18/46.45	c  N st    55    438921       175      3727         0     32402     18635    640294   no data   no data
223.12/55.96	c  N st    56    511804       175      3727         0     45398     18635   1042099   no data   no data
234.70/58.84	c  N st    57    536911       175      3727         0     39930     18635    834128   no data   no data
234.70/58.84	c  S st    57    536911       175      3727         0     39930     18635    834128   no data   no data
235.10/58.94	c  S st    57    537412       175      3727         0     40422     18635    850456   no data   no data
235.10/58.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.10/58.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.10/58.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.10/58.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.10/58.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.10/58.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
235.10/58.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.10/58.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.10/58.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.29/60.25	c lits-rem:       560  cl-subs:     1550  v-elim:      0  v-fix:    0  time:  1.25 s
240.29/60.25	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
240.29/60.26	c vivif2 --  cl tried    38872 cl shrink        0 lits rem          0 time: 0.01
241.09/60.45	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.19
241.09/60.45	c calculated reachability. Time: 0.00
241.09/60.45	c  N st    57    537412       175      3727         0     38872     18635    787721   no data   no data
333.37/83.52	c  N st    58    701397       175      3727         0     67569     18635   1785625   no data   no data
400.08/100.23	c  N st    59    806118       175      3727         0     61522     18635   1466715   no data   no data
400.08/100.23	c  S st    59    806118       175      3727         0     61522     18635   1466715   no data   no data
400.50/100.39	c  S st    59    806620       175      3727         0     62008     18635   1482974   no data   no data
400.50/100.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
400.90/100.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
400.90/100.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
400.90/100.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.90/100.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.90/100.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
400.90/100.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
400.90/100.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
400.90/100.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
433.64/108.64	c lits-rem:      1743  cl-subs:     4092  v-elim:      0  v-fix:    0  time:  8.15 s
433.64/108.64	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
433.64/108.65	c vivif2 --  cl tried    57916 cl shrink        0 lits rem          0 time: 0.02
434.84/108.96	c asymm  cl-useful: 0/3099/3727 lits-rem:0 time: 0.30
434.84/108.96	c calculated reachability. Time: 0.00
434.84/108.96	c  N st    59    806620       175      3727         0     57916     18635   1326541   no data   no data
605.01/151.57	c  F st    60   1071876       175      3727         0     73638     18635   1799893   no data   no data
605.01/151.57	c  N st    60   1071876       175      3727         0     73638     18635   1799893   no data   no data
609.80/152.74	c Decided on static restart strategy
625.01/156.54	c  N st    70   1100185       175      3727         0     57899     18635   1155688   no data   no data
657.34/164.69	c  N st    72   1136180       175      3727         0     48376     18635    795585   no data   no data
682.13/170.89	c  N st    73   1168572       175      3727         0     79156     18635   1883531   no data   no data
719.26/180.11	c  N st    74   1209932       175      3727         0     73679     18635   1613441   no data   no data
719.26/180.11	c  S st    74   1209932       175      3727         0     73679     18635   1613441   no data   no data
720.06/180.37	c  S st    74   1210432       175      3727         0     74176     18635   1630414   no data   no data
720.06/180.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
720.46/180.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
720.46/180.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
720.46/180.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
720.46/180.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
720.46/180.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
720.46/180.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
720.46/180.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
720.86/180.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
803.55/201.24	c lits-rem:      1217  cl-subs:     5070  v-elim:      0  v-fix:    0  time: 20.74 s
803.55/201.24	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
803.55/201.27	c vivif2 --  cl tried    69106 cl shrink        0 lits rem          0 time: 0.03
804.35/201.42	c asymm  cl-useful: 0/628/3727 lits-rem:0 time: 0.15
804.35/201.42	c calculated reachability. Time: 0.00
804.35/201.42	c  N st    74   1210432       175      3727         0     69106     18635   1456569   no data   no data
872.26/218.43	c  N st    75   1283315       175      3727         0     92470     18635   2260179   no data   no data
980.93/245.65	c  N st    76   1392641       175      3727         0     54114     18635    876785   no data   no data
1112.76/278.67	c  N st    77   1556625       175      3727         0     58680     18635    983762   no data   no data
1240.96/310.77	c  N st    78   1710432       175      3727         0     99396     18635   2366211   no data   no data
1240.96/310.77	c  S st    78   1710432       175      3727         0     99396     18635   2366211   no data   no data
1242.17/311.08	c  S st    78   1710936       175      3727         0     99891     18635   2382826   no data   no data
1242.17/311.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1242.57/311.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1242.57/311.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1242.57/311.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1242.57/311.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1242.57/311.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1242.57/311.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1242.57/311.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1242.97/311.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1351.61/338.41	c lits-rem:      4315  cl-subs:     8184  v-elim:      0  v-fix:    0  time: 27.17 s
1351.61/338.41	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1351.61/338.44	c vivif2 --  cl tried    91707 cl shrink        0 lits rem          0 time: 0.03
1353.21/338.81	c asymm  cl-useful: 0/2047/3727 lits-rem:0 time: 0.37
1353.21/338.81	c calculated reachability. Time: 0.00
1353.21/338.81	c  N st    78   1710936       175      3727         0     91707     18635   2087673   no data   no data
1703.55/426.56	c  N st    79   2079901       175      3727         0    103530     18635   2345712   no data   no data
1824.20/456.78	c  N st    80   2210936       175      3727         0    107692     18635   2522950   no data   no data
1824.20/456.78	c  S st    80   2210936       175      3727         0    107692     18635   2522950   no data   no data
1825.78/457.11	c  S st    80   2211441       175      3727         0    108187     18635   2539631   no data   no data
1825.78/457.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1825.78/457.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1825.78/457.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1825.78/457.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1825.78/457.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1825.78/457.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1825.78/457.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1826.18/457.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1826.18/457.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1932.85/483.93	c lits-rem:      3349  cl-subs:     7286  v-elim:      0  v-fix:    0  time: 26.66 s
1932.85/483.93	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1932.85/483.97	c vivif2 --  cl tried   100901 cl shrink        0 lits rem          0 time: 0.03
1934.46/484.34	c asymm  cl-useful: 0/1680/3727 lits-rem:0 time: 0.38
1934.46/484.35	c calculated reachability. Time: 0.00
1934.46/484.35	c  N st    80   2211441       175      3727         0    100901     18635   2264363   no data   no data
2465.34/617.28	c  N st    81   2711442       175      3727         0    123726     18635   2931360   no data   no data
2465.34/617.28	c  S st    81   2711442       175      3727         0    123726     18635   2931360   no data   no data
2466.93/617.68	c  S st    81   2711946       175      3727         0    124224     18635   2948019   no data   no data
2466.93/617.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2467.33/617.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2467.33/617.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2467.33/617.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2467.33/617.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2467.33/617.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2467.33/617.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2467.73/617.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2467.73/617.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2646.69/662.69	c lits-rem:      3188  cl-subs:    11041  v-elim:      0  v-fix:    0  time: 44.81 s
2646.69/662.69	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2647.09/662.73	c vivif2 --  cl tried   113183 cl shrink        0 lits rem          0 time: 0.04
2648.69/663.12	c asymm  cl-useful: 0/1709/3727 lits-rem:0 time: 0.39
2648.69/663.12	c calculated reachability. Time: 0.00
2648.69/663.12	c  N st    81   2711946       175      3727         0    113183     18635   2576626   no data   no data
3264.67/817.39	c  N st    82   3211946       175      3727         0     89458     18635   1538452   no data   no data
3264.67/817.39	c  S st    82   3211946       175      3727         0     89458     18635   1538452   no data   no data
3265.89/817.66	c  S st    82   3212452       175      3727         0     89953     18635   1555059   no data   no data
3265.89/817.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3266.26/817.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3266.26/817.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3266.26/817.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3266.26/817.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3266.26/817.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3266.26/817.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3266.26/817.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3266.26/817.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3287.85/823.19	c lits-rem:       906  cl-subs:     3558  v-elim:      0  v-fix:    0  time:  5.42 s
3287.85/823.19	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3288.24/823.21	c vivif2 --  cl tried    86395 cl shrink        0 lits rem          0 time: 0.02
3289.44/823.57	c asymm  cl-useful: 0/2018/3727 lits-rem:0 time: 0.36
3289.44/823.58	c calculated reachability. Time: 0.00
3289.44/823.58	c  N st    82   3212452       175      3727         0     86395     18635   1439908   no data   no data
3924.20/982.40	c  N st    83   3712453       175      3727         0     97259     18635   1702846   no data   no data
3924.20/982.40	c  S st    83   3712453       175      3727         0     97259     18635   1702846   no data   no data
3925.79/982.81	c  S st    83   3712957       175      3727         0     97756     18635   1719528   no data   no data
3925.79/982.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3925.79/982.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3925.79/982.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3925.79/982.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3925.79/982.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3925.79/982.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3925.79/982.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3926.19/982.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3926.19/982.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3971.33/994.20	c lits-rem:       961  cl-subs:     3704  v-elim:      0  v-fix:    0  time: 11.23 s
3971.33/994.20	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3971.33/994.23	c vivif2 --  cl tried    94052 cl shrink        0 lits rem          0 time: 0.03
3973.35/994.79	c asymm  cl-useful: 0/2071/3727 lits-rem:0 time: 0.56
3973.35/994.79	c calculated reachability. Time: 0.00
3973.35/994.79	c  N st    83   3712957       175      3727         0     94052     18635   1593030   no data   no data
4024.86/1007.67	c  F st    84   3751562       175      3727         0    130782     18635   2873932   no data   no data
4024.86/1007.67	c  N st    84   3751562       175      3727         0    130782     18635   2873932   no data   no data
4035.25/1010.20	c Decided on static restart strategy
4085.18/1022.70	c  N st    94   3779861       175      3727         0    157952     18635   3833505   no data   no data
4127.14/1033.26	c  N st    96   3815854       175      3727         0    111605     18635   2185745   no data   no data
4168.27/1043.50	c  N st    97   3848246       175      3727         0    142429     18635   3268614   no data   no data
4235.38/1060.37	c  N st    98   3896834       175      3727         0    107004     18635   1973803   no data   no data
4358.41/1091.19	c  N st    99   3969719       175      3727         0     93561     18635   1480548   no data   no data
4511.41/1129.43	c  N st   100   4079042       175      3727         0    113829     18635   2187161   no data   no data
4695.56/1175.53	c  N st   101   4212957       175      3727         0    156307     18635   3610402   no data   no data
4695.56/1175.53	c  S st   101   4212957       175      3727         0    156307     18635   3610402   no data   no data
4697.57/1176.01	c  S st   101   4213461       175      3727         0    156801     18635   3627344   no data   no data
4697.57/1176.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4697.98/1176.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.09
4697.98/1176.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4697.98/1176.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4697.98/1176.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4697.98/1176.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4697.98/1176.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4697.98/1176.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4698.38/1176.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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

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

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


[startup+0 s]
/proc/loadavg: 3.97 6.53 6.74 3/176 24673
/proc/meminfo: memFree=30942860/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=10588 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) D 24669 24671 23667 0 -1 4194304 99 0 0 0 0 0 0 0 17 0 1 0 519271524 10842112 54 33554432000 4194304 4627427 140734102961424 18446744073709551615 239471775254 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/24671/statm: 2647 54 41 106 0 45 0

[startup+0.031316 s]
/proc/loadavg: 3.97 6.53 6.74 3/176 24673
/proc/meminfo: memFree=30942860/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=10588 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) D 24669 24671 23667 0 -1 4194304 99 0 0 0 0 0 0 0 17 0 1 0 519271524 10842112 54 33554432000 4194304 4627427 140734102961424 18446744073709551615 239471775254 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/24671/statm: 2647 54 41 106 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10588

[startup+0.432824 s]
/proc/loadavg: 3.97 6.53 6.74 3/176 24673
/proc/meminfo: memFree=30942860/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=285128 CPUtime=1.52 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 4636 0 1 0 152 0 0 0 18 0 4 0 519271524 291971072 2378 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 71282 2378 384 106 0 66253 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 285128

[startup+0.50015 s]
/proc/loadavg: 3.97 6.53 6.74 3/176 24673
/proc/meminfo: memFree=30942860/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=285128 CPUtime=1.79 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 4896 0 1 0 179 0 0 0 18 0 4 0 519271524 291971072 2638 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 71282 2638 384 106 0 66253 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 285128

[startup+0.700114 s]
/proc/loadavg: 3.97 6.53 6.74 3/176 24673
/proc/meminfo: memFree=30942860/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=285260 CPUtime=2.59 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 5671 0 1 0 259 0 0 0 18 0 4 0 519271524 292106240 3413 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 71315 3413 384 106 0 66286 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 285260

[startup+1.50096 s]
/proc/loadavg: 3.97 6.53 6.74 10/184 24681
/proc/meminfo: memFree=30915524/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=287108 CPUtime=5.79 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 11678 0 1 0 578 1 0 0 20 0 4 0 519271524 293998592 6051 33554432000 4194304 4627427 140734102961424 18446744073709551615 4427861 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 71777 6051 388 106 0 66748 0
[pid=24671/tid=24679] ppid=24669 vsize=287108 CPUtime=1.44 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 2405 0 0 0 144 0 0 0 20 0 4 0 519271529 293998592 6051 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=287108 CPUtime=1.43 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 2463 0 0 0 143 0 0 0 20 0 4 0 519271529 293998592 6051 33554432000 4194304 4627427 140734102961424 18446744073709551615 4338618 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=287108 CPUtime=1.44 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 2278 0 0 0 144 0 0 0 20 0 4 0 519271529 293998592 6051 33554432000 4194304 4627427 140734102961424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 287108

[startup+3.10065 s]
/proc/loadavg: 3.97 6.53 6.74 10/184 24681
/proc/meminfo: memFree=30864184/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=297580 CPUtime=12.18 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 24059 0 1 0 1215 3 0 0 25 0 4 0 519271524 304721920 12097 33554432000 4194304 4627427 140734102961424 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 74395 12097 388 106 0 69366 0
[pid=24671/tid=24679] ppid=24669 vsize=297580 CPUtime=3.04 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 5527 0 0 0 303 1 0 0 25 0 4 0 519271529 304721920 12097 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=297580 CPUtime=3.03 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 6363 0 0 0 302 1 0 0 25 0 4 0 519271529 304721920 12097 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=297580 CPUtime=3.04 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 6126 0 0 0 304 0 0 0 25 0 4 0 519271529 304721920 12097 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 297580

[startup+6.30104 s]
/proc/loadavg: 4.29 6.55 6.75 10/184 24681
/proc/meminfo: memFree=30844220/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=298744 CPUtime=24.97 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 37837 0 1 0 2490 7 0 0 25 0 4 0 519271524 305913856 17006 33554432000 4194304 4627427 140734102961424 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 74686 17006 388 106 0 69657 0
[pid=24671/tid=24679] ppid=24669 vsize=298744 CPUtime=6.24 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 9627 0 0 0 623 1 0 0 25 0 4 0 519271529 305913856 17006 33554432000 4194304 4627427 140734102961424 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=298744 CPUtime=6.22 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 10272 0 0 0 620 2 0 0 25 0 4 0 519271529 305913856 17006 33554432000 4194304 4627427 140734102961424 18446744073709551615 4427536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=298744 CPUtime=6.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 8701 0 0 0 624 0 0 0 25 0 4 0 519271529 305913856 17006 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 298744

[startup+12.7008 s]
/proc/loadavg: 4.59 6.57 6.75 10/184 24681
/proc/meminfo: memFree=30798640/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=309408 CPUtime=50.53 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 60810 0 1 0 5042 11 0 0 25 0 4 0 519271524 316833792 23391 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 77352 23391 388 106 0 72323 0
[pid=24671/tid=24679] ppid=24669 vsize=309408 CPUtime=12.64 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 14993 0 0 0 1262 2 0 0 25 0 4 0 519271529 316833792 23391 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=309408 CPUtime=12.58 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 14703 0 0 0 1256 2 0 0 25 0 4 0 519271529 316833792 23391 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=309408 CPUtime=12.64 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 14678 0 0 0 1262 2 0 0 25 0 4 0 519271529 316833792 23391 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 309408

[startup+25.5004 s]
/proc/loadavg: 5.34 6.64 6.77 5/179 24681
/proc/meminfo: memFree=30814240/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=290516 CPUtime=101.69 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 92213 0 1 0 10150 19 0 0 25 0 4 0 519271524 297488384 32044 33554432000 4194304 4627427 140734102961424 18446744073709551615 4338556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 72629 32044 388 106 0 67600 0
[pid=24671/tid=24679] ppid=24669 vsize=290516 CPUtime=25.45 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 23769 0 0 0 2541 4 0 0 25 0 4 0 519271529 297488384 32044 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=290516 CPUtime=25.32 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 23129 0 0 0 2528 4 0 0 25 0 4 0 519271529 297488384 32044 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=290516 CPUtime=25.45 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 21604 0 0 0 2541 4 0 0 25 0 4 0 519271529 297488384 32044 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 290516

[startup+51.1005 s]
/proc/loadavg: 6.33 6.77 6.81 9/184 24712
/proc/meminfo: memFree=30657680/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=316132 CPUtime=203.94 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 136355 0 1 0 20364 30 0 0 25 0 4 0 519271524 323719168 41551 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 79033 41551 388 106 0 74004 0
[pid=24671/tid=24679] ppid=24669 vsize=316132 CPUtime=51.04 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 33943 0 0 0 5098 6 0 0 25 0 4 0 519271529 323719168 41551 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=316132 CPUtime=50.78 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 35764 0 0 0 5071 7 0 0 25 0 4 0 519271529 323719168 41551 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=316132 CPUtime=51.04 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 33247 0 0 0 5097 7 0 0 25 0 4 0 519271529 323719168 41551 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 316132

[startup+102.301 s]
/proc/loadavg: 7.31 6.97 6.87 9/184 24713
/proc/meminfo: memFree=30555476/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=351148 CPUtime=408.47 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 196821 0 1 0 40800 47 0 0 25 0 4 0 519271524 359575552 58573 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 87787 58573 388 106 0 82758 0
[pid=24671/tid=24679] ppid=24669 vsize=351148 CPUtime=102.24 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 44868 0 0 0 10215 9 0 0 25 0 4 0 519271529 359575552 58573 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=351148 CPUtime=101.72 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 54002 0 0 0 10158 14 0 0 25 0 4 0 519271529 359575552 58573 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=351148 CPUtime=102.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 42141 0 0 0 10215 9 0 0 25 0 4 0 519271529 359575552 58573 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 351148

[startup+162.301 s]
/proc/loadavg: 7.90 7.20 6.96 9/184 24715
/proc/meminfo: memFree=30487980/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=344828 CPUtime=648.15 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 266970 0 1 0 64745 70 0 0 25 0 4 0 519271524 353103872 58986 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 86207 58986 388 106 0 81178 0
[pid=24671/tid=24679] ppid=24669 vsize=344828 CPUtime=162.24 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 61859 0 0 0 16210 14 0 0 25 0 4 0 519271529 353103872 58986 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=344828 CPUtime=161.4 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 72863 0 0 0 16120 20 0 0 25 0 4 0 519271529 353103872 58986 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=344828 CPUtime=162.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 59622 0 0 0 16209 15 0 0 25 0 4 0 519271529 353103872 58986 33554432000 4194304 4627427 140734102961424 18446744073709551615 4328761 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.15
Current children cumulated vsize (KiB) 344828

[startup+222.301 s]
/proc/loadavg: 7.99 7.36 7.02 9/184 24717
/proc/meminfo: memFree=30424436/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=482600 CPUtime=887.84 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 321057 0 1 0 88697 87 0 0 25 0 4 0 519271524 494182400 78935 33554432000 4194304 4627427 140734102961424 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 120650 78935 388 106 0 115621 0
[pid=24671/tid=24679] ppid=24669 vsize=482600 CPUtime=222.24 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 76818 0 0 0 22205 19 0 0 25 0 4 0 519271529 494182400 78935 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=482600 CPUtime=221.07 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 86097 0 0 0 22082 25 0 0 25 0 4 0 519271529 494182400 78935 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=482600 CPUtime=222.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 72280 0 0 0 22206 18 0 0 25 0 4 0 519271529 494182400 78935 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.84
Current children cumulated vsize (KiB) 482600

[startup+282.301 s]

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

[pid=24671] ppid=24669 vsize=697556 CPUtime=2565.6 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 608760 0 1 0 256357 203 0 0 25 0 4 0 519271524 714297344 115157 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 174389 115157 388 106 0 169360 0
[pid=24671/tid=24679] ppid=24669 vsize=697556 CPUtime=642.26 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 146603 0 0 0 64178 48 0 0 25 0 4 0 519271529 714297344 115157 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=697556 CPUtime=638.81 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 165196 0 0 0 63828 53 0 0 25 0 4 0 519271529 714297344 115157 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=697556 CPUtime=642.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 153573 0 0 0 64168 56 0 0 25 0 4 0 519271529 714297344 115157 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 697556

[startup+702.301 s]
/proc/loadavg: 8.20 7.94 7.43 9/184 24729
/proc/meminfo: memFree=29994908/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=698500 CPUtime=2805.28 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 644105 0 1 0 280306 222 0 0 25 0 4 0 519271524 715264000 119033 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 174625 119033 388 106 0 169596 0
[pid=24671/tid=24679] ppid=24669 vsize=698500 CPUtime=702.25 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 157052 0 0 0 70172 53 0 0 25 0 4 0 519271529 715264000 119033 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=698500 CPUtime=698.49 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 173573 0 0 0 69791 58 0 0 25 0 4 0 519271529 715264000 119033 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=698500 CPUtime=702.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 162735 0 0 0 70163 61 0 0 25 0 4 0 519271529 715264000 119033 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 698500

[startup+762.3 s]
/proc/loadavg: 8.16 7.98 7.48 9/184 24731
/proc/meminfo: memFree=29919088/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=668624 CPUtime=3044.96 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 692405 0 1 0 304257 239 0 0 25 0 4 0 519271524 684670976 131506 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 167156 131506 388 106 0 162127 0
[pid=24671/tid=24679] ppid=24669 vsize=668624 CPUtime=762.26 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 171731 0 0 0 76168 58 0 0 25 0 4 0 519271529 684670976 131506 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=668624 CPUtime=758.16 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 184460 0 0 0 75753 63 0 0 25 0 4 0 519271529 684670976 131506 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=668624 CPUtime=762.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 176822 0 0 0 76160 64 0 0 25 0 4 0 519271529 684670976 131506 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 668624

[startup+822.301 s]
/proc/loadavg: 8.14 8.01 7.52 9/184 24733
/proc/meminfo: memFree=29900568/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=725188 CPUtime=3284.64 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 711134 0 1 0 328216 248 0 0 25 0 4 0 519271524 742592512 136216 33554432000 4194304 4627427 140734102961424 18446744073709551615 4428121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 181297 136216 388 106 0 176268 0
[pid=24671/tid=24679] ppid=24669 vsize=725188 CPUtime=822.27 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 172589 0 0 0 82168 59 0 0 25 0 4 0 519271529 742592512 136216 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=725188 CPUtime=817.84 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 192480 0 0 0 81717 67 0 0 25 0 4 0 519271529 742592512 136216 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=725188 CPUtime=822.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 180583 0 0 0 82157 67 0 0 25 0 4 0 519271529 742592512 136216 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 725188

[startup+882.3 s]
/proc/loadavg: 8.05 8.00 7.55 9/184 24734
/proc/meminfo: memFree=29853640/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=783112 CPUtime=3524.32 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 742791 0 1 0 352166 266 0 0 25 0 4 0 519271524 801906688 138023 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 195778 138023 388 106 0 190749 0
[pid=24671/tid=24679] ppid=24669 vsize=783112 CPUtime=882.26 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 181170 0 0 0 88162 64 0 0 25 0 4 0 519271529 801906688 138023 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=783112 CPUtime=877.51 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 200710 0 0 0 87681 70 0 0 25 0 4 0 519271529 801906688 138023 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=783112 CPUtime=882.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 189790 0 0 0 88151 73 0 0 25 0 4 0 519271529 801906688 138023 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 783112

[startup+942.301 s]
/proc/loadavg: 8.10 8.03 7.58 9/184 24736
/proc/meminfo: memFree=29862772/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=900120 CPUtime=3764.01 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 776501 0 1 0 376119 282 0 0 25 0 4 0 519271524 921722880 137228 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 225030 137228 388 106 0 220001 0
[pid=24671/tid=24679] ppid=24669 vsize=900120 CPUtime=942.27 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 190064 0 0 0 94158 69 0 0 25 0 4 0 519271529 921722880 137228 33554432000 4194304 4627427 140734102961424 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=900120 CPUtime=937.19 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 209911 0 0 0 93645 74 0 0 25 0 4 0 519271529 921722880 137228 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=900120 CPUtime=942.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 199702 0 0 0 94148 76 0 0 25 0 4 0 519271529 921722880 137228 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 900120

[startup+1002.3 s]
/proc/loadavg: 8.11 8.05 7.62 9/184 24737
/proc/meminfo: memFree=29847712/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=824500 CPUtime=4003.71 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 810385 0 1 0 400073 298 0 0 25 0 4 0 519271524 844288000 140701 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 206125 140701 388 106 0 201096 0
[pid=24671/tid=24679] ppid=24669 vsize=824500 CPUtime=1002.28 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 200608 0 0 0 100155 73 0 0 25 0 4 0 519271529 844288000 140701 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=824500 CPUtime=996.87 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 218171 0 0 0 99608 79 0 0 25 0 4 0 519271529 844288000 140701 33554432000 4194304 4627427 140734102961424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=824500 CPUtime=1002.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 207160 0 0 0 100146 78 0 0 25 0 4 0 519271529 844288000 140701 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 824500

[startup+1062.3 s]
/proc/loadavg: 8.19 8.08 7.65 9/184 24739
/proc/meminfo: memFree=29851636/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=766784 CPUtime=4243.37 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 842180 0 1 0 424026 311 0 0 25 0 4 0 519271524 785186816 140029 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 191696 140029 388 106 0 186667 0
[pid=24671/tid=24679] ppid=24669 vsize=766784 CPUtime=1062.26 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 206045 0 0 0 106151 75 0 0 25 0 4 0 519271529 785186816 140029 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=766784 CPUtime=1056.54 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 228129 0 0 0 105571 83 0 0 25 0 4 0 519271529 785186816 140029 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=766784 CPUtime=1062.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 215040 0 0 0 106142 82 0 0 25 0 4 0 519271529 785186816 140029 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 766784

[startup+1122.31 s]
/proc/loadavg: 8.18 8.10 7.68 9/184 24741
/proc/meminfo: memFree=29818244/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=884912 CPUtime=4483.06 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 876206 0 1 0 447978 328 0 0 25 0 4 0 519271524 906149888 141321 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 221228 141321 388 106 0 216199 0
[pid=24671/tid=24679] ppid=24669 vsize=884912 CPUtime=1122.27 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 215729 0 0 0 112148 79 0 0 25 0 4 0 519271529 906149888 141321 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=884912 CPUtime=1116.22 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 235170 0 0 0 111534 88 0 0 25 0 4 0 519271529 906149888 141321 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=884912 CPUtime=1122.25 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 224369 0 0 0 112138 87 0 0 25 0 4 0 519271529 906149888 141321 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 884912

[startup+1182.3 s]
/proc/loadavg: 8.24 8.12 7.71 9/184 24742
/proc/meminfo: memFree=29795500/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=947908 CPUtime=4722.73 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 915032 0 1 0 471928 345 0 0 25 0 4 0 519271524 970657792 147148 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 236977 147148 388 106 0 231948 0
[pid=24671/tid=24679] ppid=24669 vsize=947908 CPUtime=1182.27 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 225387 0 0 0 118144 83 0 0 25 0 4 0 519271529 970657792 147148 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=947908 CPUtime=1175.89 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 243858 0 0 0 117497 92 0 0 25 0 4 0 519271529 970657792 147148 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=947908 CPUtime=1182.24 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 233834 0 0 0 118134 90 0 0 25 0 4 0 519271529 970657792 147148 33554432000 4194304 4627427 140734102961424 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 947908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.11 7.72 9/184 24743
/proc/meminfo: memFree=29784940/32950928 swapFree=67086492/67111528
[pid=24671] ppid=24669 vsize=829448 CPUtime=4800.24 cores=1,3,5,7
/proc/24671/stat : 24671 (strangenight2-m) R 24669 24671 23667 0 -1 4202496 922404 0 1 0 479676 348 0 0 25 0 4 0 519271524 849354752 144399 33554432000 4194304 4627427 140734102961424 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 4
/proc/24671/statm: 207362 144399 388 106 0 202333 0
[pid=24671/tid=24679] ppid=24669 vsize=829448 CPUtime=1201.68 cores=1,3,5,7
/proc/24671/task/24679/stat : 24679 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 228793 0 0 0 120083 85 0 0 25 0 4 0 519271529 849354752 144399 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24671/tid=24680] ppid=24669 vsize=829448 CPUtime=1195.18 cores=1,3,5,7
/proc/24671/task/24680/stat : 24680 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 246353 0 0 0 119425 93 0 0 25 0 4 0 519271529 849354752 144399 33554432000 4194304 4627427 140734102961424 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24671/tid=24681] ppid=24669 vsize=829448 CPUtime=1201.64 cores=1,3,5,7
/proc/24671/task/24681/stat : 24681 (strangenight2-m) R 24669 24671 23667 0 -1 4202560 235305 0 0 0 120073 91 0 0 25 0 4 0 519271529 849354752 144399 33554432000 4194304 4627427 140734102961424 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 829448

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): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4796.78
CPU system time (s): 3.50947
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 958444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.78
system time used= 3.50947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922405
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 545
involuntary context switches= 34370

runsolver used 1.79973 second user time and 4.72028 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 13:32:25
IDJOB=3174012
IDBENCH=82830
IDSOLVER=1586
FILE ID=node148/3174012-1304076744
RUNJOBID= node148-1304076744-24655
PBS_JOBID= 13170479
Free space on /tmp= 71436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174012-1304076744/watcher-3174012-1304076744 -o /tmp/evaluation-result-3174012-1304076744/solver-3174012-1304076744 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174012-1304076744.cnf

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

MD5SUM BENCH= 90ea123f6d02a54bb761f724a5a1c9d1
RANDOM SEED=1823704881

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30943048 kB
Buffers:        675812 kB
Cached:         926396 kB
SwapCached:       3664 kB
Active:          93196 kB
Inactive:      1550552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30943048 kB
SwapTotal:    67111528 kB
SwapFree:     67086492 kB
Dirty:           11340 kB
Writeback:           0 kB
AnonPages:       40080 kB
Mapped:          13456 kB
Slab:           300320 kB
PageTables:       4368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188460 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= 71424 MiB
End job on node148 at 2011-04-29 13:52:28