Trace number 3175292

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

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-3175292-1304107969.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.00 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.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     169 undec:      48 neg:     183
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       386      1696         0         0      5180         0   no data   no data  --
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4917       386      1696         0      4795      5180     94136   no data   no data  --
0.00/0.80	c  N st    10     11301       386      1696         0      4421      5180     62431   no data   no data  --
0.00/0.80	c  N st    11     17044       386      1696         0     10026      5180    171319   no data   no data  --
0.00/1.00	c  F st    12     25001       386      1696         0     12279      5180    207656   no data   no data  --
0.00/1.00	c  N st    12     25001       386      1696         0     12279      5180    207656   no data   no data  --
4.61/1.20	c Decided on static restart strategy
4.61/1.20	c  N st    18     30001       386      1696         0     10576      5180    163461   no data   no data  --
4.61/1.20	c  S st    18     30001       386      1696         0     10576      5180    163461   no data   no data  --
4.61/1.23	c  S st    18     30507       386      1696         0     11080      5180    173339   no data   no data  --
4.61/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.61/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.61/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.92/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.92/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.92/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4.92/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.58/1.40	c lits-rem:       473  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.64 s
5.58/1.41	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.04
5.58/1.41	c calculated reachability. Time: 0.00
5.58/1.41	c  N st    18     30507       386      1696         0     10126      5180    155227   no data   no data  --
6.77/1.78	c  N st    20     37621       386      1696         0      9393      5180    125418   no data   no data  --
8.40/2.13	c  N st    21     44020       386      1696         0     15582      5180    237618   no data   no data  --
8.77/2.26	c  S st    22     45761       386      1696         0     17276      5180    272025   no data   no data  --
9.17/2.30	c  S st    22     46265       386      1696         0      9111      5180    109906   no data   no data  --
9.17/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.17/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.17/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
9.17/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.36	c lits-rem:        27  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.20 s
9.17/2.36	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c vivif2 --  cl tried     8885 cl shrink        0 lits rem          0 time: 0.00
9.17/2.37	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
9.17/2.37	c calculated reachability. Time: 0.00
9.17/2.37	c  N st    22     46265       386      1696         0      8885      5180    106298   no data   no data  --
12.78/3.22	c  N st    23     60662       386      1696         0     13125      5180    182701   no data   no data  --
15.17/3.82	c  N st    24     69397       386      1696         0     10941      5180    130984   no data   no data  --
15.17/3.82	c  S st    24     69397       386      1696         0     10941      5180    130984   no data   no data  --
15.17/3.85	c  S st    24     69902       386      1696         0     11445      5180    141126   no data   no data  --
15.17/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.17/3.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.17/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.17/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.17/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.17/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
15.17/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.57/3.98	c lits-rem:        34  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.48 s
15.57/3.98	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.57/3.98	c vivif2 --  cl tried    11168 cl shrink        0 lits rem          0 time: 0.00
15.57/3.99	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.04
15.57/3.99	c calculated reachability. Time: 0.00
15.57/3.99	c  N st    24     69902       386      1696         0     11168      5180    135793   no data   no data  --
20.35/5.14	c  F st    25     87501       386      1696         0     16660      5180    241154   no data   no data  --
20.35/5.14	c  N st    25     87501       386      1696         0     16660      5180    241154   no data   no data  --
21.58/5.49	c Decided on static restart strategy
22.75/5.71	c  N st    32     95539       386      1696         0     24499      5180    397308   no data   no data  --
25.15/6.35	c  N st    34    104855       386      1696         0     20943      5180    319630   no data   no data  --
25.15/6.35	c  S st    34    104855       386      1696         0     20943      5180    319630   no data   no data  --
25.57/6.41	c  S st    34    105358       386      1696         0     21445      5180    329540   no data   no data  --
25.57/6.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.57/6.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.57/6.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
25.57/6.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.57/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.57/6.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.57/6.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.35/7.17	c lits-rem:       525  cl-subs:     1047  v-elim:      0  v-fix:    0  time:  2.93 s
28.35/7.17	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
28.35/7.17	c vivif2 --  cl tried    20398 cl shrink        0 lits rem          0 time: 0.01
28.35/7.18	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
28.35/7.18	c calculated reachability. Time: 0.00
28.35/7.18	c  N st    34    105358       386      1696         0     20398      5180    307624   no data   no data  --
31.94/8.07	c  N st    35    114956       386      1696         0     16129      5180    198449   no data   no data  --
36.73/9.24	c  N st    36    129356       386      1696         0     15478      5180    172284   no data   no data  --
43.55/10.95	c  N st    37    150951       386      1696         0     20870      5180    256642   no data   no data  --
45.92/11.55	c  S st    38    158037       386      1696         0     27722      5180    382370   no data   no data  --
46.32/11.62	c  S st    38    158541       386      1696         0     28225      5180    392578   no data   no data  --
46.32/11.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.32/11.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.32/11.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.32/11.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.32/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
46.32/11.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.12/12.85	c lits-rem:       988  cl-subs:     2890  v-elim:      0  v-fix:    0  time:  4.83 s
51.12/12.85	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
51.12/12.86	c vivif2 --  cl tried    25335 cl shrink        0 lits rem          0 time: 0.01
51.12/12.88	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.08
51.12/12.88	c calculated reachability. Time: 0.00
51.12/12.88	c  N st    38    158541       386      1696         0     25335      5180    346236   no data   no data  --
69.91/17.54	c  N st    39    207129       386      1696         0     20196      5180    225839   no data   no data  --
81.47/20.49	c  N st    40    237812       386      1696         0     30538      5180    405423   no data   no data  --
81.47/20.49	c  S st    40    237812       386      1696         0     30538      5180    405423   no data   no data  --
81.87/20.57	c  S st    40    238315       386      1696         0     31040      5180    414850   no data   no data  --
81.87/20.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.87/20.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.87/20.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
81.87/20.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.87/20.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
81.87/20.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.49/21.97	c lits-rem:       610  cl-subs:     2410  v-elim:      0  v-fix:    0  time:  5.52 s
87.49/21.97	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
87.49/21.98	c vivif2 --  cl tried    28630 cl shrink        0 lits rem          0 time: 0.02
87.87/22.00	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.09
87.87/22.00	c calculated reachability. Time: 0.00
87.87/22.00	c  N st    40    238315       386      1696         0     28630      5180    374832   no data   no data  --
117.03/29.35	c  F st    41    306253       386      1696         0     30525      5180    384574   no data   no data  --
117.03/29.35	c  N st    41    306253       386      1696         0     30525      5180    384574   no data   no data  --
119.42/29.95	c Decided on static restart strategy
130.21/32.60	c  N st    51    334558       386      1696         0     34844      5180    466275   no data   no data  --
140.22/35.14	c  N st    53    357472       386      1696         0     32801      5180    415221   no data   no data  --
140.22/35.14	c  S st    53    357472       386      1696         0     32801      5180    415221   no data   no data  --
140.59/35.24	c  S st    53    357975       386      1696         0     33299      5180    425497   no data   no data  --
140.59/35.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
140.59/35.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.59/35.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
140.59/35.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.59/35.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.59/35.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
140.59/35.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
146.18/36.66	c lits-rem:       510  cl-subs:     1487  v-elim:      0  v-fix:    0  time:  5.58 s
146.18/36.66	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
146.18/36.66	c vivif2 --  cl tried    31812 cl shrink        0 lits rem          0 time: 0.02
146.18/36.69	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
146.18/36.69	c calculated reachability. Time: 0.00
146.18/36.69	c  N st    53    357975       386      1696         0     31812      5180    394617   no data   no data  --
161.78/40.56	c  N st    54    390367       386      1696         0     37903      5180    490435   no data   no data  --
187.33/46.93	c  N st    55    438956       386      1696         0     31657      5180    333507   no data   no data  --
226.07/56.63	c  N st    56    511838       386      1696         0     44988      5180    568669   no data   no data  --
240.06/60.16	c  N st    57    536967       386      1696         0     39345      5180    462244   no data   no data  --
240.06/60.16	c  S st    57    536967       386      1696         0     39345      5180    462244   no data   no data  --
240.46/60.26	c  S st    57    537468       386      1696         0     39841      5180    472640   no data   no data  --
240.46/60.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
240.46/60.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
240.46/60.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
240.46/60.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.46/60.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.46/60.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
240.46/60.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.85/61.81	c lits-rem:      1057  cl-subs:     1626  v-elim:      0  v-fix:    0  time:  6.05 s
246.85/61.81	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
246.85/61.81	c vivif2 --  cl tried    38215 cl shrink        0 lits rem          0 time: 0.02
246.85/61.84	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.13
246.85/61.85	c calculated reachability. Time: 0.00
246.85/61.85	c  N st    57    537468       386      1696         0     38215      5180    445058   no data   no data  --
338.32/84.77	c  N st    58    701454       386      1696         0     67254      5180    993392   no data   no data  --
405.43/101.55	c  N st    59    806203       386      1696         0     61155      5180    814018   no data   no data  --
405.43/101.55	c  S st    59    806203       386      1696         0     61155      5180    814018   no data   no data  --
406.23/101.76	c  S st    59    806710       386      1696         0     61660      5180    824383   no data   no data  --
406.23/101.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
406.23/101.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
406.23/101.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
406.63/101.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
406.63/101.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
406.63/101.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
406.63/101.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
420.22/105.26	c lits-rem:      4633  cl-subs:     6333  v-elim:      0  v-fix:    0  time: 13.72 s
420.22/105.26	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
420.22/105.27	c vivif2 --  cl tried    55327 cl shrink        0 lits rem          0 time: 0.04
420.62/105.33	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.25
420.62/105.33	c calculated reachability. Time: 0.00
420.62/105.33	c  N st    59    806710       386      1696         0     55327      5180    709812   no data   no data  --
611.96/153.21	c  F st    60   1071875       386      1696         0     70940      5180    927380   no data   no data  --
611.96/153.21	c  N st    60   1071875       386      1696         0     70940      5180    927380   no data   no data  --
617.15/154.56	c Decided on static restart strategy
635.53/159.11	c  N st    70   1100185       386      1696         0     55050      5180    624842   no data   no data  --
667.50/167.14	c  N st    72   1136177       386      1696         0     45440      5180    414769   no data   no data  --
691.85/173.25	c  N st    73   1168569       386      1696         0     76697      5180   1035382   no data   no data  --
728.62/182.47	c  N st    74   1210067       386      1696         0     71522      5180    949309   no data   no data  --
728.62/182.47	c  S st    74   1210067       386      1696         0     71522      5180    949309   no data   no data  --
729.80/182.71	c  S st    74   1210573       386      1696         0     72028      5180    959934   no data   no data  --
729.80/182.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
729.80/182.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
729.80/182.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
729.80/182.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
729.80/182.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
729.80/182.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
729.80/182.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
744.18/186.33	c lits-rem:      2800  cl-subs:     4133  v-elim:      0  v-fix:    0  time: 14.18 s
744.18/186.33	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
744.18/186.34	c vivif2 --  cl tried    67895 cl shrink        0 lits rem          0 time: 0.05
744.58/186.42	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.32
744.58/186.42	c calculated reachability. Time: 0.00
744.58/186.42	c  N st    74   1210573       386      1696         0     67895      5180    881299   no data   no data  --
814.49/203.95	c  N st    75   1283455       386      1696         0     91866      5180   1338534   no data   no data  --
913.57/228.72	c  N st    76   1392779       386      1696         0     52500      5180    496592   no data   no data  --
1068.94/267.61	c  N st    77   1556764       386      1696         0     57223      5180    563573   no data   no data  --
1221.53/305.88	c  N st    78   1710573       386      1696         0     98140      5180   1272418   no data   no data  --
1221.53/305.88	c  S st    78   1710573       386      1696         0     98140      5180   1272418   no data   no data  --
1223.13/306.21	c  S st    78   1711075       386      1696         0     98640      5180   1282842   no data   no data  --
1223.13/306.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1223.13/306.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1223.13/306.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1223.54/306.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1223.54/306.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1223.54/306.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1223.54/306.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1258.29/315.01	c lits-rem:       530  cl-subs:    14223  v-elim:      0  v-fix:    0  time: 34.79 s
1258.29/315.01	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1258.29/315.03	c vivif2 --  cl tried    84417 cl shrink        0 lits rem          0 time: 0.06
1258.69/315.17	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.58
1258.69/315.18	c calculated reachability. Time: 0.00
1258.69/315.18	c  N st    78   1711075       386      1696         0     84417      5180   1053283   no data   no data  --
1652.96/413.86	c  N st    79   2080041       386      1696         0     96541      5180   1197425   no data   no data  --
1793.17/448.96	c  N st    80   2211076       386      1696         0    100429      5180   1247149   no data   no data  --
1793.17/448.96	c  S st    80   2211076       386      1696         0    100429      5180   1247149   no data   no data  --
1794.77/449.30	c  S st    80   2211576       386      1696         0    100926      5180   1257358   no data   no data  --
1794.77/449.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1794.77/449.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1794.77/449.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1794.77/449.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1794.77/449.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1794.77/449.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1794.77/449.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1824.73/456.82	c lits-rem:      1865  cl-subs:    12038  v-elim:      0  v-fix:    0  time: 29.65 s
1824.73/456.82	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1824.73/456.83	c vivif2 --  cl tried    88888 cl shrink        0 lits rem          0 time: 0.06
1825.13/456.95	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.48
1825.13/456.96	c calculated reachability. Time: 0.00
1825.13/456.96	c  N st    80   2211576       386      1696         0     88888      5180   1061937   no data   no data  --
2387.57/597.77	c  N st    81   2711577       386      1696         0    112208      5180   1401852   no data   no data  --
2387.57/597.77	c  S st    81   2711577       386      1696         0    112208      5180   1401852   no data   no data  --
2389.17/598.16	c  S st    81   2712081       386      1696         0    112712      5180   1412447   no data   no data  --
2389.17/598.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2389.17/598.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2389.59/598.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
2389.59/598.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2389.59/598.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2389.59/598.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2389.59/598.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2422.33/606.46	c lits-rem:       270  cl-subs:    12435  v-elim:      0  v-fix:    0  time: 32.68 s
2422.33/606.46	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2422.33/606.48	c vivif2 --  cl tried   100277 cl shrink        0 lits rem          0 time: 0.07
2423.12/606.62	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.57
2423.12/606.62	c calculated reachability. Time: 0.00
2423.12/606.62	c  N st    81   2712081       386      1696         0    100277      5180   1217428   no data   no data  --
3049.10/763.32	c  N st    82   3212083       386      1696         0     76631      5180    679066   no data   no data  --
3049.10/763.32	c  S st    82   3212083       386      1696         0     76631      5180    679066   no data   no data  --
3049.88/763.56	c  S st    82   3212587       386      1696         0     77134      5180    689573   no data   no data  --
3049.88/763.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3049.88/763.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3050.28/763.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3050.28/763.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3050.28/763.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3050.28/763.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3050.28/763.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3059.07/765.87	c lits-rem:       242  cl-subs:      604  v-elim:      0  v-fix:    0  time:  8.99 s
3059.07/765.87	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3059.07/765.88	c vivif2 --  cl tried    76530 cl shrink        0 lits rem          0 time: 0.04
3059.47/765.97	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.35
3059.47/765.98	c calculated reachability. Time: 0.00
3059.47/765.98	c  N st    82   3212587       386      1696         0     76530      5180    680538   no data   no data  --
3691.82/924.28	c  N st    83   3712587       386      1696         0     87261      5180    815304   no data   no data  --
3691.82/924.28	c  S st    83   3712587       386      1696         0     87261      5180    815304   no data   no data  --
3693.02/924.58	c  S st    83   3713088       386      1696         0     87758      5180    825389   no data   no data  --
3693.02/924.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3693.02/924.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3693.42/924.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
3693.42/924.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3693.42/924.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3693.42/924.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3693.42/924.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3705.80/927.72	c lits-rem:       798  cl-subs:     2056  v-elim:      0  v-fix:    0  time: 12.26 s
3705.80/927.72	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3705.80/927.73	c vivif2 --  cl tried    85702 cl shrink        0 lits rem          0 time: 0.05
3706.20/927.84	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.44
3706.20/927.84	c calculated reachability. Time: 0.00
3706.20/927.84	c  N st    83   3713088       386      1696         0     85702      5180    795566   no data   no data  --
3756.56/940.44	c  F st    84   3751564       386      1696         0    122548      5180   1498199   no data   no data  --
3756.56/940.44	c  N st    84   3751564       386      1696         0    122548      5180   1498199   no data   no data  --
3764.53/942.43	c Decided on static restart strategy
3798.48/950.99	c  N st    94   3779868       386      1696         0    149834      5180   2042190   no data   no data  --
3848.43/963.45	c  N st    96   3815861       386      1696         0    103033      5180   1156790   no data   no data  --
3893.15/974.64	c  N st    97   3848253       386      1696         0    134268      5180   1764536   no data   no data  --
3969.84/993.84	c  N st    98   3896842       386      1696         0     98271      5180   1001468   no data   no data  --
4088.10/1023.43	c  N st    99   3969725       386      1696         0     84718      5180    738546   no data   no data  --
4225.11/1057.71	c  N st   100   4079049       386      1696         0    105515      5180   1167209   no data   no data  --
4386.09/1098.04	c  N st   101   4213088       386      1696         0    148918      5180   2057328   no data   no data  --
4386.09/1098.04	c  S st   101   4213088       386      1696         0    148918      5180   2057328   no data   no data  --
4388.49/1098.67	c  S st   101   4213590       386      1696         0    149419      5180   2067577   no data   no data  --
4388.49/1098.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4388.49/1098.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4388.91/1098.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.32
4389.31/1098.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4389.31/1098.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4389.31/1098.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4389.31/1098.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4474.38/1120.14	c lits-rem:       277  cl-subs:    14199  v-elim:      0  v-fix:    0  time: 85.10 s
4474.38/1120.14	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
4474.38/1120.17	c vivif2 --  cl tried   135220 cl shrink        0 lits rem          0 time: 0.10
4475.18/1120.37	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.82
4475.18/1120.38	c calculated reachability. Time: 0.00
4475.18/1120.38	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: 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-3175292-1304107969/watcher-3175292-1304107969 -o /tmp/evaluation-result-3175292-1304107969/solver-3175292-1304107969 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175292-1304107969.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=284916 CPUtime=3.8 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 5076 0 0 0 380 0 0 0 19 0 4 0 522395091 291753984 2876 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 71229 2876 394 112 0 66194 0
[pid=24562/tid=24564] ppid=24558 vsize=284916 CPUtime=0.95 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1226 0 0 0 95 0 0 0 19 0 4 0 522395092 291753984 2876 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=284916 CPUtime=0.95 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1177 0 0 0 95 0 0 0 19 0 4 0 522395092 291753984 2876 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=284916 CPUtime=0.95 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1016 0 0 0 95 0 0 0 19 0 4 0 522395092 291753984 2876 33554432000 4194304 4650419 140733772141184 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+1.05859 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=276480 CPUtime=4.21 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 5833 0 0 0 420 1 0 0 19 0 4 0 522395091 283115520 2550 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 69120 2550 394 112 0 64085 0
[pid=24562/tid=24564] ppid=24558 vsize=276480 CPUtime=1.05 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1404 0 0 0 105 0 0 0 19 0 4 0 522395092 283115520 2550 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=276480 CPUtime=1.04 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1346 0 0 0 104 0 0 0 19 0 4 0 522395092 283115520 2550 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=276480 CPUtime=1.05 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1196 0 0 0 105 0 0 0 19 0 4 0 522395092 283115520 2550 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 276480

