Trace number 3368901

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.3 1202.85

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368901-1305405587.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.08	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.01 s
0.00/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.08	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.08	c calculated reachability. Time: 0.00
0.00/0.08	c Calc default polars -  time:   0.00 s pos:     169 undec:      48 neg:     183
0.00/0.08	c =========================================================================================
0.00/0.08	c types(t): F = full restart, N = normal restart
0.00/0.08	c types(t): S = simplification begin/end, E = solution found
0.00/0.08	c restart types(rt): st = static, dy = dynamic
0.00/0.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.08	c  B st     0         0       386      1696         0         0      5180         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4917       386      1696         0      4795      5180     94136   no data   no data  --
3.17/0.80	c  N st    10     11301       386      1696         0      4421      5180     62431   no data   no data  --
3.17/0.80	c  N st    11     17044       386      1696         0     10026      5180    171319   no data   no data  --
3.97/1.00	c  F st    12     25001       386      1696         0     12279      5180    207656   no data   no data  --
3.97/1.00	c  N st    12     25001       386      1696         0     12279      5180    207656   no data   no data  --
4.78/1.20	c Decided on static restart strategy
4.78/1.20	c  N st    18     30001       386      1696         0     10576      5180    163461   no data   no data  --
4.78/1.20	c  S st    18     30001       386      1696         0     10576      5180    163461   no data   no data  --
5.17/1.30	c  S st    18     30507       386      1696         0     11080      5180    173339   no data   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:       473  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.63 s
5.57/1.40	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.04
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30507       386      1696         0     10126      5180    155227   no data   no data  --
6.76/1.78	c  N st    20     37621       386      1696         0      9393      5180    125418   no data   no data  --
8.37/2.13	c  N st    21     44020       386      1696         0     15582      5180    237618   no data   no data  --
8.76/2.25	c  S st    22     45761       386      1696         0     17276      5180    272025   no data   no data  --
8.76/2.29	c  S st    22     46265       386      1696         0      9111      5180    109906   no data   no data  --
8.76/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.17/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.17/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
9.17/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.35	c lits-rem:        27  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.20 s
9.17/2.35	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
9.17/2.35	c vivif2 --  cl tried     8885 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
9.17/2.36	c calculated reachability. Time: 0.00
9.17/2.36	c  N st    22     46265       386      1696         0      8885      5180    106298   no data   no data  --
12.75/3.22	c  N st    23     60662       386      1696         0     13125      5180    182701   no data   no data  --
15.19/3.83	c  N st    24     69397       386      1696         0     10941      5180    130984   no data   no data  --
15.19/3.83	c  S st    24     69397       386      1696         0     10941      5180    130984   no data   no data  --
15.19/3.86	c  S st    24     69902       386      1696         0     11445      5180    141126   no data   no data  --
15.19/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.19/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.19/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.19/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.19/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.19/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
15.19/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.98	c lits-rem:        34  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.47 s
15.54/3.98	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.54/3.99	c vivif2 --  cl tried    11168 cl shrink        0 lits rem          0 time: 0.01
15.54/3.99	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
15.54/3.99	c calculated reachability. Time: 0.00
15.54/3.99	c  N st    24     69902       386      1696         0     11168      5180    135793   no data   no data  --
20.33/5.14	c  F st    25     87501       386      1696         0     16660      5180    241154   no data   no data  --
20.33/5.14	c  N st    25     87501       386      1696         0     16660      5180    241154   no data   no data  --
21.53/5.49	c Decided on static restart strategy
22.73/5.70	c  N st    32     95539       386      1696         0     24499      5180    397308   no data   no data  --
25.12/6.36	c  N st    34    104855       386      1696         0     20943      5180    319630   no data   no data  --
25.12/6.36	c  S st    34    104855       386      1696         0     20943      5180    319630   no data   no data  --
25.53/6.41	c  S st    34    105358       386      1696         0     21445      5180    329540   no data   no data  --
25.53/6.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.53/6.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.53/6.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
25.53/6.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.53/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.53/6.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.53/6.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.35/7.14	c lits-rem:       525  cl-subs:     1047  v-elim:      0  v-fix:    0  time:  2.80 s
28.35/7.14	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
28.35/7.14	c vivif2 --  cl tried    20398 cl shrink        0 lits rem          0 time: 0.01
28.35/7.15	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
28.35/7.16	c calculated reachability. Time: 0.00
28.35/7.16	c  N st    34    105358       386      1696         0     20398      5180    307624   no data   no data  --
31.91/8.03	c  N st    35    114956       386      1696         0     16129      5180    198449   no data   no data  --
36.72/9.21	c  N st    36    129356       386      1696         0     15478      5180    172284   no data   no data  --
43.48/10.91	c  N st    37    150951       386      1696         0     20870      5180    256642   no data   no data  --
45.91/11.52	c  S st    38    158037       386      1696         0     27722      5180    382370   no data   no data  --
45.91/11.59	c  S st    38    158541       386      1696         0     28225      5180    392578   no data   no data  --
45.91/11.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.91/11.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.27/11.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.27/11.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.27/11.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.27/11.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
46.27/11.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.07/12.82	c lits-rem:       988  cl-subs:     2890  v-elim:      0  v-fix:    0  time:  4.80 s
51.07/12.82	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
51.07/12.82	c vivif2 --  cl tried    25335 cl shrink        0 lits rem          0 time: 0.02
51.07/12.84	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.07
51.07/12.84	c calculated reachability. Time: 0.00
51.07/12.84	c  N st    38    158541       386      1696         0     25335      5180    346236   no data   no data  --
69.82/17.52	c  N st    39    207129       386      1696         0     20196      5180    225839   no data   no data  --
81.40/20.48	c  N st    40    237812       386      1696         0     30538      5180    405423   no data   no data  --
81.40/20.48	c  S st    40    237812       386      1696         0     30538      5180    405423   no data   no data  --
81.80/20.56	c  S st    40    238315       386      1696         0     31040      5180    414850   no data   no data  --
81.80/20.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.80/20.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.80/20.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
81.80/20.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.80/20.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.80/20.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
81.80/20.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.38/21.94	c lits-rem:       610  cl-subs:     2410  v-elim:      0  v-fix:    0  time:  5.40 s
87.38/21.94	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
87.38/21.94	c vivif2 --  cl tried    28630 cl shrink        0 lits rem          0 time: 0.02
87.38/21.96	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.09
87.38/21.96	c calculated reachability. Time: 0.00
87.38/21.96	c  N st    40    238315       386      1696         0     28630      5180    374832   no data   no data  --
116.92/29.34	c  F st    41    306253       386      1696         0     30525      5180    384574   no data   no data  --
116.92/29.34	c  N st    41    306253       386      1696         0     30525      5180    384574   no data   no data  --
119.31/29.93	c Decided on static restart strategy
130.08/32.61	c  N st    51    334558       386      1696         0     34844      5180    466275   no data   no data  --
140.05/35.16	c  N st    53    357472       386      1696         0     32801      5180    415221   no data   no data  --
140.05/35.16	c  S st    53    357472       386      1696         0     32801      5180    415221   no data   no data  --
140.45/35.25	c  S st    53    357975       386      1696         0     33299      5180    425497   no data   no data  --
140.45/35.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
140.45/35.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.45/35.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
140.45/35.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.45/35.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.45/35.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
140.45/35.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
146.05/36.62	c lits-rem:       510  cl-subs:     1487  v-elim:      0  v-fix:    0  time:  5.38 s
146.05/36.62	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
146.05/36.63	c vivif2 --  cl tried    31812 cl shrink        0 lits rem          0 time: 0.02
146.05/36.65	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
146.05/36.65	c calculated reachability. Time: 0.00
146.05/36.65	c  N st    53    357975       386      1696         0     31812      5180    394617   no data   no data  --
161.60/40.55	c  N st    54    390367       386      1696         0     37903      5180    490435   no data   no data  --
187.14/46.93	c  N st    55    438956       386      1696         0     31657      5180    333507   no data   no data  --
225.90/56.61	c  N st    56    511838       386      1696         0     44988      5180    568669   no data   no data  --
239.83/60.14	c  N st    57    536967       386      1696         0     39345      5180    462244   no data   no data  --
239.83/60.14	c  S st    57    536967       386      1696         0     39345      5180    462244   no data   no data  --
240.23/60.24	c  S st    57    537468       386      1696         0     39841      5180    472640   no data   no data  --
240.23/60.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
240.23/60.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
240.23/60.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
240.23/60.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.23/60.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.23/60.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
240.23/60.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.22/61.75	c lits-rem:      1057  cl-subs:     1626  v-elim:      0  v-fix:    0  time:  5.92 s
246.22/61.75	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
246.22/61.76	c vivif2 --  cl tried    38215 cl shrink        0 lits rem          0 time: 0.02
246.22/61.79	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.13
246.22/61.79	c calculated reachability. Time: 0.00
246.22/61.79	c  N st    57    537468       386      1696         0     38215      5180    445058   no data   no data  --
338.00/84.73	c  N st    58    701454       386      1696         0     67254      5180    993392   no data   no data  --
405.05/101.53	c  N st    59    806203       386      1696         0     61155      5180    814018   no data   no data  --
405.05/101.53	c  S st    59    806203       386      1696         0     61155      5180    814018   no data   no data  --
405.89/101.75	c  S st    59    806710       386      1696         0     61660      5180    824383   no data   no data  --
405.89/101.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
405.89/101.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
405.89/101.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
406.25/101.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
406.25/101.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
406.25/101.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
406.25/101.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
419.82/105.22	c lits-rem:      4633  cl-subs:     6333  v-elim:      0  v-fix:    0  time: 13.60 s
419.82/105.22	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
419.82/105.23	c vivif2 --  cl tried    55327 cl shrink        0 lits rem          0 time: 0.04
419.82/105.29	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.24
419.82/105.29	c calculated reachability. Time: 0.00
419.82/105.29	c  N st    59    806710       386      1696         0     55327      5180    709812   no data   no data  --
611.38/153.24	c  F st    60   1071875       386      1696         0     70940      5180    927380   no data   no data  --
611.38/153.24	c  N st    60   1071875       386      1696         0     70940      5180    927380   no data   no data  --
616.96/154.60	c Decided on static restart strategy
634.92/159.16	c  N st    70   1100185       386      1696         0     55050      5180    624842   no data   no data  --
666.86/167.19	c  N st    72   1136177       386      1696         0     45440      5180    414769   no data   no data  --
691.59/173.32	c  N st    73   1168569       386      1696         0     76697      5180   1035382   no data   no data  --
728.32/182.54	c  N st    74   1210067       386      1696         0     71522      5180    949309   no data   no data  --
728.32/182.54	c  S st    74   1210067       386      1696         0     71522      5180    949309   no data   no data  --
729.12/182.78	c  S st    74   1210573       386      1696         0     72028      5180    959934   no data   no data  --
729.12/182.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
729.12/182.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
729.52/182.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
729.52/182.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
729.52/182.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
729.52/182.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
729.52/182.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
743.49/186.39	c lits-rem:      2800  cl-subs:     4133  v-elim:      0  v-fix:    0  time: 14.14 s
743.49/186.39	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
743.49/186.40	c vivif2 --  cl tried    67895 cl shrink        0 lits rem          0 time: 0.04
743.91/186.48	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.32
743.91/186.48	c calculated reachability. Time: 0.00
743.91/186.48	c  N st    74   1210573       386      1696         0     67895      5180    881299   no data   no data  --
813.74/203.98	c  N st    75   1283455       386      1696         0     91866      5180   1338534   no data   no data  --
913.09/228.85	c  N st    76   1392779       386      1696         0     52500      5180    496592   no data   no data  --
1067.94/267.66	c  N st    77   1556764       386      1696         0     57223      5180    563573   no data   no data  --
1221.18/306.06	c  N st    78   1710573       386      1696         0     98140      5180   1272418   no data   no data  --
1221.18/306.06	c  S st    78   1710573       386      1696         0     98140      5180   1272418   no data   no data  --
1222.41/306.40	c  S st    78   1711075       386      1696         0     98640      5180   1282842   no data   no data  --
1222.77/306.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1222.77/306.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1222.77/306.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1222.77/306.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1222.77/306.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1222.77/306.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1222.77/306.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1258.29/315.30	c lits-rem:       530  cl-subs:    14223  v-elim:      0  v-fix:    0  time: 35.16 s
1258.29/315.30	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1258.29/315.32	c vivif2 --  cl tried    84417 cl shrink        0 lits rem          0 time: 0.06
1258.69/315.46	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.55
1258.69/315.46	c calculated reachability. Time: 0.00
1258.69/315.46	c  N st    78   1711075       386      1696         0     84417      5180   1053283   no data   no data  --
1653.39/414.30	c  N st    79   2080041       386      1696         0     96541      5180   1197425   no data   no data  --
1793.47/449.48	c  N st    80   2211076       386      1696         0    100429      5180   1247149   no data   no data  --
1793.47/449.48	c  S st    80   2211076       386      1696         0    100429      5180   1247149   no data   no data  --
1795.07/449.82	c  S st    80   2211576       386      1696         0    100926      5180   1257358   no data   no data  --
1795.07/449.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1795.07/449.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1795.07/449.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1795.47/449.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1795.47/449.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1795.47/449.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1795.47/449.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1826.60/457.73	c lits-rem:      1865  cl-subs:    12038  v-elim:      0  v-fix:    0  time: 31.18 s
1826.60/457.73	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1826.60/457.75	c vivif2 --  cl tried    88888 cl shrink        0 lits rem          0 time: 0.07
1827.00/457.89	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.56
1827.00/457.89	c calculated reachability. Time: 0.00
1827.00/457.89	c  N st    80   2211576       386      1696         0     88888      5180   1061937   no data   no data  --
2389.72/598.83	c  N st    81   2711577       386      1696         0    112208      5180   1401852   no data   no data  --
2389.72/598.83	c  S st    81   2711577       386      1696         0    112208      5180   1401852   no data   no data  --
2391.30/599.22	c  S st    81   2712081       386      1696         0    112712      5180   1412447   no data   no data  --
2391.30/599.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2391.30/599.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2391.30/599.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2391.70/599.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2391.70/599.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2391.70/599.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2391.70/599.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2424.03/607.45	c lits-rem:       270  cl-subs:    12435  v-elim:      0  v-fix:    0  time: 32.44 s
2424.03/607.45	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2424.03/607.47	c vivif2 --  cl tried   100277 cl shrink        0 lits rem          0 time: 0.07
2424.85/607.62	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.60
2424.85/607.63	c calculated reachability. Time: 0.00
2424.85/607.63	c  N st    81   2712081       386      1696         0    100277      5180   1217428   no data   no data  --
3051.79/764.79	c  N st    82   3212083       386      1696         0     76631      5180    679066   no data   no data  --
3051.79/764.79	c  S st    82   3212083       386      1696         0     76631      5180    679066   no data   no data  --
3053.02/765.04	c  S st    82   3212587       386      1696         0     77134      5180    689573   no data   no data  --
3053.02/765.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3053.02/765.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3053.02/765.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3053.38/765.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3053.38/765.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3053.38/765.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3053.38/765.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3062.16/767.34	c lits-rem:       242  cl-subs:      604  v-elim:      0  v-fix:    0  time:  8.94 s
3062.16/767.34	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3062.16/767.35	c vivif2 --  cl tried    76530 cl shrink        0 lits rem          0 time: 0.04
3062.56/767.44	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.32
3062.56/767.44	c calculated reachability. Time: 0.00
3062.56/767.44	c  N st    82   3212587       386      1696         0     76530      5180    680538   no data   no data  --
3695.51/926.06	c  N st    83   3712587       386      1696         0     87261      5180    815304   no data   no data  --
3695.51/926.06	c  S st    83   3712587       386      1696         0     87261      5180    815304   no data   no data  --
3696.71/926.36	c  S st    83   3713088       386      1696         0     87758      5180    825389   no data   no data  --
3696.71/926.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3696.71/926.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3697.11/926.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
3697.11/926.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3697.11/926.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3697.11/926.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3697.11/926.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3709.08/929.47	c lits-rem:       798  cl-subs:     2056  v-elim:      0  v-fix:    0  time: 12.14 s
3709.08/929.47	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3709.08/929.48	c vivif2 --  cl tried    85702 cl shrink        0 lits rem          0 time: 0.05
3709.48/929.59	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.44
3709.88/929.60	c calculated reachability. Time: 0.00
3709.88/929.60	c  N st    83   3713088       386      1696         0     85702      5180    795566   no data   no data  --
3759.80/942.19	c  F st    84   3751564       386      1696         0    122548      5180   1498199   no data   no data  --
3760.16/942.20	c  N st    84   3751564       386      1696         0    122548      5180   1498199   no data   no data  --
3768.16/944.23	c Decided on static restart strategy
3802.47/952.81	c  N st    94   3779868       386      1696         0    149834      5180   2042190   no data   no data  --
3851.99/965.26	c  N st    96   3815861       386      1696         0    103033      5180   1156790   no data   no data  --
3897.04/976.50	c  N st    97   3848253       386      1696         0    134268      5180   1764536   no data   no data  --
3973.67/995.78	c  N st    98   3896842       386      1696         0     98271      5180   1001468   no data   no data  --
4092.20/1025.41	c  N st    99   3969725       386      1696         0     84718      5180    738546   no data   no data  --
4229.52/1059.82	c  N st   100   4079049       386      1696         0    105515      5180   1167209   no data   no data  --
4390.71/1100.23	c  N st   101   4213088       386      1696         0    148918      5180   2057328   no data   no data  --
4390.71/1100.23	c  S st   101   4213088       386      1696         0    148918      5180   2057328   no data   no data  --
4393.10/1100.85	c  S st   101   4213590       386      1696         0    149419      5180   2067577   no data   no data  --
4393.10/1100.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4393.10/1100.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4393.50/1100.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4393.91/1101.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4393.91/1101.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4393.91/1101.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4393.91/1101.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4477.72/1122.09	c lits-rem:       277  cl-subs:    14199  v-elim:      0  v-fix:    0  time: 84.12 s
4477.72/1122.09	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
4478.12/1122.12	c vivif2 --  cl tried   135220 cl shrink        0 lits rem          0 time: 0.10
4478.92/1122.32	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.83
4478.92/1122.33	c calculated reachability. Time: 0.00
4478.92/1122.33	c  N st   101   4213590       386      1696         0    135220      5180   1818321   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.15 8.12 7.82 5/287 3522
/proc/meminfo: memFree=21378064/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=273576 CPUtime=0 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 680 0 0 0 0 0 0 0 25 0 4 0 652156849 280141824 608 33554432000 4194304 4650419 140735171284080 18446744073709551615 4307359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3522/statm: 68394 610 343 112 0 63359 0
[pid=3522/tid=3523] ppid=3520 vsize=282176 CPUtime=0 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 137 0 0 0 0 0 0 0 25 0 4 0 652156850 288948224 896 33554432000 4194304 4650419 140735171284080 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=282176 CPUtime=0 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 207 0 0 0 0 0 0 0 25 0 4 0 652156850 288948224 899 33554432000 4194304 4650419 140735171284080 18446744073709551615 232335557104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=282176 CPUtime=0 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 119 0 0 0 0 0 0 0 25 0 4 0 652156850 288948224 903 33554432000 4194304 4650419 140735171284080 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.105549 s]
/proc/loadavg: 8.15 8.12 7.82 5/287 3522
/proc/meminfo: memFree=21378064/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=282476 CPUtime=0.4 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 1619 0 0 0 40 0 0 0 25 0 4 0 652156849 289255424 1514 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 70619 1514 391 112 0 65584 0
[pid=3522/tid=3523] ppid=3520 vsize=282476 CPUtime=0.09 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 328 0 0 0 9 0 0 0 18 0 4 0 652156850 289255424 1514 33554432000 4194304 4650419 140735171284080 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=282476 CPUtime=0.1 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 330 0 0 0 10 0 0 0 25 0 4 0 652156850 289255424 1514 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=282476 CPUtime=0.09 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 223 0 0 0 9 0 0 0 18 0 4 0 652156850 289255424 1514 33554432000 4194304 4650419 140735171284080 18446744073709551615 4354963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282476

