Trace number 3175225

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.1 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
MD5SUMdc676a8dc341229efc4ee05b1ab19ceb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark130.058
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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-3175225-1304100926.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
3.17/0.80	c -- clauses added:            0 learnts,         1917 normals,            0 xors
3.17/0.80	c -- vars added        450
3.17/0.80	c Parsing time:  0.00 s
3.17/0.80	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
3.17/0.80	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
3.17/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     205 undec:      52 neg:     193
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       438      1897         0         0      5756         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4914       438      1897         0      4805      5756     99964   no data   no data  --
3.17/0.80	c  N st    10     11299       438      1897         0      4476      5756     70244   no data   no data  --
3.17/0.80	c  N st    11     17043       438      1897         0     10113      5756    188363   no data   no data  --
3.97/1.00	c  F st    12     25002       438      1897         0     12343      5756    232837   no data   no data  --
3.97/1.00	c  N st    12     25002       438      1897         0     12343      5756    232837   no data   no data  --
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30001       438      1897         0     10639      5756    186042   no data   no data  --
5.17/1.30	c  S st    18     30001       438      1897         0     10639      5756    186042   no data   no data  --
5.17/1.30	c  S st    18     30506       438      1897         0     11143      5756    196358   no data   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.45	c lits-rem:       118  cl-subs:      541  v-elim:      0  v-fix:    0  time:  0.70 s
5.57/1.46	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
5.57/1.46	c calculated reachability. Time: 0.00
5.57/1.46	c  N st    18     30506       438      1897         0     10602      5756    184429   no data   no data  --
7.17/1.85	c  N st    20     37616       438      1897         0      9866      5756    151220   no data   no data  --
8.79/2.22	c  N st    21     44015       438      1897         0     16139      5756    288892   no data   no data  --
9.19/2.34	c  S st    22     45762       438      1897         0      9087      5756    118823   no data   no data  --
9.19/2.37	c  S st    22     46265       438      1897         0      9589      5756    129393   no data   no data  --
9.19/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
9.19/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.45	c lits-rem:        39  cl-subs:      114  v-elim:      0  v-fix:    0  time:  0.29 s
9.56/2.45	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c vivif2 --  cl tried     9475 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
9.56/2.45	c calculated reachability. Time: 0.00
9.56/2.45	c  N st    22     46265       438      1897         0      9475      5756    127082   no data   no data  --
13.18/3.34	c  N st    23     60663       438      1897         0     13751      5756    211099   no data   no data  --
15.56/3.98	c  N st    24     69397       438      1897         0     11552      5756    153137   no data   no data  --
15.56/3.98	c  S st    24     69397       438      1897         0     11552      5756    153137   no data   no data  --
15.96/4.01	c  S st    24     69901       438      1897         0     12055      5756    163595   no data   no data  --
15.96/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.96/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
15.96/4.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.17	c lits-rem:        83  cl-subs:      198  v-elim:      0  v-fix:    0  time:  0.60 s
16.36/4.17	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
16.36/4.17	c vivif2 --  cl tried    11857 cl shrink        0 lits rem          0 time: 0.00
16.36/4.18	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.04
16.36/4.18	c calculated reachability. Time: 0.00
16.36/4.18	c  N st    24     69901       438      1897         0     11857      5756    159310   no data   no data  --
21.55/5.43	c  F st    25     87501       438      1897         0     17352      5756    270887   no data   no data  --
21.55/5.43	c  N st    25     87501       438      1897         0     17352      5756    270887   no data   no data  --
22.75/5.79	c Decided on static restart strategy
23.94/6.03	c  N st    32     95541       438      1897         0     25222      5756    442798   no data   no data  --
26.36/6.68	c  N st    34    104852       438      1897         0     21619      5756    343746   no data   no data  --
26.36/6.68	c  S st    34    104852       438      1897         0     21619      5756    343746   no data   no data  --
26.76/6.74	c  S st    34    105353       438      1897         0     22119      5756    354022   no data   no data  --
26.76/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.76/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.76/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
26.76/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.94/7.50	c lits-rem:       252  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  2.97 s
29.94/7.50	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
29.94/7.51	c vivif2 --  cl tried    20783 cl shrink        0 lits rem          0 time: 0.01
29.94/7.52	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.06
29.94/7.52	c calculated reachability. Time: 0.00
29.94/7.52	c  N st    34    105353       438      1897         0     20783      5756    325715   no data   no data  --
33.14/8.39	c  N st    35    114951       438      1897         0     16457      5756    217084   no data   no data  --
37.93/9.57	c  N st    36    129348       438      1897         0     15865      5756    190825   no data   no data  --
44.34/11.19	c  N st    37    150943       438      1897         0     21247      5756    289474   no data   no data  --
46.72/11.78	c  S st    38    158031       438      1897         0     28175      5756    434019   no data   no data  --
47.12/11.85	c  S st    38    158532       438      1897         0     28675      5756    444961   no data   no data  --
47.12/11.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.12/11.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.12/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
47.12/11.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.12/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.12/11.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
47.12/11.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.31/13.13	c lits-rem:       525  cl-subs:     1923  v-elim:      0  v-fix:    0  time:  5.00 s
52.31/13.13	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
52.31/13.13	c vivif2 --  cl tried    26752 cl shrink        0 lits rem          0 time: 0.02
52.31/13.15	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.08
52.31/13.15	c calculated reachability. Time: 0.00
52.31/13.15	c  N st    38    158532       438      1897         0     26752      5756    407714   no data   no data  --
71.88/18.01	c  N st    39    207122       438      1897         0     21523      5756    269558   no data   no data  --
84.27/21.16	c  N st    40    237799       438      1897         0     31875      5756    479057   no data   no data  --
84.27/21.16	c  S st    40    237799       438      1897         0     31875      5756    479057   no data   no data  --
84.67/21.24	c  S st    40    238305       438      1897         0     32379      5756    489819   no data   no data  --
84.67/21.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.67/21.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.67/21.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
84.67/21.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.67/21.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.67/21.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
84.67/21.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.06/22.87	c lits-rem:       553  cl-subs:     2211  v-elim:      0  v-fix:    0  time:  6.42 s
91.06/22.87	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
91.06/22.88	c vivif2 --  cl tried    30168 cl shrink        0 lits rem          0 time: 0.02
91.46/22.90	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
91.46/22.90	c calculated reachability. Time: 0.00
91.46/22.90	c  N st    40    238305       438      1897         0     30168      5756    442513   no data   no data  --
120.22/30.19	c  F st    41    306251       438      1897         0     32171      5756    451499   no data   no data  --
120.22/30.19	c  N st    41    306251       438      1897         0     32171      5756    451499   no data   no data  --
123.44/30.91	c Decided on static restart strategy
134.20/33.63	c  N st    51    334555       438      1897         0     36420      5756    520544   no data   no data  --
145.40/36.48	c  N st    53    357458       438      1897         0     34340      5756    466054   no data   no data  --
145.40/36.48	c  S st    53    357458       438      1897         0     34340      5756    466054   no data   no data  --
145.78/36.56	c  S st    53    357961       438      1897         0     34843      5756    476588   no data   no data  --
145.78/36.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.78/36.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.78/36.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.78/36.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.78/36.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.78/36.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
145.78/36.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.77/38.06	c lits-rem:       563  cl-subs:     1314  v-elim:      0  v-fix:    0  time:  5.87 s
151.77/38.06	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
151.77/38.06	c vivif2 --  cl tried    33529 cl shrink        0 lits rem          0 time: 0.02
151.77/38.09	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.11
151.77/38.09	c calculated reachability. Time: 0.00
151.77/38.09	c  N st    53    357961       438      1897         0     33529      5756    448993   no data   no data  --
168.55/42.26	c  N st    54    390354       438      1897         0     39847      5756    584917   no data   no data  --
197.32/49.48	c  N st    55    438943       438      1897         0     33500      5756    401246   no data   no data  --
240.06/60.10	c  N st    56    511825       438      1897         0     46950      5756    665225   no data   no data  --
255.64/64.00	c  N st    57    536941       438      1897         0     41222      5756    531557   no data   no data  --
255.64/64.01	c  S st    57    536941       438      1897         0     41222      5756    531557   no data   no data  --
256.04/64.11	c  S st    57    537446       438      1897         0     41725      5756    543528   no data   no data  --
256.04/64.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
256.04/64.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
256.04/64.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
256.04/64.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.04/64.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.04/64.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
256.04/64.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
262.83/65.83	c lits-rem:       582  cl-subs:     1848  v-elim:      0  v-fix:    0  time:  6.72 s
262.83/65.83	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
262.83/65.83	c vivif2 --  cl tried    39877 cl shrink        0 lits rem          0 time: 0.02
262.83/65.87	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.14
262.83/65.87	c calculated reachability. Time: 0.00
262.83/65.87	c  N st    57    537446       438      1897         0     39877      5756    504840   no data   no data  --
366.29/91.76	c  N st    58    701430       438      1897         0     68856      5756   1060536   no data   no data  --
438.20/109.70	c  N st    59    806170       438      1897         0     62878      5756    921169   no data   no data  --
438.20/109.70	c  S st    59    806170       438      1897         0     62878      5756    921169   no data   no data  --
439.00/109.91	c  S st    59    806671       438      1897         0     63376      5756    932143   no data   no data  --
439.00/109.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.00/109.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.00/109.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
439.00/109.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.00/109.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.00/109.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
439.00/109.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
453.78/113.65	c lits-rem:       906  cl-subs:     4795  v-elim:      0  v-fix:    0  time: 14.66 s
453.78/113.65	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
453.78/113.66	c vivif2 --  cl tried    58581 cl shrink        0 lits rem          0 time: 0.04
454.18/113.72	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.25
454.18/113.72	c calculated reachability. Time: 0.00
454.18/113.72	c  N st    59    806671       438      1897         0     58581      5756    837383   no data   no data  --
653.51/163.60	c  F st    60   1071875       438      1897         0     73874      5756   1026338   no data   no data  --
653.51/163.60	c  N st    60   1071875       438      1897         0     73874      5756   1026338   no data   no data  --
658.71/164.90	c Decided on static restart strategy
676.70/169.45	c  N st    70   1100182       438      1897         0     58004      5756    718824   no data   no data  --
709.84/177.71	c  N st    72   1136175       438      1897         0     48446      5756    494406   no data   no data  --
736.60/184.45	c  N st    73   1168568       438      1897         0     79915      5756   1150198   no data   no data  --
773.78/193.77	c  N st    74   1210009       438      1897         0     74547      5756   1026740   no data   no data  --
773.78/193.77	c  S st    74   1210009       438      1897         0     74547      5756   1026740   no data   no data  --
774.95/194.00	c  S st    74   1210514       438      1897         0     75051      5756   1037526   no data   no data  --
774.95/194.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
774.95/194.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
774.95/194.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
774.95/194.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
774.95/194.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
774.95/194.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
774.95/194.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
788.53/197.48	c lits-rem:       242  cl-subs:     5334  v-elim:      0  v-fix:    0  time: 13.58 s
788.53/197.48	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
788.53/197.49	c vivif2 --  cl tried    69717 cl shrink        0 lits rem          0 time: 0.05
788.93/197.57	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.33
788.93/197.58	c calculated reachability. Time: 0.00
788.93/197.58	c  N st    74   1210514       438      1897         0     69717      5756    936823   no data   no data  --
863.63/216.26	c  N st    75   1283397       438      1897         0     94073      5756   1524684   no data   no data  --
973.10/243.60	c  N st    76   1392722       438      1897         0     54673      5756    576964   no data   no data  --
1144.06/286.44	c  N st    77   1556706       438      1897         0     59672      5756    644966   no data   no data  --
1303.85/326.46	c  N st    78   1710516       438      1897         0    100526      5756   1536566   no data   no data  --
1303.85/326.46	c  S st    78   1710516       438      1897         0    100526      5756   1536566   no data   no data  --
1305.47/326.83	c  S st    78   1711018       438      1897         0    101025      5756   1547807   no data   no data  --
1305.47/326.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1305.47/326.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1305.47/326.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1305.84/326.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1305.84/326.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1305.84/326.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1305.84/326.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1358.58/340.17	c lits-rem:       343  cl-subs:    10435  v-elim:      0  v-fix:    0  time: 52.84 s
1358.58/340.17	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1358.58/340.19	c vivif2 --  cl tried    90590 cl shrink        0 lits rem          0 time: 0.07
1359.38/340.32	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.49
1359.38/340.32	c calculated reachability. Time: 0.00
1359.38/340.32	c  N st    78   1711018       438      1897         0     90590      5756   1335381   no data   no data  --
1732.48/433.70	c  N st    79   2079982       438      1897         0    102027      5756   1381949   no data   no data  --
1881.89/471.16	c  N st    80   2211018       438      1897         0    106069      5756   1478407   no data   no data  --
1881.89/471.16	c  S st    80   2211018       438      1897         0    106069      5756   1478407   no data   no data  --
1883.49/471.55	c  S st    80   2211519       438      1897         0    106569      5756   1489413   no data   no data  --
1883.49/471.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1883.49/471.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1883.89/471.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1883.89/471.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1883.89/471.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1883.89/471.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
1883.89/471.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1930.23/483.21	c lits-rem:       600  cl-subs:    12696  v-elim:      0  v-fix:    0  time: 46.10 s
1930.23/483.21	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1930.23/483.23	c vivif2 --  cl tried    93873 cl shrink        0 lits rem          0 time: 0.07
1930.63/483.35	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.50
1930.63/483.36	c calculated reachability. Time: 0.00
1930.63/483.36	c  N st    80   2211519       438      1897         0     93873      5756   1250304   no data   no data  --
2520.25/630.94	c  N st    81   2711519       438      1897         0    117079      5756   1551465   no data   no data  --
2520.25/630.94	c  S st    81   2711519       438      1897         0    117079      5756   1551465   no data   no data  --
2521.85/631.35	c  S st    81   2712023       438      1897         0    117582      5756   1562494   no data   no data  --
2521.85/631.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2521.85/631.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2522.27/631.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2522.27/631.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2522.27/631.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2522.27/631.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
2522.27/631.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2568.18/642.96	c lits-rem:       174  cl-subs:    16272  v-elim:      0  v-fix:    0  time: 45.88 s
2568.18/642.96	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
2568.18/642.98	c vivif2 --  cl tried   101310 cl shrink        0 lits rem          0 time: 0.07
2568.98/643.11	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.53
2568.98/643.12	c calculated reachability. Time: 0.00
2568.98/643.12	c  N st    81   2712023       438      1897         0    101310      5756   1302151   no data   no data  --
3224.12/807.16	c  N st    82   3212023       438      1897         0     77998      5756    727975   no data   no data  --
3224.12/807.16	c  S st    82   3212023       438      1897         0     77998      5756    727975   no data   no data  --
3224.92/807.39	c  S st    82   3212528       438      1897         0     78501      5756    739315   no data   no data  --
3224.92/807.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3224.92/807.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3225.33/807.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
3225.33/807.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3225.33/807.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3225.33/807.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3225.33/807.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3234.12/809.65	c lits-rem:       413  cl-subs:      734  v-elim:      0  v-fix:    0  time:  8.78 s
3234.12/809.65	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3234.12/809.67	c vivif2 --  cl tried    77767 cl shrink        0 lits rem          0 time: 0.04
3234.52/809.75	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.36
3234.52/809.76	c calculated reachability. Time: 0.00
3234.52/809.76	c  N st    82   3212528       438      1897         0     77767      5756    727234   no data   no data  --
3920.80/981.52	c  N st    83   3712528       438      1897         0     88444      5756    864020   no data   no data  --
3920.80/981.52	c  S st    83   3712528       438      1897         0     88444      5756    864020   no data   no data  --
3922.00/981.80	c  S st    83   3713030       438      1897         0     88945      5756    875233   no data   no data  --
3922.00/981.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3922.00/981.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3922.00/981.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3922.00/981.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3922.00/981.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3922.00/981.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
3922.00/981.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3934.38/984.95	c lits-rem:       954  cl-subs:     2608  v-elim:      0  v-fix:    0  time: 12.26 s
3934.38/984.95	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3934.38/984.96	c vivif2 --  cl tried    86337 cl shrink        0 lits rem          0 time: 0.05
3934.78/985.07	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.43
3934.78/985.08	c calculated reachability. Time: 0.00
3934.78/985.08	c  N st    83   3713030       438      1897         0     86337      5756    833623   no data   no data  --
3983.91/997.34	c  F st    84   3751562       438      1897         0    123475      5756   1631345   no data   no data  --
3983.91/997.34	c  N st    84   3751562       438      1897         0    123475      5756   1631345   no data   no data  --
3993.50/999.70	c Decided on static restart strategy
4035.05/1010.12	c  N st    94   3779867       438      1897         0    150866      5756   2219537   no data   no data  --
4089.38/1023.70	c  N st    96   3815859       438      1897         0    103938      5756   1194701   no data   no data  --
4140.91/1036.66	c  N st    97   3848251       438      1897         0    135237      5756   1879512   no data   no data  --
4220.80/1056.63	c  N st    98   3896841       438      1897         0     99151      5756   1075702   no data   no data  --
4343.04/1087.28	c  N st    99   3969726       438      1897         0     85603      5756    775139   no data   no data  --
4491.26/1124.39	c  N st   100   4079049       438      1897         0    106115      5756   1168239   no data   no data  --
4681.40/1171.94	c  N st   101   4213033       438      1897         0    149483      5756   2117556   no data   no data  --
4681.40/1171.94	c  S st   101   4213033       438      1897         0    149483      5756   2117556   no data   no data  --
4683.40/1172.47	c  S st   101   4213535       438      1897         0    149983      5756   2129512   no data   no data  --
4683.40/1172.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4683.40/1172.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4683.80/1172.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4684.21/1172.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4684.21/1172.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4684.21/1172.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    438 time:  0.00 s
4684.21/1172.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4776.07/1195.65	c lits-rem:      1294  cl-subs:    16143  v-elim:      0  v-fix:    0  time: 91.89 s
4776.07/1195.65	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
4776.07/1195.68	c vivif2 --  cl tried   133840 cl shrink        0 lits rem          0 time: 0.10
4776.90/1195.89	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.83
4776.90/1195.89	c calculated reachability. Time: 0.00
4776.90/1195.89	c  N st   101   4213535       438      1897         0    133840      5756   1821618   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-3175225-1304100926/watcher-3175225-1304100926 -o /tmp/evaluation-result-3175225-1304100926/solver-3175225-1304100926 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175225-1304100926.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: 2.18 3.57 5.27 7/180 29469
/proc/meminfo: memFree=30985556/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 521689269 52465664 352 33554432000 4194304 4650419 140736882923680 18446744073709551615 47546336466860 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 12809 352 303 112 0 7774 0
[pid=29469/tid=29470] ppid=29467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521689270 52465664 352 33554432000 4194304 4650419 140736882923680 18446744073709551615 47546336466866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521689270 52465664 352 33554432000 4194304 4650419 140736882923680 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521689270 52465664 352 33554432000 4194304 4650419 140736882923680 18446744073709551615 254512489526 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.109536 s]
/proc/loadavg: 2.18 3.57 5.27 7/180 29469
/proc/meminfo: memFree=30985556/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=282492 CPUtime=0.41 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 1717 0 0 0 41 0 0 0 18 0 4 0 521689269 289271808 1571 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 70623 1571 391 112 0 65588 0
[pid=29469/tid=29470] ppid=29467 vsize=282492 CPUtime=0.1 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 346 0 0 0 10 0 0 0 18 0 4 0 521689270 289271808 1571 33554432000 4194304 4650419 140736882923680 18446744073709551615 4360223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=282492 CPUtime=0.1 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 357 0 0 0 10 0 0 0 25 0 4 0 521689270 289271808 1571 33554432000 4194304 4650419 140736882923680 18446744073709551615 254500346864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=282492 CPUtime=0.1 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 260 0 0 0 10 0 0 0 18 0 4 0 521689270 289271808 1571 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282492

