Trace number 3368763

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
MD5SUM7d7bac8ccb8010e4eec020bc5c53d758
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368763-1305402543.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     178 undec:      53 neg:     169
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       389      1695         0         0      5136         0   no data   no data  --
0.36/0.11	c Decided on static restart strategy
0.76/0.21	c  N st     8      4915       389      1695         0      4773      5136     93305   no data   no data  --
1.16/0.37	c  N st    10     11297       389      1695         0      4415      5136     63239   no data   no data  --
2.36/0.61	c  N st    11     17040       389      1695         0      9991      5136    170988   no data   no data  --
3.57/0.98	c  F st    12     25000       389      1695         0     12239      5136    219919   no data   no data  --
3.57/0.98	c  N st    12     25000       389      1695         0     12239      5136    219919   no data   no data  --
4.75/1.22	c Decided on static restart strategy
4.75/1.22	c  N st    18     30000       389      1695         0     10571      5136    169955   no data   no data  --
4.75/1.22	c  S st    18     30000       389      1695         0     10571      5136    169955   no data   no data  --
4.75/1.25	c  S st    18     30500       389      1695         0     11070      5136    179211   no data   no data  --
4.75/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.75/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.75/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.75/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.75/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4.75/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.42	c lits-rem:       235  cl-subs:      832  v-elim:      0  v-fix:    0  time:  0.65 s
5.55/1.43	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.03
5.55/1.43	c calculated reachability. Time: 0.00
5.55/1.43	c  N st    18     30500       389      1695         0     10238      5136    162814   no data   no data  --
7.15/1.81	c  N st    20     37611       389      1695         0      9504      5136    132563   no data   no data  --
8.37/2.18	c  N st    21     44010       389      1695         0     15739      5136    255003   no data   no data  --
9.13/2.31	c  S st    22     45752       389      1695         0     17443      5136    288197   no data   no data  --
9.13/2.35	c  S st    22     46255       389      1695         0      9246      5136    115632   no data   no data  --
9.13/2.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.13/2.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.13/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.13/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.13/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.13/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
9.13/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.53/2.41	c lits-rem:        39  cl-subs:      124  v-elim:      0  v-fix:    0  time:  0.24 s
9.53/2.41	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
9.53/2.41	c vivif2 --  cl tried     9122 cl shrink        0 lits rem          0 time: 0.01
9.53/2.42	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.03
9.53/2.42	c calculated reachability. Time: 0.00
9.53/2.42	c  N st    22     46255       389      1695         0      9122      5136    113558   no data   no data  --
12.75/3.25	c  N st    23     60652       389      1695         0     13417      5136    194327   no data   no data  --
15.52/3.90	c  N st    24     69382       389      1695         0     11225      5136    138113   no data   no data  --
15.52/3.90	c  S st    24     69382       389      1695         0     11225      5136    138113   no data   no data  --
15.52/3.93	c  S st    24     69885       389      1695         0     11725      5136    148200   no data   no data  --
15.52/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.52/3.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.52/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.52/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.52/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.52/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.52/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.06	c lits-rem:        75  cl-subs:      206  v-elim:      0  v-fix:    0  time:  0.51 s
15.92/4.06	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
15.92/4.07	c vivif2 --  cl tried    11519 cl shrink        0 lits rem          0 time: 0.01
15.92/4.07	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.03
15.92/4.07	c calculated reachability. Time: 0.00
15.92/4.07	c  N st    24     69885       389      1695         0     11519      5136    144024   no data   no data  --
21.11/5.34	c  F st    25     87500       389      1695         0     16901      5136    245133   no data   no data  --
21.11/5.34	c  N st    25     87500       389      1695         0     16901      5136    245133   no data   no data  --
22.70/5.74	c Decided on static restart strategy
23.49/5.97	c  N st    32     95544       389      1695         0     24753      5136    404856   no data   no data  --
25.91/6.58	c  N st    34    104827       389      1695         0     21187      5136    320332   no data   no data  --
25.91/6.58	c  S st    34    104827       389      1695         0     21187      5136    320332   no data   no data  --
26.33/6.63	c  S st    34    105330       389      1695         0     21689      5136    330844   no data   no data  --
26.33/6.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.33/6.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.33/6.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.33/6.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.33/6.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
26.33/6.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.08/7.33	c lits-rem:       308  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  2.73 s
29.08/7.33	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
29.08/7.34	c vivif2 --  cl tried    20357 cl shrink        0 lits rem          0 time: 0.02
29.08/7.35	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.06
29.08/7.35	c calculated reachability. Time: 0.00
29.08/7.35	c  N st    34    105330       389      1695         0     20357      5136    303318   no data   no data  --
32.27/8.17	c  N st    35    114931       389      1695         0     16111      5136    202283   no data   no data  --
37.45/9.46	c  N st    36    129330       389      1695         0     15529      5136    175846   no data   no data  --
44.63/11.23	c  N st    37    150925       389      1695         0     21014      5136    277351   no data   no data  --
47.03/11.83	c  S st    38    157995       389      1695         0     27907      5136    422549   no data   no data  --
47.03/11.90	c  S st    38    158496       389      1695         0     28405      5136    432435   no data   no data  --
47.43/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.43/11.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.43/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.43/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.43/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.43/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
47.43/11.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.23/13.17	c lits-rem:       318  cl-subs:     1291  v-elim:      0  v-fix:    0  time:  4.97 s
52.23/13.17	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
52.23/13.17	c vivif2 --  cl tried    27114 cl shrink        0 lits rem          0 time: 0.02
52.23/13.19	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.08
52.23/13.19	c calculated reachability. Time: 0.00
52.23/13.19	c  N st    38    158496       389      1695         0     27114      5136    406279   no data   no data  --
71.35/17.95	c  N st    39    207085       389      1695         0     21683      5136    261411   no data   no data  --
83.37/20.97	c  N st    40    237745       389      1695         0     31923      5136    454761   no data   no data  --
83.37/20.97	c  S st    40    237745       389      1695         0     31923      5136    454761   no data   no data  --
83.72/21.06	c  S st    40    238246       389      1695         0     32420      5136    464618   no data   no data  --
83.72/21.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
83.72/21.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.72/21.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
83.72/21.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.72/21.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.72/21.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
83.72/21.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.50/22.70	c lits-rem:       467  cl-subs:     3143  v-elim:      0  v-fix:    0  time:  6.46 s
90.50/22.70	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
90.50/22.70	c vivif2 --  cl tried    29277 cl shrink        0 lits rem          0 time: 0.02
90.50/22.73	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.09
90.50/22.73	c calculated reachability. Time: 0.00
90.50/22.73	c  N st    40    238246       389      1695         0     29277      5136    404593   no data   no data  --
120.41/30.27	c  F st    41    306252       389      1695         0     31359      5136    407025   no data   no data  --
120.41/30.27	c  N st    41    306252       389      1695         0     31359      5136    407025   no data   no data  --
123.20/30.93	c Decided on static restart strategy
133.97/33.68	c  N st    51    334560       389      1695         0     35600      5136    472475   no data   no data  --
144.35/36.24	c  N st    53    357371       389      1695         0     33464      5136    414838   no data   no data  --
144.35/36.24	c  S st    53    357371       389      1695         0     33464      5136    414838   no data   no data  --
144.78/36.32	c  S st    53    357871       389      1695         0     33963      5136    424838   no data   no data  --
144.78/36.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.78/36.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.78/36.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
144.78/36.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.78/36.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.78/36.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
144.78/36.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.92/37.67	c lits-rem:       460  cl-subs:     1824  v-elim:      0  v-fix:    0  time:  5.27 s
149.92/37.67	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
149.92/37.67	c vivif2 --  cl tried    32139 cl shrink        0 lits rem          0 time: 0.02
150.32/37.70	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.10
150.32/37.70	c calculated reachability. Time: 0.00
150.32/37.70	c  N st    53    357871       389      1695         0     32139      5136    392835   no data   no data  --
166.71/41.86	c  N st    54    390265       389      1695         0     38324      5136    501761   no data   no data  --
193.39/48.51	c  N st    55    438854       389      1695         0     32179      5136    354539   no data   no data  --
232.86/58.44	c  N st    56    511738       389      1695         0     45462      5136    596559   no data   no data  --
246.43/61.87	c  N st    57    536806       389      1695         0     39855      5136    490818   no data   no data  --
246.43/61.87	c  S st    57    536806       389      1695         0     39855      5136    490818   no data   no data  --
246.83/61.98	c  S st    57    537312       389      1695         0     40358      5136    500937   no data   no data  --
246.83/61.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
246.83/61.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.83/61.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
247.23/62.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.23/62.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.23/62.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
247.23/62.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
253.21/63.56	c lits-rem:       620  cl-subs:     1606  v-elim:      0  v-fix:    0  time:  6.20 s
253.21/63.56	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
253.21/63.57	c vivif2 --  cl tried    38752 cl shrink        0 lits rem          0 time: 0.02
253.61/63.60	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.13
253.61/63.60	c calculated reachability. Time: 0.00
253.61/63.60	c  N st    57    537312       389      1695         0     38752      5136    469753   no data   no data  --
363.29/91.10	c  N st    58    701296       389      1695         0     67467      5136   1013852   no data   no data  --
438.29/110.00	c  N st    59    805970       389      1695         0     61553      5136    840331   no data   no data  --
438.29/110.00	c  S st    59    805970       389      1695         0     61553      5136    840331   no data   no data  --
439.46/110.20	c  S st    59    806475       389      1695         0     62055      5136    850428   no data   no data  --
439.46/110.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.46/110.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.46/110.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
439.46/110.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.46/110.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.46/110.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
439.46/110.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
452.22/113.45	c lits-rem:       931  cl-subs:     5343  v-elim:      0  v-fix:    0  time: 12.71 s
452.22/113.45	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
452.22/113.46	c vivif2 --  cl tried    56712 cl shrink        0 lits rem          0 time: 0.04
452.62/113.52	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.24
452.62/113.52	c calculated reachability. Time: 0.00
452.62/113.52	c  N st    59    806475       389      1695         0     56712      5136    752114   no data   no data  --
648.86/162.76	c  F st    60   1071877       389      1695         0     72537      5136    988953   no data   no data  --
648.86/162.76	c  N st    60   1071877       389      1695         0     72537      5136    988953   no data   no data  --
655.23/164.31	c Decided on static restart strategy
676.36/169.68	c  N st    70   1100184       389      1695         0     56585      5136    646189   no data   no data  --
705.09/176.82	c  N st    72   1136177       389      1695         0     47063      5136    449294   no data   no data  --
730.21/183.11	c  N st    73   1168572       389      1695         0     78513      5136   1116623   no data   no data  --
761.72/191.04	c  N st    74   1209712       389      1695         0     72909      5136   1006810   no data   no data  --
761.72/191.04	c  S st    74   1209712       389      1695         0     72909      5136   1006810   no data   no data  --
762.52/191.30	c  S st    74   1210219       389      1695         0     73413      5136   1016919   no data   no data  --
762.52/191.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
762.52/191.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
762.94/191.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
762.94/191.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
762.94/191.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.94/191.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
762.94/191.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
778.46/195.29	c lits-rem:       745  cl-subs:     4460  v-elim:      0  v-fix:    0  time: 15.57 s
778.46/195.29	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
778.86/195.30	c vivif2 --  cl tried    68953 cl shrink        0 lits rem          0 time: 0.05
778.86/195.38	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.33
778.86/195.38	c calculated reachability. Time: 0.00
778.86/195.38	c  N st    74   1210219       389      1695         0     68953      5136    928442   no data   no data  --
840.28/210.74	c  N st    75   1283101       389      1695         0     92914      5136   1397095   no data   no data  --
940.38/235.86	c  N st    76   1392425       389      1695         0     53372      5136    510869   no data   no data  --
1090.35/273.47	c  N st    77   1556409       389      1695         0     58165      5136    572259   no data   no data  --
1228.38/308.08	c  N st    78   1710220       389      1695         0     99518      5136   1419482   no data   no data  --
1228.38/308.08	c  S st    78   1710220       389      1695         0     99518      5136   1419482   no data   no data  --
1229.53/308.38	c  S st    78   1710722       389      1695         0    100020      5136   1429694   no data   no data  --
1229.53/308.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1229.53/308.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1229.92/308.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1229.92/308.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1229.92/308.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1229.92/308.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1229.92/308.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1269.40/318.37	c lits-rem:       285  cl-subs:     9410  v-elim:      0  v-fix:    0  time: 39.40 s
1269.40/318.37	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
1269.40/318.39	c vivif2 --  cl tried    90610 cl shrink        0 lits rem          0 time: 0.07
1270.20/318.54	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.61
1270.20/318.55	c calculated reachability. Time: 0.00
1270.20/318.55	c  N st    78   1710722       389      1695         0     90610      5136   1262938   no data   no data  --
1646.27/412.86	c  N st    79   2079686       389      1695         0    102095      5136   1375757   no data   no data  --
1791.84/449.32	c  N st    80   2210722       389      1695         0    106374      5136   1483381   no data   no data  --
1791.84/449.32	c  S st    80   2210722       389      1695         0    106374      5136   1483381   no data   no data  --
1793.43/449.70	c  S st    80   2211224       389      1695         0    106870      5136   1494034   no data   no data  --
1793.43/449.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1793.43/449.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1793.43/449.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1793.85/449.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1793.85/449.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1793.85/449.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1793.85/449.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1829.71/458.89	c lits-rem:       257  cl-subs:    10611  v-elim:      0  v-fix:    0  time: 36.19 s
1829.71/458.89	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
1830.11/458.91	c vivif2 --  cl tried    96259 cl shrink        0 lits rem          0 time: 0.07
1830.50/459.04	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.51
1830.50/459.04	c calculated reachability. Time: 0.00
1830.50/459.04	c  N st    80   2211224       389      1695         0     96259      5136   1296199   no data   no data  --
2397.62/601.20	c  N st    81   2711224       389      1695         0    120010      5136   1662930   no data   no data  --
2397.62/601.20	c  S st    81   2711224       389      1695         0    120010      5136   1662930   no data   no data  --
2399.23/601.66	c  S st    81   2711729       389      1695         0    120514      5136   1673583   no data   no data  --
2399.23/601.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2399.23/601.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2399.66/601.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2399.66/601.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2399.66/601.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2399.66/601.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2399.66/601.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2447.07/613.62	c lits-rem:       661  cl-subs:    10237  v-elim:      0  v-fix:    0  time: 47.18 s
2447.07/613.62	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
2447.07/613.64	c vivif2 --  cl tried   110277 cl shrink        0 lits rem          0 time: 0.08
2447.49/613.80	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.65
2447.49/613.81	c calculated reachability. Time: 0.00
2447.49/613.81	c  N st    81   2711729       389      1695         0    110277      5136   1497870   no data   no data  --
3101.87/777.85	c  N st    82   3211730       389      1695         0     85679      5136    863245   no data   no data  --
3101.87/777.85	c  S st    82   3211730       389      1695         0     85679      5136    863245   no data   no data  --
3103.07/778.12	c  S st    82   3212235       389      1695         0     86184      5136    874039   no data   no data  --
3103.07/778.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3103.07/778.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3103.07/778.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3103.07/778.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3103.07/778.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3103.07/778.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3103.07/778.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3115.43/781.25	c lits-rem:       627  cl-subs:     2291  v-elim:      0  v-fix:    0  time: 12.19 s
3115.43/781.25	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
3115.43/781.27	c vivif2 --  cl tried    83893 cl shrink        0 lits rem          0 time: 0.05
3115.83/781.37	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.41
3115.83/781.37	c calculated reachability. Time: 0.00
3115.83/781.37	c  N st    82   3212235       389      1695         0     83893      5136    834875   no data   no data  --
3793.81/951.58	c  N st    83   3712235       389      1695         0     95033      5136    997536   no data   no data  --
3793.81/951.58	c  S st    83   3712235       389      1695         0     95033      5136    997536   no data   no data  --
3794.95/951.89	c  S st    83   3712736       389      1695         0     95531      5136   1008633   no data   no data  --
3795.35/951.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3795.35/951.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3795.35/951.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
3795.35/951.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3795.35/951.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3795.35/951.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3795.35/951.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3806.12/954.65	c lits-rem:        50  cl-subs:     3191  v-elim:      0  v-fix:    0  time: 10.65 s
3806.12/954.65	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
3806.12/954.66	c vivif2 --  cl tried    92340 cl shrink        0 lits rem          0 time: 0.06
3806.54/954.78	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.47
3806.54/954.78	c calculated reachability. Time: 0.00
3806.54/954.78	c  N st    83   3712736       389      1695         0     92340      5136    952196   no data   no data  --
3855.22/966.93	c  F st    84   3751565       389      1695         0    129773      5136   1757907   no data   no data  --
3855.22/966.93	c  N st    84   3751565       389      1695         0    129773      5136   1757907   no data   no data  --
3865.13/969.48	c Decided on static restart strategy
3913.40/981.58	c  N st    94   3779873       389      1695         0    157022      5136   2287206   no data   no data  --
3969.28/995.57	c  N st    96   3815867       389      1695         0    109955      5136   1248444   no data   no data  --
4019.47/1008.13	c  N st    97   3848259       389      1695         0    140959      5136   1843500   no data   no data  --
4095.25/1027.14	c  N st    98   3896847       389      1695         0    104966      5136   1174652   no data   no data  --
4211.68/1056.37	c  N st    99   3969729       389      1695         0     91418      5136    864853   no data   no data  --
4373.98/1097.08	c  N st   100   4079053       389      1695         0    111931      5136   1279411   no data   no data  --
4581.76/1149.16	c  N st   101   4212737       389      1695         0    154376      5136   2127769   no data   no data  --
4581.76/1149.16	c  S st   101   4212737       389      1695         0    154376      5136   2127769   no data   no data  --
4584.15/1149.78	c  S st   101   4213240       389      1695         0    154878      5136   2138250   no data   no data  --
4584.15/1149.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4584.15/1149.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4584.55/1149.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4584.95/1149.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4584.95/1149.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4584.95/1149.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4584.95/1149.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4706.21/1180.37	c lits-rem:      1489  cl-subs:    21405  v-elim:      0  v-fix:    0  time: 121.31 s
4706.21/1180.37	c vivif2 --  cl tried     1695 cl shrink        0 lits rem          0 time: 0.00
4706.21/1180.39	c vivif2 --  cl tried   133473 cl shrink        0 lits rem          0 time: 0.10
4707.36/1180.60	c asymm  cl-useful: 0/1695/1695 lits-rem:0 time: 0.83
4707.36/1180.61	c calculated reachability. Time: 0.00
4707.36/1180.61	c  N st   101   4213240       389      1695         0    133473      5136   1750442   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-3368763-1305402543/watcher-3368763-1305402543 -o /tmp/evaluation-result-3368763-1305402543/solver-3368763-1305402543 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368763-1305402543.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.54 8.01 8.00 1/365 17131
/proc/meminfo: memFree=22619780/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 651852069 52465664 357 33554432000 4194304 4650419 140736705131616 18446744073709551615 47152874698678 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 12809 357 306 112 0 7774 0
[pid=17131/tid=17132] ppid=17129 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651852070 52465664 357 33554432000 4194304 4650419 140736705131616 18446744073709551615 47152874698269 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651852070 52465664 357 33554432000 4194304 4650419 140736705131616 18446744073709551615 47152874698674 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651852070 52465664 357 33554432000 4194304 4650419 140736705131616 18446744073709551615 47152874698265 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0960139 s]
/proc/loadavg: 7.54 8.01 8.00 1/365 17131
/proc/meminfo: memFree=22619780/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=282472 CPUtime=0.34 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 1511 0 0 0 34 0 0 0 25 0 4 0 651852069 289251328 1373 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 70618 1373 391 112 0 65583 0
[pid=17131/tid=17132] ppid=17129 vsize=282472 CPUtime=0.09 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 292 0 0 0 9 0 0 0 25 0 4 0 651852070 289251328 1373 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=282472 CPUtime=0.07 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 323 0 0 0 7 0 0 0 25 0 4 0 651852070 289251328 1373 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=282472 CPUtime=0.08 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 208 0 0 0 8 0 0 0 25 0 4 0 651852070 289251328 1373 33554432000 4194304 4650419 140736705131616 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 282472