[startup+0.690447 s]
/proc/loadavg: 8.15 8.12 7.82 5/287 3522
/proc/meminfo: memFree=21378064/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=285068 CPUtime=2.73 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 4469 0 0 0 273 0 0 0 25 0 4 0 652156849 291909632 2284 33554432000 4194304 4650419 140735171284080 18446744073709551615 4333931 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 71267 2284 393 112 0 66232 0
[pid=3522/tid=3523] ppid=3520 vsize=285068 CPUtime=0.68 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1041 0 0 0 68 0 0 0 18 0 4 0 652156850 291909632 2284 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=285068 CPUtime=0.68 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1047 0 0 0 68 0 0 0 25 0 4 0 652156850 291909632 2284 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=285068 CPUtime=0.68 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 917 0 0 0 68 0 0 0 18 0 4 0 652156850 291909632 2284 33554432000 4194304 4650419 140735171284080 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 285068

[startup+0.700444 s]
/proc/loadavg: 8.15 8.12 7.82 5/287 3522
/proc/meminfo: memFree=21378064/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=285068 CPUtime=2.77 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 4491 0 0 0 277 0 0 0 25 0 4 0 652156849 291909632 2306 33554432000 4194304 4650419 140735171284080 18446744073709551615 4331159 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 71267 2306 393 112 0 66232 0
[pid=3522/tid=3523] ppid=3520 vsize=285068 CPUtime=0.69 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1047 0 0 0 69 0 0 0 18 0 4 0 652156850 291909632 2306 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=285068 CPUtime=0.69 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1052 0 0 0 69 0 0 0 25 0 4 0 652156850 291909632 2306 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=285068 CPUtime=0.69 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 922 0 0 0 69 0 0 0 18 0 4 0 652156850 291909632 2306 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285068

