Trace number 3369018

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.19 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf
MD5SUMfb063acde7d440560f4280457889aef8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.9601
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.01	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-3369018-1305410714.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.00 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.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.08	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.01 s
0.00/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.08	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.08	c calculated reachability. Time: 0.00
0.00/0.08	c Calc default polars -  time:   0.00 s pos:     168 undec:      39 neg:     193
0.00/0.08	c =========================================================================================
0.00/0.08	c types(t): F = full restart, N = normal restart
0.00/0.08	c types(t): S = simplification begin/end, E = solution found
0.00/0.08	c restart types(rt): st = static, dy = dynamic
0.00/0.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.08	c  B st     0         0       391      1700         0         0      5159         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
3.57/0.90	c  N st     8      4920       391      1700         0      4836      5159     95039   no data   no data  --
3.57/0.90	c  N st    10     11302       391      1700         0      4469      5159     66004   no data   no data  --
3.57/0.90	c  N st    11     17046       391      1700         0     10035      5159    174650   no data   no data  --
3.97/1.10	c  F st    12     25000       391      1700         0     12350      5159    221236   no data   no data  --
3.97/1.10	c  N st    12     25000       391      1700         0     12350      5159    221236   no data   no data  --
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30002       391      1700         0     10638      5159    165963   no data   no data  --
5.17/1.30	c  S st    18     30002       391      1700         0     10638      5159    165963   no data   no data  --
5.17/1.30	c  S st    18     30507       391      1700         0     11140      5159    175435   no data   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.50	c lits-rem:       204  cl-subs:      803  v-elim:      0  v-fix:    0  time:  0.63 s
5.96/1.50	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30507       391      1700         0     10337      5159    160484   no data   no data  --
7.16/1.82	c  N st    20     37617       391      1700         0      9599      5159    132841   no data   no data  --
8.36/2.17	c  N st    21     44017       391      1700         0     15821      5159    254740   no data   no data  --
8.77/2.29	c  S st    22     45761       391      1700         0     17530      5159    291507   no data   no data  --
9.19/2.32	c  S st    22     46262       391      1700         0      9325      5159    115593   no data   no data  --
9.19/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.39	c lits-rem:        51  cl-subs:      102  v-elim:      0  v-fix:    0  time:  0.24 s
9.19/2.39	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9223 cl shrink        0 lits rem          0 time: 0.00
9.55/2.40	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
9.55/2.40	c calculated reachability. Time: 0.00
9.55/2.40	c  N st    22     46262       391      1700         0      9223      5159    113784   no data   no data  --
12.75/3.29	c  N st    23     60662       391      1700         0     13464      5159    186306   no data   no data  --
15.53/3.90	c  N st    24     69395       391      1700         0     11313      5159    139515   no data   no data  --
15.53/3.90	c  S st    24     69395       391      1700         0     11313      5159    139515   no data   no data  --
15.53/3.93	c  S st    24     69898       391      1700         0     11814      5159    149382   no data   no data  --
15.53/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.53/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.53/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.53/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.07	c lits-rem:        76  cl-subs:      199  v-elim:      0  v-fix:    0  time:  0.51 s
15.94/4.07	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
15.94/4.07	c vivif2 --  cl tried    11615 cl shrink        0 lits rem          0 time: 0.01
15.94/4.07	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
15.94/4.08	c calculated reachability. Time: 0.00
15.94/4.08	c  N st    24     69898       391      1700         0     11615      5159    145746   no data   no data  --
21.13/5.31	c  F st    25     87501       391      1700         0     17076      5159    250825   no data   no data  --
21.13/5.31	c  N st    25     87501       391      1700         0     17076      5159    250825   no data   no data  --
22.72/5.73	c Decided on static restart strategy
23.51/5.99	c  N st    32     95542       391      1700         0     24938      5159    408661   no data   no data  --
26.34/6.69	c  N st    34    104847       391      1700         0     21304      5159    306300   no data   no data  --
26.34/6.69	c  S st    34    104847       391      1700         0     21304      5159    306300   no data   no data  --
26.75/6.75	c  S st    34    105349       391      1700         0     21805      5159    316542   no data   no data  --
26.75/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.75/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.75/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
26.75/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.51/7.44	c lits-rem:       485  cl-subs:     1384  v-elim:      0  v-fix:    0  time:  2.68 s
29.51/7.44	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
29.51/7.44	c vivif2 --  cl tried    20421 cl shrink        0 lits rem          0 time: 0.01
29.51/7.45	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.05
29.51/7.45	c calculated reachability. Time: 0.00
29.51/7.45	c  N st    34    105349       391      1700         0     20421      5159    292259   no data   no data  --
32.30/8.19	c  N st    35    114947       391      1700         0     16137      5159    194349   no data   no data  --
37.49/9.41	c  N st    36    129345       391      1700         0     15581      5159    173159   no data   no data  --
43.89/11.06	c  N st    37    150940       391      1700         0     20973      5159    264185   no data   no data  --
46.27/11.61	c  S st    38    158024       391      1700         0     27870      5159    407947   no data   no data  --
46.27/11.69	c  S st    38    158529       391      1700         0     28371      5159    417720   no data   no data  --
46.27/11.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.27/11.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.66/11.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.66/11.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.66/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
46.66/11.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.06/12.89	c lits-rem:       552  cl-subs:     2003  v-elim:      0  v-fix:    0  time:  4.73 s
51.06/12.89	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
51.46/12.90	c vivif2 --  cl tried    26368 cl shrink        0 lits rem          0 time: 0.02
51.46/12.92	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.07
51.46/12.92	c calculated reachability. Time: 0.00
51.46/12.92	c  N st    38    158529       391      1700         0     26368      5159    380643   no data   no data  --
70.24/17.63	c  N st    39    207117       391      1700         0     21083      5159    242732   no data   no data  --
82.59/20.74	c  N st    40    237793       391      1700         0     31473      5159    432242   no data   no data  --
82.59/20.74	c  S st    40    237793       391      1700         0     31473      5159    432242   no data   no data  --
82.99/20.84	c  S st    40    238298       391      1700         0     31975      5159    442469   no data   no data  --
82.99/20.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.99/20.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.99/20.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
82.99/20.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.99/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.99/20.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
82.99/20.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.97/22.35	c lits-rem:       682  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  5.94 s
88.97/22.35	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
88.97/22.36	c vivif2 --  cl tried    29486 cl shrink        0 lits rem          0 time: 0.02
88.97/22.38	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.09
88.97/22.38	c calculated reachability. Time: 0.00
88.97/22.38	c  N st    40    238298       391      1700         0     29486      5159    396479   no data   no data  --
117.71/29.53	c  F st    41    306250       391      1700         0     31228      5159    380849   no data   no data  --
117.71/29.53	c  N st    41    306250       391      1700         0     31228      5159    380849   no data   no data  --
119.70/30.07	c Decided on static restart strategy
130.48/32.70	c  N st    51    334559       391      1700         0     35495      5159    477766   no data   no data  --
142.85/35.80	c  N st    53    357449       391      1700         0     33528      5159    427722   no data   no data  --
142.85/35.80	c  S st    53    357449       391      1700         0     33528      5159    427722   no data   no data  --
142.85/35.88	c  S st    53    357952       391      1700         0     34028      5159    437593   no data   no data  --
142.85/35.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.85/35.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.85/35.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
143.25/35.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.25/35.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.25/35.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
143.25/35.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.43/37.26	c lits-rem:       658  cl-subs:     1241  v-elim:      0  v-fix:    0  time:  5.40 s
148.43/37.26	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
148.43/37.27	c vivif2 --  cl tried    32787 cl shrink        0 lits rem          0 time: 0.02
148.43/37.29	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.10
148.43/37.29	c calculated reachability. Time: 0.00
148.43/37.29	c  N st    53    357952       391      1700         0     32787      5159    413273   no data   no data  --
164.39/41.24	c  N st    54    390347       391      1700         0     38890      5159    506918   no data   no data  --
189.17/47.43	c  N st    55    438935       391      1700         0     32819      5159    361876   no data   no data  --
225.06/56.48	c  N st    56    511817       391      1700         0     46201      5159    577999   no data   no data  --
239.02/59.91	c  N st    57    536928       391      1700         0     40452      5159    471807   no data   no data  --
239.02/59.91	c  S st    57    536928       391      1700         0     40452      5159    471807   no data   no data  --
239.42/60.02	c  S st    57    537432       391      1700         0     40954      5159    482460   no data   no data  --
239.42/60.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.42/60.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.42/60.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
239.42/60.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.42/60.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.42/60.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
239.42/60.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.83/61.70	c lits-rem:      1066  cl-subs:     2982  v-elim:      0  v-fix:    0  time:  6.57 s
245.83/61.70	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
245.83/61.71	c vivif2 --  cl tried    37972 cl shrink        0 lits rem          0 time: 0.02
246.25/61.74	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.12
246.25/61.74	c calculated reachability. Time: 0.00
246.25/61.74	c  N st    57    537432       391      1700         0     37972      5159    433555   no data   no data  --
345.98/86.74	c  N st    58    701416       391      1700         0     66943      5159    968987   no data   no data  --
419.00/105.07	c  N st    59    806148       391      1700         0     60944      5159    803031   no data   no data  --
419.00/105.07	c  S st    59    806148       391      1700         0     60944      5159    803031   no data   no data  --
419.80/105.25	c  S st    59    806648       391      1700         0     61443      5159    813201   no data   no data  --
419.80/105.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
419.80/105.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
419.80/105.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
420.20/105.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
420.20/105.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.20/105.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
420.20/105.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.58/108.43	c lits-rem:      1632  cl-subs:     5293  v-elim:      0  v-fix:    0  time: 12.45 s
432.58/108.43	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
432.58/108.44	c vivif2 --  cl tried    56150 cl shrink        0 lits rem          0 time: 0.04
432.98/108.50	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.24
432.98/108.50	c calculated reachability. Time: 0.00
432.98/108.50	c  N st    59    806648       391      1700         0     56150      5159    728794   no data   no data  --
612.16/153.42	c  F st    60   1071878       391      1700         0     71358      5159    863648   no data   no data  --
612.16/153.42	c  N st    60   1071878       391      1700         0     71358      5159    863648   no data   no data  --
616.55/154.57	c Decided on static restart strategy
635.71/159.32	c  N st    70   1100186       391      1700         0     55532      5159    613096   no data   no data  --
666.04/166.95	c  N st    72   1136178       391      1700         0     46238      5159    434565   no data   no data  --
688.79/172.63	c  N st    73   1168570       391      1700         0     77446      5159   1061661   no data   no data  --
717.91/179.98	c  N st    74   1209974       391      1700         0     72310      5159    984138   no data   no data  --
717.91/179.98	c  S st    74   1209974       391      1700         0     72310      5159    984138   no data   no data  --
719.11/180.21	c  S st    74   1210476       391      1700         0     72810      5159    994734   no data   no data  --
719.11/180.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
719.11/180.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
719.11/180.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
719.11/180.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
719.11/180.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
719.11/180.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
719.11/180.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.88/184.41	c lits-rem:      1350  cl-subs:     4353  v-elim:      0  v-fix:    0  time: 16.48 s
735.88/184.41	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
735.88/184.42	c vivif2 --  cl tried    68457 cl shrink        0 lits rem          0 time: 0.05
736.28/184.52	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.38
736.28/184.52	c calculated reachability. Time: 0.00
736.28/184.52	c  N st    74   1210476       391      1700         0     68457      5159    914824   no data   no data  --
796.13/199.57	c  N st    75   1283358       391      1700         0     92529      5159   1349647   no data   no data  --
883.13/221.35	c  N st    76   1392683       391      1700         0     52988      5159    506491   no data   no data  --
1018.04/255.13	c  N st    77   1556667       391      1700         0     57809      5159    561171   no data   no data  --
1148.93/287.91	c  N st    78   1710479       391      1700         0     99140      5159   1366218   no data   no data  --
1148.93/287.91	c  S st    78   1710479       391      1700         0     99140      5159   1366218   no data   no data  --
1150.14/288.23	c  S st    78   1710981       391      1700         0     99641      5159   1376096   no data   no data  --
1150.14/288.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1150.14/288.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1150.14/288.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1150.56/288.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1150.56/288.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1150.56/288.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1150.56/288.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1178.05/295.29	c lits-rem:      1266  cl-subs:     8622  v-elim:      0  v-fix:    0  time: 27.81 s
1178.05/295.30	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
1178.45/295.31	c vivif2 --  cl tried    91019 cl shrink        0 lits rem          0 time: 0.06
1178.85/295.43	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.48
1178.85/295.43	c calculated reachability. Time: 0.00
1178.85/295.43	c  N st    78   1710981       391      1700         0     91019      5159   1233953   no data   no data  --
1511.68/378.85	c  N st    79   2079945       391      1700         0    102505      5159   1381652   no data   no data  --
1642.22/411.58	c  N st    80   2210983       391      1700         0    106601      5159   1406856   no data   no data  --
1642.22/411.58	c  S st    80   2210983       391      1700         0    106601      5159   1406856   no data   no data  --
1643.78/411.95	c  S st    80   2211487       391      1700         0    107104      5159   1417212   no data   no data  --
1643.78/411.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1643.78/411.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1644.18/412.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1644.18/412.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1644.18/412.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1644.18/412.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1644.18/412.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1676.51/420.18	c lits-rem:       358  cl-subs:    11471  v-elim:      0  v-fix:    0  time: 32.40 s
1676.51/420.18	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
1676.51/420.19	c vivif2 --  cl tried    95633 cl shrink        0 lits rem          0 time: 0.06
1677.34/420.32	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.50
1677.34/420.32	c calculated reachability. Time: 0.00
1677.34/420.32	c  N st    80   2211487       391      1700         0     95633      5159   1232199   no data   no data  --
2208.52/553.42	c  N st    81   2711489       391      1700         0    118422      5159   1474618   no data   no data  --
2208.52/553.42	c  S st    81   2711489       391      1700         0    118422      5159   1474618   no data   no data  --
2210.08/553.84	c  S st    81   2711994       391      1700         0    118927      5159   1484808   no data   no data  --
2210.08/553.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2210.08/553.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2210.48/553.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2210.48/553.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2210.48/553.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2210.48/553.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2210.48/553.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2253.98/564.81	c lits-rem:       414  cl-subs:    18477  v-elim:      0  v-fix:    0  time: 43.32 s
2253.98/564.81	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
2253.98/564.83	c vivif2 --  cl tried   100450 cl shrink        0 lits rem          0 time: 0.07
2254.38/564.96	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.54
2254.38/564.96	c calculated reachability. Time: 0.00
2254.38/564.96	c  N st    81   2711994       391      1700         0    100450      5159   1199953   no data   no data  --
2819.47/706.57	c  N st    82   3211995       391      1700         0     77349      5159    683640   no data   no data  --
2819.47/706.57	c  S st    82   3211995       391      1700         0     77349      5159    683640   no data   no data  --
2820.67/706.81	c  S st    82   3212499       391      1700         0     77852      5159    694472   no data   no data  --
2820.67/706.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2820.67/706.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2820.67/706.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
2820.67/706.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2820.67/706.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2820.67/706.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2820.67/706.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2829.86/709.18	c lits-rem:       644  cl-subs:      751  v-elim:      0  v-fix:    0  time:  9.20 s
2829.86/709.18	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
2829.86/709.19	c vivif2 --  cl tried    77101 cl shrink        0 lits rem          0 time: 0.04
2830.26/709.28	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.33
2830.26/709.28	c calculated reachability. Time: 0.00
2830.26/709.28	c  N st    82   3212499       391      1700         0     77101      5159    684047   no data   no data  --
3438.44/861.62	c  N st    83   3712500       391      1700         0     88083      5159    831717   no data   no data  --
3438.44/861.62	c  S st    83   3712500       391      1700         0     88083      5159    831717   no data   no data  --
3439.24/861.90	c  S st    83   3713001       391      1700         0     88582      5159    842023   no data   no data  --
3439.64/861.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3439.64/861.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3439.64/861.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3439.64/861.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3439.64/861.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3439.64/861.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3439.64/861.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3450.85/864.72	c lits-rem:       452  cl-subs:     1818  v-elim:      0  v-fix:    0  time: 10.97 s
3450.85/864.72	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
3450.85/864.73	c vivif2 --  cl tried    86764 cl shrink        0 lits rem          0 time: 0.05
3451.21/864.83	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.40
3451.21/864.84	c calculated reachability. Time: 0.00
3451.21/864.84	c  N st    83   3713001       391      1700         0     86764      5159    811962   no data   no data  --
3495.91/876.01	c  F st    84   3751562       391      1700         0    123962      5159   1547408   no data   no data  --
3495.91/876.02	c  N st    84   3751562       391      1700         0    123962      5159   1547408   no data   no data  --
3503.89/878.05	c Decided on static restart strategy
3540.21/887.19	c  N st    94   3779868       391      1700         0    151226      5159   2087875   no data   no data  --
3586.11/898.67	c  N st    96   3815864       391      1700         0    103973      5159   1133580   no data   no data  --
3627.20/908.91	c  N st    97   3848257       391      1700         0    135089      5159   1722722   no data   no data  --
3689.06/924.49	c  N st    98   3896846       391      1700         0     99283      5159   1062199   no data   no data  --
3798.81/951.99	c  N st    99   3969728       391      1700         0     85691      5159    749758   no data   no data  --
3941.29/987.67	c  N st   100   4079052       391      1700         0    106031      5159   1145450   no data   no data  --
4120.47/1032.58	c  N st   101   4213003       391      1700         0    148891      5159   1947200   no data   no data  --
4120.47/1032.58	c  S st   101   4213003       391      1700         0    148891      5159   1947200   no data   no data  --
4122.86/1033.11	c  S st   101   4213509       391      1700         0    149395      5159   1958125   no data   no data  --
4122.86/1033.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4122.86/1033.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4122.86/1033.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4123.26/1033.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4123.26/1033.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4123.26/1033.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4123.26/1033.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4227.86/1059.43	c lits-rem:       600  cl-subs:    22353  v-elim:      0  v-fix:    0  time: 104.42 s
4227.86/1059.43	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
4227.86/1059.45	c vivif2 --  cl tried   127042 cl shrink        0 lits rem          0 time: 0.09
4228.62/1059.63	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.70
4228.62/1059.63	c calculated reachability. Time: 0.00
4228.62/1059.63	c  N st   101   4213509       391      1700         0    127042      5159   1575402   no data   no data  --
4596.19/1151.78	c  N st   102   4459485       391      1700         0    101285      5159   1009611   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-3369018-1305410714/watcher-3369018-1305410714 -o /tmp/evaluation-result-3369018-1305410714/solver-3369018-1305410714 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369018-1305410714.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: 8.18 8.13 8.03 2/289 5604
/proc/meminfo: memFree=16809292/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 411 0 0 0 0 0 0 0 18 0 4 0 652674215 52465664 352 33554432000 4194304 4650419 140735633443168 18446744073709551615 47152598009778 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 12809 352 303 112 0 7774 0
[pid=5604/tid=5605] ppid=5602 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652674215 52465664 352 33554432000 4194304 4650419 140735633443168 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652674215 52465664 352 33554432000 4194304 4650419 140735633443168 18446744073709551615 47152598009778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652674215 52465664 352 33554432000 4194304 4650419 140735633443168 18446744073709551615 47152598009776 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.114245 s]
/proc/loadavg: 8.18 8.13 8.03 2/289 5604
/proc/meminfo: memFree=16809292/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=282500 CPUtime=0.43 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 1649 0 0 0 43 0 0 0 18 0 4 0 652674215 289280000 1522 33554432000 4194304 4650419 140735633443168 18446744073709551615 4334208 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 70625 1522 391 112 0 65590 0
[pid=5604/tid=5605] ppid=5602 vsize=282500 CPUtime=0.1 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 339 0 0 0 10 0 0 0 19 0 4 0 652674215 289280000 1522 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=282500 CPUtime=0.1 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 319 0 0 0 10 0 0 0 18 0 4 0 652674215 289280000 1522 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=282500 CPUtime=0.1 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 250 0 0 0 10 0 0 0 18 0 4 0 652674215 289280000 1522 33554432000 4194304 4650419 140735633443168 18446744073709551615 4330693 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282500

