Trace number 3175325

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
MD5SUMcfd96c3ec450000d8fe8684f0b30ec79
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.134
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-3175325-1304116508.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     165 undec:      45 neg:     190
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       386      1684         0         0      5128         0   no data   no data  --
0.12/0.05	c Decided on static restart strategy
0.37/0.13	c  N st     8      4914       386      1684         0      4808      5128     91310   no data   no data  --
1.17/0.36	c  N st    10     11297       386      1684         0      4460      5128     65457   no data   no data  --
2.37/0.61	c  N st    11     17040       386      1684         0     10090      5128    182075   no data   no data  --
3.58/1.00	c  F st    12     25001       386      1684         0     12345      5128    219199   no data   no data  --
3.58/1.00	c  N st    12     25001       386      1684         0     12345      5128    219199   no data   no data  --
4.77/1.23	c Decided on static restart strategy
4.77/1.23	c  N st    18     30000       386      1684         0     10620      5128    164664   no data   no data  --
4.77/1.23	c  S st    18     30000       386      1684         0     10620      5128    164664   no data   no data  --
4.77/1.26	c  S st    18     30501       386      1684         0     11120      5128    174516   no data   no data  --
4.77/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.77/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4.77/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.42	c lits-rem:       159  cl-subs:      640  v-elim:      0  v-fix:    0  time:  0.59 s
5.57/1.43	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
5.57/1.43	c calculated reachability. Time: 0.00
5.57/1.43	c  N st    18     30501       386      1684         0     10480      5128    162237   no data   no data  --
6.76/1.78	c  N st    20     37612       386      1684         0      9717      5128    132378   no data   no data  --
8.38/2.15	c  N st    21     44013       386      1684         0     15986      5128    251406   no data   no data  --
8.78/2.28	c  S st    22     45751       386      1684         0      8989      5128    106891   no data   no data  --
9.16/2.30	c  S st    22     46255       386      1684         0      9490      5128    116198   no data   no data  --
9.16/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
9.16/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.37	c lits-rem:        41  cl-subs:       89  v-elim:      0  v-fix:    0  time:  0.24 s
9.16/2.37	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
9.16/2.37	c vivif2 --  cl tried     9401 cl shrink        0 lits rem          0 time: 0.01
9.16/2.38	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
9.16/2.38	c calculated reachability. Time: 0.00
9.16/2.38	c  N st    22     46255       386      1684         0      9401      5128    114617   no data   no data  --
12.78/3.22	c  N st    23     60653       386      1684         0     13742      5128    191398   no data   no data  --
15.16/3.88	c  N st    24     69386       386      1684         0     11511      5128    139349   no data   no data  --
15.16/3.88	c  S st    24     69386       386      1684         0     11511      5128    139349   no data   no data  --
15.56/3.91	c  S st    24     69886       386      1684         0     12011      5128    149189   no data   no data  --
15.56/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.56/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
15.56/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.06	c lits-rem:        62  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.54 s
15.96/4.06	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
15.96/4.06	c vivif2 --  cl tried    11793 cl shrink        0 lits rem          0 time: 0.01
15.96/4.07	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
15.96/4.07	c calculated reachability. Time: 0.00
15.96/4.07	c  N st    24     69886       386      1684         0     11793      5128    145229   no data   no data  --
20.75/5.22	c  F st    25     87500       386      1684         0     17187      5128    244997   no data   no data  --
20.75/5.22	c  N st    25     87500       386      1684         0     17187      5128    244997   no data   no data  --
22.35/5.61	c Decided on static restart strategy
23.15/5.83	c  N st    32     95539       386      1684         0     25002      5128    393215   no data   no data  --
25.55/6.49	c  N st    34    104829       386      1684         0     21404      5128    313351   no data   no data  --
25.55/6.49	c  S st    34    104829       386      1684         0     21404      5128    313351   no data   no data  --
25.97/6.54	c  S st    34    105333       386      1684         0     21906      5128    323088   no data   no data  --
25.97/6.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.97/6.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.97/6.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
25.97/6.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.97/6.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.97/6.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.97/6.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.25	c lits-rem:       401  cl-subs:     1249  v-elim:      0  v-fix:    0  time:  2.75 s
28.74/7.25	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
28.74/7.25	c vivif2 --  cl tried    20657 cl shrink        0 lits rem          0 time: 0.01
28.74/7.27	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.06
28.74/7.27	c calculated reachability. Time: 0.00
28.74/7.27	c  N st    34    105333       386      1684         0     20657      5128    298852   no data   no data  --
31.93/8.02	c  N st    35    114932       386      1684         0     16399      5128    195165   no data   no data  --
36.33/9.20	c  N st    36    129331       386      1684         0     15834      5128    174685   no data   no data  --
43.12/10.80	c  N st    37    150927       386      1684         0     21202      5128    267138   no data   no data  --
45.11/11.37	c  S st    38    157999       386      1684         0     28054      5128    407308   no data   no data  --
45.51/11.44	c  S st    38    158504       386      1684         0     28557      5128    417330   no data   no data  --
45.51/11.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
45.51/11.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.51/11.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
45.51/11.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.51/11.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
45.51/11.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.71/12.75	c lits-rem:       763  cl-subs:     2450  v-elim:      0  v-fix:    0  time:  5.14 s
50.71/12.75	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
50.71/12.76	c vivif2 --  cl tried    26107 cl shrink        0 lits rem          0 time: 0.02
50.71/12.78	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.08
50.71/12.78	c calculated reachability. Time: 0.00
50.71/12.78	c  N st    38    158504       386      1684         0     26107      5128    372002   no data   no data  --
69.48/17.43	c  N st    39    207092       386      1684         0     20942      5128    238035   no data   no data  --
81.07/20.30	c  N st    40    237759       386      1684         0     31229      5128    422489   no data   no data  --
81.07/20.30	c  S st    40    237759       386      1684         0     31229      5128    422489   no data   no data  --
81.07/20.38	c  S st    40    238264       386      1684         0     31730      5128    431907   no data   no data  --
81.07/20.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.07/20.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.07/20.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
81.47/20.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.47/20.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.47/20.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
81.47/20.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.48/21.95	c lits-rem:       855  cl-subs:     3121  v-elim:      0  v-fix:    0  time:  6.16 s
87.48/21.95	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
87.48/21.96	c vivif2 --  cl tried    28609 cl shrink        0 lits rem          0 time: 0.02
87.48/21.98	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.09
87.48/21.98	c calculated reachability. Time: 0.00
87.48/21.98	c  N st    40    238264       386      1684         0     28609      5128    375685   no data   no data  --
116.22/29.13	c  F st    41    306250       386      1684         0     30650      5128    383224   no data   no data  --
116.22/29.14	c  N st    41    306250       386      1684         0     30650      5128    383224   no data   no data  --
118.64/29.73	c Decided on static restart strategy
129.40/32.47	c  N st    51    334558       386      1684         0     34771      5128    438146   no data   no data  --
141.38/35.41	c  N st    53    357398       386      1684         0     32699      5128    399812   no data   no data  --
141.38/35.41	c  S st    53    357398       386      1684         0     32699      5128    399812   no data   no data  --
141.38/35.49	c  S st    53    357904       386      1684         0     33204      5128    410631   no data   no data  --
141.38/35.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
141.38/35.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.78/35.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
141.78/35.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.78/35.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.78/35.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
141.78/35.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
146.58/36.71	c lits-rem:       444  cl-subs:      945  v-elim:      0  v-fix:    0  time:  4.76 s
146.58/36.71	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
146.58/36.71	c vivif2 --  cl tried    32259 cl shrink        0 lits rem          0 time: 0.02
146.58/36.74	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.10
146.58/36.74	c calculated reachability. Time: 0.00
146.58/36.74	c  N st    53    357904       386      1684         0     32259      5128    393074   no data   no data  --
162.95/40.84	c  N st    54    390297       386      1684         0     38333      5128    469742   no data   no data  --
188.53/47.28	c  N st    55    438886       386      1684         0     32238      5128    343732   no data   no data  --
226.07/56.65	c  N st    56    511768       386      1684         0     45633      5128    587345   no data   no data  --
239.65/60.05	c  N st    57    536858       386      1684         0     40097      5128    486551   no data   no data  --
239.65/60.05	c  S st    57    536858       386      1684         0     40097      5128    486551   no data   no data  --
240.05/60.15	c  S st    57    537364       386      1684         0     40597      5128    496797   no data   no data  --
240.05/60.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
240.05/60.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
240.05/60.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
240.05/60.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.05/60.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.05/60.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
240.05/60.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.06/61.67	c lits-rem:      1016  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  5.93 s
246.06/61.67	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
246.06/61.67	c vivif2 --  cl tried    39440 cl shrink        0 lits rem          0 time: 0.02
246.44/61.71	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.13
246.44/61.71	c calculated reachability. Time: 0.00
246.44/61.71	c  N st    57    537364       386      1684         0     39440      5128    473780   no data   no data  --
342.74/85.81	c  N st    58    701349       386      1684         0     68265      5128    963449   no data   no data  --
405.82/101.60	c  N st    59    806046       386      1684         0     61878      5128    831148   no data   no data  --
405.82/101.60	c  S st    59    806046       386      1684         0     61878      5128    831148   no data   no data  --
406.22/101.79	c  S st    59    806549       386      1684         0     62381      5128    841910   no data   no data  --
406.62/101.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
406.62/101.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
406.62/101.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
406.62/101.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
406.62/101.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
406.62/101.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
406.62/101.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
420.61/105.33	c lits-rem:      1408  cl-subs:     5991  v-elim:      0  v-fix:    0  time: 13.88 s
420.61/105.33	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
420.61/105.34	c vivif2 --  cl tried    56390 cl shrink        0 lits rem          0 time: 0.04
421.01/105.40	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.23
421.01/105.40	c calculated reachability. Time: 0.00
421.01/105.40	c  N st    59    806549       386      1684         0     56390      5128    734323   no data   no data  --
616.75/154.43	c  F st    60   1071875       386      1684         0     72471      5128    942070   no data   no data  --
616.75/154.44	c  N st    60   1071875       386      1684         0     72471      5128    942070   no data   no data  --
621.94/155.73	c Decided on static restart strategy
639.11/160.06	c  N st    70   1100180       386      1684         0     56413      5128    640905   no data   no data  --
671.47/168.19	c  N st    72   1136173       386      1684         0     46762      5128    431230   no data   no data  --
695.83/174.23	c  N st    73   1168567       386      1684         0     78127      5128   1078643   no data   no data  --
730.59/182.94	c  N st    74   1209824       386      1684         0     72625      5128    946495   no data   no data  --
730.59/182.94	c  S st    74   1209824       386      1684         0     72625      5128    946495   no data   no data  --
731.39/183.16	c  S st    74   1210327       386      1684         0     73128      5128    957236   no data   no data  --
731.39/183.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
731.39/183.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
731.39/183.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
731.79/183.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
731.79/183.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
731.79/183.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
731.79/183.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
747.37/187.12	c lits-rem:       765  cl-subs:     5308  v-elim:      0  v-fix:    0  time: 15.54 s
747.37/187.12	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
747.37/187.13	c vivif2 --  cl tried    67820 cl shrink        0 lits rem          0 time: 0.04
747.77/187.20	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.28
747.77/187.20	c calculated reachability. Time: 0.00
747.77/187.20	c  N st    74   1210327       386      1684         0     67820      5128    854662   no data   no data  --
817.29/204.63	c  N st    75   1283209       386      1684         0     91847      5128   1300034   no data   no data  --
912.74/228.58	c  N st    76   1392532       386      1684         0     52684      5128    488429   no data   no data  --
1058.15/264.96	c  N st    77   1556516       386      1684         0     57467      5128    549596   no data   no data  --
1203.57/301.39	c  N st    78   1710327       386      1684         0     98756      5128   1323659   no data   no data  --
1203.57/301.39	c  S st    78   1710327       386      1684         0     98756      5128   1323659   no data   no data  --
1205.15/301.77	c  S st    78   1710830       386      1684         0     99257      5128   1333568   no data   no data  --
1205.15/301.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1205.15/301.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1205.55/301.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1205.55/301.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1205.55/301.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1205.55/301.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1205.55/301.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1246.69/312.15	c lits-rem:       270  cl-subs:    10630  v-elim:      0  v-fix:    0  time: 41.05 s
1246.69/312.15	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1246.69/312.16	c vivif2 --  cl tried    88627 cl shrink        0 lits rem          0 time: 0.07
1247.51/312.31	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.59
1247.51/312.31	c calculated reachability. Time: 0.00
1247.51/312.31	c  N st    78   1710830       386      1684         0     88627      5128   1155945   no data   no data  --
1613.39/403.90	c  N st    79   2079794       386      1684         0    100081      5128   1243465   no data   no data  --
1757.23/439.95	c  N st    80   2210830       386      1684         0    103792      5128   1293117   no data   no data  --
1757.23/439.95	c  S st    80   2210830       386      1684         0    103792      5128   1293117   no data   no data  --
1758.80/440.37	c  S st    80   2211333       386      1684         0    104294      5128   1303230   no data   no data  --
1758.80/440.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1758.80/440.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1759.20/440.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.23
1759.20/440.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1759.20/440.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1759.20/440.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1759.20/440.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1805.14/451.98	c lits-rem:      1675  cl-subs:    13435  v-elim:      0  v-fix:    0  time: 45.87 s
1805.14/451.98	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1805.14/451.99	c vivif2 --  cl tried    90859 cl shrink        0 lits rem          0 time: 0.06
1805.96/452.13	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.56
1805.96/452.14	c calculated reachability. Time: 0.00
1805.96/452.14	c  N st    80   2211333       386      1684         0     90859      5128   1087485   no data   no data  --
2333.26/584.14	c  N st    81   2711334       386      1684         0    114874      5128   1473829   no data   no data  --
2333.26/584.14	c  S st    81   2711334       386      1684         0    114874      5128   1473829   no data   no data  --
2334.83/584.53	c  S st    81   2711838       386      1684         0    115376      5128   1484396   no data   no data  --
2334.83/584.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2334.83/584.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2334.83/584.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2335.23/584.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2335.23/584.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2335.23/584.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2335.23/584.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2381.18/596.11	c lits-rem:       374  cl-subs:    10880  v-elim:      0  v-fix:    0  time: 45.77 s
2381.18/596.11	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
2381.18/596.13	c vivif2 --  cl tried   104496 cl shrink        0 lits rem          0 time: 0.08
2381.59/596.29	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.67
2381.96/596.30	c calculated reachability. Time: 0.00
2381.96/596.30	c  N st    81   2711838       386      1684         0    104496      5128   1301172   no data   no data  --
3007.13/752.80	c  N st    82   3211838       386      1684         0     80349      5128    724778   no data   no data  --
3007.13/752.80	c  S st    82   3211838       386      1684         0     80349      5128    724778   no data   no data  --
3007.92/753.05	c  S st    82   3212340       386      1684         0     80849      5128    735309   no data   no data  --
3007.92/753.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3007.92/753.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3007.92/753.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3008.32/753.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3008.32/753.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3008.32/753.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3008.32/753.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3018.33/755.60	c lits-rem:       760  cl-subs:     2123  v-elim:      0  v-fix:    0  time:  9.92 s
3018.33/755.60	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3018.33/755.61	c vivif2 --  cl tried    78726 cl shrink        0 lits rem          0 time: 0.05
3018.73/755.70	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.36
3018.73/755.71	c calculated reachability. Time: 0.00
3018.73/755.71	c  N st    82   3212340       386      1684         0     78726      5128    704463   no data   no data  --
3616.33/905.38	c  N st    83   3712340       386      1684         0     89088      5128    826824   no data   no data  --
3616.33/905.38	c  S st    83   3712340       386      1684         0     89088      5128    826824   no data   no data  --
3617.50/905.66	c  S st    83   3712848       386      1684         0     89595      5128    837716   no data   no data  --
3617.50/905.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3617.50/905.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3617.90/905.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3617.90/905.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3617.90/905.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3617.90/905.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3617.90/905.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3629.88/908.79	c lits-rem:      1612  cl-subs:     3064  v-elim:      0  v-fix:    0  time: 12.20 s
3629.88/908.79	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3630.28/908.80	c vivif2 --  cl tried    86531 cl shrink        0 lits rem          0 time: 0.05
3630.68/908.91	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.41
3630.68/908.91	c calculated reachability. Time: 0.00
3630.68/908.91	c  N st    83   3712848       386      1684         0     86531      5128    795723   no data   no data  --
3673.45/919.68	c  F st    84   3751564       386      1684         0    123745      5128   1537457   no data   no data  --
3673.45/919.68	c  N st    84   3751564       386      1684         0    123745      5128   1537457   no data   no data  --
3681.01/921.59	c Decided on static restart strategy
3722.56/931.90	c  N st    94   3779871       386      1684         0    150993      5128   2086555   no data   no data  --
3771.69/944.27	c  N st    96   3815866       386      1684         0    104147      5128   1116633   no data   no data  --
3815.63/955.21	c  N st    97   3848261       386      1684         0    135414      5128   1760489   no data   no data  --
3891.53/974.28	c  N st    98   3896849       386      1684         0     99385      5128    995025   no data   no data  --
3991.40/999.29	c  N st    99   3969732       386      1684         0     85901      5128    747349   no data   no data  --
4135.60/1035.30	c  N st   100   4079056       386      1684         0    106438      5128   1133006   no data   no data  --
4328.54/1083.65	c  N st   101   4212848       386      1684         0    149264      5128   1925591   no data   no data  --
4328.54/1083.65	c  S st   101   4212848       386      1684         0    149264      5128   1925591   no data   no data  --
4330.55/1084.16	c  S st   101   4213352       386      1684         0    149765      5128   1936748   no data   no data  --
4330.55/1084.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4330.55/1084.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4330.94/1084.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4331.34/1084.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4331.34/1084.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4331.34/1084.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4331.34/1084.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4454.78/1115.24	c lits-rem:      2387  cl-subs:    18833  v-elim:      0  v-fix:    0  time: 123.52 s
4454.78/1115.24	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
4454.78/1115.27	c vivif2 --  cl tried   130932 cl shrink        0 lits rem          0 time: 0.10
4455.97/1115.50	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.93
4455.97/1115.51	c calculated reachability. Time: 0.00
4455.97/1115.51	c  N st   101   4213352       386      1684         0    130932      5128   1626195   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-3175325-1304116508/watcher-3175325-1304116508 -o /tmp/evaluation-result-3175325-1304116508/solver-3175325-1304116508 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175325-1304116508.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: 5.77 7.56 7.87 6/180 31649
/proc/meminfo: memFree=24666584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 418 0 0 0 0 0 0 0 23 0 4 0 601881574 52465664 357 33554432000 4194304 4650419 140736443790528 18446744073709551615 47783328753590 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 12809 357 306 112 0 7774 0
[pid=31649/tid=31650] ppid=31647 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 601881574 52465664 357 33554432000 4194304 4650419 140736443790528 18446744073709551615 215988592571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601881574 52465664 357 33554432000 4194304 4650419 140736443790528 18446744073709551615 47783328753586 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601881574 52465664 357 33554432000 4194304 4650419 140736443790528 18446744073709551615 215983639638 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0377789 s]
/proc/loadavg: 5.77 7.56 7.87 6/180 31649
/proc/meminfo: memFree=24666584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=347716 CPUtime=0.12 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 1281 0 0 0 12 0 0 0 25 0 4 0 601881574 356061184 1152 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 86929 1153 390 112 0 81894 0
[pid=31649/tid=31650] ppid=31647 vsize=347716 CPUtime=0.03 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 274 0 0 0 3 0 0 0 25 0 4 0 601881574 356061184 1153 33554432000 4194304 4650419 140736443790528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=347716 CPUtime=0.03 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 247 0 0 0 3 0 0 0 25 0 4 0 601881574 356061184 1153 33554432000 4194304 4650419 140736443790528 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=347716 CPUtime=0.03 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 135 0 0 0 3 0 0 0 25 0 4 0 601881574 356061184 1153 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 347716