[startup+0.200518 s]
/proc/loadavg: 2.18 3.57 5.27 7/180 29469
/proc/meminfo: memFree=30985556/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=283540 CPUtime=0.78 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 2336 0 0 0 78 0 0 0 18 0 4 0 521689269 290344960 1685 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 70885 1685 393 112 0 65850 0
[pid=29469/tid=29470] ppid=29467 vsize=283540 CPUtime=0.19 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 498 0 0 0 19 0 0 0 18 0 4 0 521689270 290344960 1685 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=283540 CPUtime=0.19 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 521689270 290344960 1686 33554432000 4194304 4650419 140736882923680 18446744073709551615 4333481 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=283540 CPUtime=0.19 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 421 0 0 0 19 0 0 0 18 0 4 0 521689270 290344960 1686 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283540

[startup+0.300498 s]
/proc/loadavg: 2.18 3.57 5.27 7/180 29469
/proc/meminfo: memFree=30985556/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=283704 CPUtime=1.18 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 2694 0 0 0 118 0 0 0 18 0 4 0 521689269 290512896 2043 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363448 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 70926 2043 393 112 0 65891 0
[pid=29469/tid=29470] ppid=29467 vsize=283704 CPUtime=0.29 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 586 0 0 0 29 0 0 0 18 0 4 0 521689270 290512896 2043 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=283704 CPUtime=0.29 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 601 0 0 0 29 0 0 0 25 0 4 0 521689270 290512896 2043 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=283704 CPUtime=0.29 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 513 0 0 0 29 0 0 0 18 0 4 0 521689270 290512896 2043 33554432000 4194304 4650419 140736882923680 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283704

