Trace number 3175130

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.36 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
MD5SUM8d71ad1b25bd6c4021d51959610734bb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3175130-1304090425.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.04/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.04/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.04/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.04/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.04/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.04/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.04/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.04/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.04/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.04/0.01	c calculated reachability. Time: 0.00
0.04/0.01	c Calc default polars -  time:   0.00 s pos:      54 undec:       5 neg:      41
0.04/0.01	c =========================================================================================
0.04/0.01	c types(t): F = full restart, N = normal restart
0.04/0.01	c types(t): S = simplification begin/end, E = solution found
0.04/0.01	c restart types(rt): st = static, dy = dynamic
0.04/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.04/0.01	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.04/0.05	c Decided on static restart strategy
0.04/0.11	c  N st     8      4915       100      2130         0      4579     10650    101263   no data   no data  --
3.17/0.81	c  N st    10     11298       100      2130         0      4238     10650     74183   no data   no data  --
3.17/0.81	c  N st    11     17043       100      2130         0      9559     10650    188427   no data   no data  --
3.17/0.81	c  F st    12     25000       100      2130         0     11772     10650    240390   no data   no data  --
3.17/0.81	c  N st    12     25000       100      2130         0     11772     10650    240390   no data   no data  --
3.98/1.02	c Decided on static restart strategy
3.98/1.02	c  N st    18     30002       100      2130         0     10102     10650    190224   no data   no data  --
3.98/1.02	c  S st    18     30002       100      2130         0     10102     10650    190224   no data   no data  --
3.98/1.02	c  S st    18     30505       100      2130         0     10592     10650    201044   no data   no data  --
3.98/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.98/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.98/1.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.45	c lits-rem:      2195  cl-subs:     1709  v-elim:      0  v-fix:    0  time:  1.83 s
5.57/1.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.15
5.57/1.49	c calculated reachability. Time: 0.00
5.57/1.49	c  N st    18     30505       100      2130         0      8883     10650    161534   no data   no data  --
7.17/1.81	c  N st    20     37616       100      2130         0      8190     10650    135972   no data   no data  --
7.96/2.10	c  N st    21     44018       100      2130         0     14094     10650    263566   no data   no data  --
8.38/2.18	c  S st    22     45761       100      2130         0     15713     10650    296655   no data   no data  --
8.78/2.23	c  S st    22     46264       100      2130         0     16193     10650    306885   no data   no data  --
8.78/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.78/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.78/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.78/2.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.55/3.42	c lits-rem:      3192  cl-subs:     2133  v-elim:      0  v-fix:    0  time:  4.70 s
13.55/3.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.55/3.43	c vivif2 --  cl tried    14060 cl shrink        0 lits rem          0 time: 0.01
13.55/3.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.55/3.49	c calculated reachability. Time: 0.00
13.55/3.49	c  N st    22     46264       100      2130         0     14060     10650    257738   no data   no data  --
16.74/4.28	c  N st    23     60662       100      2130         0      9929     10650    147360   no data   no data  --
18.74/4.71	c  N st    24     69396       100      2130         0     18003     10650    320535   no data   no data  --
18.74/4.71	c  S st    24     69396       100      2130         0     18003     10650    320535   no data   no data  --
18.74/4.75	c  S st    24     69898       100      2130         0     18488     10650    331367   no data   no data  --
18.74/4.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.74/4.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.74/4.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.74/4.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.74/4.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.74/4.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.94/6.09	c lits-rem:      3450  cl-subs:     2667  v-elim:      0  v-fix:    0  time:  5.30 s
23.94/6.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.94/6.09	c vivif2 --  cl tried    15821 cl shrink        0 lits rem          0 time: 0.01
24.34/6.17	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.29
24.34/6.17	c calculated reachability. Time: 0.00
24.34/6.17	c  N st    24     69898       100      2130         0     15821     10650    274011   no data   no data  --
28.73/7.24	c  F st    25     87500       100      2130         0     22030     10650    399477   no data   no data  --
28.73/7.24	c  N st    25     87500       100      2130         0     22030     10650    399477   no data   no data  --
29.93/7.52	c Decided on static restart strategy
30.35/7.66	c  N st    32     95539       100      2130         0     18472     10650    319816   no data   no data  --
32.72/8.22	c  N st    34    104847       100      2130         0     15079     10650    240903   no data   no data  --
32.72/8.22	c  S st    34    104847       100      2130         0     15079     10650    240903   no data   no data  --
32.72/8.27	c  S st    34    105348       100      2130         0     15564     10650    251571   no data   no data  --
32.72/8.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.72/8.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.72/8.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.72/8.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.72/8.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.72/8.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.12/9.30	c lits-rem:      1665  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  4.07 s
37.12/9.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.12/9.30	c vivif2 --  cl tried    14267 cl shrink        0 lits rem          0 time: 0.01
37.12/9.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
37.12/9.36	c calculated reachability. Time: 0.00
37.12/9.36	c  N st    34    105348       100      2130         0     14267     10650    222260   no data   no data  --
39.54/9.93	c  N st    35    114947       100      2130         0     23173     10650    421361   no data   no data  --
43.12/10.83	c  N st    36    129344       100      2130         0     23575     10650    417229   no data   no data  --
49.10/12.36	c  N st    37    150939       100      2130         0     14948     10650    198896   no data   no data  --
50.70/12.77	c  S st    38    158023       100      2130         0     21570     10650    346773   no data   no data  --
51.10/12.82	c  S st    38    158528       100      2130         0     22057     10650    357595   no data   no data  --
51.10/12.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.10/12.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.10/12.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.10/12.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.10/12.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.10/12.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.10/12.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.90/14.06	c lits-rem:      3016  cl-subs:     1701  v-elim:      0  v-fix:    0  time:  4.88 s
55.90/14.06	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
55.90/14.07	c vivif2 --  cl tried    20356 cl shrink        0 lits rem          0 time: 0.01
56.30/14.16	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
56.30/14.16	c calculated reachability. Time: 0.00
56.30/14.16	c  N st    38    158528       100      2130         0     20356     10650    317929   no data   no data  --
71.08/17.85	c  N st    39    207119       100      2130         0     32758     10650    565434   no data   no data  --
81.46/20.43	c  N st    40    237794       100      2130         0     25141     10650    381313   no data   no data  --
81.46/20.43	c  S st    40    237794       100      2130         0     25141     10650    381313   no data   no data  --
81.86/20.50	c  S st    40    238302       100      2130         0     25626     10650    392104   no data   no data  --
81.86/20.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.86/20.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.86/20.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
81.86/20.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.86/20.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.86/20.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
81.86/20.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.06/21.84	c lits-rem:      2813  cl-subs:     2341  v-elim:      0  v-fix:    0  time:  5.29 s
87.06/21.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
87.06/21.84	c vivif2 --  cl tried    23285 cl shrink        0 lits rem          0 time: 0.02
87.47/21.95	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.40
87.47/21.95	c calculated reachability. Time: 0.00
87.47/21.95	c  N st    40    238302       100      2130         0     23285     10650    342583   no data   no data  --
109.84/27.54	c  F st    41    306250       100      2130         0     25045     10650    342721   no data   no data  --
109.84/27.54	c  N st    41    306250       100      2130         0     25045     10650    342721   no data   no data  --
111.82/28.00	c Decided on static restart strategy
120.60/30.21	c  N st    51    334555       100      2130         0     29186     10650    424139   no data   no data  --
129.40/32.49	c  N st    53    357453       100      2130         0     27270     10650    365874   no data   no data  --
129.40/32.49	c  S st    53    357453       100      2130         0     27270     10650    365874   no data   no data  --
129.80/32.56	c  S st    53    357958       100      2130         0     27746     10650    376490   no data   no data  --
129.80/32.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.80/32.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
129.80/32.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
129.80/32.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.80/32.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.80/32.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
129.80/32.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
134.59/33.75	c lits-rem:      1614  cl-subs:     1535  v-elim:      0  v-fix:    0  time:  4.70 s
134.59/33.75	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
134.59/33.76	c vivif2 --  cl tried    26211 cl shrink        0 lits rem          0 time: 0.02
134.99/33.88	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.48
134.99/33.88	c calculated reachability. Time: 0.00
134.99/33.88	c  N st    53    357958       100      2130         0     26211     10650    346049   no data   no data  --
150.16/37.61	c  N st    54    390351       100      2130         0     32062     10650    450142   no data   no data  --
171.74/43.03	c  N st    55    438942       100      2130         0     26168     10650    315586   no data   no data  --
202.89/50.84	c  N st    56    511825       100      2130         0     38839     10650    561881   no data   no data  --
214.08/53.63	c  N st    57    536939       100      2130         0     33479     10650    437088   no data   no data  --
214.08/53.63	c  S st    57    536939       100      2130         0     33479     10650    437088   no data   no data  --
214.48/53.72	c  S st    57    537442       100      2130         0     33962     10650    447860   no data   no data  --
214.48/53.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
214.48/53.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
214.48/53.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
214.48/53.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
214.48/53.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.48/53.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
214.48/53.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.07/55.19	c lits-rem:      2788  cl-subs:     1943  v-elim:      0  v-fix:    0  time:  5.77 s
220.07/55.19	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
220.07/55.19	c vivif2 --  cl tried    32019 cl shrink        0 lits rem          0 time: 0.02
220.87/55.33	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.56
220.87/55.34	c calculated reachability. Time: 0.00
220.87/55.34	c  N st    57    537442       100      2130         0     32019     10650    409414   no data   no data  --
294.00/73.62	c  N st    58    701427       100      2130         0     59594     10650    973164   no data   no data  --
347.13/86.99	c  N st    59    806163       100      2130         0     53658     10650    793169   no data   no data  --
347.13/86.99	c  S st    59    806163       100      2130         0     53658     10650    793169   no data   no data  --
347.91/87.13	c  S st    59    806665       100      2130         0     54147     10650    804023   no data   no data  --
347.91/87.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
347.91/87.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.91/87.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
347.91/87.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
347.91/87.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
347.91/87.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
347.91/87.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.88/92.19	c lits-rem:      3732  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 20.04 s
367.88/92.19	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
368.28/92.20	c vivif2 --  cl tried    47467 cl shrink        0 lits rem          0 time: 0.03
369.10/92.41	c asymm  cl-useful: 0/1927/2130 lits-rem:0 time: 0.86
369.10/92.42	c calculated reachability. Time: 0.00
369.10/92.42	c  N st    59    806665       100      2130         0     47467     10650    677371   no data   no data  --
523.28/131.07	c  F st    60   1071878       100      2130         0     62752     10650    928198   no data   no data  --
523.28/131.07	c  N st    60   1071878       100      2130         0     62752     10650    928198   no data   no data  --
527.29/132.06	c Decided on static restart strategy
544.86/136.41	c  N st    70   1100183       100      2130         0     47740     10650    610217   no data   no data  --
567.62/142.10	c  N st    72   1136179       100      2130         0     80893     10650   1348751   no data   no data  --
585.59/146.64	c  N st    73   1168571       100      2130         0     68479     10650   1051222   no data   no data  --
611.56/153.10	c  N st    74   1210000       100      2130         0     63410     10650    913485   no data   no data  --
611.56/153.10	c  S st    74   1210000       100      2130         0     63410     10650    913485   no data   no data  --
611.96/153.27	c  S st    74   1210503       100      2130         0     63887     10650    924387   no data   no data  --
611.96/153.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
611.96/153.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
612.36/153.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
612.36/153.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
612.36/153.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
612.36/153.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
612.36/153.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
646.30/161.88	c lits-rem:      3774  cl-subs:     5954  v-elim:      0  v-fix:    0  time: 34.14 s
646.30/161.88	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
646.30/161.89	c vivif2 --  cl tried    57933 cl shrink        0 lits rem          0 time: 0.04
647.90/162.26	c asymm  cl-useful: 0/1526/2130 lits-rem:0 time: 1.46
647.90/162.26	c calculated reachability. Time: 0.00
647.90/162.26	c  N st    74   1210503       100      2130         0     57933     10650    807300   no data   no data  --
697.84/174.73	c  N st    75   1283386       100      2130         0     80774     10650   1263327   no data   no data  --
770.14/192.88	c  N st    76   1392709       100      2130         0     90662     10650   1499286   no data   no data  --
902.35/225.98	c  N st    77   1556694       100      2130         0     97417     10650   1573971   no data   no data  --
1019.02/255.12	c  N st    78   1710503       100      2130         0     87683     10650   1359313   no data   no data  --
1019.02/255.12	c  S st    78   1710503       100      2130         0     87683     10650   1359313   no data   no data  --
1020.20/255.41	c  S st    78   1711007       100      2130         0     88164     10650   1370289   no data   no data  --
1020.20/255.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1020.20/255.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1020.20/255.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1020.20/255.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1020.20/255.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1020.20/255.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1020.20/255.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1080.94/270.69	c lits-rem:      3922  cl-subs:    10204  v-elim:      0  v-fix:    0  time: 60.66 s
1080.94/270.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1081.31/270.70	c vivif2 --  cl tried    77960 cl shrink        0 lits rem          0 time: 0.07
1082.11/270.98	c asymm  cl-useful: 0/604/2130 lits-rem:0 time: 1.10
1082.11/270.98	c calculated reachability. Time: 0.00
1082.11/270.98	c  N st    78   1711007       100      2130         0     77960     10650   1169947   no data   no data  --
1394.09/349.06	c  N st    79   2079973       100      2130         0     89863     10650   1347212   no data   no data  --
1505.15/376.82	c  N st    80   2211009       100      2130         0     93850     10650   1439549   no data   no data  --
1505.15/376.82	c  S st    80   2211009       100      2130         0     93850     10650   1439549   no data   no data  --
1505.95/377.09	c  S st    80   2211513       100      2130         0     94337     10650   1450796   no data   no data  --
1506.35/377.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1506.35/377.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1506.35/377.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1506.35/377.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1506.35/377.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1506.35/377.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1506.35/377.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1575.44/394.46	c lits-rem:      2345  cl-subs:     8667  v-elim:      0  v-fix:    0  time: 68.99 s
1575.44/394.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1575.44/394.48	c vivif2 --  cl tried    85670 cl shrink        0 lits rem          0 time: 0.06
1576.65/394.79	c asymm  cl-useful: 0/1152/2130 lits-rem:0 time: 1.26
1576.65/394.80	c calculated reachability. Time: 0.00
1576.65/394.80	c  N st    80   2211513       100      2130         0     85670     10650   1266898   no data   no data  --
2087.95/522.73	c  N st    81   2711513       100      2130         0    107778     10650   1626330   no data   no data  --
2087.95/522.73	c  S st    81   2711513       100      2130         0    107778     10650   1626330   no data   no data  --
2089.16/523.09	c  S st    81   2712016       100      2130         0    108263     10650   1637232   no data   no data  --
2089.56/523.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2089.56/523.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2089.56/523.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2089.95/523.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2089.95/523.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2089.95/523.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2089.95/523.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2188.62/548.00	c lits-rem:      6430  cl-subs:    12940  v-elim:      0  v-fix:    0  time: 99.02 s
2188.62/548.00	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2189.02/548.01	c vivif2 --  cl tried    95323 cl shrink        0 lits rem          0 time: 0.07
2190.22/548.36	c asymm  cl-useful: 0/850/2130 lits-rem:0 time: 1.39
2190.22/548.36	c calculated reachability. Time: 0.00
2190.22/548.36	c  N st    81   2712016       100      2130         0     95323     10650   1383990   no data   no data  --
2766.24/692.50	c  N st    82   3212018       100      2130         0     73067     10650    793777   no data   no data  --
2766.24/692.50	c  S st    82   3212018       100      2130         0     73067     10650    793777   no data   no data  --
2767.03/692.73	c  S st    82   3212520       100      2130         0     73542     10650    804438   no data   no data  --
2767.03/692.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2767.03/692.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2767.03/692.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
2767.03/692.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2767.03/692.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2767.03/692.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2767.03/692.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2790.23/698.59	c lits-rem:       519  cl-subs:      680  v-elim:      0  v-fix:    0  time: 23.17 s
2790.23/698.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2790.60/698.60	c vivif2 --  cl tried    72862 cl shrink        0 lits rem          0 time: 0.05
2791.80/698.95	c asymm  cl-useful: 0/1298/2130 lits-rem:0 time: 1.38
2791.80/698.95	c calculated reachability. Time: 0.00
2791.80/698.95	c  N st    82   3212520       100      2130         0     72862     10650    792127   no data   no data  --
3352.26/839.26	c  N st    83   3712522       100      2130         0     83295     10650    945104   no data   no data  --
3352.26/839.26	c  S st    83   3712522       100      2130         0     83295     10650    945104   no data   no data  --
3353.44/839.56	c  S st    83   3713030       100      2130         0     83775     10650    956047   no data   no data  --
3353.44/839.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3353.44/839.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3353.84/839.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
3353.84/839.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3353.84/839.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3353.84/839.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3353.84/839.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3386.19/847.76	c lits-rem:      1169  cl-subs:     2040  v-elim:      0  v-fix:    0  time: 32.38 s
3386.19/847.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3386.19/847.77	c vivif2 --  cl tried    81735 cl shrink        0 lits rem          0 time: 0.06
3387.41/848.09	c asymm  cl-useful: 0/832/2130 lits-rem:0 time: 1.29
3387.41/848.10	c calculated reachability. Time: 0.00
3387.41/848.10	c  N st    83   3713030       100      2130         0     81735     10650    917940   no data   no data  --
3431.36/859.06	c  F st    84   3751562       100      2130         0    116961     10650   1667953   no data   no data  --
3431.36/859.07	c  N st    84   3751562       100      2130         0    116961     10650   1667953   no data   no data  --
3439.33/861.03	c Decided on static restart strategy
3471.68/869.18	c  N st    94   3779868       100      2130         0    143070     10650   2251160   no data   no data  --
3513.23/879.54	c  N st    96   3815860       100      2130         0     98266     10650   1259304   no data   no data  --
3549.58/888.67	c  N st    97   3848253       100      2130         0    127879     10650   1908658   no data   no data  --
3613.49/904.66	c  N st    98   3896841       100      2130         0     93597     10650   1151191   no data   no data  --
3712.15/929.31	c  N st    99   3969726       100      2130         0     80960     10650    864295   no data   no data  --
3836.79/960.59	c  N st   100   4079052       100      2130         0    100255     10650   1265495   no data   no data  --
4000.57/1001.52	c  N st   101   4213031       100      2130         0    141194     10650   2129393   no data   no data  --
4000.57/1001.52	c  S st   101   4213031       100      2130         0    141194     10650   2129393   no data   no data  --
4002.17/1001.98	c  S st   101   4213535       100      2130         0    141668     10650   2140465   no data   no data  --
4002.17/1001.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4002.17/1001.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4002.58/1002.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.28
4002.98/1002.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4002.98/1002.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4002.98/1002.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4002.98/1002.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4529.05/1133.82	c lits-rem:      5424  cl-subs:    18968  v-elim:      0  v-fix:    0  time: 525.96 s
4529.05/1133.82	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4529.05/1133.84	c vivif2 --  cl tried   122700 cl shrink        0 lits rem          0 time: 0.10
4530.65/1134.27	c asymm  cl-useful: 0/835/2130 lits-rem:0 time: 1.69
4530.65/1134.27	c calculated reachability. Time: 0.00
4530.65/1134.27	c  N st   101   4213535       100      2130         0    122700     10650   1772328   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-3175130-1304090425/watcher-3175130-1304090425 -o /tmp/evaluation-result-3175130-1304090425/solver-3175130-1304090425 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175130-1304090425.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.40 7.84 6.55 6/180 18493
/proc/meminfo: memFree=30250100/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=208024 CPUtime=0.01 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 721 0 0 0 1 0 0 0 25 0 4 0 520644841 213016576 643 33554432000 4194304 4650419 140735458686160 18446744073709551615 4370652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 52006 644 366 112 0 46971 0
[pid=18493/tid=18494] ppid=18491 vsize=208024 CPUtime=0 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 4 0 520644841 213016576 645 33554432000 4194304 4650419 140735458686160 18446744073709551615 212435677505 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=208024 CPUtime=0 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 25 0 0 0 0 0 0 0 25 0 4 0 520644841 213016576 645 33554432000 4194304 4650419 140735458686160 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=208024 CPUtime=0 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 101 0 0 0 0 0 0 0 25 0 4 0 520644841 213016576 646 33554432000 4194304 4650419 140735458686160 18446744073709551615 212435677505 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0162699 s]
/proc/loadavg: 7.40 7.84 6.55 6/180 18493
/proc/meminfo: memFree=30250100/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=216660 CPUtime=0.04 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 931 0 0 0 4 0 0 0 18 0 4 0 520644841 221859840 818 33554432000 4194304 4650419 140735458686160 18446744073709551615 212435713803 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54165 824 376 112 0 49130 0
[pid=18493/tid=18494] ppid=18491 vsize=216660 CPUtime=0.01 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 163 0 0 0 1 0 0 0 18 0 4 0 520644841 221859840 828 33554432000 4194304 4650419 140735458686160 18446744073709551615 212435672076 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=216660 CPUtime=0 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 520644841 221859840 835 33554432000 4194304 4650419 140735458686160 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=216660 CPUtime=0.01 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 122 0 0 0 1 0 0 0 25 0 4 0 520644841 221859840 843 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 216660