[startup+0.100988 s]
/proc/loadavg: 7.54 8.01 8.00 1/365 17131
/proc/meminfo: memFree=22619780/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=282472 CPUtime=0.36 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 1533 0 0 0 36 0 0 0 25 0 4 0 651852069 289251328 1395 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 70618 1396 391 112 0 65583 0
[pid=17131/tid=17132] ppid=17129 vsize=282472 CPUtime=0.09 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 299 0 0 0 9 0 0 0 25 0 4 0 651852070 289251328 1396 33554432000 4194304 4650419 140736705131616 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=282472 CPUtime=0.08 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 329 0 0 0 8 0 0 0 25 0 4 0 651852070 289251328 1396 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=282472 CPUtime=0.09 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 212 0 0 0 9 0 0 0 25 0 4 0 651852070 289251328 1396 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282472

[startup+0.300951 s]
/proc/loadavg: 7.54 8.01 8.00 1/365 17131
/proc/meminfo: memFree=22619780/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=283592 CPUtime=1.16 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 2551 0 0 0 116 0 0 0 25 0 4 0 651852069 290398208 1953 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 70898 1953 393 112 0 65863 0
[pid=17131/tid=17132] ppid=17129 vsize=283592 CPUtime=0.29 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 547 0 0 0 29 0 0 0 25 0 4 0 651852070 290398208 1953 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=283592 CPUtime=0.28 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 581 0 0 0 28 0 0 0 25 0 4 0 651852070 290398208 1953 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=283592 CPUtime=0.29 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 477 0 0 0 29 0 0 0 25 0 4 0 651852070 290398208 1953 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283592