[startup+0.100768 s]
/proc/loadavg: 5.77 7.56 7.87 6/180 31649
/proc/meminfo: memFree=24666584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=347848 CPUtime=0.37 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 1611 0 0 0 37 0 0 0 25 0 4 0 601881574 356196352 1482 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363644 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 86962 1482 391 112 0 81927 0
[pid=31649/tid=31650] ppid=31647 vsize=347848 CPUtime=0.09 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 343 0 0 0 9 0 0 0 25 0 4 0 601881574 356196352 1482 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=347848 CPUtime=0.09 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 327 0 0 0 9 0 0 0 25 0 4 0 601881574 356196352 1482 33554432000 4194304 4650419 140736443790528 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=347848 CPUtime=0.09 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 227 0 0 0 9 0 0 0 25 0 4 0 601881574 356196352 1482 33554432000 4194304 4650419 140736443790528 18446744073709551615 4333494 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 347848

[startup+0.300733 s]
/proc/loadavg: 5.77 7.56 7.87 6/180 31649
/proc/meminfo: memFree=24666584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=348804 CPUtime=1.17 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 2600 0 0 0 117 0 0 0 25 0 4 0 601881574 357175296 2015 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 87201 2015 393 112 0 82166 0
[pid=31649/tid=31650] ppid=31647 vsize=348804 CPUtime=0.29 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 596 0 0 0 29 0 0 0 25 0 4 0 601881574 357175296 2015 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=348804 CPUtime=0.29 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 577 0 0 0 29 0 0 0 25 0 4 0 601881574 357175296 2015 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=348804 CPUtime=0.29 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 467 0 0 0 29 0 0 0 25 0 4 0 601881574 357175296 2015 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 348804