[startup+0.70042 s]
/proc/loadavg: 2.18 3.57 5.27 7/180 29469
/proc/meminfo: memFree=30985556/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=285152 CPUtime=2.77 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 4712 0 0 0 277 0 0 0 18 0 4 0 521689269 291995648 2297 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 71288 2297 393 112 0 66253 0
[pid=29469/tid=29470] ppid=29467 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1107 0 0 0 69 0 0 0 18 0 4 0 521689270 291995648 2297 33554432000 4194304 4650419 140736882923680 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1111 0 0 0 69 0 0 0 25 0 4 0 521689270 291995648 2297 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 980 0 0 0 69 0 0 0 18 0 4 0 521689270 291995648 2297 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285152

[startup+1.50026 s]
/proc/loadavg: 2.73 3.66 5.29 9/184 29473
/proc/meminfo: memFree=30971388/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=277024 CPUtime=5.97 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 8125 0 0 0 596 1 0 0 19 0 4 0 521689269 283672576 4449 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 69256 4449 395 112 0 64221 0
[pid=29469/tid=29470] ppid=29467 vsize=277024 CPUtime=1.49 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1682 0 0 0 149 0 0 0 20 0 4 0 521689270 283672576 4449 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=277024 CPUtime=1.48 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1690 0 0 0 148 0 0 0 25 0 4 0 521689270 283672576 4449 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=277024 CPUtime=1.49 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 1500 0 0 0 149 0 0 0 20 0 4 0 521689270 283672576 4449 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 277024