[startup+0.158048 s]
/proc/loadavg: 7.40 7.84 6.55 6/180 18493
/proc/meminfo: memFree=30250100/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=218328 CPUtime=0.6 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 2337 0 0 0 60 0 0 0 18 0 4 0 520644841 223567872 1673 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54582 1673 391 112 0 49547 0
[pid=18493/tid=18494] ppid=18491 vsize=218328 CPUtime=0.15 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 516 0 0 0 15 0 0 0 18 0 4 0 520644841 223567872 1673 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=218328 CPUtime=0.14 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 440 0 0 0 14 0 0 0 25 0 4 0 520644841 223567872 1673 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=218328 CPUtime=0.15 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 410 0 0 0 15 0 0 0 25 0 4 0 520644841 223567872 1673 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 218328

[startup+0.301021 s]
/proc/loadavg: 7.40 7.84 6.55 6/180 18493
/proc/meminfo: memFree=30250100/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=218920 CPUtime=1.17 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 3249 0 0 0 117 0 0 0 18 0 4 0 520644841 224174080 1987 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54730 1987 391 112 0 49695 0
[pid=18493/tid=18494] ppid=18491 vsize=218920 CPUtime=0.29 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 769 0 0 0 29 0 0 0 18 0 4 0 520644841 224174080 1987 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=218920 CPUtime=0.29 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 586 0 0 0 29 0 0 0 25 0 4 0 520644841 224174080 1987 33554432000 4194304 4650419 140735458686160 18446744073709551615 4328246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=218920 CPUtime=0.29 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 656 0 0 0 29 0 0 0 25 0 4 0 520644841 224174080 1988 33554432000 4194304 4650419 140735458686160 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218920