[startup+0.700664 s]
/proc/loadavg: 5.77 7.56 7.87 6/180 31649
/proc/meminfo: memFree=24666584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=350192 CPUtime=2.78 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 4464 0 0 0 277 1 0 0 25 0 4 0 601881574 358596608 2241 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 87548 2241 393 112 0 82513 0
[pid=31649/tid=31650] ppid=31647 vsize=350192 CPUtime=0.69 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1099 0 0 0 69 0 0 0 25 0 4 0 601881574 358596608 2241 33554432000 4194304 4650419 140736443790528 18446744073709551615 4334332 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=350192 CPUtime=0.69 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1080 0 0 0 69 0 0 0 25 0 4 0 601881574 358596608 2241 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=350192 CPUtime=0.69 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 858 0 0 0 69 0 0 0 25 0 4 0 601881574 358596608 2241 33554432000 4194304 4650419 140736443790528 18446744073709551615 4328241 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 350192

[startup+1.50053 s]
/proc/loadavg: 5.77 7.56 7.87 9/184 31653
/proc/meminfo: memFree=24645472/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=344528 CPUtime=5.97 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 7805 0 0 0 596 1 0 0 25 0 4 0 601881574 352796672 4112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 86132 4112 395 112 0 81097 0
[pid=31649/tid=31650] ppid=31647 vsize=344528 CPUtime=1.49 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1809 0 0 0 149 0 0 0 25 0 4 0 601881574 352796672 4112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=344528 CPUtime=1.48 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1634 0 0 0 148 0 0 0 25 0 4 0 601881574 352796672 4112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4339938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=344528 CPUtime=1.49 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 1360 0 0 0 149 0 0 0 25 0 4 0 601881574 352796672 4112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 344528