[startup+3.10094 s]
/proc/loadavg: 2.73 3.66 5.29 10/184 29503
/proc/meminfo: memFree=30984240/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=284940 CPUtime=12.36 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 15795 0 0 0 1235 1 0 0 25 0 4 0 521689269 291778560 8937 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 71235 8937 395 112 0 66200 0
[pid=29469/tid=29470] ppid=29467 vsize=284940 CPUtime=3.09 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 3857 0 0 0 309 0 0 0 25 0 4 0 521689270 291778560 8937 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=284940 CPUtime=3.08 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 4185 0 0 0 308 0 0 0 25 0 4 0 521689270 291778560 8937 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=284940 CPUtime=3.09 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 3418 0 0 0 309 0 0 0 25 0 4 0 521689270 291778560 8937 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284940

[startup+6.30031 s]
/proc/loadavg: 3.15 3.74 5.31 10/184 29503
/proc/meminfo: memFree=30922496/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=289740 CPUtime=25.14 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 23837 0 0 0 2511 3 0 0 25 0 4 0 521689269 296693760 11669 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 72435 11669 395 112 0 67400 0
[pid=29469/tid=29470] ppid=29467 vsize=289740 CPUtime=6.29 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 6373 0 0 0 628 1 0 0 25 0 4 0 521689270 296693760 11669 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=289740 CPUtime=6.25 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 6587 0 0 0 625 0 0 0 25 0 4 0 521689270 296693760 11669 33554432000 4194304 4650419 140736882923680 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=289740 CPUtime=6.28 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 4378 0 0 0 628 0 0 0 25 0 4 0 521689270 296693760 11669 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 289740

