Trace number 3368881

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.22 1203.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf
MD5SUM5ba52a7ac0a84086dc4098f6b5213446
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark31.0843
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-3368881-1305405255.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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:         1  cl-subs:        2  v-elim:     12  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:     193 undec:      52 neg:     155
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       388      1692         1         0      5135         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.37/0.13	c  N st     8      4916       388      1692         1      4828      5135     94618   no data   no data  --
1.17/0.35	c  N st    10     11299       388      1692         1      4421      5135     62664   no data   no data  --
2.37/0.62	c  N st    11     17042       388      1692         1     10004      5135    171942   no data   no data  --
3.56/1.00	c  F st    12     25000       388      1692         1     12187      5135    202475   no data   no data  --
3.56/1.00	c  N st    12     25000       388      1692         1     12187      5135    202475   no data   no data  --
4.75/1.23	c Decided on static restart strategy
4.75/1.23	c  N st    18     30000       388      1692         1     10531      5135    162214   no data   no data  --
4.75/1.23	c  S st    18     30000       388      1692         1     10531      5135    162214   no data   no data  --
4.75/1.26	c  S st    18     30504       388      1692         1     11035      5135    171606   no data   no data  --
4.75/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.75/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.75/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.75/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.75/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4.75/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.43	c lits-rem:       178  cl-subs:     1085  v-elim:      0  v-fix:    0  time:  0.62 s
5.55/1.43	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.03
5.55/1.43	c calculated reachability. Time: 0.00
5.55/1.43	c  N st    18     30504       388      1692         1      9950      5135    151949   no data   no data  --
7.15/1.81	c  N st    20     37615       388      1692         1      9248      5135    126351   no data   no data  --
8.38/2.16	c  N st    21     44014       388      1692         1     15457      5135    251296   no data   no data  --
8.79/2.27	c  S st    22     45756       388      1692         1     17179      5135    288298   no data   no data  --
9.15/2.32	c  S st    22     46258       388      1692         1      8990      5135    110929   no data   no data  --
9.15/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.15/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.15/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
9.15/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.15/2.38	c lits-rem:        34  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.20 s
9.15/2.38	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
9.15/2.38	c vivif2 --  cl tried     8856 cl shrink        0 lits rem          0 time: 0.00
9.15/2.39	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.02
9.15/2.39	c calculated reachability. Time: 0.00
9.15/2.39	c  N st    22     46258       388      1692         1      8856      5135    108595   no data   no data  --
12.76/3.22	c  N st    23     60659       388      1692         1     13164      5135    184690   no data   no data  --
15.53/3.90	c  N st    24     69387       388      1692         1     10956      5135    130503   no data   no data  --
15.53/3.90	c  S st    24     69387       388      1692         1     10956      5135    130503   no data   no data  --
15.53/3.93	c  S st    24     69892       388      1692         1     11460      5135    139829   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.94	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:    388 time:  0.00 s
15.53/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.05	c lits-rem:        45  cl-subs:      178  v-elim:      0  v-fix:    0  time:  0.44 s
15.93/4.05	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
15.93/4.05	c vivif2 --  cl tried    11282 cl shrink        0 lits rem          0 time: 0.01
15.93/4.06	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.03
15.93/4.06	c calculated reachability. Time: 0.00
15.93/4.06	c  N st    24     69892       388      1692         1     11282      5135    136587   no data   no data  --
20.72/5.27	c  F st    25     87500       388      1692         1     16658      5135    227849   no data   no data  --
20.72/5.27	c  N st    25     87500       388      1692         1     16658      5135    227849   no data   no data  --
22.31/5.64	c Decided on static restart strategy
23.51/5.92	c  N st    32     95543       388      1692         1     24473      5135    375995   no data   no data  --
26.34/6.61	c  N st    34    104840       388      1692         1     20879      5135    297028   no data   no data  --
26.34/6.61	c  S st    34    104840       388      1692         1     20879      5135    297028   no data   no data  --
26.34/6.67	c  S st    34    105345       388      1692         1     21382      5135    306238   no data   no data  --
26.34/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.34/6.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
26.34/6.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.10/7.34	c lits-rem:       368  cl-subs:     1551  v-elim:      0  v-fix:    0  time:  2.59 s
29.10/7.34	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
29.10/7.34	c vivif2 --  cl tried    19831 cl shrink        0 lits rem          0 time: 0.01
29.10/7.35	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.06
29.10/7.35	c calculated reachability. Time: 0.00
29.10/7.35	c  N st    34    105345       388      1692         1     19831      5135    278554   no data   no data  --
31.88/8.07	c  N st    35    114944       388      1692         1     15637      5135    186792   no data   no data  --
37.08/9.30	c  N st    36    129342       388      1692         1     15098      5135    163212   no data   no data  --
43.90/11.02	c  N st    37    150937       388      1692         1     20570      5135    256899   no data   no data  --
46.26/11.66	c  S st    38    158017       388      1692         1     27441      5135    390737   no data   no data  --
46.66/11.72	c  S st    38    158519       388      1692         1     27941      5135    400899   no data   no data  --
46.66/11.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.66/11.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.66/11.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.66/11.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.66/11.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
46.66/11.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.44/12.90	c lits-rem:       734  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  4.63 s
51.44/12.90	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
51.44/12.91	c vivif2 --  cl tried    26147 cl shrink        0 lits rem          0 time: 0.02
51.44/12.93	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.08
51.44/12.93	c calculated reachability. Time: 0.00
51.44/12.93	c  N st    38    158519       388      1692         1     26147      5135    368657   no data   no data  --
71.39/17.98	c  N st    39    207107       388      1692         1     20860      5135    235561   no data   no data  --
84.16/21.16	c  N st    40    237778       388      1692         1     31160      5135    419335   no data   no data  --
84.16/21.16	c  S st    40    237778       388      1692         1     31160      5135    419335   no data   no data  --
84.56/21.23	c  S st    40    238282       388      1692         1     31664      5135    429174   no data   no data  --
84.56/21.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.56/21.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.56/21.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
84.56/21.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.56/21.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.56/21.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
84.56/21.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.14/22.67	c lits-rem:       574  cl-subs:     2351  v-elim:      0  v-fix:    0  time:  5.66 s
90.14/22.67	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
90.14/22.68	c vivif2 --  cl tried    29313 cl shrink        0 lits rem          0 time: 0.02
90.54/22.70	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.08
90.54/22.70	c calculated reachability. Time: 0.00
90.54/22.70	c  N st    40    238282       388      1692         1     29313      5135    390418   no data   no data  --
120.86/30.30	c  F st    41    306250       388      1692         1     31182      5135    372357   no data   no data  --
120.86/30.30	c  N st    41    306250       388      1692         1     31182      5135    372357   no data   no data  --
123.25/30.90	c Decided on static restart strategy
134.03/33.64	c  N st    51    334551       388      1692         1     35474      5135    456678   no data   no data  --
144.85/36.35	c  N st    53    357425       388      1692         1     33493      5135    406120   no data   no data  --
144.85/36.35	c  S st    53    357425       388      1692         1     33493      5135    406120   no data   no data  --
145.20/36.43	c  S st    53    357928       388      1692         1     33995      5135    416578   no data   no data  --
145.20/36.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.20/36.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.20/36.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.20/36.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.20/36.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.20/36.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
145.20/36.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
150.38/37.75	c lits-rem:       485  cl-subs:     1503  v-elim:      0  v-fix:    0  time:  5.17 s
150.38/37.75	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
150.38/37.76	c vivif2 --  cl tried    32492 cl shrink        0 lits rem          0 time: 0.02
150.38/37.78	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.10
150.38/37.78	c calculated reachability. Time: 0.00
150.38/37.78	c  N st    53    357928       388      1692         1     32492      5135    389754   no data   no data  --
165.55/41.53	c  N st    54    390321       388      1692         1     38706      5135    504690   no data   no data  --
191.08/47.90	c  N st    55    438909       388      1692         1     32470      5135    361843   no data   no data  --
232.20/58.26	c  N st    56    511791       388      1692         1     45699      5135    575749   no data   no data  --
247.34/62.02	c  N st    57    536896       388      1692         1     39935      5135    455540   no data   no data  --
247.34/62.02	c  S st    57    536896       388      1692         1     39935      5135    455540   no data   no data  --
247.74/62.11	c  S st    57    537398       388      1692         1     40434      5135    465701   no data   no data  --
247.74/62.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
247.74/62.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
247.74/62.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
247.74/62.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.74/62.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.74/62.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
247.74/62.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
253.72/63.64	c lits-rem:       858  cl-subs:     2430  v-elim:      0  v-fix:    0  time:  5.99 s
253.72/63.64	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
253.72/63.65	c vivif2 --  cl tried    38004 cl shrink        0 lits rem          0 time: 0.02
253.72/63.68	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.12
253.72/63.68	c calculated reachability. Time: 0.00
253.72/63.68	c  N st    57    537398       388      1692         1     38004      5135    427123   no data   no data  --
357.05/89.50	c  N st    58    701383       388      1692         1     66681      5135    903691   no data   no data  --
426.47/106.99	c  N st    59    806097       388      1692         1     60904      5135    783149   no data   no data  --
426.47/106.99	c  S st    59    806097       388      1692         1     60904      5135    783149   no data   no data  --
427.27/107.18	c  S st    59    806600       388      1692         1     61403      5135    792923   no data   no data  --
427.27/107.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
427.27/107.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
427.67/107.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
427.67/107.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
427.67/107.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
427.67/107.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
427.67/107.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
440.84/110.59	c lits-rem:       840  cl-subs:     7527  v-elim:      0  v-fix:    0  time: 13.36 s
440.84/110.59	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
441.24/110.60	c vivif2 --  cl tried    53876 cl shrink        0 lits rem          0 time: 0.04
441.24/110.65	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.23
441.24/110.66	c calculated reachability. Time: 0.00
441.24/110.66	c  N st    59    806600       388      1692         1     53876      5135    668281   no data   no data  --
634.74/159.14	c  F st    60   1071875       388      1692         1     69729      5135    909048   no data   no data  --
634.74/159.14	c  N st    60   1071875       388      1692         1     69729      5135    909048   no data   no data  --
638.73/160.17	c Decided on static restart strategy
660.68/165.60	c  N st    70   1100187       388      1692         1     53845      5135    573618   no data   no data  --
691.79/173.42	c  N st    72   1136182       388      1692         1     88617      5135   1251467   no data   no data  --
718.12/180.00	c  N st    73   1168574       388      1692         1     75499      5135   1016848   no data   no data  --
761.20/190.82	c  N st    74   1209901       388      1692         1     69963      5135    853387   no data   no data  --
761.20/190.82	c  S st    74   1209901       388      1692         1     69963      5135    853387   no data   no data  --
762.00/191.08	c  S st    74   1210403       388      1692         1     70461      5135    864108   no data   no data  --
762.00/191.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
762.00/191.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
762.40/191.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
762.40/191.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
762.40/191.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.40/191.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
762.40/191.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
777.16/194.87	c lits-rem:      1492  cl-subs:     6313  v-elim:      0  v-fix:    0  time: 14.84 s
777.16/194.87	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
777.16/194.88	c vivif2 --  cl tried    64148 cl shrink        0 lits rem          0 time: 0.04
777.56/194.94	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.28
777.56/194.95	c calculated reachability. Time: 0.00
777.56/194.95	c  N st    74   1210403       388      1692         1     64148      5135    762113   no data   no data  --
842.98/211.39	c  N st    75   1283285       388      1692         1     88407      5135   1232711   no data   no data  --
955.90/239.60	c  N st    76   1392608       388      1692         1     98065      5135   1379244   no data   no data  --
1113.88/279.27	c  N st    77   1556593       388      1692         1     53430      5135    476001   no data   no data  --
1269.84/318.57	c  N st    78   1710403       388      1692         1     94929      5135   1255772   no data   no data  --
1269.84/318.57	c  S st    78   1710403       388      1692         1     94929      5135   1255772   no data   no data  --
1271.04/318.88	c  S st    78   1710907       388      1692         1     95430      5135   1266204   no data   no data  --
1271.04/318.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1271.04/318.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1271.46/318.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1271.46/318.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1271.46/318.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1271.46/318.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1271.46/318.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1298.56/325.77	c lits-rem:       761  cl-subs:     9616  v-elim:      0  v-fix:    0  time: 27.11 s
1298.56/325.77	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
1298.56/325.79	c vivif2 --  cl tried    85814 cl shrink        0 lits rem          0 time: 0.06
1298.96/325.90	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.43
1299.36/325.90	c calculated reachability. Time: 0.00
1299.36/325.90	c  N st    78   1710907       388      1692         1     85814      5135   1108484   no data   no data  --
1676.74/420.54	c  N st    79   2079871       388      1692         1     97843      5135   1204851   no data   no data  --
1838.72/461.13	c  N st    80   2210908       388      1692         1    101671      5135   1298633   no data   no data  --
1838.72/461.13	c  S st    80   2210908       388      1692         1    101671      5135   1298633   no data   no data  --
1839.92/461.47	c  S st    80   2211416       388      1692         1    102176      5135   1309877   no data   no data  --
1839.92/461.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1839.92/461.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1840.32/461.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1840.32/461.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1840.32/461.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1840.32/461.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1840.32/461.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1868.27/468.58	c lits-rem:       919  cl-subs:    10324  v-elim:      0  v-fix:    0  time: 27.95 s
1868.27/468.58	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
1868.27/468.59	c vivif2 --  cl tried    91852 cl shrink        0 lits rem          0 time: 0.06
1869.04/468.71	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.48
1869.04/468.72	c calculated reachability. Time: 0.00
1869.04/468.72	c  N st    80   2211416       388      1692         1     91852      5135   1141483   no data   no data  --
2464.27/617.99	c  N st    81   2711417       388      1692         1    114885      5135   1441653   no data   no data  --
2464.27/617.99	c  S st    81   2711417       388      1692         1    114885      5135   1441653   no data   no data  --
2465.86/618.34	c  S st    81   2711920       388      1692         1    115384      5135   1452354   no data   no data  --
2465.86/618.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2465.86/618.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2466.26/618.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2466.26/618.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2466.26/618.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2466.26/618.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
2466.26/618.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2509.73/629.32	c lits-rem:       898  cl-subs:    17454  v-elim:      0  v-fix:    0  time: 43.35 s
2509.73/629.32	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
2509.73/629.34	c vivif2 --  cl tried    97930 cl shrink        0 lits rem          0 time: 0.06
2510.13/629.47	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.54
2510.13/629.48	c calculated reachability. Time: 0.00
2510.13/629.48	c  N st    81   2711920       388      1692         1     97930      5135   1158638   no data   no data  --
3067.48/769.14	c  N st    82   3211921       388      1692         1    150695      5135   2266290   no data   no data  --
3067.48/769.14	c  S st    82   3211921       388      1692         1    150695      5135   2266290   no data   no data  --
3071.11/770.02	c  S st    82   3212424       388      1692         1     75767      5135    640355   no data   no data  --
3071.11/770.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3071.11/770.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3071.11/770.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3071.11/770.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3071.11/770.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3071.11/770.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3071.11/770.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3079.47/772.16	c lits-rem:       238  cl-subs:       47  v-elim:      0  v-fix:    0  time:  8.33 s
3079.47/772.16	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
3079.47/772.17	c vivif2 --  cl tried    75720 cl shrink        0 lits rem          0 time: 0.04
3079.89/772.26	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.34
3079.89/772.26	c calculated reachability. Time: 0.00
3079.89/772.26	c  N st    82   3212424       388      1692         1     75720      5135    639572   no data   no data  --
3744.49/938.90	c  N st    83   3712425       388      1692         1     85890      5135    774319   no data   no data  --
3744.49/938.90	c  S st    83   3712425       388      1692         1     85890      5135    774319   no data   no data  --
3745.68/939.16	c  S st    83   3712928       388      1692         1     86390      5135    785069   no data   no data  --
3745.68/939.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3745.68/939.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3746.08/939.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3746.08/939.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3746.08/939.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3746.08/939.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3746.08/939.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3757.25/942.02	c lits-rem:       551  cl-subs:     1244  v-elim:      0  v-fix:    0  time: 11.12 s
3757.25/942.02	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
3757.25/942.03	c vivif2 --  cl tried    85146 cl shrink        0 lits rem          0 time: 0.05
3757.65/942.14	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.43
3757.65/942.14	c calculated reachability. Time: 0.00
3757.65/942.15	c  N st    83   3712928       388      1692         1     85146      5135    766751   no data   no data  --
3802.73/953.42	c  F st    84   3751562       388      1692         1    122682      5135   1552094   no data   no data  --
3802.73/953.42	c  N st    84   3751562       388      1692         1    122682      5135   1552094   no data   no data  --
3811.90/955.77	c Decided on static restart strategy
3851.40/965.65	c  N st    94   3779870       388      1692         1    150057      5135   2115196   no data   no data  --
3907.65/979.75	c  N st    96   3815864       388      1692         1    102781      5135   1100897   no data   no data  --
3952.34/990.95	c  N st    97   3848257       388      1692         1    133981      5135   1745533   no data   no data  --
4022.55/1008.54	c  N st    98   3896845       388      1692         1     97794      5135    991127   no data   no data  --
4135.45/1036.84	c  N st    99   3969727       388      1692         1     84118      5135    706024   no data   no data  --
4285.87/1074.55	c  N st   100   4079052       388      1692         1    104587      5135   1102947   no data   no data  --
4477.75/1122.64	c  N st   101   4212929       388      1692         1    147766      5135   1981524   no data   no data  --
4477.75/1122.64	c  S st   101   4212929       388      1692         1    147766      5135   1981524   no data   no data  --
4480.15/1123.27	c  S st   101   4213431       388      1692         1    148268      5135   1991750   no data   no data  --
4480.15/1123.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4480.15/1123.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4480.55/1123.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.34
4480.95/1123.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4480.95/1123.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4480.95/1123.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4480.95/1123.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4567.13/1145.01	c lits-rem:       258  cl-subs:    14680  v-elim:      0  v-fix:    0  time: 86.02 s
4567.13/1145.01	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
4567.13/1145.03	c vivif2 --  cl tried   133588 cl shrink        0 lits rem          0 time: 0.10
4567.90/1145.23	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.78
4567.90/1145.23	c calculated reachability. Time: 0.00
4567.90/1145.23	c  N st   101   4213431       388      1692         1    133588      5135   1738894   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-3368881-1305405255/watcher-3368881-1305405255 -o /tmp/evaluation-result-3368881-1305405255/solver-3368881-1305405255 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368881-1305405255.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.51 7.96 7.97 4/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) D 18112 18115 17424 0 -1 4202496 437 0 0 0 0 0 0 0 18 0 4 0 730756182 52465664 366 33554432000 4194304 4650419 140735761991184 18446744073709551615 231895533658 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 12809 366 313 112 0 7774 0
[pid=18115/tid=18120] ppid=18112 vsize=290256 CPUtime=0 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 4 0 730756182 297222144 933 33554432000 4194304 4650419 140735761991184 18446744073709551615 4390848 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=290256 CPUtime=0 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 80 0 0 0 0 0 0 0 21 0 4 0 730756182 297222144 933 33554432000 4194304 4650419 140735761991184 18446744073709551615 4514366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=290256 CPUtime=0 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 4 0 730756182 297222144 933 33554432000 4194304 4650419 140735761991184 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0668561 s]
/proc/loadavg: 7.51 7.96 7.97 4/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=282316 CPUtime=0.23 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 1415 0 0 0 23 0 0 0 20 0 4 0 730756182 289091584 1297 33554432000 4194304 4650419 140735761991184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 70579 1297 391 112 0 65544 0
[pid=18115/tid=18120] ppid=18112 vsize=282316 CPUtime=0.06 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 4 0 730756182 289091584 1297 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=282316 CPUtime=0.05 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 234 0 0 0 5 0 0 0 21 0 4 0 730756182 289091584 1297 33554432000 4194304 4650419 140735761991184 18446744073709551615 4329671 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=282316 CPUtime=0.05 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 198 0 0 0 5 0 0 0 21 0 4 0 730756182 289091584 1297 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 282316