[startup+0.700881 s]
/proc/loadavg: 7.54 8.01 8.00 1/365 17131
/proc/meminfo: memFree=22619780/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=284964 CPUtime=2.76 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 4431 0 0 0 276 0 0 0 25 0 4 0 651852069 291803136 2203 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 71241 2203 393 112 0 66206 0
[pid=17131/tid=17132] ppid=17129 vsize=284964 CPUtime=0.69 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1019 0 0 0 69 0 0 0 25 0 4 0 651852070 291803136 2203 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=284964 CPUtime=0.68 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1041 0 0 0 68 0 0 0 25 0 4 0 651852070 291803136 2203 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=284964 CPUtime=0.69 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 932 0 0 0 69 0 0 0 25 0 4 0 651852070 291803136 2203 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284964

[startup+1.50073 s]
/proc/loadavg: 7.54 8.01 8.00 9/377 17148
/proc/meminfo: memFree=22594028/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=277316 CPUtime=5.95 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 7644 0 0 0 594 1 0 0 25 0 4 0 651852069 283971584 4190 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 69329 4190 395 112 0 64294 0
[pid=17131/tid=17132] ppid=17129 vsize=277316 CPUtime=1.49 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1574 0 0 0 149 0 0 0 25 0 4 0 651852070 283971584 4191 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=277316 CPUtime=1.46 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1593 0 0 0 146 0 0 0 25 0 4 0 651852070 283971584 4191 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=277316 CPUtime=1.49 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 1429 0 0 0 149 0 0 0 25 0 4 0 651852070 283971584 4191 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 277316