[startup+12.701 s]
/proc/loadavg: 3.54 3.81 5.32 10/184 29503
/proc/meminfo: memFree=30879104/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=290580 CPUtime=50.71 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 36894 0 0 0 5065 6 0 0 25 0 4 0 521689269 297553920 16437 33554432000 4194304 4650419 140736882923680 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 72645 16437 395 112 0 67610 0
[pid=29469/tid=29470] ppid=29467 vsize=290580 CPUtime=12.69 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 10001 0 0 0 1268 1 0 0 25 0 4 0 521689270 297553920 16437 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=290580 CPUtime=12.62 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 9497 0 0 0 1261 1 0 0 25 0 4 0 521689270 297553920 16437 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=290580 CPUtime=12.69 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 6603 0 0 0 1268 1 0 0 25 0 4 0 521689270 297553920 16437 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 290580

[startup+25.5005 s]
/proc/loadavg: 4.53 4.01 5.36 9/184 29503
/proc/meminfo: memFree=30817984/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=297376 CPUtime=101.84 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 56451 0 0 0 10173 11 0 0 25 0 4 0 521689269 304513024 22293 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 74344 22293 395 112 0 69309 0
[pid=29469/tid=29470] ppid=29467 vsize=297376 CPUtime=25.49 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 16169 0 0 0 2546 3 0 0 25 0 4 0 521689270 304513024 22293 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=297376 CPUtime=25.35 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 14929 0 0 0 2533 2 0 0 25 0 4 0 521689270 304513024 22293 33554432000 4194304 4650419 140736882923680 18446744073709551615 4331245 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=297376 CPUtime=25.48 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 9372 0 0 0 2547 1 0 0 25 0 4 0 521689270 304513024 22293 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 297376