[startup+1.15857 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=276480 CPUtime=4.61 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 6026 0 0 0 460 1 0 0 19 0 4 0 522395091 283115520 2743 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 69120 2743 394 112 0 64085 0
[pid=24562/tid=24564] ppid=24558 vsize=276480 CPUtime=1.15 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1452 0 0 0 115 0 0 0 19 0 4 0 522395092 283115520 2743 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=276480 CPUtime=1.14 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1396 0 0 0 114 0 0 0 19 0 4 0 522395092 283115520 2743 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=276480 CPUtime=1.15 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1245 0 0 0 115 0 0 0 19 0 4 0 522395092 283115520 2743 33554432000 4194304 4650419 140733772141184 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 276480

[startup+1.23659 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=276480 CPUtime=4.92 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 6201 0 0 0 491 1 0 0 19 0 4 0 522395091 283115520 2916 33554432000 4194304 4650419 140733772141184 18446744073709551615 232335935671 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 69120 2916 395 112 0 64085 0
[pid=24562/tid=24564] ppid=24558 vsize=276480 CPUtime=1.23 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1482 0 0 0 123 0 0 0 19 0 4 0 522395092 283115520 2916 33554432000 4194304 4650419 140733772141184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=276480 CPUtime=1.22 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1440 0 0 0 122 0 0 0 19 0 4 0 522395092 283115520 2916 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=276480 CPUtime=1.23 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1279 0 0 0 123 0 0 0 19 0 4 0 522395092 283115520 2916 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 276480

[startup+1.30055 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=276480 CPUtime=5.18 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 7307 0 0 0 517 1 0 0 19 0 4 0 522395091 283115520 4022 33554432000 4194304 4650419 140733772141184 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 69120 4022 395 112 0 64085 0
[pid=24562/tid=24564] ppid=24558 vsize=276480 CPUtime=1.29 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1504 0 0 0 129 0 0 0 19 0 4 0 522395092 283115520 4022 33554432000 4194304 4650419 140733772141184 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=276480 CPUtime=1.29 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1466 0 0 0 129 0 0 0 19 0 4 0 522395092 283115520 4022 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=276480 CPUtime=1.29 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1304 0 0 0 129 0 0 0 19 0 4 0 522395092 283115520 4022 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 276480

[startup+1.50051 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371720/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=277032 CPUtime=5.98 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 7938 0 0 0 597 1 0 0 20 0 4 0 522395091 283680768 3980 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 69258 3980 395 112 0 64223 0
[pid=24562/tid=24564] ppid=24558 vsize=277032 CPUtime=1.49 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1757 0 0 0 149 0 0 0 20 0 4 0 522395092 283680768 3980 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=277032 CPUtime=1.49 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1704 0 0 0 149 0 0 0 20 0 4 0 522395092 283680768 3981 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=277032 CPUtime=1.49 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 1384 0 0 0 149 0 0 0 20 0 4 0 522395092 283680768 3981 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 277032

[startup+3.10022 s]
/proc/loadavg: 7.22 7.96 8.10 10/188 24570
/proc/meminfo: memFree=25293344/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=284616 CPUtime=12.38 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 14894 0 0 0 1236 2 0 0 25 0 4 0 522395091 291446784 8407 33554432000 4194304 4650419 140733772141184 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 71154 8407 395 112 0 66119 0
[pid=24562/tid=24564] ppid=24558 vsize=284616 CPUtime=3.09 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 3589 0 0 0 309 0 0 0 25 0 4 0 522395092 291446784 8407 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=284616 CPUtime=3.1 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 3902 0 0 0 309 1 0 0 25 0 4 0 522395092 291446784 8407 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=284616 CPUtime=3.09 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 3278 0 0 0 309 0 0 0 25 0 4 0 522395092 291446784 8407 33554432000 4194304 4650419 140733772141184 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 284616

[startup+6.30066 s]
/proc/loadavg: 7.36 7.98 8.10 10/188 24570
/proc/meminfo: memFree=25266324/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=289332 CPUtime=25.15 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 22267 0 0 0 2511 4 0 0 25 0 4 0 522395091 296275968 11315 33554432000 4194304 4650419 140733772141184 18446744073709551615 4360522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 72333 11315 395 112 0 67298 0
[pid=24562/tid=24564] ppid=24558 vsize=289332 CPUtime=6.28 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 5963 0 0 0 628 0 0 0 25 0 4 0 522395092 296275968 11315 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366359 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=289332 CPUtime=6.28 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 6203 0 0 0 627 1 0 0 25 0 4 0 522395092 296275968 11315 33554432000 4194304 4650419 140733772141184 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=289332 CPUtime=6.28 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 4614 0 0 0 628 0 0 0 25 0 4 0 522395092 296275968 11315 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289332

[startup+12.7005 s]
/proc/loadavg: 7.41 7.98 8.10 10/188 24570
/proc/meminfo: memFree=25219480/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=290024 CPUtime=50.72 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 34297 0 0 0 5065 7 0 0 25 0 4 0 522395091 296984576 16137 33554432000 4194304 4650419 140733772141184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 72506 16137 395 112 0 67471 0
[pid=24562/tid=24564] ppid=24558 vsize=290024 CPUtime=12.69 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 8742 0 0 0 1268 1 0 0 25 0 4 0 522395092 296984576 16137 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=290024 CPUtime=12.69 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 9062 0 0 0 1267 2 0 0 25 0 4 0 522395092 296984576 16137 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=290024 CPUtime=12.69 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 7271 0 0 0 1268 1 0 0 25 0 4 0 522395092 296984576 16137 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 290024

[startup+25.5003 s]
/proc/loadavg: 7.54 7.98 8.10 10/188 24570
/proc/meminfo: memFree=25172484/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=296340 CPUtime=101.84 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 50670 0 0 0 10172 12 0 0 25 0 4 0 522395091 303452160 20910 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 74085 20910 395 112 0 69050 0
[pid=24562/tid=24564] ppid=24558 vsize=296340 CPUtime=25.48 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 14525 0 0 0 2546 2 0 0 25 0 4 0 522395092 303452160 20910 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=296340 CPUtime=25.49 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 13911 0 0 0 2545 4 0 0 25 0 4 0 522395092 303452160 20910 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=296340 CPUtime=25.49 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 9582 0 0 0 2547 2 0 0 25 0 4 0 522395092 303452160 20910 33554432000 4194304 4650419 140733772141184 18446744073709551615 4328331 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 296340

[startup+51.1007 s]
/proc/loadavg: 7.70 7.98 8.10 10/188 24571
/proc/meminfo: memFree=25115372/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=303384 CPUtime=204.1 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 78683 0 0 0 20389 21 0 0 25 0 4 0 522395091 310665216 28627 33554432000 4194304 4650419 140733772141184 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 75846 28627 395 112 0 70811 0
[pid=24562/tid=24564] ppid=24558 vsize=303384 CPUtime=51.08 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 23240 0 0 0 5103 5 0 0 25 0 4 0 522395092 310665216 28627 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=303384 CPUtime=51.09 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 20979 0 0 0 5102 7 0 0 25 0 4 0 522395092 310665216 28627 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=303384 CPUtime=51.09 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 14292 0 0 0 5106 3 0 0 25 0 4 0 522395092 310665216 28627 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 303384

[startup+102.301 s]
/proc/loadavg: 7.97 8.01 8.10 10/188 24573
/proc/meminfo: memFree=25040948/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=305664 CPUtime=408.62 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 123265 0 0 0 40826 36 0 0 25 0 4 0 522395091 312999936 33089 33554432000 4194304 4650419 140733772141184 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 76416 33089 395 112 0 71381 0
[pid=24562/tid=24564] ppid=24558 vsize=305664 CPUtime=102.28 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 34068 0 0 0 10221 7 0 0 25 0 4 0 522395092 312999936 33089 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=305664 CPUtime=102.29 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 32044 0 0 0 10218 11 0 0 25 0 4 0 522395092 312999936 33089 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=305664 CPUtime=102.29 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 24047 0 0 0 10222 7 0 0 25 0 4 0 522395092 312999936 33089 33554432000 4194304 4650419 140733772141184 18446744073709551615 4438646 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 305664

[startup+162.301 s]

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

[pid=24562] ppid=24558 vsize=484904 CPUtime=2805.42 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 405516 0 0 0 280379 163 0 0 25 0 4 0 522395091 496541696 79556 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 121226 79556 395 112 0 116191 0
[pid=24562/tid=24564] ppid=24558 vsize=484904 CPUtime=702.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 120060 0 0 0 70185 45 0 0 25 0 4 0 522395092 496541696 79556 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=484904 CPUtime=702.3 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 101443 0 0 0 70187 43 0 0 25 0 4 0 522395092 496541696 79556 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=484904 CPUtime=702.3 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 75957 0 0 0 70198 32 0 0 25 0 4 0 522395092 496541696 79556 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 484904

[startup+762.3 s]
/proc/loadavg: 8.29 8.19 8.13 10/188 24590
/proc/meminfo: memFree=24662280/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=472856 CPUtime=3045.09 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 420370 0 0 0 304338 171 0 0 25 0 4 0 522395091 484204544 79636 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 118214 79636 395 112 0 113179 0
[pid=24562/tid=24564] ppid=24558 vsize=472856 CPUtime=762.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 123063 0 0 0 76183 47 0 0 25 0 4 0 522395092 484204544 79636 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=472856 CPUtime=762.3 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 107820 0 0 0 76184 46 0 0 25 0 4 0 522395092 484204544 79636 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=472856 CPUtime=762.3 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 78002 0 0 0 76197 33 0 0 25 0 4 0 522395092 484204544 79636 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 472856

[startup+822.301 s]
/proc/loadavg: 8.25 8.20 8.13 10/188 24592
/proc/meminfo: memFree=24657916/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=485396 CPUtime=3284.77 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 435012 0 0 0 328298 179 0 0 25 0 4 0 522395091 497045504 77349 33554432000 4194304 4650419 140733772141184 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 121349 77349 395 112 0 116314 0
[pid=24562/tid=24564] ppid=24558 vsize=485396 CPUtime=822.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 126187 0 0 0 82181 49 0 0 25 0 4 0 522395092 497045504 77349 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365657 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=485396 CPUtime=822.31 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 110495 0 0 0 82183 48 0 0 25 0 4 0 522395092 497045504 77349 33554432000 4194304 4650419 140733772141184 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=485396 CPUtime=822.31 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 80380 0 0 0 82196 35 0 0 25 0 4 0 522395092 497045504 77349 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 485396

[startup+882.301 s]
/proc/loadavg: 8.30 8.22 8.14 10/188 24593
/proc/meminfo: memFree=24666444/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=485528 CPUtime=3524.45 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 450829 0 0 0 352258 187 0 0 25 0 4 0 522395091 497180672 82706 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 121382 82706 395 112 0 116347 0
[pid=24562/tid=24564] ppid=24558 vsize=485528 CPUtime=882.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 128781 0 0 0 88180 50 0 0 25 0 4 0 522395092 497180672 82706 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=485528 CPUtime=882.31 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 114398 0 0 0 88180 51 0 0 25 0 4 0 522395092 497180672 82706 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=485528 CPUtime=882.31 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 83842 0 0 0 88195 36 0 0 25 0 4 0 522395092 497180672 82706 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 485528

[startup+942.301 s]
/proc/loadavg: 8.18 8.20 8.14 10/188 24595
/proc/meminfo: memFree=24604660/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=489964 CPUtime=3764.13 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 467448 0 0 0 376216 197 0 0 25 0 4 0 522395091 501723136 79152 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 122491 79152 395 112 0 117456 0
[pid=24562/tid=24564] ppid=24558 vsize=489964 CPUtime=942.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 131641 0 0 0 94178 52 0 0 25 0 4 0 522395092 501723136 79152 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=489964 CPUtime=942.3 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 120611 0 0 0 94177 53 0 0 25 0 4 0 522395092 501723136 79152 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=489964 CPUtime=942.31 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 86078 0 0 0 94194 37 0 0 25 0 4 0 522395092 501723136 79152 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 489964

[startup+1002.3 s]
/proc/loadavg: 8.31 8.23 8.15 10/188 24597
/proc/meminfo: memFree=24618632/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=490196 CPUtime=4003.8 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 485624 0 0 0 400175 205 0 0 25 0 4 0 522395091 501960704 81037 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 122549 81037 395 112 0 117514 0
[pid=24562/tid=24564] ppid=24558 vsize=490196 CPUtime=1002.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 136453 0 0 0 100176 54 0 0 25 0 4 0 522395092 501960704 81037 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=490196 CPUtime=1002.31 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 126141 0 0 0 100175 56 0 0 25 0 4 0 522395092 501960704 81037 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=490196 CPUtime=1002.32 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 88504 0 0 0 100194 38 0 0 25 0 4 0 522395092 501960704 81037 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 490196

[startup+1062.3 s]
/proc/loadavg: 8.15 8.20 8.15 11/188 24598
/proc/meminfo: memFree=24530440/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=490380 CPUtime=4243.48 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 504111 0 0 0 424133 215 0 0 25 0 4 0 522395091 502149120 88036 33554432000 4194304 4650419 140733772141184 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 122595 88036 395 112 0 117560 0
[pid=24562/tid=24564] ppid=24558 vsize=490380 CPUtime=1062.3 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 138768 0 0 0 106174 56 0 0 25 0 4 0 522395092 502149120 88036 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=490380 CPUtime=1062.31 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 130535 0 0 0 106172 59 0 0 25 0 4 0 522395092 502149120 88036 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=490380 CPUtime=1062.31 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 94424 0 0 0 106192 39 0 0 25 0 4 0 522395092 502149120 88036 33554432000 4194304 4650419 140733772141184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 490380

[startup+1122.3 s]
/proc/loadavg: 8.39 8.24 8.16 10/188 24600
/proc/meminfo: memFree=24509704/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=490516 CPUtime=4483.16 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 522384 0 0 0 448093 223 0 0 25 0 4 0 522395091 502288384 87863 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 122629 87863 395 112 0 117594 0
[pid=24562/tid=24564] ppid=24558 vsize=490516 CPUtime=1122.31 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 140278 0 0 0 112174 57 0 0 25 0 4 0 522395092 502288384 87863 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=490516 CPUtime=1122.32 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 135970 0 0 0 112170 62 0 0 25 0 4 0 522395092 502288384 87863 33554432000 4194304 4650419 140733772141184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=490516 CPUtime=1122.32 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 98757 0 0 0 112190 42 0 0 25 0 4 0 522395092 502288384 87863 33554432000 4194304 4650419 140733772141184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 490516

[startup+1182.3 s]
/proc/loadavg: 8.25 8.22 8.16 10/188 24601
/proc/meminfo: memFree=24487984/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=491772 CPUtime=4722.87 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 536484 0 0 0 472054 233 0 0 25 0 4 0 522395091 503574528 91969 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 122943 91969 395 112 0 117908 0
[pid=24562/tid=24564] ppid=24558 vsize=491772 CPUtime=1182.32 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 144454 0 0 0 118173 59 0 0 25 0 4 0 522395092 503574528 91969 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=491772 CPUtime=1182.32 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 138731 0 0 0 118168 64 0 0 25 0 4 0 522395092 503574528 91969 33554432000 4194304 4650419 140733772141184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=491772 CPUtime=1182.32 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 101852 0 0 0 118187 45 0 0 25 0 4 0 522395092 503574528 91969 33554432000 4194304 4650419 140733772141184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 491772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.21 8.16 10/188 24602
/proc/meminfo: memFree=24470484/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=480332 CPUtime=4800.35 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 540824 0 0 0 479800 235 0 0 25 0 4 0 522395091 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4313443 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 120083 93035 395 112 0 115048 0
[pid=24562/tid=24564] ppid=24558 vsize=480332 CPUtime=1201.71 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 146559 0 0 0 120111 60 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=480332 CPUtime=1201.72 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 140069 0 0 0 120108 64 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=480332 CPUtime=1201.72 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 102646 0 0 0 120127 45 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 480332

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.18 8.21 8.16 10/188 24602
/proc/meminfo: memFree=24470484/32951124 swapFree=67111524/67111528
[pid=24562] ppid=24558 vsize=480332 CPUtime=4800.35 cores=1,3,5,7
/proc/24562/stat : 24562 (strangenight1-m) R 24558 24562 24228 0 -1 4202496 540824 0 0 0 479800 235 0 0 25 0 4 0 522395091 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4313443 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24562/statm: 120083 93035 395 112 0 115048 0
[pid=24562/tid=24564] ppid=24558 vsize=480332 CPUtime=1201.71 cores=1,3,5,7
/proc/24562/task/24564/stat : 24564 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 146559 0 0 0 120111 60 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24562/tid=24566] ppid=24558 vsize=480332 CPUtime=1201.72 cores=1,3,5,7
/proc/24562/task/24566/stat : 24566 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 140069 0 0 0 120108 64 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24562/tid=24567] ppid=24558 vsize=480332 CPUtime=1201.72 cores=1,3,5,7
/proc/24562/task/24567/stat : 24567 (strangenight1-m) R 24558 24562 24228 0 -1 4202560 102646 0 0 0 120127 45 0 0 25 0 4 0 522395092 491859968 93035 33554432000 4194304 4650419 140733772141184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 480332

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4798.03
CPU system time (s): 2.37064
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 562164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.37064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540825
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= 373
involuntary context switches= 37556

runsolver used 1.88971 second user time and 4.67829 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 22:12:49
IDJOB=3175292
IDBENCH=82910
IDSOLVER=1588
FILE ID=node132/3175292-1304107969
RUNJOBID= node132-1304107969-24544
PBS_JOBID= 13170650
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= 737aa440f80cd8be0050a0f138c79eb6
RANDOM SEED=1628128423

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:      25372404 kB
Buffers:        775532 kB
Cached:        6241184 kB
SwapCached:          4 kB
Active:        2097076 kB
Inactive:      4983884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25372404 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64076 kB
Mapped:          14508 kB
Slab:           436116 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 22:32:53