[startup+0.200229 s]
/proc/loadavg: 8.18 8.13 8.03 2/289 5604
/proc/meminfo: memFree=16809292/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=283500 CPUtime=0.77 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 2228 0 0 0 77 0 0 0 18 0 4 0 652674215 290304000 1630 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 70875 1630 393 112 0 65840 0
[pid=5604/tid=5605] ppid=5602 vsize=283500 CPUtime=0.18 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 477 0 0 0 18 0 0 0 20 0 4 0 652674215 290304000 1630 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=283500 CPUtime=0.19 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 465 0 0 0 19 0 0 0 18 0 4 0 652674215 290304000 1630 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=283500 CPUtime=0.19 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 399 0 0 0 19 0 0 0 18 0 4 0 652674215 290304000 1630 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283500

[startup+0.300211 s]
/proc/loadavg: 8.18 8.13 8.03 2/289 5604
/proc/meminfo: memFree=16809292/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=283500 CPUtime=1.17 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 2580 0 0 0 117 0 0 0 18 0 4 0 652674215 290304000 1982 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 70875 1982 393 112 0 65840 0
[pid=5604/tid=5605] ppid=5602 vsize=283500 CPUtime=0.28 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 563 0 0 0 28 0 0 0 20 0 4 0 652674215 290304000 1982 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 549 0 0 0 29 0 0 0 18 0 4 0 652674215 290304000 1982 33554432000 4194304 4650419 140735633443168 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 489 0 0 0 29 0 0 0 18 0 4 0 652674215 290304000 1982 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364340 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) 283500