[startup+3.10024 s]
/proc/loadavg: 5.77 7.56 7.87 9/184 31653
/proc/meminfo: memFree=24610132/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=355056 CPUtime=12.36 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 14874 0 0 0 1233 3 0 0 25 0 4 0 601881574 363577344 8711 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 88764 8711 395 112 0 83729 0
[pid=31649/tid=31650] ppid=31647 vsize=355056 CPUtime=3.08 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 3300 0 0 0 308 0 0 0 25 0 4 0 601881574 363577344 8711 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=355056 CPUtime=3.08 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 3966 0 0 0 307 1 0 0 25 0 4 0 601881574 363577344 8711 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=355056 CPUtime=3.08 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 3395 0 0 0 308 0 0 0 25 0 4 0 601881574 363577344 8711 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363592 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 355056

[startup+6.30069 s]
/proc/loadavg: 5.95 7.57 7.87 10/184 31653
/proc/meminfo: memFree=24586956/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=364428 CPUtime=25.15 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 22222 0 0 0 2509 6 0 0 25 0 4 0 601881574 373174272 11893 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 91107 11893 395 112 0 86072 0
[pid=31649/tid=31650] ppid=31647 vsize=364428 CPUtime=6.29 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 5373 0 0 0 628 1 0 0 25 0 4 0 601881574 373174272 11893 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=364428 CPUtime=6.25 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 6195 0 0 0 624 1 0 0 25 0 4 0 601881574 373174272 11893 33554432000 4194304 4650419 140736443790528 18446744073709551615 4439644 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=364428 CPUtime=6.29 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 4748 0 0 0 628 1 0 0 25 0 4 0 601881574 373174272 11893 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 364428