[startup+0.700944 s]
/proc/loadavg: 7.40 7.84 6.55 6/180 18493
/proc/meminfo: memFree=30250100/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=219708 CPUtime=2.77 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 5128 0 0 0 277 0 0 0 18 0 4 0 520644841 224980992 2645 33554432000 4194304 4650419 140735458686160 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54927 2646 391 112 0 49892 0
[pid=18493/tid=18494] ppid=18491 vsize=219708 CPUtime=0.69 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 1210 0 0 0 69 0 0 0 18 0 4 0 520644841 224980992 2646 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366049 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=219708 CPUtime=0.69 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 1134 0 0 0 69 0 0 0 25 0 4 0 520644841 224980992 2646 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=219708 CPUtime=0.69 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 1046 0 0 0 69 0 0 0 25 0 4 0 520644841 224980992 2646 33554432000 4194304 4650419 140735458686160 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219708

[startup+1.50079 s]
/proc/loadavg: 7.40 7.84 6.55 10/184 18497
/proc/meminfo: memFree=30225268/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=216160 CPUtime=5.97 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 10106 0 0 0 596 1 0 0 20 0 4 0 520644841 221347840 5675 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54040 5675 393 112 0 49005 0
[pid=18493/tid=18494] ppid=18491 vsize=216160 CPUtime=1.49 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 2962 0 0 0 149 0 0 0 20 0 4 0 520644841 221347840 5675 33554432000 4194304 4650419 140735458686160 18446744073709551615 4438551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=216160 CPUtime=1.48 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 1943 0 0 0 148 0 0 0 25 0 4 0 520644841 221347840 5676 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=216160 CPUtime=1.49 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 1784 0 0 0 149 0 0 0 25 0 4 0 520644841 221347840 5676 33554432000 4194304 4650419 140735458686160 18446744073709551615 4327576 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 216160