[startup+0.800427 s]
/proc/loadavg: 8.15 8.12 7.82 5/287 3522
/proc/meminfo: memFree=21378064/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=285068 CPUtime=3.17 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 4689 0 0 0 317 0 0 0 25 0 4 0 652156849 291909632 2504 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 71267 2504 393 112 0 66232 0
[pid=3522/tid=3523] ppid=3520 vsize=285068 CPUtime=0.79 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1100 0 0 0 79 0 0 0 18 0 4 0 652156850 291909632 2504 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=285068 CPUtime=0.79 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1101 0 0 0 79 0 0 0 25 0 4 0 652156850 291909632 2504 33554432000 4194304 4650419 140735171284080 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=285068 CPUtime=0.79 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 971 0 0 0 79 0 0 0 18 0 4 0 652156850 291909632 2504 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 285068

[startup+1.5003 s]
/proc/loadavg: 8.14 8.11 7.82 10/291 3526
/proc/meminfo: memFree=21353356/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=277004 CPUtime=5.99 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 7905 0 0 0 598 1 0 0 25 0 4 0 652156849 283652096 3908 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363398 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 69251 3908 395 112 0 64216 0
[pid=3522/tid=3523] ppid=3520 vsize=277004 CPUtime=1.49 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1784 0 0 0 149 0 0 0 20 0 4 0 652156850 283652096 3915 33554432000 4194304 4650419 140735171284080 18446744073709551615 4331089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=277004 CPUtime=1.5 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1728 0 0 0 150 0 0 0 25 0 4 0 652156850 283652096 3915 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=277004 CPUtime=1.5 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 1431 0 0 0 150 0 0 0 20 0 4 0 652156850 283652096 3915 33554432000 4194304 4650419 140735171284080 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 277004