[startup+0.700142 s]
/proc/loadavg: 8.18 8.13 8.03 2/289 5604
/proc/meminfo: memFree=16809292/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=284964 CPUtime=2.77 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 4488 0 0 0 277 0 0 0 18 0 4 0 652674215 291803136 2260 33554432000 4194304 4650419 140735633443168 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 71241 2260 393 112 0 66206 0
[pid=5604/tid=5605] ppid=5602 vsize=284964 CPUtime=0.68 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1061 0 0 0 68 0 0 0 21 0 4 0 652674215 291803136 2260 33554432000 4194304 4650419 140735633443168 18446744073709551615 4367885 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=284964 CPUtime=0.69 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1028 0 0 0 69 0 0 0 18 0 4 0 652674215 291803136 2260 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=284964 CPUtime=0.69 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 935 0 0 0 69 0 0 0 18 0 4 0 652674215 291803136 2260 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284964

[startup+1.501 s]
/proc/loadavg: 8.18 8.13 8.03 10/298 5638
/proc/meminfo: memFree=16790936/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=285516 CPUtime=5.96 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 7671 0 0 0 595 1 0 0 20 0 4 0 652674215 292368384 4292 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 71379 4292 395 112 0 66344 0
[pid=5604/tid=5605] ppid=5602 vsize=285516 CPUtime=1.47 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1618 0 0 0 147 0 0 0 23 0 4 0 652674215 292368384 4292 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=285516 CPUtime=1.49 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1567 0 0 0 149 0 0 0 19 0 4 0 652674215 292368384 4292 33554432000 4194304 4650419 140735633443168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=285516 CPUtime=1.49 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 1426 0 0 0 149 0 0 0 20 0 4 0 652674215 292368384 4292 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285516