[startup+0.100848 s]
/proc/loadavg: 7.51 7.96 7.97 4/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=282448 CPUtime=0.37 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 1598 0 0 0 37 0 0 0 20 0 4 0 730756182 289226752 1480 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 70612 1480 391 112 0 65577 0
[pid=18115/tid=18120] ppid=18112 vsize=282448 CPUtime=0.09 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 346 0 0 0 9 0 0 0 20 0 4 0 730756182 289226752 1480 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=282448 CPUtime=0.08 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 273 0 0 0 8 0 0 0 21 0 4 0 730756182 289226752 1480 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364559 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=282448 CPUtime=0.09 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 247 0 0 0 9 0 0 0 21 0 4 0 730756182 289226752 1480 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282448

[startup+0.300812 s]
/proc/loadavg: 7.51 7.96 7.97 4/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=283580 CPUtime=1.17 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 2558 0 0 0 117 0 0 0 20 0 4 0 730756182 290385920 1970 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 70895 1970 393 112 0 65860 0
[pid=18115/tid=18120] ppid=18112 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 586 0 0 0 29 0 0 0 20 0 4 0 730756182 290385920 1970 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=283580 CPUtime=0.28 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 518 0 0 0 28 0 0 0 21 0 4 0 730756182 290385920 1971 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 485 0 0 0 29 0 0 0 21 0 4 0 730756182 290385920 1971 33554432000 4194304 4650419 140735761991184 18446744073709551615 4360335 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283580

