Trace number 3175272

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.35 1201.93

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-3175272-1304105752.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.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         1  cl-subs:        2  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     193 undec:      52 neg:     155
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       388      1692         1         0      5135         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.41/0.14	c  N st     8      4916       388      1692         1      4828      5135     94618   no data   no data  --
1.18/0.35	c  N st    10     11299       388      1692         1      4421      5135     62664   no data   no data  --
2.38/0.61	c  N st    11     17042       388      1692         1     10004      5135    171942   no data   no data  --
3.58/0.99	c  F st    12     25000       388      1692         1     12187      5135    202475   no data   no data  --
3.58/0.99	c  N st    12     25000       388      1692         1     12187      5135    202475   no data   no data  --
4.79/1.23	c Decided on static restart strategy
4.79/1.23	c  N st    18     30000       388      1692         1     10531      5135    162214   no data   no data  --
4.79/1.23	c  S st    18     30000       388      1692         1     10531      5135    162214   no data   no data  --
4.79/1.26	c  S st    18     30504       388      1692         1     11035      5135    171606   no data   no data  --
4.79/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.79/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.79/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4.79/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.42	c lits-rem:       178  cl-subs:     1085  v-elim:      0  v-fix:    0  time:  0.62 s
5.57/1.43	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.03
5.57/1.43	c calculated reachability. Time: 0.00
5.57/1.43	c  N st    18     30504       388      1692         1      9950      5135    151949   no data   no data  --
7.17/1.80	c  N st    20     37615       388      1692         1      9248      5135    126351   no data   no data  --
8.37/2.16	c  N st    21     44014       388      1692         1     15457      5135    251296   no data   no data  --
8.78/2.27	c  S st    22     45756       388      1692         1     17179      5135    288298   no data   no data  --
9.19/2.32	c  S st    22     46258       388      1692         1      8990      5135    110929   no data   no data  --
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
9.19/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.37	c lits-rem:        34  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.19 s
9.19/2.37	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
9.19/2.37	c vivif2 --  cl tried     8856 cl shrink        0 lits rem          0 time: 0.00
9.19/2.38	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.03
9.19/2.38	c calculated reachability. Time: 0.00
9.19/2.38	c  N st    22     46258       388      1692         1      8856      5135    108595   no data   no data  --
12.77/3.21	c  N st    23     60659       388      1692         1     13164      5135    184690   no data   no data  --
15.15/3.89	c  N st    24     69387       388      1692         1     10956      5135    130503   no data   no data  --
15.15/3.89	c  S st    24     69387       388      1692         1     10956      5135    130503   no data   no data  --
15.55/3.92	c  S st    24     69892       388      1692         1     11460      5135    139829   no data   no data  --
15.55/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.55/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.55/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
15.55/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.04	c lits-rem:        45  cl-subs:      178  v-elim:      0  v-fix:    0  time:  0.45 s
15.95/4.04	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
15.95/4.05	c vivif2 --  cl tried    11282 cl shrink        0 lits rem          0 time: 0.00
15.95/4.05	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.04
15.95/4.05	c calculated reachability. Time: 0.00
15.95/4.05	c  N st    24     69892       388      1692         1     11282      5135    136587   no data   no data  --
20.74/5.26	c  F st    25     87500       388      1692         1     16658      5135    227849   no data   no data  --
20.74/5.26	c  N st    25     87500       388      1692         1     16658      5135    227849   no data   no data  --
22.36/5.63	c Decided on static restart strategy
23.54/5.90	c  N st    32     95543       388      1692         1     24473      5135    375995   no data   no data  --
25.95/6.60	c  N st    34    104840       388      1692         1     20879      5135    297028   no data   no data  --
25.95/6.60	c  S st    34    104840       388      1692         1     20879      5135    297028   no data   no data  --
26.36/6.65	c  S st    34    105345       388      1692         1     21382      5135    306238   no data   no data  --
26.36/6.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.36/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.36/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
26.36/6.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.32	c lits-rem:       368  cl-subs:     1551  v-elim:      0  v-fix:    0  time:  2.58 s
29.13/7.32	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
29.13/7.32	c vivif2 --  cl tried    19831 cl shrink        0 lits rem          0 time: 0.01
29.13/7.33	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.06
29.13/7.33	c calculated reachability. Time: 0.00
29.13/7.33	c  N st    34    105345       388      1692         1     19831      5135    278554   no data   no data  --
31.93/8.05	c  N st    35    114944       388      1692         1     15637      5135    186792   no data   no data  --
36.72/9.28	c  N st    36    129342       388      1692         1     15098      5135    163212   no data   no data  --
43.94/11.01	c  N st    37    150937       388      1692         1     20570      5135    256899   no data   no data  --
46.31/11.64	c  S st    38    158017       388      1692         1     27441      5135    390737   no data   no data  --
46.72/11.70	c  S st    38    158519       388      1692         1     27941      5135    400899   no data   no data  --
46.72/11.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.72/11.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.72/11.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.72/11.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.72/11.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
46.72/11.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.11/12.88	c lits-rem:       734  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  4.62 s
51.11/12.88	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
51.11/12.88	c vivif2 --  cl tried    26147 cl shrink        0 lits rem          0 time: 0.02
51.51/12.90	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.08
51.51/12.90	c calculated reachability. Time: 0.00
51.51/12.90	c  N st    38    158519       388      1692         1     26147      5135    368657   no data   no data  --
71.48/17.96	c  N st    39    207107       388      1692         1     20860      5135    235561   no data   no data  --
84.26/21.12	c  N st    40    237778       388      1692         1     31160      5135    419335   no data   no data  --
84.26/21.12	c  S st    40    237778       388      1692         1     31160      5135    419335   no data   no data  --
84.26/21.19	c  S st    40    238282       388      1692         1     31664      5135    429174   no data   no data  --
84.26/21.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.26/21.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.66/21.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
84.66/21.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.66/21.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.66/21.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
84.66/21.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.26/22.62	c lits-rem:       574  cl-subs:     2351  v-elim:      0  v-fix:    0  time:  5.62 s
90.26/22.62	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
90.26/22.63	c vivif2 --  cl tried    29313 cl shrink        0 lits rem          0 time: 0.02
90.26/22.65	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.08
90.26/22.65	c calculated reachability. Time: 0.00
90.26/22.65	c  N st    40    238282       388      1692         1     29313      5135    390418   no data   no data  --
120.62/30.21	c  F st    41    306250       388      1692         1     31182      5135    372357   no data   no data  --
120.62/30.21	c  N st    41    306250       388      1692         1     31182      5135    372357   no data   no data  --
123.04/30.80	c Decided on static restart strategy
133.80/33.54	c  N st    51    334551       388      1692         1     35474      5135    456678   no data   no data  --
144.59/36.26	c  N st    53    357425       388      1692         1     33493      5135    406120   no data   no data  --
144.59/36.26	c  S st    53    357425       388      1692         1     33493      5135    406120   no data   no data  --
145.00/36.33	c  S st    53    357928       388      1692         1     33995      5135    416578   no data   no data  --
145.00/36.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.00/36.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.00/36.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.00/36.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.00/36.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.00/36.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
145.00/36.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
150.18/37.65	c lits-rem:       485  cl-subs:     1503  v-elim:      0  v-fix:    0  time:  5.16 s
150.18/37.65	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
150.18/37.65	c vivif2 --  cl tried    32492 cl shrink        0 lits rem          0 time: 0.02
150.18/37.68	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.11
150.18/37.68	c calculated reachability. Time: 0.00
150.18/37.68	c  N st    53    357928       388      1692         1     32492      5135    389754   no data   no data  --
165.36/41.42	c  N st    54    390321       388      1692         1     38706      5135    504690   no data   no data  --
190.52/47.77	c  N st    55    438909       388      1692         1     32470      5135    361843   no data   no data  --
232.07/58.10	c  N st    56    511791       388      1692         1     45699      5135    575749   no data   no data  --
246.84/61.85	c  N st    57    536896       388      1692         1     39935      5135    455540   no data   no data  --
246.84/61.85	c  S st    57    536896       388      1692         1     39935      5135    455540   no data   no data  --
247.24/61.95	c  S st    57    537398       388      1692         1     40434      5135    465701   no data   no data  --
247.24/61.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
247.24/61.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
247.24/61.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
247.24/61.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.24/61.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.24/61.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
247.24/61.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
253.23/63.49	c lits-rem:       858  cl-subs:     2430  v-elim:      0  v-fix:    0  time:  6.04 s
253.23/63.49	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
253.63/63.50	c vivif2 --  cl tried    38004 cl shrink        0 lits rem          0 time: 0.02
253.63/63.53	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.13
253.63/63.53	c calculated reachability. Time: 0.00
253.63/63.53	c  N st    57    537398       388      1692         1     38004      5135    427123   no data   no data  --
356.33/89.27	c  N st    58    701383       388      1692         1     66681      5135    903691   no data   no data  --
426.23/106.70	c  N st    59    806097       388      1692         1     60904      5135    783149   no data   no data  --
426.23/106.70	c  S st    59    806097       388      1692         1     60904      5135    783149   no data   no data  --
427.01/106.90	c  S st    59    806600       388      1692         1     61403      5135    792923   no data   no data  --
427.01/106.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
427.01/106.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
427.01/106.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
427.01/106.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
427.01/106.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
427.01/106.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
427.01/106.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
440.59/110.30	c lits-rem:       840  cl-subs:     7527  v-elim:      0  v-fix:    0  time: 13.36 s
440.59/110.30	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
440.59/110.31	c vivif2 --  cl tried    53876 cl shrink        0 lits rem          0 time: 0.03
440.59/110.37	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.23
440.59/110.37	c calculated reachability. Time: 0.00
440.59/110.37	c  N st    59    806600       388      1692         1     53876      5135    668281   no data   no data  --
633.53/158.69	c  F st    60   1071875       388      1692         1     69729      5135    909048   no data   no data  --
633.53/158.69	c  N st    60   1071875       388      1692         1     69729      5135    909048   no data   no data  --
637.93/159.71	c Decided on static restart strategy
659.12/165.10	c  N st    70   1100187       388      1692         1     53845      5135    573618   no data   no data  --
690.66/172.92	c  N st    72   1136182       388      1692         1     88617      5135   1251467   no data   no data  --
716.65/179.48	c  N st    73   1168574       388      1692         1     75499      5135   1016848   no data   no data  --
759.68/190.24	c  N st    74   1209901       388      1692         1     69963      5135    853387   no data   no data  --
759.68/190.24	c  S st    74   1209901       388      1692         1     69963      5135    853387   no data   no data  --
760.87/190.51	c  S st    74   1210403       388      1692         1     70461      5135    864108   no data   no data  --
760.87/190.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
760.87/190.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
760.87/190.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
760.87/190.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
760.87/190.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
760.87/190.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
760.87/190.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
775.95/194.31	c lits-rem:      1492  cl-subs:     6313  v-elim:      0  v-fix:    0  time: 14.84 s
775.95/194.31	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
775.95/194.32	c vivif2 --  cl tried    64148 cl shrink        0 lits rem          0 time: 0.04
775.95/194.39	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.27
775.95/194.40	c calculated reachability. Time: 0.00
775.95/194.40	c  N st    74   1210403       388      1692         1     64148      5135    762113   no data   no data  --
840.85/210.74	c  N st    75   1283285       388      1692         1     88407      5135   1232711   no data   no data  --
952.71/238.71	c  N st    76   1392608       388      1692         1     98065      5135   1379244   no data   no data  --
1110.48/278.20	c  N st    77   1556593       388      1692         1     53430      5135    476001   no data   no data  --
1266.67/317.36	c  N st    78   1710403       388      1692         1     94929      5135   1255772   no data   no data  --
1266.67/317.36	c  S st    78   1710403       388      1692         1     94929      5135   1255772   no data   no data  --
1268.27/317.73	c  S st    78   1710907       388      1692         1     95430      5135   1266204   no data   no data  --
1268.27/317.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1268.27/317.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1268.27/317.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
1268.67/317.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1268.67/317.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.67/317.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1268.67/317.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1295.85/324.65	c lits-rem:       761  cl-subs:     9616  v-elim:      0  v-fix:    0  time: 27.23 s
1295.85/324.65	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
1295.85/324.66	c vivif2 --  cl tried    85814 cl shrink        0 lits rem          0 time: 0.06
1296.22/324.77	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.43
1296.22/324.77	c calculated reachability. Time: 0.00
1296.22/324.77	c  N st    78   1710907       388      1692         1     85814      5135   1108484   no data   no data  --
1672.91/419.06	c  N st    79   2079871       388      1692         1     97843      5135   1204851   no data   no data  --
1834.29/459.45	c  N st    80   2210908       388      1692         1    101671      5135   1298633   no data   no data  --
1834.29/459.45	c  S st    80   2210908       388      1692         1    101671      5135   1298633   no data   no data  --
1835.49/459.78	c  S st    80   2211416       388      1692         1    102176      5135   1309877   no data   no data  --
1835.49/459.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1835.49/459.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1835.91/459.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1835.91/459.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1835.91/459.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1835.91/459.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1835.91/459.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1864.25/466.94	c lits-rem:       919  cl-subs:    10324  v-elim:      0  v-fix:    0  time: 28.19 s
1864.25/466.94	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
1864.25/466.95	c vivif2 --  cl tried    91852 cl shrink        0 lits rem          0 time: 0.06
1864.65/467.08	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.49
1864.65/467.08	c calculated reachability. Time: 0.00
1864.65/467.08	c  N st    80   2211416       388      1692         1     91852      5135   1141483   no data   no data  --
2459.87/616.00	c  N st    81   2711417       388      1692         1    114885      5135   1441653   no data   no data  --
2459.87/616.00	c  S st    81   2711417       388      1692         1    114885      5135   1441653   no data   no data  --
2461.05/616.34	c  S st    81   2711920       388      1692         1    115384      5135   1452354   no data   no data  --
2461.05/616.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2461.05/616.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2461.45/616.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2461.45/616.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2461.45/616.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2461.45/616.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
2461.45/616.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2504.59/627.28	c lits-rem:       898  cl-subs:    17454  v-elim:      0  v-fix:    0  time: 43.23 s
2504.59/627.28	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
2504.59/627.29	c vivif2 --  cl tried    97930 cl shrink        0 lits rem          0 time: 0.06
2505.39/627.43	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.55
2505.39/627.43	c calculated reachability. Time: 0.00
2505.39/627.43	c  N st    81   2711920       388      1692         1     97930      5135   1158638   no data   no data  --
3061.44/766.60	c  N st    82   3211921       388      1692         1    150695      5135   2266290   no data   no data  --
3061.44/766.60	c  S st    82   3211921       388      1692         1    150695      5135   2266290   no data   no data  --
3064.63/767.49	c  S st    82   3212424       388      1692         1     75767      5135    640355   no data   no data  --
3064.63/767.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3064.63/767.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3065.03/767.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
3065.03/767.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3065.03/767.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3065.03/767.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3065.03/767.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3073.42/769.64	c lits-rem:       238  cl-subs:       47  v-elim:      0  v-fix:    0  time:  8.36 s
3073.42/769.64	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
3073.42/769.65	c vivif2 --  cl tried    75720 cl shrink        0 lits rem          0 time: 0.04
3073.82/769.74	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.34
3073.82/769.74	c calculated reachability. Time: 0.00
3073.82/769.74	c  N st    82   3212424       388      1692         1     75720      5135    639572   no data   no data  --
3737.32/935.82	c  N st    83   3712425       388      1692         1     85890      5135    774319   no data   no data  --
3737.32/935.82	c  S st    83   3712425       388      1692         1     85890      5135    774319   no data   no data  --
3738.12/936.08	c  S st    83   3712928       388      1692         1     86390      5135    785069   no data   no data  --
3738.12/936.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3738.12/936.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3738.54/936.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3738.54/936.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3738.54/936.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3738.54/936.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3738.54/936.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3749.70/938.97	c lits-rem:       551  cl-subs:     1244  v-elim:      0  v-fix:    0  time: 11.24 s
3749.70/938.97	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
3749.70/938.98	c vivif2 --  cl tried    85146 cl shrink        0 lits rem          0 time: 0.05
3750.10/939.08	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.43
3750.10/939.09	c calculated reachability. Time: 0.00
3750.10/939.09	c  N st    83   3712928       388      1692         1     85146      5135    766751   no data   no data  --
3794.85/950.28	c  F st    84   3751562       388      1692         1    122682      5135   1552094   no data   no data  --
3794.85/950.28	c  N st    84   3751562       388      1692         1    122682      5135   1552094   no data   no data  --
3804.45/952.63	c Decided on static restart strategy
3843.99/962.53	c  N st    94   3779870       388      1692         1    150057      5135   2115196   no data   no data  --
3899.90/976.59	c  N st    96   3815864       388      1692         1    102781      5135   1100897   no data   no data  --
3944.24/987.68	c  N st    97   3848257       388      1692         1    133981      5135   1745533   no data   no data  --
4014.54/1005.24	c  N st    98   3896845       388      1692         1     97794      5135    991127   no data   no data  --
4127.19/1033.48	c  N st    99   3969727       388      1692         1     84118      5135    706024   no data   no data  --
4277.39/1071.08	c  N st   100   4079052       388      1692         1    104587      5135   1102947   no data   no data  --
4468.35/1118.81	c  N st   101   4212929       388      1692         1    147766      5135   1981524   no data   no data  --
4468.35/1118.81	c  S st   101   4212929       388      1692         1    147766      5135   1981524   no data   no data  --
4470.73/1119.45	c  S st   101   4213431       388      1692         1    148268      5135   1991750   no data   no data  --
4470.73/1119.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4470.73/1119.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4471.13/1119.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.34
4471.53/1119.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4471.53/1119.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4471.53/1119.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4471.53/1119.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4558.61/1141.44	c lits-rem:       258  cl-subs:    14680  v-elim:      0  v-fix:    0  time: 87.11 s
4558.61/1141.44	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
4558.61/1141.46	c vivif2 --  cl tried   133588 cl shrink        0 lits rem          0 time: 0.10
4559.41/1141.65	c asymm  cl-useful: 0/1692/1692 lits-rem:0 time: 0.78
4559.41/1141.66	c calculated reachability. Time: 0.00
4559.41/1141.66	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175272-1304105752/watcher-3175272-1304105752 -o /tmp/evaluation-result-3175272-1304105752/solver-3175272-1304105752 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175272-1304105752.cnf 