[startup+3.10044 s]
/proc/loadavg: 7.54 8.01 8.00 9/377 17148
/proc/meminfo: memFree=22563864/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=285164 CPUtime=12.33 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 15382 0 0 0 1230 3 0 0 25 0 4 0 651852069 292007936 8616 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 71291 8616 395 112 0 66256 0
[pid=17131/tid=17132] ppid=17129 vsize=285164 CPUtime=3.08 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 3725 0 0 0 308 0 0 0 25 0 4 0 651852070 292007936 8616 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=285164 CPUtime=3.04 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 3941 0 0 0 304 0 0 0 25 0 4 0 651852070 292007936 8616 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=285164 CPUtime=3.08 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 3420 0 0 0 308 0 0 0 25 0 4 0 651852070 292007936 8616 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 285164

[startup+6.30086 s]
/proc/loadavg: 7.66 8.03 8.01 9/377 17178
/proc/meminfo: memFree=22552088/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=289196 CPUtime=25.09 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 22909 0 0 0 2505 4 0 0 25 0 4 0 651852069 296136704 11521 33554432000 4194304 4650419 140736705131616 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 72299 11521 395 112 0 67264 0
[pid=17131/tid=17132] ppid=17129 vsize=289196 CPUtime=6.28 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 6179 0 0 0 628 0 0 0 25 0 4 0 651852070 296136704 11521 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=289196 CPUtime=6.2 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 6114 0 0 0 620 0 0 0 25 0 4 0 651852070 296136704 11521 33554432000 4194304 4650419 140736705131616 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=289196 CPUtime=6.29 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 4426 0 0 0 628 1 0 0 25 0 4 0 651852070 296136704 11521 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 289196