[startup+12.7006 s]
/proc/loadavg: 6.11 7.57 7.87 9/184 31654
/proc/meminfo: memFree=24555576/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=364996 CPUtime=50.71 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 33010 0 0 0 5063 8 0 0 25 0 4 0 601881574 373755904 16145 33554432000 4194304 4650419 140736443790528 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 91249 16145 395 112 0 86214 0
[pid=31649/tid=31650] ppid=31647 vsize=364996 CPUtime=12.69 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 8350 0 0 0 1268 1 0 0 25 0 4 0 601881574 373755904 16145 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=364996 CPUtime=12.63 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 8610 0 0 0 1260 3 0 0 25 0 4 0 601881574 373755904 16145 33554432000 4194304 4650419 140736443790528 18446744073709551615 4339890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=364996 CPUtime=12.68 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 6668 0 0 0 1267 1 0 0 25 0 4 0 601881574 373755904 16145 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 364996

[startup+25.5003 s]
/proc/loadavg: 6.53 7.59 7.87 9/184 31654
/proc/meminfo: memFree=24516748/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=365812 CPUtime=101.84 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 50997 0 0 0 10171 13 0 0 25 0 4 0 601881574 374591488 21342 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 91453 21342 395 112 0 86418 0
[pid=31649/tid=31650] ppid=31647 vsize=365812 CPUtime=25.48 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 13743 0 0 0 2546 2 0 0 25 0 4 0 601881574 374591488 21342 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=365812 CPUtime=25.35 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 14011 0 0 0 2531 4 0 0 25 0 4 0 601881574 374591488 21342 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=365812 CPUtime=25.48 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 9992 0 0 0 2546 2 0 0 25 0 4 0 601881574 374591488 21342 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 365812