running on 4 cores: 0,2,4,6

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.11 8.06 8.01 5/180 4604
/proc/meminfo: memFree=24476872/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=273572 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 673 0 0 0 0 0 0 0 25 0 4 0 600805691 280137728 601 33554432000 4194304 4650419 140734039759600 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 68393 605 343 112 0 63358 0
[pid=4604/tid=4605] ppid=4602 vsize=273572 CPUtime=0 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 4 0 600805692 280137728 623 33554432000 4194304 4650419 140734039759600 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=273572 CPUtime=0 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 4 0 600805692 280137728 623 33554432000 4194304 4650419 140734039759600 18446744073709551615 252457726661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=273572 CPUtime=0 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 4 0 600805692 280137728 625 33554432000 4194304 4650419 140734039759600 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.10823 s]
/proc/loadavg: 8.11 8.06 8.01 5/180 4604
/proc/meminfo: memFree=24476872/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=282180 CPUtime=0.41 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 1633 0 0 0 41 0 0 0 18 0 4 0 600805691 288952320 1526 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 70545 1526 391 112 0 65510 0
[pid=4604/tid=4605] ppid=4602 vsize=282180 CPUtime=0.1 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 327 0 0 0 10 0 0 0 18 0 4 0 600805692 288952320 1526 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=282180 CPUtime=0.1 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 311 0 0 0 10 0 0 0 25 0 4 0 600805692 288952320 1526 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=282180 CPUtime=0.1 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 249 0 0 0 10 0 0 0 25 0 4 0 600805692 288952320 1526 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282180