[startup+3.10071 s]
/proc/loadavg: 8.25 8.14 8.03 9/298 5668
/proc/meminfo: memFree=16771852/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=281288 CPUtime=12.35 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 15338 0 0 0 1233 2 0 0 25 0 4 0 652674215 288038912 8415 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 70322 8415 395 112 0 65287 0
[pid=5604/tid=5605] ppid=5602 vsize=281288 CPUtime=3.06 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 3542 0 0 0 306 0 0 0 25 0 4 0 652674215 288038912 8415 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=281288 CPUtime=3.08 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 3888 0 0 0 308 0 0 0 25 0 4 0 652674215 288038912 8415 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=281288 CPUtime=3.09 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 3647 0 0 0 309 0 0 0 25 0 4 0 652674215 288038912 8415 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 281288

[startup+6.30115 s]
/proc/loadavg: 8.25 8.14 8.03 9/298 5668
/proc/meminfo: memFree=16726344/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=287556 CPUtime=25.12 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 23028 0 0 0 2508 4 0 0 25 0 4 0 652674215 294457344 11606 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 71889 11606 395 112 0 66854 0
[pid=5604/tid=5605] ppid=5602 vsize=287556 CPUtime=6.23 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 5929 0 0 0 623 0 0 0 25 0 4 0 652674215 294457344 11606 33554432000 4194304 4650419 140735633443168 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=287556 CPUtime=6.29 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 6227 0 0 0 628 1 0 0 25 0 4 0 652674215 294457344 11606 33554432000 4194304 4650419 140735633443168 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=287556 CPUtime=6.29 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 4699 0 0 0 629 0 0 0 25 0 4 0 652674215 294457344 11606 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 287556