[startup+0.700739 s]
/proc/loadavg: 7.51 7.96 7.97 4/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=284952 CPUtime=2.76 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 4471 0 0 0 276 0 0 0 21 0 4 0 730756182 291790848 2278 33554432000 4194304 4650419 140735761991184 18446744073709551615 4314863 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 71238 2278 393 112 0 66203 0
[pid=18115/tid=18120] ppid=18112 vsize=284952 CPUtime=0.69 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 1063 0 0 0 69 0 0 0 21 0 4 0 730756182 291790848 2278 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=284952 CPUtime=0.68 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 1015 0 0 0 68 0 0 0 22 0 4 0 730756182 291790848 2278 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=284952 CPUtime=0.69 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 941 0 0 0 69 0 0 0 22 0 4 0 730756182 291790848 2278 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284952

[startup+1.50059 s]
/proc/loadavg: 7.63 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15663812/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=276972 CPUtime=5.96 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 7734 0 0 0 595 1 0 0 24 0 4 0 730756182 283619328 4095 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 69243 4095 395 112 0 64208 0
[pid=18115/tid=18120] ppid=18112 vsize=276972 CPUtime=1.49 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 1756 0 0 0 149 0 0 0 23 0 4 0 730756182 283619328 4095 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=276972 CPUtime=1.47 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 1550 0 0 0 147 0 0 0 25 0 4 0 730756182 283619328 4095 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=276972 CPUtime=1.49 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 1438 0 0 0 149 0 0 0 25 0 4 0 730756182 283619328 4095 33554432000 4194304 4650419 140735761991184 18446744073709551615 4328378 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 276972