[startup+0.201145 s]
/proc/loadavg: 8.11 8.06 8.01 5/180 4604
/proc/meminfo: memFree=24476872/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=283152 CPUtime=0.78 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 2219 0 0 0 78 0 0 0 18 0 4 0 600805691 289947648 1642 33554432000 4194304 4650419 140734039759600 18446744073709551615 4331138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 70788 1642 393 112 0 65753 0
[pid=4604/tid=4605] ppid=4602 vsize=283152 CPUtime=0.19 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 477 0 0 0 19 0 0 0 18 0 4 0 600805692 289947648 1642 33554432000 4194304 4650419 140734039759600 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=283152 CPUtime=0.19 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 454 0 0 0 19 0 0 0 25 0 4 0 600805692 289947648 1642 33554432000 4194304 4650419 140734039759600 18446744073709551615 4329578 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=283152 CPUtime=0.19 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 395 0 0 0 19 0 0 0 25 0 4 0 600805692 289947648 1643 33554432000 4194304 4650419 140734039759600 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283152

[startup+0.301127 s]
/proc/loadavg: 8.11 8.06 8.01 5/180 4604
/proc/meminfo: memFree=24476872/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=283340 CPUtime=1.18 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 2554 0 0 0 118 0 0 0 18 0 4 0 600805691 290140160 1977 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 70835 1977 393 112 0 65800 0
[pid=4604/tid=4605] ppid=4602 vsize=283340 CPUtime=0.29 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 560 0 0 0 29 0 0 0 18 0 4 0 600805692 290140160 1977 33554432000 4194304 4650419 140734039759600 18446744073709551615 4330966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=283340 CPUtime=0.29 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 534 0 0 0 29 0 0 0 25 0 4 0 600805692 290140160 1977 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=283340 CPUtime=0.29 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 482 0 0 0 29 0 0 0 25 0 4 0 600805692 290140160 1977 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283340