[startup+12.701 s]
/proc/loadavg: 8.21 8.14 8.03 9/298 5668
/proc/meminfo: memFree=16692776/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=291092 CPUtime=50.66 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 35020 0 0 0 5060 6 0 0 25 0 4 0 652674215 298078208 15595 33554432000 4194304 4650419 140735633443168 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 72773 15595 395 112 0 67738 0
[pid=5604/tid=5605] ppid=5602 vsize=291092 CPUtime=12.57 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 8885 0 0 0 1256 1 0 0 25 0 4 0 652674215 298078208 15595 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=291092 CPUtime=12.69 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 9287 0 0 0 1268 1 0 0 25 0 4 0 652674215 298078208 15595 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=291092 CPUtime=12.68 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 6570 0 0 0 1268 0 0 0 25 0 4 0 652674215 298078208 15595 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 291092

[startup+25.5007 s]
/proc/loadavg: 8.18 8.13 8.03 9/298 5669
/proc/meminfo: memFree=16660684/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=299032 CPUtime=101.74 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 53096 0 0 0 10163 11 0 0 25 0 4 0 652674215 306208768 19836 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 74758 19836 395 112 0 69723 0
[pid=5604/tid=5605] ppid=5602 vsize=299032 CPUtime=25.25 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 14161 0 0 0 2523 2 0 0 25 0 4 0 652674215 306208768 19836 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=299032 CPUtime=25.48 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 14384 0 0 0 2545 3 0 0 25 0 4 0 652674215 306208768 19836 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=299032 CPUtime=25.48 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 9408 0 0 0 2547 1 0 0 25 0 4 0 652674215 306208768 19836 33554432000 4194304 4650419 140735633443168 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 299032