[startup+3.10029 s]
/proc/loadavg: 7.63 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15628280/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=289324 CPUtime=12.34 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 15158 0 0 0 1232 2 0 0 25 0 4 0 730756182 296267776 8433 33554432000 4194304 4650419 140735761991184 18446744073709551615 4314855 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 72331 8433 395 112 0 67296 0
[pid=18115/tid=18120] ppid=18112 vsize=289324 CPUtime=3.08 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 3553 0 0 0 308 0 0 0 25 0 4 0 730756182 296267776 8433 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=289324 CPUtime=3.05 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 3882 0 0 0 305 0 0 0 25 0 4 0 730756182 296267776 8433 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=289324 CPUtime=3.09 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 3471 0 0 0 309 0 0 0 25 0 4 0 730756182 296267776 8433 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 289324

[startup+6.3007 s]
/proc/loadavg: 7.66 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15597296/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=292452 CPUtime=25.11 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 22355 0 0 0 2508 3 0 0 25 0 4 0 730756182 299470848 11258 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 73113 11258 395 112 0 68078 0
[pid=18115/tid=18120] ppid=18112 vsize=292452 CPUtime=6.29 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 5923 0 0 0 628 1 0 0 25 0 4 0 730756182 299470848 11258 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=292452 CPUtime=6.23 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 5892 0 0 0 622 1 0 0 25 0 4 0 730756182 299470848 11258 33554432000 4194304 4650419 140735761991184 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=292452 CPUtime=6.28 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 4498 0 0 0 628 0 0 0 25 0 4 0 730756182 299470848 11258 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 292452