[startup+0.701053 s]
/proc/loadavg: 8.11 8.06 8.01 5/180 4604
/proc/meminfo: memFree=24476872/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=284752 CPUtime=2.78 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 4476 0 0 0 278 0 0 0 18 0 4 0 600805691 291586048 2294 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 71188 2294 393 112 0 66153 0
[pid=4604/tid=4605] ppid=4602 vsize=284752 CPUtime=0.69 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 1041 0 0 0 69 0 0 0 18 0 4 0 600805692 291586048 2294 33554432000 4194304 4650419 140734039759600 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=284752 CPUtime=0.69 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 1035 0 0 0 69 0 0 0 25 0 4 0 600805692 291586048 2294 33554432000 4194304 4650419 140734039759600 18446744073709551615 4333914 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=284752 CPUtime=0.69 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 942 0 0 0 69 0 0 0 25 0 4 0 600805692 291586048 2294 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284752

[startup+1.50091 s]
/proc/loadavg: 8.11 8.06 8.01 9/184 4608
/proc/meminfo: memFree=24470888/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=285364 CPUtime=5.97 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 7750 0 0 0 596 1 0 0 19 0 4 0 600805691 292212736 4122 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 71341 4122 395 112 0 66306 0
[pid=4604/tid=4605] ppid=4602 vsize=285364 CPUtime=1.49 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 1744 0 0 0 149 0 0 0 20 0 4 0 600805692 292212736 4122 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=285364 CPUtime=1.48 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 1565 0 0 0 148 0 0 0 25 0 4 0 600805692 292212736 4122 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=285364 CPUtime=1.49 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 1436 0 0 0 149 0 0 0 25 0 4 0 600805692 292212736 4122 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285364