[startup+3.10049 s]
/proc/loadavg: 7.40 7.84 6.55 9/184 18497
/proc/meminfo: memFree=30198112/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=216412 CPUtime=12.36 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 16757 0 0 0 1234 2 0 0 25 0 4 0 520644841 221605888 9887 33554432000 4194304 4650419 140735458686160 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54103 9887 393 112 0 49068 0
[pid=18493/tid=18494] ppid=18491 vsize=216412 CPUtime=3.08 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 3968 0 0 0 308 0 0 0 25 0 4 0 520644841 221605888 9887 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=216412 CPUtime=3.07 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 4032 0 0 0 307 0 0 0 25 0 4 0 520644841 221605888 9887 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=216412 CPUtime=3.08 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 3850 0 0 0 308 0 0 0 25 0 4 0 520644841 221605888 9887 33554432000 4194304 4650419 140735458686160 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 216412

[startup+6.30088 s]
/proc/loadavg: 7.45 7.84 6.56 9/184 18498
/proc/meminfo: memFree=30166000/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=223136 CPUtime=25.13 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 24733 0 0 0 2510 3 0 0 25 0 4 0 520644841 228491264 13218 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 55784 13218 393 112 0 50749 0
[pid=18493/tid=18494] ppid=18491 vsize=223136 CPUtime=6.28 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 6438 0 0 0 628 0 0 0 25 0 4 0 520644841 228491264 13218 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=223136 CPUtime=6.25 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 6353 0 0 0 625 0 0 0 25 0 4 0 520644841 228491264 13218 33554432000 4194304 4650419 140735458686160 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=223136 CPUtime=6.28 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 5398 0 0 0 628 0 0 0 25 0 4 0 520644841 228491264 13218 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 223136