[startup+12.7007 s]
/proc/loadavg: 7.68 8.03 8.01 9/377 17179
/proc/meminfo: memFree=22503160/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=291024 CPUtime=50.62 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 35043 0 0 0 5054 8 0 0 25 0 4 0 651852069 298008576 16725 33554432000 4194304 4650419 140736705131616 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 72756 16725 395 112 0 67721 0
[pid=17131/tid=17132] ppid=17129 vsize=291024 CPUtime=12.69 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 9439 0 0 0 1268 1 0 0 25 0 4 0 651852070 298008576 16725 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=291024 CPUtime=12.53 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 8465 0 0 0 1252 1 0 0 25 0 4 0 651852070 298008576 16725 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=291024 CPUtime=12.69 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 6737 0 0 0 1267 2 0 0 25 0 4 0 651852070 298008576 16725 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 291024

[startup+25.5004 s]
/proc/loadavg: 7.75 8.03 8.01 9/377 17179
/proc/meminfo: memFree=22459004/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=302148 CPUtime=101.65 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 53871 0 0 0 10153 12 0 0 25 0 4 0 651852069 309399552 21330 33554432000 4194304 4650419 140736705131616 18446744073709551615 4333804 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 75537 21330 395 112 0 70502 0
[pid=17131/tid=17132] ppid=17129 vsize=302148 CPUtime=25.49 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 15079 0 0 0 2547 2 0 0 25 0 4 0 651852070 309399552 21330 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=302148 CPUtime=25.17 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 12768 0 0 0 2514 3 0 0 25 0 4 0 651852070 309399552 21330 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=302148 CPUtime=25.48 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 10731 0 0 0 2546 2 0 0 25 0 4 0 651852070 309399552 21330 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 302148