[startup+3.10061 s]
/proc/loadavg: 8.11 8.06 8.01 9/184 4608
/proc/meminfo: memFree=24453404/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=303220 CPUtime=12.36 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 15012 0 0 0 1235 1 0 0 25 0 4 0 600805691 310497280 8672 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 75805 8672 395 112 0 70770 0
[pid=4604/tid=4605] ppid=4602 vsize=303220 CPUtime=3.08 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 3542 0 0 0 308 0 0 0 25 0 4 0 600805692 310497280 8672 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=303220 CPUtime=3.07 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 3867 0 0 0 307 0 0 0 25 0 4 0 600805692 310497280 8672 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=303220 CPUtime=3.09 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 3375 0 0 0 309 0 0 0 25 0 4 0 600805692 310497280 8672 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 303220

[startup+6.30102 s]
/proc/loadavg: 8.10 8.06 8.01 9/184 4608
/proc/meminfo: memFree=24431636/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=309472 CPUtime=25.15 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 22511 0 0 0 2511 4 0 0 25 0 4 0 600805691 316899328 12503 33554432000 4194304 4650419 140734039759600 18446744073709551615 4306624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 77368 12503 395 112 0 72333 0
[pid=4604/tid=4605] ppid=4602 vsize=309472 CPUtime=6.29 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 5906 0 0 0 628 1 0 0 25 0 4 0 600805692 316899328 12503 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=309472 CPUtime=6.25 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 6126 0 0 0 625 0 0 0 25 0 4 0 600805692 316899328 12503 33554432000 4194304 4650419 140734039759600 18446744073709551615 4439405 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=309472 CPUtime=6.28 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 4426 0 0 0 628 0 0 0 25 0 4 0 600805692 316899328 12503 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 309472