[startup+12.7007 s]
/proc/loadavg: 7.49 7.85 6.57 9/184 18498
/proc/meminfo: memFree=30137536/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=217004 CPUtime=50.7 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 38040 0 0 0 5065 5 0 0 25 0 4 0 520644841 222212096 17654 33554432000 4194304 4650419 140735458686160 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 54251 17654 393 112 0 49216 0
[pid=18493/tid=18494] ppid=18491 vsize=217004 CPUtime=12.69 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 9615 0 0 0 1268 1 0 0 25 0 4 0 520644841 222212096 17654 33554432000 4194304 4650419 140735458686160 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=217004 CPUtime=12.62 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 9711 0 0 0 1261 1 0 0 25 0 4 0 520644841 222212096 17654 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=217004 CPUtime=12.68 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 8953 0 0 0 1267 1 0 0 25 0 4 0 520644841 222212096 17654 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 217004

[startup+25.5002 s]
/proc/loadavg: 7.60 7.85 6.59 9/184 18498
/proc/meminfo: memFree=30100304/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=235504 CPUtime=101.83 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 57553 0 0 0 10173 10 0 0 25 0 4 0 520644841 241156096 21739 33554432000 4194304 4650419 140735458686160 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 58876 21739 393 112 0 53841 0
[pid=18493/tid=18494] ppid=18491 vsize=235504 CPUtime=25.49 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 16162 0 0 0 2547 2 0 0 25 0 4 0 520644841 241156096 21739 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=235504 CPUtime=25.35 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 15133 0 0 0 2532 3 0 0 25 0 4 0 520644841 241156096 21739 33554432000 4194304 4650419 140735458686160 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=235504 CPUtime=25.48 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 11152 0 0 0 2546 2 0 0 25 0 4 0 520644841 241156096 21739 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 235504