[startup+51.1004 s]
/proc/loadavg: 5.84 4.36 5.44 10/184 29504
/proc/meminfo: memFree=30759220/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=304984 CPUtime=204.11 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 85108 0 0 0 20391 20 0 0 25 0 4 0 521689269 312303616 29042 33554432000 4194304 4650419 140736882923680 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 76246 29042 395 112 0 71211 0
[pid=29469/tid=29470] ppid=29467 vsize=304984 CPUtime=51.09 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 25270 0 0 0 5104 5 0 0 25 0 4 0 521689270 312303616 29042 33554432000 4194304 4650419 140736882923680 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=304984 CPUtime=50.81 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 22539 0 0 0 5077 4 0 0 25 0 4 0 521689270 312303616 29042 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=304984 CPUtime=51.08 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 13139 0 0 0 5105 3 0 0 25 0 4 0 521689270 312303616 29042 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 304984

[startup+102.301 s]
/proc/loadavg: 7.19 4.95 5.58 10/184 29505
/proc/meminfo: memFree=30734244/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=307540 CPUtime=408.66 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 131342 0 0 0 40831 35 0 0 25 0 4 0 521689269 314920960 33365 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 76885 33365 395 112 0 71850 0
[pid=29469/tid=29470] ppid=29467 vsize=307540 CPUtime=102.3 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 38577 0 0 0 10220 10 0 0 25 0 4 0 521689270 314920960 33365 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=307540 CPUtime=101.74 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 34695 0 0 0 10166 8 0 0 25 0 4 0 521689270 314920960 33365 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=307540 CPUtime=102.3 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 20679 0 0 0 10224 6 0 0 25 0 4 0 521689270 314920960 33365 33554432000 4194304 4650419 140736882923680 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 307540

[startup+162.3 s]

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

[pid=29469] ppid=29467 vsize=488548 CPUtime=2805.47 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 426006 0 0 0 280383 164 0 0 25 0 4 0 521689269 500273152 77531 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366933 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 122137 77531 395 112 0 117102 0
[pid=29469/tid=29470] ppid=29467 vsize=488548 CPUtime=702.32 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 132235 0 0 0 70181 51 0 0 25 0 4 0 521689270 500273152 77531 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=488548 CPUtime=698.49 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 112481 0 0 0 69806 43 0 0 25 0 4 0 521689270 500273152 77531 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=488548 CPUtime=702.31 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 56422 0 0 0 70207 24 0 0 25 0 4 0 521689270 500273152 77531 33554432000 4194304 4650419 140736882923680 18446744073709551615 4329710 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 488548