[startup+12.7008 s]
/proc/loadavg: 8.09 8.06 8.01 9/184 4609
/proc/meminfo: memFree=24399528/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=319884 CPUtime=50.71 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 34159 0 0 0 5064 7 0 0 25 0 4 0 600805691 327561216 17270 33554432000 4194304 4650419 140734039759600 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 79971 17270 395 112 0 74936 0
[pid=4604/tid=4605] ppid=4602 vsize=319884 CPUtime=12.69 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 9251 0 0 0 1267 2 0 0 25 0 4 0 600805692 327561216 17270 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=319884 CPUtime=12.61 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 8888 0 0 0 1260 1 0 0 25 0 4 0 600805692 327561216 17270 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=319884 CPUtime=12.69 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 5870 0 0 0 1268 1 0 0 25 0 4 0 600805692 327561216 17270 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 319884

[startup+25.5004 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 4609
/proc/meminfo: memFree=24375228/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=321384 CPUtime=101.84 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 49783 0 0 0 10172 12 0 0 25 0 4 0 600805691 329097216 21592 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 80346 21592 395 112 0 75311 0
[pid=4604/tid=4605] ppid=4602 vsize=321384 CPUtime=25.49 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 14820 0 0 0 2545 4 0 0 25 0 4 0 600805692 329097216 21592 33554432000 4194304 4650419 140734039759600 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=321384 CPUtime=25.34 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 13869 0 0 0 2532 2 0 0 25 0 4 0 600805692 329097216 21592 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=321384 CPUtime=25.49 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 6561 0 0 0 2548 1 0 0 25 0 4 0 600805692 329097216 21592 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321384

[startup+51.1007 s]
/proc/loadavg: 8.04 8.05 8.01 9/184 4610
/proc/meminfo: memFree=24332976/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=323240 CPUtime=204.1 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 74924 0 0 0 20391 19 0 0 25 0 4 0 600805691 330997760 27365 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 80810 27365 395 112 0 75775 0
[pid=4604/tid=4605] ppid=4602 vsize=323240 CPUtime=51.09 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 23328 0 0 0 5103 6 0 0 25 0 4 0 600805692 330997760 27365 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=323240 CPUtime=50.81 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 22144 0 0 0 5077 4 0 0 25 0 4 0 600805692 330997760 27365 33554432000 4194304 4650419 140734039759600 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=323240 CPUtime=51.09 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 7431 0 0 0 5107 2 0 0 25 0 4 0 600805692 330997760 27365 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 323240

[startup+102.301 s]
/proc/loadavg: 8.06 8.05 8.01 9/184 4611
/proc/meminfo: memFree=24332076/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=325344 CPUtime=408.65 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 112059 0 0 0 40835 30 0 0 25 0 4 0 600805691 333152256 32025 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 81336 32025 395 112 0 76301 0
[pid=4604/tid=4605] ppid=4602 vsize=325344 CPUtime=102.29 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 35574 0 0 0 10220 9 0 0 25 0 4 0 600805692 333152256 32025 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=325344 CPUtime=101.74 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 34021 0 0 0 10166 8 0 0 25 0 4 0 600805692 333152256 32025 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=325344 CPUtime=102.3 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 8853 0 0 0 10227 3 0 0 25 0 4 0 600805692 333152256 32025 33554432000 4194304 4650419 140734039759600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 325344

[startup+162.301 s]

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

[pid=4604] ppid=4602 vsize=553828 CPUtime=2564.91 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 353418 0 0 0 256366 125 0 0 25 0 4 0 600805691 567119872 76237 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 138457 76237 395 112 0 133422 0
[pid=4604/tid=4605] ppid=4602 vsize=553828 CPUtime=641.67 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 117815 0 0 0 64125 42 0 0 25 0 4 0 600805692 567119872 76237 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=553828 CPUtime=638.76 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 111774 0 0 0 63839 37 0 0 25 0 4 0 600805692 567119872 76237 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=553828 CPUtime=642.15 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 30250 0 0 0 64203 12 0 0 25 0 4 0 600805692 567119872 76237 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.91
Current children cumulated vsize (KiB) 553828

[startup+702.301 s]
/proc/loadavg: 8.10 8.12 8.07 9/184 4661
/proc/meminfo: memFree=24281180/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=554072 CPUtime=2804.58 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 372522 0 0 0 280327 131 0 0 25 0 4 0 600805691 567369728 82949 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 138518 82949 395 112 0 133483 0
[pid=4604/tid=4605] ppid=4602 vsize=554072 CPUtime=701.66 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 125578 0 0 0 70123 43 0 0 25 0 4 0 600805692 567369728 82949 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=554072 CPUtime=698.44 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 117956 0 0 0 69804 40 0 0 25 0 4 0 600805692 567369728 82949 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=554072 CPUtime=702.15 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 30513 0 0 0 70203 12 0 0 25 0 4 0 600805692 567369728 82949 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.58
Current children cumulated vsize (KiB) 554072

[startup+762.301 s]
/proc/loadavg: 8.12 8.12 8.07 9/184 4663
/proc/meminfo: memFree=24259456/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=554736 CPUtime=3044.28 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 392767 0 0 0 304288 140 0 0 25 0 4 0 600805691 568049664 83524 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 138684 83524 395 112 0 133649 0
[pid=4604/tid=4605] ppid=4602 vsize=554736 CPUtime=761.67 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 134781 0 0 0 76120 47 0 0 25 0 4 0 600805692 568049664 83524 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=554736 CPUtime=758.11 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 123594 0 0 0 75768 43 0 0 25 0 4 0 600805692 568049664 83524 33554432000 4194304 4650419 140734039759600 18446744073709551615 4313058 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=554736 CPUtime=762.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 30805 0 0 0 76204 13 0 0 25 0 4 0 600805692 568049664 83524 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.28
Current children cumulated vsize (KiB) 554736

[startup+822.3 s]
/proc/loadavg: 8.24 8.16 8.09 9/184 4664
/proc/meminfo: memFree=24201492/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=555348 CPUtime=3283.93 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 409504 0 0 0 328246 147 0 0 25 0 4 0 600805691 568676352 83243 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 138837 83243 395 112 0 133802 0
[pid=4604/tid=4605] ppid=4602 vsize=555348 CPUtime=821.67 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 140991 0 0 0 82117 50 0 0 25 0 4 0 600805692 568676352 83243 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=555348 CPUtime=817.77 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 130437 0 0 0 81732 45 0 0 25 0 4 0 600805692 568676352 83243 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=555348 CPUtime=822.16 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 31003 0 0 0 82203 13 0 0 25 0 4 0 600805692 568676352 83244 33554432000 4194304 4650419 140734039759600 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.93
Current children cumulated vsize (KiB) 555348

[startup+882.307 s]
/proc/loadavg: 8.21 8.17 8.09 9/184 4666
/proc/meminfo: memFree=24168712/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=555552 CPUtime=3523.63 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 425822 0 0 0 352209 154 0 0 25 0 4 0 600805691 568885248 82812 33554432000 4194304 4650419 140734039759600 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 138888 82812 395 112 0 133853 0
[pid=4604/tid=4605] ppid=4602 vsize=555552 CPUtime=881.68 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 147488 0 0 0 88115 53 0 0 25 0 4 0 600805692 568885248 82812 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=555552 CPUtime=877.45 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 135891 0 0 0 87697 48 0 0 25 0 4 0 600805692 568885248 82812 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=555552 CPUtime=882.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 31209 0 0 0 88204 13 0 0 25 0 4 0 600805692 568885248 82812 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.63
Current children cumulated vsize (KiB) 555552

[startup+942.301 s]
/proc/loadavg: 8.20 8.18 8.10 9/184 4667
/proc/meminfo: memFree=24150808/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=556196 CPUtime=3763.29 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 444615 0 0 0 376167 162 0 0 25 0 4 0 600805691 569544704 81991 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 139049 81991 395 112 0 134014 0
[pid=4604/tid=4605] ppid=4602 vsize=556196 CPUtime=941.67 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 155236 0 0 0 94111 56 0 0 25 0 4 0 600805692 569544704 81991 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=556196 CPUtime=937.11 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 141420 0 0 0 93661 50 0 0 25 0 4 0 600805692 569544704 81991 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=556196 CPUtime=942.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 31373 0 0 0 94204 13 0 0 25 0 4 0 600805692 569544704 81991 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.29
Current children cumulated vsize (KiB) 556196

[startup+1002.3 s]
/proc/loadavg: 8.22 8.19 8.10 9/184 4669
/proc/meminfo: memFree=24112196/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=556436 CPUtime=4002.96 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 461511 0 0 0 400128 168 0 0 25 0 4 0 600805691 569790464 85789 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 139109 85789 395 112 0 134074 0
[pid=4604/tid=4605] ppid=4602 vsize=556436 CPUtime=1001.67 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 162020 0 0 0 100109 58 0 0 25 0 4 0 600805692 569790464 85789 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=556436 CPUtime=996.78 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 147127 0 0 0 99625 53 0 0 25 0 4 0 600805692 569790464 85789 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=556436 CPUtime=1002.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 31618 0 0 0 100204 13 0 0 25 0 4 0 600805692 569790464 85789 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.96
Current children cumulated vsize (KiB) 556436

[startup+1062.3 s]
/proc/loadavg: 8.22 8.20 8.11 9/184 4671
/proc/meminfo: memFree=24095284/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=544136 CPUtime=4242.64 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 475580 0 0 0 424090 174 0 0 25 0 4 0 600805691 557195264 85310 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 136034 85310 395 112 0 130999 0
[pid=4604/tid=4605] ppid=4602 vsize=544136 CPUtime=1061.68 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 168529 0 0 0 106107 61 0 0 25 0 4 0 600805692 557195264 85310 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=544136 CPUtime=1056.46 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 152564 0 0 0 105591 55 0 0 25 0 4 0 600805692 557195264 85310 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=544136 CPUtime=1062.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 31792 0 0 0 106204 13 0 0 25 0 4 0 600805692 557195264 85310 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.64
Current children cumulated vsize (KiB) 544136

[startup+1122.3 s]
/proc/loadavg: 8.27 8.20 8.11 9/184 4672
/proc/meminfo: memFree=24076380/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=557200 CPUtime=4482.3 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 496849 0 0 0 448049 181 0 0 25 0 4 0 600805691 570572800 93997 33554432000 4194304 4650419 140734039759600 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 139300 93997 395 112 0 134265 0
[pid=4604/tid=4605] ppid=4602 vsize=557200 CPUtime=1121.68 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 177046 0 0 0 112105 63 0 0 25 0 4 0 600805692 570572800 93997 33554432000 4194304 4650419 140734039759600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=557200 CPUtime=1116.12 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 158409 0 0 0 111555 57 0 0 25 0 4 0 600805692 570572800 93997 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=557200 CPUtime=1122.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 32924 0 0 0 112204 13 0 0 25 0 4 0 600805692 570572800 93997 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.3
Current children cumulated vsize (KiB) 557200

[startup+1182.3 s]
/proc/loadavg: 8.24 8.20 8.11 9/184 4674
/proc/meminfo: memFree=24036280/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=563152 CPUtime=4721.98 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 509022 0 0 0 472012 186 0 0 25 0 4 0 600805691 576667648 96380 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 140788 96380 395 112 0 135753 0
[pid=4604/tid=4605] ppid=4602 vsize=563152 CPUtime=1181.68 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 181144 0 0 0 118102 66 0 0 25 0 4 0 600805692 576667648 96380 33554432000 4194304 4650419 140734039759600 18446744073709551615 4313327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=563152 CPUtime=1175.79 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 165267 0 0 0 117520 59 0 0 25 0 4 0 600805692 576667648 96380 33554432000 4194304 4650419 140734039759600 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=563152 CPUtime=1182.17 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 33034 0 0 0 118204 13 0 0 25 0 4 0 600805692 576667648 96380 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.98
Current children cumulated vsize (KiB) 563152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.17 8.18 8.11 9/184 4674
/proc/meminfo: memFree=24034168/32951124 swapFree=67111348/67111528
[pid=4604] ppid=4602 vsize=563200 CPUtime=4800.29 cores=0,2,4,6
/proc/4604/stat : 4604 (strangenight1-m) R 4602 4604 3860 0 -1 4202496 513641 0 0 0 479841 188 0 0 25 0 4 0 600805691 576716800 96938 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4604/statm: 140800 96938 395 112 0 135765 0
[pid=4604/tid=4605] ppid=4602 vsize=563200 CPUtime=1201.28 cores=0,2,4,6
/proc/4604/task/4605/stat : 4605 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 183243 0 0 0 120061 67 0 0 25 0 4 0 600805692 576716800 96938 33554432000 4194304 4650419 140734039759600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4604/tid=4606] ppid=4602 vsize=563200 CPUtime=1195.28 cores=0,2,4,6
/proc/4604/task/4606/stat : 4606 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 167140 0 0 0 119469 59 0 0 25 0 4 0 600805692 576716800 96938 33554432000 4194304 4650419 140734039759600 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4604/tid=4607] ppid=4602 vsize=563200 CPUtime=1201.78 cores=0,2,4,6
/proc/4604/task/4607/stat : 4607 (strangenight1-m) R 4602 4604 3860 0 -1 4202560 33681 0 0 0 120165 13 0 0 25 0 4 0 600805692 576716800 96938 33554432000 4194304 4650419 140734039759600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 563200

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): 1201.93
CPU time (s): 4800.35
CPU user time (s): 4798.44
CPU system time (s): 1.90671
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 609072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.44
system time used= 1.90671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513641
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= 230
involuntary context switches= 21355

runsolver used 1.87271 second user time and 4.66129 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 21:35:52
IDJOB=3175272
IDBENCH=82890
IDSOLVER=1588
FILE ID=node111/3175272-1304105752
RUNJOBID= node111-1304105131-4505
PBS_JOBID= 13170629
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= 5ba52a7ac0a84086dc4098f6b5213446
RANDOM SEED=1827720585

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 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:      24477028 kB
Buffers:       1283468 kB
Cached:        6328968 kB
SwapCached:        124 kB
Active:        3593864 kB
Inactive:      4391332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24477028 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      372868 kB
Mapped:          15520 kB
Slab:           425308 kB
PageTables:       5056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   607692 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= 70884 MiB
End job on node111 at 2011-04-29 21:55:56