[startup+51.1009 s]
/proc/loadavg: 7.09 7.64 7.88 9/184 31655
/proc/meminfo: memFree=24476016/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=376692 CPUtime=204.1 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 77278 0 0 0 20389 21 0 0 25 0 4 0 601881574 385732608 26776 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 94173 26776 395 112 0 89138 0
[pid=31649/tid=31650] ppid=31647 vsize=376692 CPUtime=51.09 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 22785 0 0 0 5104 5 0 0 25 0 4 0 601881574 385732608 26776 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=376692 CPUtime=50.82 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 21199 0 0 0 5076 6 0 0 25 0 4 0 601881574 385732608 26776 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=376692 CPUtime=51.09 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 13797 0 0 0 5105 4 0 0 25 0 4 0 601881574 385732608 26776 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 376692

[startup+102.307 s]
/proc/loadavg: 7.73 7.72 7.90 9/184 31686
/proc/meminfo: memFree=24432432/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=443896 CPUtime=408.65 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 115739 0 0 0 40830 35 0 0 25 0 4 0 601881574 454549504 35276 33554432000 4194304 4650419 140736443790528 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 110974 35276 395 112 0 105939 0
[pid=31649/tid=31650] ppid=31647 vsize=443896 CPUtime=102.3 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 34385 0 0 0 10222 8 0 0 25 0 4 0 601881574 454549504 35276 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=443896 CPUtime=101.74 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 31838 0 0 0 10163 11 0 0 25 0 4 0 601881574 454549504 35276 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=443896 CPUtime=102.29 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 19346 0 0 0 10223 6 0 0 25 0 4 0 601881574 454549504 35276 33554432000 4194304 4650419 140736443790528 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 443896

[startup+162.3 s]

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