[startup+51.1007 s]
/proc/loadavg: 7.89 8.04 8.01 9/377 17180
/proc/meminfo: memFree=22414680/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=307220 CPUtime=203.76 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 82391 0 0 0 20355 21 0 0 25 0 4 0 651852069 314593280 26528 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 76805 26528 395 112 0 71770 0
[pid=17131/tid=17132] ppid=17129 vsize=307220 CPUtime=51.09 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 23794 0 0 0 5104 5 0 0 25 0 4 0 651852070 314593280 26528 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=307220 CPUtime=50.47 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 21294 0 0 0 5042 5 0 0 25 0 4 0 651852070 314593280 26528 33554432000 4194304 4650419 140736705131616 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=307220 CPUtime=51.09 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 14432 0 0 0 5105 4 0 0 25 0 4 0 651852070 314593280 26528 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 307220

[startup+102.314 s]
/proc/loadavg: 8.06 8.06 8.02 9/377 17181
/proc/meminfo: memFree=22382548/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=311552 CPUtime=408.01 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 125086 0 0 0 40764 37 0 0 25 0 4 0 651852069 319029248 30550 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 77888 30550 395 112 0 72853 0
[pid=17131/tid=17132] ppid=17129 vsize=311552 CPUtime=102.3 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 37123 0 0 0 10220 10 0 0 25 0 4 0 651852070 319029248 30550 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=311552 CPUtime=101.07 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 32459 0 0 0 10098 9 0 0 25 0 4 0 651852070 319029248 30550 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=311552 CPUtime=102.3 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 20456 0 0 0 10223 7 0 0 25 0 4 0 651852070 319029248 30550 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 311552

[startup+162.3 s]

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

[pid=17131] ppid=17129 vsize=519432 CPUtime=2800.79 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 417578 0 0 0 279911 168 0 0 25 0 4 0 651852069 531898368 86452 33554432000 4194304 4650419 140736705131616 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 129858 86452 395 112 0 124823 0
[pid=17131/tid=17132] ppid=17129 vsize=519432 CPUtime=702.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 122136 0 0 0 70184 47 0 0 25 0 4 0 651852070 531898368 86452 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=519432 CPUtime=693.88 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 107635 0 0 0 69345 43 0 0 25 0 4 0 651852070 531898368 86452 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=519432 CPUtime=702.28 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 64329 0 0 0 70202 26 0 0 25 0 4 0 651852070 531898368 86452 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.79
Current children cumulated vsize (KiB) 519432