[startup+3.10102 s]
/proc/loadavg: 8.14 8.11 7.82 9/291 3526
/proc/meminfo: memFree=21331412/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=281288 CPUtime=12.35 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 15069 0 0 0 1233 2 0 0 25 0 4 0 652156849 288038912 8406 33554432000 4194304 4650419 140735171284080 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 70322 8406 395 112 0 65287 0
[pid=3522/tid=3523] ppid=3520 vsize=281288 CPUtime=3.08 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 3689 0 0 0 308 0 0 0 25 0 4 0 652156850 288038912 8406 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=281288 CPUtime=3.08 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 3919 0 0 0 308 0 0 0 25 0 4 0 652156850 288038912 8406 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=281288 CPUtime=3.09 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 3452 0 0 0 309 0 0 0 25 0 4 0 652156850 288038912 8406 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 281288

[startup+6.30046 s]
/proc/loadavg: 8.14 8.11 7.82 10/291 3526
/proc/meminfo: memFree=21324740/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=287284 CPUtime=25.12 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 22605 0 0 0 2509 3 0 0 25 0 4 0 652156849 294178816 11634 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 71821 11634 395 112 0 66786 0
[pid=3522/tid=3523] ppid=3520 vsize=287284 CPUtime=6.28 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 6048 0 0 0 628 0 0 0 25 0 4 0 652156850 294178816 11634 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=287284 CPUtime=6.28 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 6217 0 0 0 628 0 0 0 25 0 4 0 652156850 294178816 11634 33554432000 4194304 4650419 140735171284080 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=287284 CPUtime=6.29 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 4559 0 0 0 628 1 0 0 25 0 4 0 652156850 294178816 11634 33554432000 4194304 4650419 140735171284080 18446744073709551615 4331332 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 287284