[startup+51.1012 s]
/proc/loadavg: 8.18 8.14 8.03 9/298 5669
/proc/meminfo: memFree=16628168/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=309096 CPUtime=203.9 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 81353 0 0 0 20369 21 0 0 25 0 4 0 652674215 316514304 24476 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 77274 24476 395 112 0 72239 0
[pid=5604/tid=5605] ppid=5602 vsize=309096 CPUtime=50.62 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 22602 0 0 0 5057 5 0 0 25 0 4 0 652674215 316514304 24476 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=309096 CPUtime=51.08 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 22480 0 0 0 5102 6 0 0 25 0 4 0 652674215 316514304 24476 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=309096 CPUtime=51.08 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 13090 0 0 0 5106 2 0 0 25 0 4 0 652674215 316514304 24476 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 309096

[startup+102.301 s]
/proc/loadavg: 8.13 8.12 8.03 9/298 5671
/proc/meminfo: memFree=16571612/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=316228 CPUtime=408.25 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 126296 0 0 0 40788 37 0 0 25 0 4 0 652674215 323817472 30809 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 79057 30809 395 112 0 74022 0
[pid=5604/tid=5605] ppid=5602 vsize=316228 CPUtime=101.36 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 35088 0 0 0 10126 10 0 0 25 0 4 0 652674215 323817472 30811 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=316228 CPUtime=102.29 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 35163 0 0 0 10218 11 0 0 25 0 4 0 652674215 323817472 30811 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=316228 CPUtime=102.3 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 20566 0 0 0 10225 5 0 0 25 0 4 0 652674215 323817472 30811 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 316228

[startup+162.3 s]

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

[pid=5604] ppid=5602 vsize=511100 CPUtime=2802.72 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 414812 0 0 0 280102 170 0 0 25 0 4 0 652674215 523366400 82442 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 127775 82442 395 112 0 122740 0
[pid=5604/tid=5605] ppid=5602 vsize=511100 CPUtime=695.91 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 100484 0 0 0 69552 39 0 0 25 0 4 0 652674215 523366400 82442 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=511100 CPUtime=702.29 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 124827 0 0 0 70175 54 0 0 25 0 4 0 652674215 523366400 82442 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=511100 CPUtime=702.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 62781 0 0 0 70206 25 0 0 25 0 4 0 652674215 523366400 82442 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.72
Current children cumulated vsize (KiB) 511100