[startup+762.314 s]
/proc/loadavg: 8.13 8.12 8.04 9/377 17298
/proc/meminfo: memFree=22065912/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=537280 CPUtime=3040.11 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 435244 0 0 0 303835 176 0 0 25 0 4 0 651852069 550174720 81740 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 134320 81740 395 112 0 129285 0
[pid=17131/tid=17132] ppid=17129 vsize=537280 CPUtime=762.32 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 125983 0 0 0 76184 48 0 0 25 0 4 0 651852070 550174720 81740 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=537280 CPUtime=753.16 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 112003 0 0 0 75272 44 0 0 25 0 4 0 651852070 550174720 81740 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=537280 CPUtime=762.29 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 68568 0 0 0 76201 28 0 0 25 0 4 0 651852070 550174720 81740 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.11
Current children cumulated vsize (KiB) 537280

[startup+822.3 s]
/proc/loadavg: 8.14 8.12 8.05 9/377 17299
/proc/meminfo: memFree=22004272/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=573532 CPUtime=3279.34 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 454728 0 0 0 327747 187 0 0 25 0 4 0 651852069 587296768 88257 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 143383 88257 395 112 0 138348 0
[pid=17131/tid=17132] ppid=17129 vsize=573532 CPUtime=822.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 131080 0 0 0 82181 50 0 0 25 0 4 0 651852070 587296768 88257 33554432000 4194304 4650419 140736705131616 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=573532 CPUtime=812.43 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 117484 0 0 0 81195 48 0 0 25 0 4 0 651852070 587296768 88257 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=573532 CPUtime=822.28 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 71913 0 0 0 82197 31 0 0 25 0 4 0 651852070 587296768 88257 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.34
Current children cumulated vsize (KiB) 573532

[startup+882.3 s]
/proc/loadavg: 8.09 8.11 8.05 10/377 17301
/proc/meminfo: memFree=21986280/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=557248 CPUtime=3518.62 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 472470 0 0 0 351664 198 0 0 25 0 4 0 651852069 570621952 89351 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 139312 89351 395 112 0 134277 0
[pid=17131/tid=17132] ppid=17129 vsize=557248 CPUtime=882.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 134625 0 0 0 88179 52 0 0 25 0 4 0 651852070 570621952 89351 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=557248 CPUtime=871.7 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 121913 0 0 0 87120 50 0 0 25 0 4 0 651852070 570621952 89351 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=557248 CPUtime=882.28 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 75968 0 0 0 88194 34 0 0 25 0 4 0 651852070 570621952 89351 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.62
Current children cumulated vsize (KiB) 557248

[startup+942.3 s]
/proc/loadavg: 8.42 8.18 8.07 10/378 17305
/proc/meminfo: memFree=21933724/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=569012 CPUtime=3757.08 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 489280 0 0 0 375500 208 0 0 25 0 4 0 651852069 582668288 90466 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 142253 90466 395 112 0 137218 0
[pid=17131/tid=17132] ppid=17129 vsize=569012 CPUtime=942.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 140167 0 0 0 94176 55 0 0 25 0 4 0 651852070 582668288 90466 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=569012 CPUtime=930.97 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 127077 0 0 0 93044 53 0 0 25 0 4 0 651852070 582668288 90466 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=569012 CPUtime=941.47 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 78958 0 0 0 94111 36 0 0 25 0 4 0 651852070 582668288 90466 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.08
Current children cumulated vsize (KiB) 569012

[startup+1002.3 s]
/proc/loadavg: 8.19 8.16 8.07 10/377 17307
/proc/meminfo: memFree=21967260/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=557024 CPUtime=3996.34 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 502735 0 0 0 399419 215 0 0 25 0 4 0 651852069 570392576 92230 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 139256 92230 395 112 0 134221 0
[pid=17131/tid=17132] ppid=17129 vsize=557024 CPUtime=1002.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 143131 0 0 0 100175 56 0 0 25 0 4 0 651852070 570392576 92230 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=557024 CPUtime=990.24 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 132006 0 0 0 98968 56 0 0 25 0 4 0 651852070 570392576 92230 33554432000 4194304 4650419 140736705131616 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=557024 CPUtime=1001.45 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 80955 0 0 0 100108 37 0 0 25 0 4 0 651852070 570392576 92230 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3996.34
Current children cumulated vsize (KiB) 557024

[startup+1062.3 s]
/proc/loadavg: 8.14 8.16 8.08 10/377 17309
/proc/meminfo: memFree=21943696/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=569916 CPUtime=4235.61 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 518451 0 0 0 423336 225 0 0 25 0 4 0 651852069 583593984 91502 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 142479 91502 395 112 0 137444 0
[pid=17131/tid=17132] ppid=17129 vsize=569916 CPUtime=1062.32 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 146710 0 0 0 106173 59 0 0 25 0 4 0 651852070 583593984 91502 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=569916 CPUtime=1049.51 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 136769 0 0 0 104892 59 0 0 25 0 4 0 651852070 583593984 91502 33554432000 4194304 4650419 140736705131616 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=569916 CPUtime=1061.46 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 83834 0 0 0 106107 39 0 0 25 0 4 0 651852070 583593984 91502 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4235.61
Current children cumulated vsize (KiB) 569916