[startup+12.7003 s]
/proc/loadavg: 8.35 8.16 7.83 10/291 3526
/proc/meminfo: memFree=21289904/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=291544 CPUtime=50.67 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 34743 0 0 0 5060 7 0 0 25 0 4 0 652156849 298541056 16506 33554432000 4194304 4650419 140735171284080 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 72886 16506 395 112 0 67851 0
[pid=3522/tid=3523] ppid=3520 vsize=291544 CPUtime=12.68 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 9075 0 0 0 1267 1 0 0 25 0 4 0 652156850 298541056 16506 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=291544 CPUtime=12.68 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 9330 0 0 0 1267 1 0 0 25 0 4 0 652156850 298541056 16506 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=291544 CPUtime=12.69 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 7145 0 0 0 1267 2 0 0 25 0 4 0 652156850 298541056 16507 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 291544

[startup+25.501 s]
/proc/loadavg: 8.30 8.15 7.83 10/291 3526
/proc/meminfo: memFree=21251212/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=290508 CPUtime=101.75 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 51735 0 0 0 10166 9 0 0 25 0 4 0 652156849 297480192 21427 33554432000 4194304 4650419 140735171284080 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 72627 21427 395 112 0 67592 0
[pid=3522/tid=3523] ppid=3520 vsize=290508 CPUtime=25.48 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 14932 0 0 0 2546 2 0 0 25 0 4 0 652156850 297480192 21427 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=290508 CPUtime=25.48 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 14214 0 0 0 2547 1 0 0 25 0 4 0 652156850 297480192 21427 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=290508 CPUtime=25.49 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 10103 0 0 0 2547 2 0 0 25 0 4 0 652156850 297480192 21427 33554432000 4194304 4650419 140735171284080 18446744073709551615 4314944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 290508