[startup+762.3 s]
/proc/loadavg: 8.06 8.07 8.02 9/298 5688
/proc/meminfo: memFree=16228968/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=511636 CPUtime=3042.18 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 430494 0 0 0 304042 176 0 0 25 0 4 0 652674215 523915264 79079 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 127909 79079 395 112 0 122874 0
[pid=5604/tid=5605] ppid=5602 vsize=511636 CPUtime=755.37 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 101012 0 0 0 75498 39 0 0 25 0 4 0 652674215 523915264 79081 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=511636 CPUtime=762.31 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 132424 0 0 0 76173 58 0 0 25 0 4 0 652674215 523915264 79081 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=511636 CPUtime=762.32 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 64948 0 0 0 76206 26 0 0 25 0 4 0 652674215 523915264 79081 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.18
Current children cumulated vsize (KiB) 511636

[startup+822.301 s]
/proc/loadavg: 8.06 8.06 8.02 9/298 5690
/proc/meminfo: memFree=16194844/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=589940 CPUtime=3281.62 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 450241 0 0 0 327976 186 0 0 25 0 4 0 652674215 604098560 82754 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 147485 82754 395 112 0 142450 0
[pid=5604/tid=5605] ppid=5602 vsize=589940 CPUtime=814.83 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 103440 0 0 0 81442 41 0 0 25 0 4 0 652674215 604098560 82754 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=589940 CPUtime=822.3 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 140538 0 0 0 82169 61 0 0 25 0 4 0 652674215 604098560 82754 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=589940 CPUtime=822.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 68062 0 0 0 82203 28 0 0 25 0 4 0 652674215 604098560 82754 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.62
Current children cumulated vsize (KiB) 589940

[startup+882.311 s]
/proc/loadavg: 8.09 8.07 8.01 9/298 5691
/proc/meminfo: memFree=16187760/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=577908 CPUtime=3521.09 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 469565 0 0 0 351911 198 0 0 25 0 4 0 652674215 591777792 83451 33554432000 4194304 4650419 140735633443168 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 144477 83451 395 112 0 139442 0
[pid=5604/tid=5605] ppid=5602 vsize=577908 CPUtime=874.28 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 107559 0 0 0 87386 42 0 0 25 0 4 0 652674215 591777792 83451 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=577908 CPUtime=882.31 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 146549 0 0 0 88166 65 0 0 25 0 4 0 652674215 591777792 83451 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=577908 CPUtime=882.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 71514 0 0 0 88201 30 0 0 25 0 4 0 652674215 591777792 83451 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.09
Current children cumulated vsize (KiB) 577908