[startup+762.301 s]
/proc/loadavg: 8.20 7.74 6.84 10/184 29523
/proc/meminfo: memFree=30295128/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=501220 CPUtime=3045.17 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 447653 0 0 0 304344 173 0 0 25 0 4 0 521689269 513249280 75337 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 125305 75337 395 112 0 120270 0
[pid=29469/tid=29470] ppid=29467 vsize=501220 CPUtime=762.33 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 140638 0 0 0 76179 54 0 0 25 0 4 0 521689270 513249280 75337 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=501220 CPUtime=758.17 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 119276 0 0 0 75771 46 0 0 25 0 4 0 521689270 513249280 75337 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=501220 CPUtime=762.31 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 58710 0 0 0 76206 25 0 0 25 0 4 0 521689270 513249280 75337 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 501220

[startup+822.301 s]
/proc/loadavg: 8.15 7.80 6.91 10/184 29524
/proc/meminfo: memFree=30260616/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=567012 CPUtime=3284.84 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 470764 0 0 0 328298 186 0 0 25 0 4 0 521689269 580620288 80701 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 141753 80701 395 112 0 136718 0
[pid=29469/tid=29470] ppid=29467 vsize=567012 CPUtime=822.32 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 150103 0 0 0 82175 57 0 0 25 0 4 0 521689270 580620288 80701 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=567012 CPUtime=817.84 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 125141 0 0 0 81734 50 0 0 25 0 4 0 521689270 580620288 80701 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=567012 CPUtime=822.31 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 61177 0 0 0 82204 27 0 0 25 0 4 0 521689270 580620288 80701 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 567012

[startup+882.307 s]
/proc/loadavg: 8.05 7.83 6.98 9/184 29526
/proc/meminfo: memFree=30270488/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=570644 CPUtime=3524.54 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 491550 0 0 0 352258 196 0 0 25 0 4 0 521689269 584339456 81741 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 142661 81741 395 112 0 137626 0
[pid=29469/tid=29470] ppid=29467 vsize=570644 CPUtime=882.33 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 157880 0 0 0 88173 60 0 0 25 0 4 0 521689270 584339456 81741 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=570644 CPUtime=877.52 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 130102 0 0 0 87699 53 0 0 25 0 4 0 521689270 584339456 81741 33554432000 4194304 4650419 140736882923680 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=570644 CPUtime=882.32 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 63684 0 0 0 88203 29 0 0 25 0 4 0 521689270 584339456 81741 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 570644

[startup+942.301 s]
/proc/loadavg: 8.09 7.88 7.04 9/184 29528
/proc/meminfo: memFree=30250116/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=570980 CPUtime=3764.2 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 512900 0 0 0 376215 205 0 0 25 0 4 0 521689269 584683520 85739 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 142745 85739 395 112 0 137710 0
[pid=29469/tid=29470] ppid=29467 vsize=570980 CPUtime=942.33 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 162975 0 0 0 94170 63 0 0 25 0 4 0 521689270 584683520 85739 33554432000 4194304 4650419 140736882923680 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=570980 CPUtime=937.2 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 137219 0 0 0 93664 56 0 0 25 0 4 0 521689270 584683520 85739 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=570980 CPUtime=942.31 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 67202 0 0 0 94202 29 0 0 25 0 4 0 521689270 584683520 85739 33554432000 4194304 4650419 140736882923680 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 570980

[startup+1002.3 s]
/proc/loadavg: 8.10 7.91 7.11 10/184 29529
/proc/meminfo: memFree=30217456/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=571240 CPUtime=4003.88 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 535516 0 0 0 400173 215 0 0 25 0 4 0 521689269 584949760 91323 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 142810 91323 395 112 0 137775 0
[pid=29469/tid=29470] ppid=29467 vsize=571240 CPUtime=1002.34 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 172178 0 0 0 100168 66 0 0 25 0 4 0 521689270 584949760 91323 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=571240 CPUtime=996.86 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 141805 0 0 0 99628 58 0 0 25 0 4 0 521689270 584949760 91323 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=571240 CPUtime=1002.31 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 70735 0 0 0 100200 31 0 0 25 0 4 0 521689270 584949760 91323 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 571240

[startup+1062.3 s]
/proc/loadavg: 8.16 7.96 7.17 10/184 29531
/proc/meminfo: memFree=30220624/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=577372 CPUtime=4243.58 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 556749 0 0 0 424131 227 0 0 25 0 4 0 521689269 591228928 86876 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 144343 86876 395 112 0 139308 0
[pid=29469/tid=29470] ppid=29467 vsize=577372 CPUtime=1062.34 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 179201 0 0 0 106164 70 0 0 25 0 4 0 521689270 591228928 86876 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=577372 CPUtime=1056.54 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 148348 0 0 0 105592 62 0 0 25 0 4 0 521689270 591228928 86876 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=577372 CPUtime=1062.32 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 72983 0 0 0 106200 32 0 0 25 0 4 0 521689270 591228928 86876 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.58
Current children cumulated vsize (KiB) 577372