[startup+51.1105 s]
/proc/loadavg: 8.18 8.14 7.84 10/291 3527
/proc/meminfo: memFree=21226124/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=309672 CPUtime=203.95 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 80337 0 0 0 20376 19 0 0 25 0 4 0 652156849 317104128 25337 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 77418 25337 395 112 0 72383 0
[pid=3522/tid=3523] ppid=3520 vsize=309672 CPUtime=51.09 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 23321 0 0 0 5104 5 0 0 25 0 4 0 652156850 317104128 25337 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=309672 CPUtime=51.08 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 22393 0 0 0 5104 4 0 0 25 0 4 0 652156850 317104128 25337 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=309672 CPUtime=51.1 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 14658 0 0 0 5106 4 0 0 25 0 4 0 652156850 317104128 25338 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 309672

[startup+102.3 s]
/proc/loadavg: 8.16 8.14 7.85 10/291 3529
/proc/meminfo: memFree=21153176/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=371152 CPUtime=408.25 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 125764 0 0 0 40792 33 0 0 25 0 4 0 652156849 380059648 34187 33554432000 4194304 4650419 140735171284080 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 92788 34187 395 112 0 87753 0
[pid=3522/tid=3523] ppid=3520 vsize=371152 CPUtime=102.28 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 34364 0 0 0 10220 8 0 0 25 0 4 0 652156850 380059648 34187 33554432000 4194304 4650419 140735171284080 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=371152 CPUtime=102.27 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 34102 0 0 0 10219 8 0 0 25 0 4 0 652156850 380059648 34187 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=371152 CPUtime=102.29 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 24279 0 0 0 10221 8 0 0 25 0 4 0 652156850 380059648 34187 33554432000 4194304 4650419 140735171284080 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 371152

[startup+162.301 s]

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

[pid=3522] ppid=3520 vsize=492988 CPUtime=2802.79 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 406870 0 0 0 280137 142 0 0 25 0 4 0 652156849 504819712 75161 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 123247 75161 395 112 0 118212 0
[pid=3522/tid=3523] ppid=3520 vsize=492988 CPUtime=702.31 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 109076 0 0 0 70194 37 0 0 25 0 4 0 652156850 504819712 75161 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=492988 CPUtime=702.2 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 121681 0 0 0 70180 40 0 0 25 0 4 0 652156850 504819712 75161 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=492988 CPUtime=702.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 67639 0 0 0 70206 25 0 0 25 0 4 0 652156850 504819712 75161 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.79
Current children cumulated vsize (KiB) 492988