[pid=31649] ppid=31647 vsize=630060 CPUtime=2805.4 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 391810 0 0 0 280376 164 0 0 25 0 4 0 601881574 645181440 82112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4313715 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157515 82112 395 112 0 152480 0
[pid=31649/tid=31650] ppid=31647 vsize=630060 CPUtime=702.3 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 118974 0 0 0 70184 46 0 0 25 0 4 0 601881574 645181440 82112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=630060 CPUtime=698.47 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 95538 0 0 0 69806 41 0 0 25 0 4 0 601881574 645181440 82112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=630060 CPUtime=702.29 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 72465 0 0 0 70197 32 0 0 25 0 4 0 601881574 645181440 82112 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 630060

[startup+762.306 s]
/proc/loadavg: 8.10 8.05 7.99 9/184 31707
/proc/meminfo: memFree=24046820/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=630308 CPUtime=3045.1 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 406860 0 0 0 304338 172 0 0 25 0 4 0 601881574 645435392 78324 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157577 78324 395 112 0 152542 0
[pid=31649/tid=31650] ppid=31647 vsize=630308 CPUtime=762.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 122157 0 0 0 76182 49 0 0 25 0 4 0 601881574 645435392 78324 33554432000 4194304 4650419 140736443790528 18446744073709551615 4334357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=630308 CPUtime=758.15 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 98232 0 0 0 75772 43 0 0 25 0 4 0 601881574 645435392 78324 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=630308 CPUtime=762.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 75260 0 0 0 76197 33 0 0 25 0 4 0 601881574 645435392 78324 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 630308

[startup+822.301 s]
/proc/loadavg: 8.23 8.09 8.01 9/184 31708
/proc/meminfo: memFree=24015532/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=642924 CPUtime=3284.75 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 424446 0 0 0 328294 181 0 0 25 0 4 0 601881574 658354176 83273 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 160731 83273 395 112 0 155696 0
[pid=31649/tid=31650] ppid=31647 vsize=642924 CPUtime=822.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 127978 0 0 0 82179 52 0 0 25 0 4 0 601881574 658354176 83273 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=642924 CPUtime=817.82 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 99784 0 0 0 81739 43 0 0 25 0 4 0 601881574 658354176 83273 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=642924 CPUtime=822.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 79566 0 0 0 82194 36 0 0 25 0 4 0 601881574 658354176 83273 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 642924

[startup+882.3 s]
/proc/loadavg: 8.20 8.10 8.01 9/184 31710
/proc/meminfo: memFree=23970248/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=643220 CPUtime=3524.42 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 442194 0 0 0 352251 191 0 0 25 0 4 0 601881574 658657280 87284 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 160805 87284 395 112 0 155770 0
[pid=31649/tid=31650] ppid=31647 vsize=643220 CPUtime=882.3 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 133668 0 0 0 88175 55 0 0 25 0 4 0 601881574 658657280 87284 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=643220 CPUtime=877.5 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 104340 0 0 0 87704 46 0 0 25 0 4 0 601881574 658657280 87284 33554432000 4194304 4650419 140736443790528 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=643220 CPUtime=882.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 82913 0 0 0 88192 38 0 0 25 0 4 0 601881574 658657280 87284 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 643220