[startup+1122.3 s]
/proc/loadavg: 8.17 7.99 7.23 10/184 29533
/proc/meminfo: memFree=30239800/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=577680 CPUtime=4483.25 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 578703 0 0 0 448088 237 0 0 25 0 4 0 521689269 591544320 89691 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 144420 89691 395 112 0 139385 0
[pid=29469/tid=29470] ppid=29467 vsize=577680 CPUtime=1122.34 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 185715 0 0 0 112162 72 0 0 25 0 4 0 521689270 591544320 89691 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=577680 CPUtime=1116.22 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 153811 0 0 0 111557 65 0 0 25 0 4 0 521689270 591544320 89691 33554432000 4194304 4650419 140736882923680 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=577680 CPUtime=1122.32 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 77433 0 0 0 112198 34 0 0 25 0 4 0 521689270 591544320 89691 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.25
Current children cumulated vsize (KiB) 577680

[startup+1182.3 s]
/proc/loadavg: 8.17 8.02 7.29 10/184 29534
/proc/meminfo: memFree=30139692/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=577792 CPUtime=4722.94 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 599349 0 0 0 472044 250 0 0 25 0 4 0 521689269 591659008 99062 33554432000 4194304 4650419 140736882923680 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 144448 99062 395 112 0 139413 0
[pid=29469/tid=29470] ppid=29467 vsize=577792 CPUtime=1182.34 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 192068 0 0 0 118159 75 0 0 25 0 4 0 521689270 591659008 99062 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=577792 CPUtime=1175.89 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 158617 0 0 0 117521 68 0 0 25 0 4 0 521689270 591659008 99062 33554432000 4194304 4650419 140736882923680 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=577792 CPUtime=1182.33 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 80706 0 0 0 118196 37 0 0 25 0 4 0 521689270 591659008 99062 33554432000 4194304 4650419 140736882923680 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.94
Current children cumulated vsize (KiB) 577792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.12 8.02 7.30 9/184 29535
/proc/meminfo: memFree=30154444/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=577852 CPUtime=4800.05 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 604255 0 0 0 479751 254 0 0 25 0 4 0 521689269 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 144463 95466 395 112 0 139428 0
[pid=29469/tid=29470] ppid=29467 vsize=577852 CPUtime=1201.65 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 192864 0 0 0 120089 76 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=577852 CPUtime=1195.09 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 160711 0 0 0 119439 70 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=577852 CPUtime=1201.63 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 81084 0 0 0 120125 38 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 577852

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

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

[startup+1201.6 s]
/proc/loadavg: 8.12 8.02 7.30 9/184 29535
/proc/meminfo: memFree=30154444/32950928 swapFree=67111464/67111528
[pid=29469] ppid=29467 vsize=577852 CPUtime=4800.05 cores=1,3,5,7
/proc/29469/stat : 29469 (strangenight1-m) R 29467 29469 29397 0 -1 4202496 604255 0 0 0 479751 254 0 0 25 0 4 0 521689269 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29469/statm: 144463 95466 395 112 0 139428 0
[pid=29469/tid=29470] ppid=29467 vsize=577852 CPUtime=1201.65 cores=1,3,5,7
/proc/29469/task/29470/stat : 29470 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 192864 0 0 0 120089 76 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29469/tid=29471] ppid=29467 vsize=577852 CPUtime=1195.09 cores=1,3,5,7
/proc/29469/task/29471/stat : 29471 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 160711 0 0 0 119439 70 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29469/tid=29472] ppid=29467 vsize=577852 CPUtime=1201.63 cores=1,3,5,7
/proc/29469/task/29472/stat : 29472 (strangenight1-m) R 29467 29469 29397 0 -1 4202560 81084 0 0 0 120125 38 0 0 25 0 4 0 521689270 591720448 95466 33554432000 4194304 4650419 140736882923680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 577852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.1
CPU user time (s): 4797.54
CPU system time (s): 2.56361
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 579576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.56361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604257
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= 195
involuntary context switches= 17671

runsolver used 1.71174 second user time and 4.86326 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 20:15:26
IDJOB=3175225
IDBENCH=82843
IDSOLVER=1588
FILE ID=node149/3175225-1304100926
RUNJOBID= node149-1304100922-29416
PBS_JOBID= 13170626
Free space on /tmp= 71928 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175225-1304100926/watcher-3175225-1304100926 -o /tmp/evaluation-result-3175225-1304100926/solver-3175225-1304100926 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175225-1304100926.cnf

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

MD5SUM BENCH= dc676a8dc341229efc4ee05b1ab19ceb
RANDOM SEED=1534242546

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      30985712 kB
Buffers:        424304 kB
Cached:        1074752 kB
SwapCached:         60 kB
Active:         128652 kB
Inactive:      1463552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30985712 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12520 kB
Writeback:          24 kB
AnonPages:       92140 kB
Mapped:          15524 kB
Slab:           306760 kB
PageTables:       4548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   301068 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= 71920 MiB
End job on node149 at 2011-04-29 20:35:29