[startup+762.3 s]
/proc/loadavg: 8.16 8.15 7.99 10/291 3548
/proc/meminfo: memFree=20767508/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=493220 CPUtime=3042.2 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 426261 0 0 0 304069 151 0 0 25 0 4 0 652156849 505057280 79903 33554432000 4194304 4650419 140735171284080 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 123305 79903 395 112 0 118270 0
[pid=3522/tid=3523] ppid=3520 vsize=493220 CPUtime=762.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 112077 0 0 0 76192 38 0 0 25 0 4 0 652156850 505057280 79903 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=493220 CPUtime=762.19 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 128438 0 0 0 76175 44 0 0 25 0 4 0 652156850 505057280 79903 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=493220 CPUtime=762.3 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 71756 0 0 0 76204 26 0 0 25 0 4 0 652156850 505057280 79903 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.2
Current children cumulated vsize (KiB) 493220

[startup+822.301 s]
/proc/loadavg: 8.18 8.16 8.00 10/291 3550
/proc/meminfo: memFree=20769724/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=481068 CPUtime=3281.65 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 443381 0 0 0 328007 158 0 0 25 0 4 0 652156849 492613632 77315 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 120267 77315 395 112 0 115232 0
[pid=3522/tid=3523] ppid=3520 vsize=481068 CPUtime=822.29 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 116013 0 0 0 82190 39 0 0 25 0 4 0 652156850 492613632 77315 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=481068 CPUtime=822.18 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 132371 0 0 0 82173 45 0 0 25 0 4 0 652156850 492613632 77315 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=481068 CPUtime=822.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 74122 0 0 0 82204 27 0 0 25 0 4 0 652156850 492613632 77315 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.65
Current children cumulated vsize (KiB) 481068

[startup+882.301 s]
/proc/loadavg: 8.11 8.15 8.00 9/291 3551
/proc/meminfo: memFree=20735476/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=559148 CPUtime=3521.12 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 461126 0 0 0 351946 166 0 0 25 0 4 0 652156849 572567552 79485 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 139787 79485 395 112 0 134752 0
[pid=3522/tid=3523] ppid=3520 vsize=559148 CPUtime=882.29 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 120127 0 0 0 88188 41 0 0 25 0 4 0 652156850 572567552 79485 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=559148 CPUtime=882.17 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 137753 0 0 0 88170 47 0 0 25 0 4 0 652156850 572567552 79485 33554432000 4194304 4650419 140735171284080 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=559148 CPUtime=882.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 76513 0 0 0 88203 28 0 0 25 0 4 0 652156850 572567552 79485 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.12
Current children cumulated vsize (KiB) 559148

[startup+942.3 s]
/proc/loadavg: 8.22 8.19 8.02 10/291 3553
/proc/meminfo: memFree=20679648/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=559432 CPUtime=3760.56 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 477700 0 0 0 375882 174 0 0 25 0 4 0 652156849 572858368 77567 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 139858 77567 395 112 0 134823 0
[pid=3522/tid=3523] ppid=3520 vsize=559432 CPUtime=942.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 122790 0 0 0 94187 43 0 0 25 0 4 0 652156850 572858368 77567 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=559432 CPUtime=942.16 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 144153 0 0 0 94166 50 0 0 25 0 4 0 652156850 572858368 77567 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=559432 CPUtime=942.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 78705 0 0 0 94202 29 0 0 25 0 4 0 652156850 572858368 77567 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.56
Current children cumulated vsize (KiB) 559432

[startup+1002.3 s]
/proc/loadavg: 8.12 8.17 8.02 9/291 3554
/proc/meminfo: memFree=20680976/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=561772 CPUtime=4000.01 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 496635 0 0 0 399819 182 0 0 25 0 4 0 652156849 575254528 82401 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 140443 82401 395 112 0 135408 0
[pid=3522/tid=3523] ppid=3520 vsize=561772 CPUtime=1002.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 126457 0 0 0 100186 44 0 0 25 0 4 0 652156850 575254528 82401 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=561772 CPUtime=1002.15 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 149827 0 0 0 100163 52 0 0 25 0 4 0 652156850 575254528 82401 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=561772 CPUtime=1002.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 82888 0 0 0 100200 31 0 0 25 0 4 0 652156850 575254528 82401 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.01
Current children cumulated vsize (KiB) 561772

[startup+1062.3 s]
/proc/loadavg: 8.08 8.15 8.02 9/291 3556
/proc/meminfo: memFree=20653912/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=561956 CPUtime=4239.46 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 516643 0 0 0 423754 192 0 0 25 0 4 0 652156849 575442944 81943 33554432000 4194304 4650419 140735171284080 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 140489 81943 395 112 0 135454 0
[pid=3522/tid=3523] ppid=3520 vsize=561956 CPUtime=1062.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 130683 0 0 0 106184 46 0 0 25 0 4 0 652156850 575442944 81943 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=561956 CPUtime=1062.15 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 156283 0 0 0 106160 55 0 0 25 0 4 0 652156850 575442944 81943 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=561956 CPUtime=1062.31 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 86433 0 0 0 106198 33 0 0 25 0 4 0 652156850 575442944 81943 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.46
Current children cumulated vsize (KiB) 561956