[startup+942.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/184 31711
/proc/meminfo: memFree=23971732/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=630940 CPUtime=3764.11 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 459816 0 0 0 376209 202 0 0 25 0 4 0 601881574 646082560 82047 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157735 82047 395 112 0 152700 0
[pid=31649/tid=31650] ppid=31647 vsize=630940 CPUtime=942.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 139257 0 0 0 94173 58 0 0 25 0 4 0 601881574 646082560 82047 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=630940 CPUtime=937.17 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 106981 0 0 0 93669 48 0 0 25 0 4 0 601881574 646082560 82047 33554432000 4194304 4650419 140736443790528 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=630940 CPUtime=942.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 87026 0 0 0 94190 40 0 0 25 0 4 0 601881574 646082560 82047 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 630940

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 8.02 9/184 31713
/proc/meminfo: memFree=23996384/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=631144 CPUtime=4003.78 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 472752 0 0 0 400169 209 0 0 25 0 4 0 601881574 646291456 81540 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157786 81540 395 112 0 152751 0
[pid=31649/tid=31650] ppid=31647 vsize=631144 CPUtime=1002.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 142345 0 0 0 100172 59 0 0 25 0 4 0 601881574 646291456 81540 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=631144 CPUtime=996.84 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 109799 0 0 0 99635 49 0 0 25 0 4 0 601881574 646291456 81540 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=631144 CPUtime=1002.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 88626 0 0 0 100189 41 0 0 25 0 4 0 601881574 646291456 81540 33554432000 4194304 4650419 140736443790528 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 631144

[startup+1062.3 s]
/proc/loadavg: 8.20 8.14 8.03 9/184 31715
/proc/meminfo: memFree=23953816/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=631380 CPUtime=4243.46 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 491145 0 0 0 424128 218 0 0 25 0 4 0 601881574 646533120 82636 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157845 82636 395 112 0 152810 0
[pid=31649/tid=31650] ppid=31647 vsize=631380 CPUtime=1062.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 145175 0 0 0 106170 61 0 0 25 0 4 0 601881574 646533120 82636 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=631380 CPUtime=1056.52 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 115908 0 0 0 105599 53 0 0 25 0 4 0 601881574 646533120 82636 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=631380 CPUtime=1062.31 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 92482 0 0 0 106188 43 0 0 25 0 4 0 601881574 646533120 82636 33554432000 4194304 4650419 140736443790528 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 631380

[startup+1122.3 s]
/proc/loadavg: 8.07 8.11 8.02 9/184 31716
/proc/meminfo: memFree=23880872/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=644304 CPUtime=4483.14 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 510215 0 0 0 448087 227 0 0 25 0 4 0 601881574 659767296 92597 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 161076 92597 395 112 0 156041 0
[pid=31649/tid=31650] ppid=31647 vsize=644304 CPUtime=1122.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 150686 0 0 0 112168 63 0 0 25 0 4 0 601881574 659767296 92597 33554432000 4194304 4650419 140736443790528 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=644304 CPUtime=1116.19 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 121388 0 0 0 111562 57 0 0 25 0 4 0 601881574 659767296 92597 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=644304 CPUtime=1122.3 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 96025 0 0 0 112186 44 0 0 25 0 4 0 601881574 659767296 92597 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 644304

[startup+1182.3 s]
/proc/loadavg: 8.02 8.09 8.02 9/184 31718
/proc/meminfo: memFree=23879584/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=631636 CPUtime=4722.82 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 531477 0 0 0 472044 238 0 0 25 0 4 0 601881574 646795264 90429 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157909 90429 395 112 0 152874 0
[pid=31649/tid=31650] ppid=31647 vsize=631636 CPUtime=1182.31 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 157991 0 0 0 118165 66 0 0 25 0 4 0 601881574 646795264 90429 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=631636 CPUtime=1175.87 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 127753 0 0 0 117526 61 0 0 25 0 4 0 601881574 646795264 90429 33554432000 4194304 4650419 140736443790528 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=631636 CPUtime=1182.31 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 99959 0 0 0 118185 46 0 0 25 0 4 0 601881574 646795264 90429 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 631636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.10 8.02 9/184 31718
/proc/meminfo: memFree=23880816/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=631636 CPUtime=4800.33 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 537971 0 0 0 479792 241 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157909 96917 395 112 0 152874 0
[pid=31649/tid=31650] ppid=31647 vsize=631636 CPUtime=1201.73 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 159131 0 0 0 120106 67 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=631636 CPUtime=1195.16 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 132348 0 0 0 119454 62 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=631636 CPUtime=1201.72 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 100717 0 0 0 120125 47 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 631636

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.08 8.10 8.02 9/184 31718
/proc/meminfo: memFree=23880816/32950940 swapFree=67111364/67111528
[pid=31649] ppid=31647 vsize=631636 CPUtime=4800.33 cores=1,3,5,7
/proc/31649/stat : 31649 (strangenight1-m) R 31647 31649 31608 0 -1 4202496 537971 0 0 0 479792 241 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31649/statm: 157909 96917 395 112 0 152874 0
[pid=31649/tid=31650] ppid=31647 vsize=631636 CPUtime=1201.73 cores=1,3,5,7
/proc/31649/task/31650/stat : 31650 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 159131 0 0 0 120106 67 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31649/tid=31651] ppid=31647 vsize=631636 CPUtime=1195.16 cores=1,3,5,7
/proc/31649/task/31651/stat : 31651 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 132348 0 0 0 119454 62 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31649/tid=31652] ppid=31647 vsize=631636 CPUtime=1201.72 cores=1,3,5,7
/proc/31649/task/31652/stat : 31652 (strangenight1-m) R 31647 31649 31608 0 -1 4202560 100717 0 0 0 120125 47 0 0 25 0 4 0 601881574 646795264 96917 33554432000 4194304 4650419 140736443790528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 631636

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.38
CPU user time (s): 4797.95
CPU system time (s): 2.43063
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 695756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.43063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537972
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= 379
involuntary context switches= 31859

runsolver used 1.91571 second user time and 4.65829 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 00:35:08
IDJOB=3175325
IDBENCH=82943
IDSOLVER=1588
FILE ID=node117/3175325-1304116508
RUNJOBID= node117-1304116508-31627
PBS_JOBID= 13170714
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= cfd96c3ec450000d8fe8684f0b30ec79
RANDOM SEED=2063196075

node117.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.849
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.69
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.849
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.849
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.849
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24666988 kB
Buffers:       1864012 kB
Cached:        5792096 kB
SwapCached:        160 kB
Active:         686052 kB
Inactive:      7037128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24666988 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12584 kB
Writeback:           0 kB
AnonPages:       66976 kB
Mapped:          15208 kB
Slab:           495444 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   272248 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= 71668 MiB
End job on node117 at 2011-04-30 00:55:12