[startup+51.1004 s]
/proc/loadavg: 7.56 7.82 6.61 9/184 18529
/proc/meminfo: memFree=30055588/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=245464 CPUtime=204.09 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 87901 0 0 0 20391 18 0 0 25 0 4 0 520644841 251355136 26020 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 61366 26020 393 112 0 56331 0
[pid=18493/tid=18494] ppid=18491 vsize=245464 CPUtime=51.08 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 26009 0 0 0 5104 4 0 0 25 0 4 0 520644841 251355136 26020 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=245464 CPUtime=50.82 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 23302 0 0 0 5077 5 0 0 25 0 4 0 520644841 251355136 26020 33554432000 4194304 4650419 140735458686160 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=245464 CPUtime=51.08 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 14915 0 0 0 5105 3 0 0 25 0 4 0 520644841 251355136 26020 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 245464

[startup+102.307 s]
/proc/loadavg: 7.89 7.86 6.68 9/184 18530
/proc/meminfo: memFree=29957064/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=252164 CPUtime=408.64 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 140897 0 0 0 40829 35 0 0 25 0 4 0 520644841 258215936 35141 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 63041 35141 393 112 0 58006 0
[pid=18493/tid=18494] ppid=18491 vsize=252164 CPUtime=102.29 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 40286 0 0 0 10220 9 0 0 25 0 4 0 520644841 258215936 35141 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=252164 CPUtime=101.75 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 37425 0 0 0 10166 9 0 0 25 0 4 0 520644841 258215936 35141 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=252164 CPUtime=102.29 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 23418 0 0 0 10222 7 0 0 25 0 4 0 520644841 258215936 35141 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 252164

[startup+162.3 s]

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