[startup+942.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/298 5693
/proc/meminfo: memFree=16197672/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=603468 CPUtime=3760.49 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 487683 0 0 0 375839 210 0 0 25 0 4 0 652674215 617951232 85555 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 150867 85555 395 112 0 145832 0
[pid=5604/tid=5605] ppid=5602 vsize=603468 CPUtime=933.73 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 112866 0 0 0 93328 45 0 0 25 0 4 0 652674215 617951232 85555 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=603468 CPUtime=942.29 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 152245 0 0 0 94162 67 0 0 25 0 4 0 652674215 617951232 85556 33554432000 4194304 4650419 140735633443168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=603468 CPUtime=942.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 72828 0 0 0 94199 32 0 0 25 0 4 0 652674215 617951232 85556 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.49
Current children cumulated vsize (KiB) 603468

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/298 5695
/proc/meminfo: memFree=16165924/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=603668 CPUtime=3999.95 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 507476 0 0 0 399773 222 0 0 25 0 4 0 652674215 618156032 91264 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 150917 91264 395 112 0 145882 0
[pid=5604/tid=5605] ppid=5602 vsize=603668 CPUtime=993.18 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 114442 0 0 0 99272 46 0 0 25 0 4 0 652674215 618156032 91264 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=603668 CPUtime=1002.31 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 160542 0 0 0 100159 72 0 0 25 0 4 0 652674215 618156032 91264 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=603668 CPUtime=1002.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 76998 0 0 0 100197 34 0 0 25 0 4 0 652674215 618156032 91264 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.95
Current children cumulated vsize (KiB) 603668

[startup+1062.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/298 5696
/proc/meminfo: memFree=16157108/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=604272 CPUtime=4239.4 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 521386 0 0 0 423712 228 0 0 25 0 4 0 652674215 618774528 92350 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 151068 92350 395 112 0 146033 0
[pid=5604/tid=5605] ppid=5602 vsize=604272 CPUtime=1052.65 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 114731 0 0 0 105218 47 0 0 25 0 4 0 652674215 618774528 92350 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=604272 CPUtime=1062.3 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 165417 0 0 0 106156 74 0 0 25 0 4 0 652674215 618774528 92350 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=604272 CPUtime=1062.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 79759 0 0 0 106196 35 0 0 25 0 4 0 652674215 618774528 92350 33554432000 4194304 4650419 140735633443168 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.4
Current children cumulated vsize (KiB) 604272

[startup+1122.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/298 5698
/proc/meminfo: memFree=16123608/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=591456 CPUtime=4478.84 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 536211 0 0 0 447646 238 0 0 25 0 4 0 652674215 605650944 97100 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 147864 97100 395 112 0 142829 0
[pid=5604/tid=5605] ppid=5602 vsize=591456 CPUtime=1112.1 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 115316 0 0 0 111163 47 0 0 25 0 4 0 652674215 605650944 97100 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=591456 CPUtime=1122.31 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 171823 0 0 0 112152 79 0 0 25 0 4 0 652674215 605650944 97100 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=591456 CPUtime=1122.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 82295 0 0 0 112194 37 0 0 25 0 4 0 652674215 605650944 97100 33554432000 4194304 4650419 140735633443168 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.84
Current children cumulated vsize (KiB) 591456

[startup+1182.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/298 5699
/proc/meminfo: memFree=16108224/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=605008 CPUtime=4718.29 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 554245 0 0 0 471582 247 0 0 25 0 4 0 652674215 619528192 98055 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 151252 98055 395 112 0 146217 0
[pid=5604/tid=5605] ppid=5602 vsize=605008 CPUtime=1171.55 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 115442 0 0 0 117108 47 0 0 25 0 4 0 652674215 619528192 98055 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=605008 CPUtime=1182.31 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 181551 0 0 0 118149 82 0 0 25 0 4 0 652674215 619528192 98055 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=605008 CPUtime=1182.31 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 84830 0 0 0 118193 38 0 0 25 0 4 0 652674215 619528192 98055 33554432000 4194304 4650419 140735633443168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.29
Current children cumulated vsize (KiB) 605008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.06 8.06 8.01 9/298 5700
/proc/meminfo: memFree=16106212/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=605052 CPUtime=4800.12 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 557830 0 0 0 479762 250 0 0 25 0 4 0 652674215 619573248 98499 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 151263 98499 395 112 0 146228 0
[pid=5604/tid=5605] ppid=5602 vsize=605052 CPUtime=1191.86 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 115464 0 0 0 119139 47 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=605052 CPUtime=1202.82 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 183752 0 0 0 120199 83 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=605052 CPUtime=1202.82 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 84830 0 0 0 120244 38 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 605052

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

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

[startup+1202.8 s]
/proc/loadavg: 8.06 8.06 8.01 9/298 5700
/proc/meminfo: memFree=16106212/32951124 swapFree=52307768/67111528
[pid=5604] ppid=5602 vsize=605052 CPUtime=4800.12 cores=1,3,5,7
/proc/5604/stat : 5604 (strangenight1-m) R 5602 5604 5130 0 -1 4202496 557830 0 0 0 479762 250 0 0 25 0 4 0 652674215 619573248 98499 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5604/statm: 151263 98499 395 112 0 146228 0
[pid=5604/tid=5605] ppid=5602 vsize=605052 CPUtime=1191.86 cores=1,3,5,7
/proc/5604/task/5605/stat : 5605 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 115464 0 0 0 119139 47 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=605052 CPUtime=1202.82 cores=1,3,5,7
/proc/5604/task/5606/stat : 5606 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 183752 0 0 0 120199 83 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5604/tid=5607] ppid=5602 vsize=605052 CPUtime=1202.82 cores=1,3,5,7
/proc/5604/task/5607/stat : 5607 (strangenight1-m) R 5602 5604 5130 0 -1 4202560 84830 0 0 0 120244 38 0 0 25 0 4 0 652674215 619573248 98501 33554432000 4194304 4650419 140735633443168 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 605052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.19
CPU user time (s): 4797.66
CPU system time (s): 2.52462
CPU usage (%): 399.072
Max. virtual memory (cumulated for all children) (KiB): 657140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.52462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557832
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= 185
involuntary context switches= 34318

runsolver used 2.82457 second user time and 8.15476 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 00:05:15
IDJOB=3369018
IDBENCH=83027
IDSOLVER=1846
FILE ID=node101/3369018-1305410714
RUNJOBID= node101-1305409509-5506
PBS_JOBID= 13324502
Free space on /tmp= 73732 MiB

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

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

MD5SUM BENCH= fb063acde7d440560f4280457889aef8
RANDOM SEED=1574130379

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16809572 kB
Buffers:        323780 kB
Cached:        5886752 kB
SwapCached:      14848 kB
Active:       10840372 kB
Inactive:      5026708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16809572 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:     9653560 kB
Mapped:          14912 kB
Slab:           149564 kB
PageTables:      62280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42012528 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= 73724 MiB
End job on node101 at 2011-05-15 00:25:19