[startup+12.7005 s]
/proc/loadavg: 7.69 7.98 7.97 10/323 18126
/proc/meminfo: memFree=15556052/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=306200 CPUtime=50.64 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 34669 0 0 0 5058 6 0 0 25 0 4 0 730756182 313548800 16925 33554432000 4194304 4650419 140735761991184 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 76550 16925 395 112 0 71515 0
[pid=18115/tid=18120] ppid=18112 vsize=306200 CPUtime=12.69 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 9247 0 0 0 1267 2 0 0 25 0 4 0 730756182 313548800 16925 33554432000 4194304 4650419 140735761991184 18446744073709551615 4330551 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=306200 CPUtime=12.56 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 8333 0 0 0 1255 1 0 0 25 0 4 0 730756182 313548800 16925 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=306200 CPUtime=12.69 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 6903 0 0 0 1268 1 0 0 25 0 4 0 730756182 313548800 16925 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 306200

[startup+25.5011 s]
/proc/loadavg: 7.73 7.98 7.97 10/323 18126
/proc/meminfo: memFree=15519952/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=316112 CPUtime=101.71 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 51982 0 0 0 10159 12 0 0 25 0 4 0 730756182 323698688 20615 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 79028 20615 395 112 0 73993 0
[pid=18115/tid=18120] ppid=18112 vsize=316112 CPUtime=25.49 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 14765 0 0 0 2545 4 0 0 25 0 4 0 730756182 323698688 20615 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=316112 CPUtime=25.22 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 12627 0 0 0 2520 2 0 0 25 0 4 0 730756182 323698688 20615 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=316112 CPUtime=25.49 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 9827 0 0 0 2547 2 0 0 25 0 4 0 730756182 323698688 20615 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 316112