[pid=18493] ppid=18491 vsize=470564 CPUtime=2805.38 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 392064 0 0 0 280406 132 0 0 25 0 4 0 520644841 481857536 78834 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 117641 78834 393 112 0 112606 0
[pid=18493/tid=18494] ppid=18491 vsize=470564 CPUtime=702.31 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 92568 0 0 0 70200 31 0 0 25 0 4 0 520644841 481857536 78834 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=470564 CPUtime=698.5 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 114491 0 0 0 69812 38 0 0 25 0 4 0 520644841 481857536 78834 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=470564 CPUtime=702.24 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 47205 0 0 0 70206 18 0 0 25 0 4 0 520644841 481857536 78834 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 470564

[startup+762.306 s]
/proc/loadavg: 8.05 8.03 7.37 9/184 18548
/proc/meminfo: memFree=29493416/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=483788 CPUtime=3045.08 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 412076 0 0 0 304369 139 0 0 25 0 4 0 520644841 495398912 87085 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 120947 87085 393 112 0 115912 0
[pid=18493/tid=18494] ppid=18491 vsize=483788 CPUtime=762.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 95438 0 0 0 76199 33 0 0 25 0 4 0 520644841 495398912 87085 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=483788 CPUtime=758.17 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 124180 0 0 0 75778 39 0 0 25 0 4 0 520644841 495398912 87085 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=483788 CPUtime=762.24 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 47520 0 0 0 76206 18 0 0 25 0 4 0 520644841 495398912 87085 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 483788

[startup+822.301 s]
/proc/loadavg: 8.02 8.03 7.40 9/184 18549
/proc/meminfo: memFree=29490900/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=471960 CPUtime=3284.73 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 427453 0 0 0 328327 146 0 0 25 0 4 0 520644841 483287040 84659 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 117990 84659 393 112 0 112955 0
[pid=18493/tid=18494] ppid=18491 vsize=471960 CPUtime=822.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 95930 0 0 0 82199 33 0 0 25 0 4 0 520644841 483287040 84659 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=471960 CPUtime=817.85 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 130862 0 0 0 81743 42 0 0 25 0 4 0 520644841 483287040 84659 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=471960 CPUtime=822.23 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 47988 0 0 0 82205 18 0 0 25 0 4 0 520644841 483287040 84659 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 471960

[startup+882.301 s]
/proc/loadavg: 8.00 8.02 7.44 9/184 18551
/proc/meminfo: memFree=29495328/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=472260 CPUtime=3524.41 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 444649 0 0 0 352287 154 0 0 25 0 4 0 520644841 483594240 83452 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 118065 83452 393 112 0 113030 0
[pid=18493/tid=18494] ppid=18491 vsize=472260 CPUtime=882.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 98902 0 0 0 88198 34 0 0 25 0 4 0 520644841 483594240 83452 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=472260 CPUtime=877.52 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 138454 0 0 0 87707 45 0 0 25 0 4 0 520644841 483594240 83452 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=472260 CPUtime=882.23 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 47989 0 0 0 88204 19 0 0 25 0 4 0 520644841 483594240 83452 33554432000 4194304 4650419 140735458686160 18446744073709551615 4510881 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 472260

[startup+942.3 s]
/proc/loadavg: 8.00 8.01 7.47 9/184 18553
/proc/meminfo: memFree=29453488/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=472996 CPUtime=3764.09 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 458666 0 0 0 376249 160 0 0 25 0 4 0 520644841 484347904 86553 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 118249 86553 393 112 0 113214 0
[pid=18493/tid=18494] ppid=18491 vsize=472996 CPUtime=942.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 98902 0 0 0 94197 35 0 0 25 0 4 0 520644841 484347904 86553 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=472996 CPUtime=937.2 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 145598 0 0 0 93673 47 0 0 25 0 4 0 520644841 484347904 86553 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=472996 CPUtime=942.22 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 48135 0 0 0 94203 19 0 0 25 0 4 0 520644841 484347904 86553 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 472996

[startup+1002.3 s]
/proc/loadavg: 8.08 8.02 7.51 9/184 18554
/proc/meminfo: memFree=29459496/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=473200 CPUtime=4003.76 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 479099 0 0 0 400208 168 0 0 25 0 4 0 520644841 484556800 91037 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 118300 91037 393 112 0 113265 0
[pid=18493/tid=18494] ppid=18491 vsize=473200 CPUtime=1002.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 101991 0 0 0 100196 36 0 0 25 0 4 0 520644841 484556800 91037 33554432000 4194304 4650419 140735458686160 18446744073709551615 4330816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=473200 CPUtime=996.87 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 152066 0 0 0 99637 50 0 0 25 0 4 0 520644841 484556800 91037 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=473200 CPUtime=1002.22 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 48137 0 0 0 100203 19 0 0 25 0 4 0 520644841 484556800 91037 33554432000 4194304 4650419 140735458686160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 473200