[startup+1122.3 s]
/proc/loadavg: 8.06 8.13 8.02 10/291 3558
/proc/meminfo: memFree=20610496/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=627628 CPUtime=4478.92 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 538545 0 0 0 447690 202 0 0 25 0 4 0 652156849 642691072 93109 33554432000 4194304 4650419 140735171284080 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 156907 93109 395 112 0 151872 0
[pid=3522/tid=3523] ppid=3520 vsize=627628 CPUtime=1122.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 135007 0 0 0 112182 48 0 0 25 0 4 0 652156850 642691072 93109 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=627628 CPUtime=1122.13 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 162437 0 0 0 112155 58 0 0 25 0 4 0 652156850 642691072 93109 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=627628 CPUtime=1122.32 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 90834 0 0 0 112196 36 0 0 25 0 4 0 652156850 642691072 93109 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.92
Current children cumulated vsize (KiB) 627628

[startup+1182.3 s]
/proc/loadavg: 6.26 7.66 7.87 5/282 3578
/proc/meminfo: memFree=21201380/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=567952 CPUtime=4718.36 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 557514 0 0 0 471625 211 0 0 25 0 4 0 652156849 581582848 90729 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 141988 90729 395 112 0 136953 0
[pid=3522/tid=3523] ppid=3520 vsize=567952 CPUtime=1182.3 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 139127 0 0 0 118181 49 0 0 25 0 4 0 652156850 581582848 90729 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=567952 CPUtime=1182.13 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 168258 0 0 0 118151 62 0 0 25 0 4 0 652156850 581582848 90729 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=567952 CPUtime=1182.32 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 93892 0 0 0 118194 38 0 0 25 0 4 0 652156850 581582848 90729 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.36
Current children cumulated vsize (KiB) 567952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.81 s]
/proc/loadavg: 5.62 7.42 7.79 5/282 3579
/proc/meminfo: memFree=21168520/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=567952 CPUtime=4800.24 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 565692 0 0 0 479810 214 0 0 25 0 4 0 652156849 581582848 98848 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 141988 98848 395 112 0 136953 0
[pid=3522/tid=3523] ppid=3520 vsize=567952 CPUtime=1202.82 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 141098 0 0 0 120232 50 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=567952 CPUtime=1202.65 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 172568 0 0 0 120203 62 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=567952 CPUtime=1202.84 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 94576 0 0 0 120246 38 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 567952

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

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

[startup+1202.81 s]
/proc/loadavg: 5.62 7.42 7.79 5/282 3579
/proc/meminfo: memFree=21168520/32951124 swapFree=66457188/67111528
[pid=3522] ppid=3520 vsize=567952 CPUtime=4800.24 cores=0,2,4,6
/proc/3522/stat : 3522 (strangenight1-m) R 3520 3522 2765 0 -1 4202496 565692 0 0 0 479810 214 0 0 25 0 4 0 652156849 581582848 98848 33554432000 4194304 4650419 140735171284080 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3522/statm: 141988 98848 395 112 0 136953 0
[pid=3522/tid=3523] ppid=3520 vsize=567952 CPUtime=1202.82 cores=0,2,4,6
/proc/3522/task/3523/stat : 3523 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 141098 0 0 0 120232 50 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3522/tid=3524] ppid=3520 vsize=567952 CPUtime=1202.65 cores=0,2,4,6
/proc/3522/task/3524/stat : 3524 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 172568 0 0 0 120203 62 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3522/tid=3525] ppid=3520 vsize=567952 CPUtime=1202.84 cores=0,2,4,6
/proc/3522/task/3525/stat : 3525 (strangenight1-m) R 3520 3522 2765 0 -1 4202560 94576 0 0 0 120246 38 0 0 25 0 4 0 652156850 581582848 98849 33554432000 4194304 4650419 140735171284080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 567952

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.85
CPU time (s): 4800.3
CPU user time (s): 4798.14
CPU system time (s): 2.16067
CPU usage (%): 399.078
Max. virtual memory (cumulated for all children) (KiB): 627628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 2.16067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565693
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= 270
involuntary context switches= 73043

runsolver used 3.3125 second user time and 7.63884 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 22:39:47
IDJOB=3368901
IDBENCH=82910
IDSOLVER=1846
FILE ID=node132/3368901-1305405587
RUNJOBID= node132-1305405528-3464
PBS_JOBID= 13324471
Free space on /tmp= 73328 MiB

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

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

MD5SUM BENCH= 737aa440f80cd8be0050a0f138c79eb6
RANDOM SEED=1680874949

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21378344 kB
Buffers:        279024 kB
Cached:        5565816 kB
SwapCached:       6904 kB
Active:        4955604 kB
Inactive:      6312728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21378344 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            6352 kB
Writeback:           0 kB
AnonPages:     5421516 kB
Mapped:          19392 kB
Slab:           218028 kB
PageTables:      24628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 35044628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73328 MiB
End job on node132 at 2011-05-14 22:59:52