[startup+51.1003 s]
/proc/loadavg: 7.94 8.01 7.99 10/323 18127
/proc/meminfo: memFree=15486340/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=317140 CPUtime=203.85 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 79448 0 0 0 20365 20 0 0 25 0 4 0 730756182 324751360 25708 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 79285 25708 395 112 0 74250 0
[pid=18115/tid=18120] ppid=18112 vsize=317140 CPUtime=51.09 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 23676 0 0 0 5103 6 0 0 25 0 4 0 730756182 324751360 25708 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=317140 CPUtime=50.56 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 19739 0 0 0 5052 4 0 0 25 0 4 0 730756182 324751360 25708 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=317140 CPUtime=51.08 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 13792 0 0 0 5105 3 0 0 25 0 4 0 730756182 324751360 25708 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 317140

[startup+102.313 s]
/proc/loadavg: 8.09 8.04 8.00 10/323 18128
/proc/meminfo: memFree=15423804/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=318500 CPUtime=408.16 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 122458 0 0 0 40781 35 0 0 25 0 4 0 730756182 326144000 33338 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 79625 33338 395 112 0 74590 0
[pid=18115/tid=18120] ppid=18112 vsize=318500 CPUtime=102.3 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 35720 0 0 0 10220 10 0 0 25 0 4 0 730756182 326144000 33338 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=318500 CPUtime=101.24 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 30874 0 0 0 10116 8 0 0 25 0 4 0 730756182 326144000 33338 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=318500 CPUtime=102.3 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 21512 0 0 0 10225 5 0 0 25 0 4 0 730756182 326144000 33338 33554432000 4194304 4650419 140735761991184 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.16
Current children cumulated vsize (KiB) 318500

[startup+162.301 s]

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

[pid=18115] ppid=18112 vsize=508520 CPUtime=2561.62 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 361349 0 0 0 256011 151 0 0 25 0 4 0 730756182 520724480 70431 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 127130 70431 395 112 0 122095 0
[pid=18115/tid=18120] ppid=18112 vsize=508520 CPUtime=642.31 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 118945 0 0 0 64184 47 0 0 25 0 4 0 730756182 520724480 70431 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=508520 CPUtime=634.66 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 90542 0 0 0 63428 38 0 0 25 0 4 0 730756182 520724480 70431 33554432000 4194304 4650419 140735761991184 18446744073709551615 4333421 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=508520 CPUtime=642.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 60015 0 0 0 64206 25 0 0 25 0 4 0 730756182 520724480 70431 33554432000 4194304 4650419 140735761991184 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.62
Current children cumulated vsize (KiB) 508520