[startup+1122.3 s]
/proc/loadavg: 8.05 8.13 8.07 10/377 17310
/proc/meminfo: memFree=21899536/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=582884 CPUtime=4474.87 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 535698 0 0 0 447253 234 0 0 25 0 4 0 651852069 596873216 96517 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 145721 96517 395 112 0 140686 0
[pid=17131/tid=17132] ppid=17129 vsize=582884 CPUtime=1122.32 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 150880 0 0 0 112171 61 0 0 25 0 4 0 651852070 596873216 96517 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=582884 CPUtime=1108.76 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 142136 0 0 0 110814 62 0 0 25 0 4 0 651852070 596873216 96517 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=582884 CPUtime=1121.46 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 87323 0 0 0 112106 40 0 0 25 0 4 0 651852070 596873216 96517 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4474.87
Current children cumulated vsize (KiB) 582884

[startup+1182.3 s]
/proc/loadavg: 8.24 8.16 8.09 10/377 17312
/proc/meminfo: memFree=21887248/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=583032 CPUtime=4714.14 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 550081 0 0 0 471171 243 0 0 25 0 4 0 651852069 597024768 101947 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 145758 101947 395 112 0 140723 0
[pid=17131/tid=17132] ppid=17129 vsize=583032 CPUtime=1182.31 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 155341 0 0 0 118168 63 0 0 25 0 4 0 651852070 597024768 101947 33554432000 4194304 4650419 140736705131616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=583032 CPUtime=1168.03 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 145930 0 0 0 116738 65 0 0 25 0 4 0 651852070 597024768 101947 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=583032 CPUtime=1181.46 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 90310 0 0 0 118104 42 0 0 25 0 4 0 651852070 597024768 101947 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4714.14
Current children cumulated vsize (KiB) 583032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.17 8.15 8.09 9/377 17312
/proc/meminfo: memFree=21883276/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=583104 CPUtime=4800.28 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 558356 0 0 0 479781 247 0 0 25 0 4 0 651852069 597098496 98814 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 145776 98814 395 112 0 140741 0
[pid=17131/tid=17132] ppid=17129 vsize=583104 CPUtime=1203.93 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 159198 0 0 0 120329 64 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=583104 CPUtime=1189.35 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 148025 0 0 0 118869 66 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=583104 CPUtime=1203.07 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 90804 0 0 0 120264 43 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 583104

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

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

[startup+1203.9 s]
/proc/loadavg: 8.17 8.15 8.09 9/377 17312
/proc/meminfo: memFree=21883276/32951124 swapFree=67111348/67111528
[pid=17131] ppid=17129 vsize=583104 CPUtime=4800.28 cores=1,3,5,7
/proc/17131/stat : 17131 (strangenight1-m) R 17129 17131 16711 0 -1 4202496 558356 0 0 0 479781 247 0 0 25 0 4 0 651852069 597098496 98814 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17131/statm: 145776 98814 395 112 0 140741 0
[pid=17131/tid=17132] ppid=17129 vsize=583104 CPUtime=1203.93 cores=1,3,5,7
/proc/17131/task/17132/stat : 17132 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 159198 0 0 0 120329 64 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17131/tid=17133] ppid=17129 vsize=583104 CPUtime=1189.35 cores=1,3,5,7
/proc/17131/task/17133/stat : 17133 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 148025 0 0 0 118869 66 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17131/tid=17134] ppid=17129 vsize=583104 CPUtime=1203.07 cores=1,3,5,7
/proc/17131/task/17134/stat : 17134 (strangenight1-m) R 17129 17131 16711 0 -1 4202560 90804 0 0 0 120264 43 0 0 25 0 4 0 651852070 597098496 98815 33554432000 4194304 4650419 140736705131616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 583104

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.36
CPU user time (s): 4797.86
CPU system time (s): 2.49362
CPU usage (%): 398.72
Max. virtual memory (cumulated for all children) (KiB): 634624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.49362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558357
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= 406
involuntary context switches= 19132

runsolver used 3.9424 second user time and 10.6494 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-14 21:49:03
IDJOB=3368763
IDBENCH=82772
IDSOLVER=1846
FILE ID=node139/3368763-1305402543
RUNJOBID= node139-1305401337-17027
PBS_JOBID= 13324464
Free space on /tmp= 73352 MiB

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

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

MD5SUM BENCH= 7d7bac8ccb8010e4eec020bc5c53d758
RANDOM SEED=1251025910

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22620060 kB
Buffers:        297736 kB
Cached:        2884188 kB
SwapCached:          0 kB
Active:        7964952 kB
Inactive:      2060680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22620060 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6240 kB
Writeback:          32 kB
AnonPages:     6843616 kB
Mapped:          28632 kB
Slab:           203272 kB
PageTables:      38160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76771288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73348 MiB
End job on node139 at 2011-05-14 22:09:09