[startup+1062.3 s]
/proc/loadavg: 8.10 8.04 7.54 10/184 18556
/proc/meminfo: memFree=29401912/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=552328 CPUtime=4243.43 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 487284 0 0 0 424173 170 0 0 25 0 4 0 520644841 565583872 95981 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 138082 95981 393 112 0 133047 0
[pid=18493/tid=18494] ppid=18491 vsize=552328 CPUtime=1062.32 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 102199 0 0 0 106196 36 0 0 25 0 4 0 520644841 565583872 95981 33554432000 4194304 4650419 140735458686160 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=552328 CPUtime=1056.55 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 156397 0 0 0 105603 52 0 0 25 0 4 0 520644841 565583872 95981 33554432000 4194304 4650419 140735458686160 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=552328 CPUtime=1062.22 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 51776 0 0 0 106202 20 0 0 25 0 4 0 520644841 565583872 95981 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 552328

[startup+1122.3 s]
/proc/loadavg: 8.10 8.04 7.57 9/184 18557
/proc/meminfo: memFree=29405732/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=538888 CPUtime=4483.11 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 501870 0 0 0 448137 174 0 0 25 0 4 0 520644841 551821312 94973 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 134722 94973 393 112 0 129687 0
[pid=18493/tid=18494] ppid=18491 vsize=538888 CPUtime=1122.33 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 102311 0 0 0 112197 36 0 0 25 0 4 0 520644841 551821312 94973 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=538888 CPUtime=1116.22 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 161202 0 0 0 111568 54 0 0 25 0 4 0 520644841 551821312 94973 33554432000 4194304 4650419 140735458686160 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=538888 CPUtime=1122.22 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 54352 0 0 0 112201 21 0 0 25 0 4 0 520644841 551821312 94973 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 538888

[startup+1182.3 s]
/proc/loadavg: 8.10 8.05 7.60 9/184 18559
/proc/meminfo: memFree=29330192/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=597444 CPUtime=4722.8 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 518194 0 0 0 472099 181 0 0 25 0 4 0 520644841 611782656 105270 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 149361 105270 393 112 0 144326 0
[pid=18493/tid=18494] ppid=18491 vsize=597444 CPUtime=1182.33 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 103303 0 0 0 118196 37 0 0 25 0 4 0 520644841 611782656 105270 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=597444 CPUtime=1175.9 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 167147 0 0 0 117535 55 0 0 25 0 4 0 520644841 611782656 105270 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=597444 CPUtime=1182.21 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 57674 0 0 0 118198 23 0 0 25 0 4 0 520644841 611782656 105270 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 597444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.04 7.61 9/184 18559
/proc/meminfo: memFree=29302408/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=558996 CPUtime=4800.3 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 525722 0 0 0 479846 184 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 139749 105696 393 112 0 134714 0
[pid=18493/tid=18494] ppid=18491 vsize=558996 CPUtime=1201.74 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 105556 0 0 0 120136 38 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=558996 CPUtime=1195.19 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 169506 0 0 0 119464 55 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=558996 CPUtime=1201.62 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 58276 0 0 0 120138 24 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 558996

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.07 8.04 7.61 9/184 18559
/proc/meminfo: memFree=29302408/32951124 swapFree=67111416/67111528
[pid=18493] ppid=18491 vsize=558996 CPUtime=4800.3 cores=0,2,4,6
/proc/18493/stat : 18493 (strangenight1-m) R 18491 18493 17513 0 -1 4202496 525722 0 0 0 479846 184 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 139749 105696 393 112 0 134714 0
[pid=18493/tid=18494] ppid=18491 vsize=558996 CPUtime=1201.74 cores=0,2,4,6
/proc/18493/task/18494/stat : 18494 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 105556 0 0 0 120136 38 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18493/tid=18495] ppid=18491 vsize=558996 CPUtime=1195.19 cores=0,2,4,6
/proc/18493/task/18495/stat : 18495 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 169506 0 0 0 119464 55 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18493/tid=18496] ppid=18491 vsize=558996 CPUtime=1201.62 cores=0,2,4,6
/proc/18493/task/18496/stat : 18496 (strangenight1-m) R 18491 18493 17513 0 -1 4202560 58276 0 0 0 120138 24 0 0 25 0 4 0 520644841 572411904 105696 33554432000 4194304 4650419 140735458686160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 558996

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4798.49
CPU system time (s): 1.86472
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 658260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.49
system time used= 1.86472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525724
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= 171
involuntary context switches= 33337

runsolver used 1.9557 second user time and 4.5993 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 17:20:25
IDJOB=3175130
IDBENCH=82748
IDSOLVER=1588
FILE ID=node102/3175130-1304090425
RUNJOBID= node102-1304089220-18364
PBS_JOBID= 13170533
Free space on /tmp= 71556 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175130-1304090425/watcher-3175130-1304090425 -o /tmp/evaluation-result-3175130-1304090425/solver-3175130-1304090425 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175130-1304090425.cnf

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

MD5SUM BENCH= 8d71ad1b25bd6c4021d51959610734bb
RANDOM SEED=1940328067

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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.828
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.828
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:      30250256 kB
Buffers:        650972 kB
Cached:        1555948 kB
SwapCached:          8 kB
Active:         270704 kB
Inactive:      2005052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30250256 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12484 kB
Writeback:           0 kB
AnonPages:       68480 kB
Mapped:          14688 kB
Slab:           359988 kB
PageTables:       3892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   278416 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= 71548 MiB
End job on node102 at 2011-04-29 17:40:29