[startup+702.301 s]
/proc/loadavg: 8.21 8.12 8.04 10/323 18147
/proc/meminfo: memFree=15090932/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=520936 CPUtime=2800.98 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 383291 0 0 0 279934 164 0 0 25 0 4 0 730756182 533438464 79758 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 130234 79758 395 112 0 125199 0
[pid=18115/tid=18120] ppid=18112 vsize=520936 CPUtime=702.31 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 126623 0 0 0 70179 52 0 0 25 0 4 0 730756182 533438464 79758 33554432000 4194304 4650419 140735761991184 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=520936 CPUtime=694.03 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 94959 0 0 0 69362 41 0 0 25 0 4 0 730756182 533438464 79758 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=520936 CPUtime=702.3 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 65179 0 0 0 70202 28 0 0 25 0 4 0 730756182 533438464 79758 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.98
Current children cumulated vsize (KiB) 520936

[startup+762.313 s]
/proc/loadavg: 8.15 8.12 8.04 10/323 18149
/proc/meminfo: memFree=15089412/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=521192 CPUtime=3040.39 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 398834 0 0 0 303867 172 0 0 25 0 4 0 730756182 533700608 78389 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 130298 78389 395 112 0 125263 0
[pid=18115/tid=18120] ppid=18112 vsize=521192 CPUtime=762.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 135338 0 0 0 76176 56 0 0 25 0 4 0 730756182 533700608 78389 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=521192 CPUtime=753.4 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 98249 0 0 0 75298 42 0 0 25 0 4 0 730756182 533700608 78389 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=521192 CPUtime=762.32 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 65845 0 0 0 76203 29 0 0 25 0 4 0 730756182 533700608 78389 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.39
Current children cumulated vsize (KiB) 521192

[startup+822.3 s]
/proc/loadavg: 8.13 8.11 8.04 10/323 18150
/proc/meminfo: memFree=15055796/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=521396 CPUtime=3279.72 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 413710 0 0 0 327793 179 0 0 25 0 4 0 730756182 533909504 84840 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 130349 84840 395 112 0 125314 0
[pid=18115/tid=18120] ppid=18112 vsize=521396 CPUtime=822.31 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 141155 0 0 0 82172 59 0 0 25 0 4 0 730756182 533909504 84840 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=521396 CPUtime=812.76 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 100872 0 0 0 81233 43 0 0 25 0 4 0 730756182 533909504 84840 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=521396 CPUtime=822.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 67259 0 0 0 82202 29 0 0 25 0 4 0 730756182 533909504 84840 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.72
Current children cumulated vsize (KiB) 521396

[startup+882.3 s]
/proc/loadavg: 8.05 8.09 8.03 10/323 18152
/proc/meminfo: memFree=15040496/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=521600 CPUtime=3519.07 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 428408 0 0 0 351718 189 0 0 25 0 4 0 730756182 534118400 83295 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 130400 83295 395 112 0 125365 0
[pid=18115/tid=18120] ppid=18112 vsize=521600 CPUtime=882.31 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 147624 0 0 0 88168 63 0 0 25 0 4 0 730756182 534118400 83295 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=521600 CPUtime=872.11 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 103938 0 0 0 87165 46 0 0 25 0 4 0 730756182 534118400 83295 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=521600 CPUtime=882.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 68425 0 0 0 88201 30 0 0 25 0 4 0 730756182 534118400 83295 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.07
Current children cumulated vsize (KiB) 521600

[startup+942.301 s]
/proc/loadavg: 8.02 8.07 8.02 10/323 18153
/proc/meminfo: memFree=15024480/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=509172 CPUtime=3758.45 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 448273 0 0 0 375645 200 0 0 25 0 4 0 730756182 521392128 84856 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 127293 84856 395 112 0 122258 0
[pid=18115/tid=18120] ppid=18112 vsize=509172 CPUtime=942.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 155416 0 0 0 94165 67 0 0 25 0 4 0 730756182 521392128 84856 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=509172 CPUtime=931.48 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 107326 0 0 0 93100 48 0 0 25 0 4 0 730756182 521392128 84856 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=509172 CPUtime=942.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 72649 0 0 0 94199 32 0 0 25 0 4 0 730756182 521392128 84856 33554432000 4194304 4650419 140735761991184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.45
Current children cumulated vsize (KiB) 509172

[startup+1002.3 s]
/proc/loadavg: 8.00 8.05 8.02 10/323 18155
/proc/meminfo: memFree=15016744/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=508316 CPUtime=3997.8 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 462756 0 0 0 399571 209 0 0 25 0 4 0 730756182 520515584 85668 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 127079 85668 395 112 0 122044 0
[pid=18115/tid=18120] ppid=18112 vsize=508316 CPUtime=1002.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 159781 0 0 0 100162 70 0 0 25 0 4 0 730756182 520515584 85668 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=508316 CPUtime=990.83 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 111845 0 0 0 99033 50 0 0 25 0 4 0 730756182 520515584 85668 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=508316 CPUtime=1002.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 75457 0 0 0 100197 34 0 0 25 0 4 0 730756182 520515584 85668 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.8
Current children cumulated vsize (KiB) 508316

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 8.02 10/323 18157
/proc/meminfo: memFree=15005180/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=521228 CPUtime=4237.2 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 475293 0 0 0 423505 215 0 0 25 0 4 0 730756182 533737472 89156 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 130307 89156 395 112 0 125272 0
[pid=18115/tid=18120] ppid=18112 vsize=521228 CPUtime=1062.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 165209 0 0 0 106160 72 0 0 25 0 4 0 730756182 533737472 89156 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=521228 CPUtime=1050.21 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 113325 0 0 0 104970 51 0 0 25 0 4 0 730756182 533737472 89156 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=521228 CPUtime=1062.31 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 78099 0 0 0 106196 35 0 0 25 0 4 0 730756182 533737472 89156 33554432000 4194304 4650419 140735761991184 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.2
Current children cumulated vsize (KiB) 521228

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.03 10/323 18158
/proc/meminfo: memFree=14932364/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=610644 CPUtime=4476.55 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 497117 0 0 0 447429 226 0 0 25 0 4 0 730756182 625299456 107555 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 152661 107555 395 112 0 147626 0
[pid=18115/tid=18120] ppid=18112 vsize=610644 CPUtime=1122.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 173285 0 0 0 112157 75 0 0 25 0 4 0 730756182 625299456 107555 33554432000 4194304 4650419 140735761991184 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=610644 CPUtime=1109.56 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 118887 0 0 0 110902 54 0 0 25 0 4 0 730756182 625299456 107555 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=610644 CPUtime=1122.32 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 80977 0 0 0 112195 37 0 0 25 0 4 0 730756182 625299456 107555 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.55
Current children cumulated vsize (KiB) 610644

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.03 10/323 18160
/proc/meminfo: memFree=14926760/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=545256 CPUtime=4715.92 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 506862 0 0 0 471360 232 0 0 25 0 4 0 730756182 558342144 100014 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 136314 100014 395 112 0 131279 0
[pid=18115/tid=18120] ppid=18112 vsize=545256 CPUtime=1182.32 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 177990 0 0 0 118154 78 0 0 25 0 4 0 730756182 558342144 100014 33554432000 4194304 4650419 140735761991184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=545256 CPUtime=1168.93 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 121313 0 0 0 116837 56 0 0 25 0 4 0 730756182 558342144 100014 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=545256 CPUtime=1182.32 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 82449 0 0 0 118195 37 0 0 25 0 4 0 730756182 558342144 100014 33554432000 4194304 4650419 140735761991184 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.92
Current children cumulated vsize (KiB) 545256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.26 8.12 8.04 5/319 18161
/proc/meminfo: memFree=15282412/32950928 swapFree=67085488/67111528
[pid=18115] ppid=18112 vsize=545304 CPUtime=4800.15 cores=1,3,5,7
/proc/18115/stat : 18115 (strangenight1-m) R 18112 18115 17424 0 -1 4202496 510102 0 0 0 479781 234 0 0 25 0 4 0 730756182 558391296 100366 33554432000 4194304 4650419 140735761991184 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18115/statm: 136326 100366 395 112 0 131291 0
[pid=18115/tid=18120] ppid=18112 vsize=545304 CPUtime=1203.45 cores=1,3,5,7
/proc/18115/task/18120/stat : 18120 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 180087 0 0 0 120265 80 0 0 25 0 4 0 730756182 558391296 100366 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18115/tid=18122] ppid=18112 vsize=545304 CPUtime=1189.81 cores=1,3,5,7
/proc/18115/task/18122/stat : 18122 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 121580 0 0 0 118925 56 0 0 25 0 4 0 730756182 558391296 100366 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18115/tid=18123] ppid=18112 vsize=545304 CPUtime=1203.45 cores=1,3,5,7
/proc/18115/task/18123/stat : 18123 (strangenight1-m) R 18112 18115 17424 0 -1 4202560 83216 0 0 0 120307 38 0 0 25 0 4 0 730756182 558391296 100366 33554432000 4194304 4650419 140735761991184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 545304

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.22
CPU user time (s): 4797.85
CPU system time (s): 2.36664
CPU usage (%): 398.872
Max. virtual memory (cumulated for all children) (KiB): 610644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.36664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510102
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= 178
involuntary context switches= 49076

runsolver used 3.48547 second user time and 9.34858 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-14 22:34:15
IDJOB=3368881
IDBENCH=82890
IDSOLVER=1846
FILE ID=node114/3368881-1305405255
RUNJOBID= node114-1305405255-18099
PBS_JOBID= 13324473
Free space on /tmp= 72980 MiB

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

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

MD5SUM BENCH= 5ba52a7ac0a84086dc4098f6b5213446
RANDOM SEED=1581107440

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15689112 kB
Buffers:        276432 kB
Cached:        6224748 kB
SwapCached:         96 kB
Active:       11890076 kB
Inactive:      4963636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15689112 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           12612 kB
Writeback:           8 kB
AnonPages:    10352200 kB
Mapped:          26336 kB
Slab:           307156 kB
PageTables:      36944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52431528 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= 72976 MiB
End job on node114 at 2011-05-14 22:54:20