Trace number 3368807

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.17 1203.54

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
MD5SUM0b3e0de9aa59dd098eea77ce3aaba6c9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031995
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368807-1305403386.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     323 undec:      76 neg:     301
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       680      2948         0         0      8954         0   no data   no data  --
0.28/0.08	c Decided on static restart strategy
0.37/0.18	c  N st     8      4915       680      2948         0      4875      8954    149526   no data   no data  --
1.56/0.45	c  N st    10     11297       680      2948         0      4524      8954     94753   no data   no data  --
2.77/0.74	c  N st    11     17042       680      2948         0     10197      8954    273182   no data   no data  --
4.41/1.18	c  F st    12     25000       680      2948         0     12498      8954    341695   no data   no data  --
4.41/1.18	c  N st    12     25000       680      2948         0     12498      8954    341695   no data   no data  --
5.55/1.45	c  N dy    18     30000       680      2948         0     10744      8954    265045   no data   no data  --
5.55/1.45	c  S st    18     30000       680      2948         0     10744      8954    265045   no data   no data  --
5.55/1.48	c  S st    18     30502       680      2948         0     11246      8954    279163   no data   no data  --
5.55/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.55/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.55/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
5.55/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.15/1.81	c lits-rem:        95  cl-subs:      213  v-elim:      0  v-fix:    0  time:  1.29 s
7.15/1.82	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.04
7.15/1.82	c calculated reachability. Time: 0.00
7.15/1.82	c  N dy    18     30502       680      2948         0     11033      8954    270516   no data   no data  --
8.38/2.14	c  N dy    23     35665       680      2948         0      8287      8954    127809     19.29     20.33  --
9.54/2.44	c  N dy    45     41274       680      2948         0     13859      8954    289285     19.11     20.13  --
10.74/2.76	c  N dy    67     45753       680      2948         0      9428      8954    127937     19.21     16.71  --
10.74/2.76	c  S st    67     45753       680      2948         0      9428      8954    127937     19.21     16.71  --
10.74/2.79	c  S st    67     46260       680      2948         0      9935      8954    142544     19.21   no data  --
10.74/2.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.74/2.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.74/2.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.14/2.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.14/2.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.14/2.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
11.14/2.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.54/2.90	c lits-rem:        30  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.42 s
11.54/2.90	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
11.54/2.90	c vivif2 --  cl tried     9909 cl shrink        0 lits rem          0 time: 0.00
11.54/2.91	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.04
11.54/2.91	c calculated reachability. Time: 0.00
11.54/2.91	c  N dy    67     46260       680      2948         0      9909      8954    141771     19.21   no data  --
12.34/3.15	c  N dy    89     50398       680      2948         0     14022      8954    258901     19.39     20.55  --
13.53/3.43	c  N dy   113     54492       680      2948         0     18087      8954    375569     19.51     21.71  --
14.72/3.75	c  N dy   137     59346       680      2948         0     13000      8954    204043     19.56     20.60  --
15.93/4.01	c  N dy   157     63359       680      2948         0     16984      8954    319705     19.59     21.31  --
17.16/4.34	c  N dy   174     67751       680      2948         0     21345      8954    444813     19.56     20.66  --
17.57/4.46	c  S st   183     69390       680      2948         0     12057      8954    150898     19.56     17.69  --
17.57/4.49	c  S st   183     69892       680      2948         0     12558      8954    165266     19.56   no data  --
17.57/4.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.92/4.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.92/4.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
17.92/4.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.32/4.67	c lits-rem:        44  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.70 s
18.32/4.67	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
18.32/4.68	c vivif2 --  cl tried    12529 cl shrink        0 lits rem          0 time: 0.01
18.32/4.69	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.04
18.32/4.69	c calculated reachability. Time: 0.00
18.32/4.69	c  N dy   183     69892       680      2948         0     12529      8954    164308     19.56   no data  --
19.92/5.03	c  N dy   196     75101       680      2948         0     17705      8954    315554     19.43     20.55  --
21.54/5.42	c  N dy   212     79909       680      2948         0     22470      8954    452959     19.37     20.48  --
23.11/5.89	c  N dy   227     86381       680      2948         0     16972      8954    266178     19.27     20.40  --
23.51/5.97	c  F st   232     87500       680      2948         0     18081      8954    298581     19.27     18.33  --
25.11/6.36	c  N dy   238     92694       680      2948         0     23236      8954    463775     19.27   no data  --
27.49/6.95	c  N dy   268    100185       680      2948         0     17793      8954    269024     19.22     20.51  --
29.10/7.34	c  S st   304    104840       680      2948         0     22417      8954    402957     19.33   no data  --
29.10/7.39	c  S st   304    105344       680      2948         0     22921      8954    417447     19.33   no data  --
29.10/7.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.10/7.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.49/7.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.49/7.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.49/7.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.49/7.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
29.49/7.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.88/8.55	c lits-rem:       207  cl-subs:      172  v-elim:      0  v-fix:    0  time:  4.52 s
33.88/8.55	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
33.88/8.55	c vivif2 --  cl tried    22749 cl shrink        0 lits rem          0 time: 0.02
33.88/8.57	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.08
33.88/8.57	c calculated reachability. Time: 0.00
33.88/8.57	c  N dy   304    105344       680      2948         0     22749      8954    411194     19.33   no data  --
36.67/9.22	c  N dy   353    112067       680      2948         0     15520      8954    180393     19.46     21.03  --
38.67/9.78	c  N dy   379    119292       680      2948         0     22684      8954    382715     19.43     21.90  --
41.85/10.56	c  N dy   417    127022       680      2948         0     15479      8954    155348     19.46     20.91  --
44.64/11.22	c  N dy   447    135162       680      2948         0     23571      8954    391216     19.44     24.67  --
48.28/12.17	c  N dy   498    143811       680      2948         0     16264      8954    155717     19.49     20.81  --
51.44/12.91	c  N dy   543    153074       680      2948         0     25472      8954    424254     19.53     21.73  --
53.42/13.42	c  S st   563    158017       680      2948         0     30376      8954    565940     19.53     16.91  --
53.42/13.49	c  S st   563    158522       680      2948         0     30881      8954    580821     19.53   no data  --
53.42/13.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.42/13.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.82/13.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.82/13.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.82/13.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.82/13.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
53.82/13.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61.03/15.34	c lits-rem:       479  cl-subs:      341  v-elim:      0  v-fix:    0  time:  7.26 s
61.03/15.34	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
61.03/15.35	c vivif2 --  cl tried    30540 cl shrink        0 lits rem          0 time: 0.02
61.03/15.37	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.10
61.03/15.37	c calculated reachability. Time: 0.00
61.03/15.37	c  N dy   563    158522       680      2948         0     30540      8954    568627     19.53   no data  --
65.00/16.30	c  N dy   607    168880       680      2948         0     23955      8954    354884     19.52     20.57  --
70.22/17.61	c  N dy   651    181159       680      2948         0     18254      8954    164475     19.48     20.51  --
74.20/18.68	c  N dy   710    192908       680      2948         0     29931      8954    504520     19.51     20.54  --
80.14/20.16	c  N dy   784    205289       680      2948         0     23368      8954    290761     19.58     22.80  --
86.14/21.65	c  N dy   843    218622       680      2948         0     36573      8954    677311     19.62     20.78  --
92.51/23.29	c  N dy   904    232665       680      2948         0     30666      8954    480635     19.62     20.77  --
95.71/24.02	c  S st   942    237783       680      2948         0     35747      8954    629661     19.65     20.30  --
96.14/24.11	c  S st   942    238293       680      2948         0     36257      8954    643977     19.65   no data  --
96.14/24.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
96.14/24.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.14/24.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
96.14/24.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.14/24.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.14/24.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
96.14/24.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
104.91/26.33	c lits-rem:       524  cl-subs:      361  v-elim:      0  v-fix:    0  time:  8.68 s
104.91/26.33	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
104.91/26.33	c vivif2 --  cl tried    35896 cl shrink        0 lits rem          0 time: 0.03
104.91/26.37	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.13
104.91/26.37	c calculated reachability. Time: 0.00
104.91/26.37	c  N dy   942    238293       680      2948         0     35896      8954    630962     19.65   no data  --
111.66/28.07	c  N dy  1007    253539       680      2948         0     30170      8954    444920     19.67     20.71  --
120.83/30.34	c  N dy  1089    271402       680      2948         0     26059      8954    297030     19.69     20.79  --
129.21/32.44	c  N dy  1150    288778       680      2948         0     43283      8954    793491     19.68     20.79  --
137.59/34.51	c  F st  1238    306250       680      2948         0     37821      8954    620222     19.71     19.66  --
137.99/34.67	c  N st  1241    307442       680      2948         0     39003      8954    655598     19.71   no data  --
140.43/35.24	c Decided on static restart strategy
151.95/38.19	c  N st  1248    334562       680      2948         0     42024      8954    961852     19.71   no data  --
164.72/41.38	c  N st  1250    357442       680      2948         0     39867      8954    938498     19.71   no data  --
164.72/41.38	c  S st  1250    357442       680      2948         0     39867      8954    938498     19.71   no data  --
165.12/41.48	c  S st  1250    357944       680      2948         0     40369      8954    952597     19.71   no data  --
165.12/41.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
165.12/41.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.52/41.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
165.52/41.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
165.52/41.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
165.52/41.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
165.52/41.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
175.52/44.05	c lits-rem:       575  cl-subs:     1634  v-elim:      0  v-fix:    0  time: 10.02 s
175.52/44.05	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
175.52/44.06	c vivif2 --  cl tried    38735 cl shrink        0 lits rem          0 time: 0.04
175.88/44.10	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.16
175.88/44.11	c calculated reachability. Time: 0.00
175.88/44.11	c  N st  1250    357944       680      2948         0     38735      8954    895451     19.71   no data  --
193.43/48.53	c  N st  1251    390336       680      2948         0     44909      8954   1047852     19.71   no data  --
221.36/55.54	c  N st  1252    438924       680      2948         0     38727      8954    803983     19.71   no data  --
273.61/68.64	c  N st  1253    511806       680      2948         0     52157      8954   1196858     19.71   no data  --
291.56/73.17	c  N st  1254    536918       680      2948         0     46491      8954    982004     19.71   no data  --
291.56/73.17	c  S st  1254    536918       680      2948         0     46491      8954    982004     19.71   no data  --
291.96/73.29	c  S st  1254    537419       680      2948         0     46992      8954    997130     19.71   no data  --
291.96/73.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
291.96/73.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
292.36/73.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
292.36/73.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
292.36/73.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
292.36/73.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
292.36/73.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
298.39/74.83	c lits-rem:       177  cl-subs:     1352  v-elim:      0  v-fix:    0  time:  5.93 s
298.39/74.83	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
298.39/74.84	c vivif2 --  cl tried    45640 cl shrink        0 lits rem          0 time: 0.04
298.39/74.89	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.20
298.39/74.89	c calculated reachability. Time: 0.00
298.39/74.89	c  N st  1254    537419       680      2948         0     45640      8954    946792     19.71   no data  --
424.80/106.52	c  N st  1255    701403       680      2948         0     39620      8954    624068     19.71   no data  --
508.17/127.41	c  N st  1256    806129       680      2948         0     68713      8954   1572064     19.71   no data  --
508.17/127.41	c  S st  1256    806129       680      2948         0     68713      8954   1572064     19.71   no data  --
508.60/127.59	c  S st  1256    806631       680      2948         0     69215      8954   1586835     19.71   no data  --
508.60/127.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
508.60/127.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
509.01/127.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
509.01/127.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
509.01/127.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
509.01/127.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
509.01/127.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
537.68/134.87	c lits-rem:       111  cl-subs:     3570  v-elim:      0  v-fix:    0  time: 28.66 s
537.68/134.87	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
537.68/134.89	c vivif2 --  cl tried    65645 cl shrink        0 lits rem          0 time: 0.07
538.08/134.97	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.34
538.08/134.98	c calculated reachability. Time: 0.00
538.08/134.98	c  N st  1256    806631       680      2948         0     65645      8954   1463459     19.71   no data  --
777.00/194.87	c  F st  1257   1071875       680      2948         0     81757      8954   1870036     19.71   no data  --
777.00/194.87	c  N st  1257   1071875       680      2948         0     81757      8954   1870036     19.71   no data  --
783.79/196.50	c Decided on static restart strategy
802.98/201.34	c  N st  1267   1100180       680      2948         0     65580      8954   1234420     19.71   no data  --
835.24/209.49	c  N st  1269   1136172       680      2948         0     55733      8954    864557     19.71   no data  --
870.74/218.31	c  N st  1270   1168564       680      2948         0     87593      8954   1860080     19.71   no data  --
911.42/228.56	c  N st  1271   1209947       680      2948         0     82024      8954   1653309     19.71   no data  --
911.42/228.56	c  S st  1271   1209947       680      2948         0     82024      8954   1653309     19.71   no data  --
912.66/228.82	c  S st  1271   1210451       680      2948         0     82527      8954   1667878     19.71   no data  --
912.66/228.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
912.66/228.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
912.66/228.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
913.01/228.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
913.01/228.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
913.01/228.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
913.01/228.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
941.33/236.00	c lits-rem:       153  cl-subs:     3768  v-elim:      0  v-fix:    0  time: 28.21 s
941.33/236.00	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
941.33/236.02	c vivif2 --  cl tried    78759 cl shrink        0 lits rem          0 time: 0.08
941.73/236.13	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.43
941.73/236.13	c calculated reachability. Time: 0.00
941.73/236.13	c  N st  1271   1210451       680      2948         0     78759      8954   1551560     19.71   no data  --
1011.15/253.52	c  N st  1272   1283335       680      2948         0     55043      8954    783112     19.71   no data  --
1115.65/279.77	c  N st  1273   1392659       680      2948         0     63171      8954   1003716     19.71   no data  --
1282.37/321.51	c  N st  1274   1556643       680      2948         0     68191      8954   1110219     19.71   no data  --
1462.64/366.76	c  N st  1275   1710451       680      2948         0    110289      8954   2492252     19.71   no data  --
1462.64/366.76	c  S st  1275   1710451       680      2948         0    110289      8954   2492252     19.71   no data  --
1464.24/367.13	c  S st  1275   1710951       680      2948         0    110788      8954   2506018     19.71   no data  --
1464.24/367.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1464.24/367.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1464.24/367.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1464.64/367.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1464.64/367.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1464.64/367.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
1464.64/367.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1532.04/384.16	c lits-rem:      1461  cl-subs:     5038  v-elim:      0  v-fix:    0  time: 67.30 s
1532.04/384.16	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
1532.04/384.19	c vivif2 --  cl tried   105750 cl shrink        0 lits rem          0 time: 0.12
1532.84/384.36	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.68
1532.84/384.36	c calculated reachability. Time: 0.00
1532.84/384.36	c  N st  1275   1710951       680      2948         0    105750      8954   2331474     19.71   no data  --
1957.99/490.99	c  N st  1276   2079915       680      2948         0    117233      8954   2421937     19.71   no data  --
2120.33/531.67	c  N st  1277   2210952       680      2948         0    121261      8954   2480684     19.71   no data  --
2120.33/531.67	c  S st  1277   2210952       680      2948         0    121261      8954   2480684     19.71   no data  --
2121.93/532.09	c  S st  1277   2211455       680      2948         0    121763      8954   2495416     19.71   no data  --
2122.33/532.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2122.33/532.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2122.33/532.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2122.73/532.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2122.73/532.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2122.73/532.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2122.73/532.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2194.51/550.26	c lits-rem:        68  cl-subs:     6136  v-elim:      0  v-fix:    0  time: 71.78 s
2194.51/550.26	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
2194.51/550.29	c vivif2 --  cl tried   115627 cl shrink        0 lits rem          0 time: 0.12
2195.31/550.46	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.70
2195.31/550.47	c calculated reachability. Time: 0.00
2195.31/550.47	c  N st  1277   2211455       680      2948         0    115627      8954   2323139     19.71   no data  --
2823.89/708.09	c  N st  1278   2711455       680      2948         0    139232      8954   2962321     19.71   no data  --
2823.89/708.09	c  S st  1278   2711455       680      2948         0    139232      8954   2962321     19.71   no data  --
2825.87/708.53	c  S st  1278   2711959       680      2948         0    139736      8954   2976854     19.71   no data  --
2825.87/708.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2825.87/708.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2826.27/708.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.31
2826.67/708.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2826.67/708.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2826.67/708.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2826.67/708.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2961.51/742.51	c lits-rem:       452  cl-subs:     9601  v-elim:      0  v-fix:    0  time: 134.73 s
2961.51/742.51	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
2961.51/742.55	c vivif2 --  cl tried   130135 cl shrink        0 lits rem          0 time: 0.13
2962.26/742.74	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.76
2962.26/742.74	c calculated reachability. Time: 0.00
2962.26/742.74	c  N st  1278   2711959       680      2948         0    130135      8954   2692069     19.71   no data  --
3656.24/916.78	c  N st  1279   3211961       680      2948         0    105502      8954   1724933     19.71   no data  --
3656.24/916.78	c  S st  1279   3211961       680      2948         0    105502      8954   1724933     19.71   no data  --
3657.83/917.11	c  S st  1279   3212467       680      2948         0    106007      8954   1740033     19.71   no data  --
3657.83/917.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3657.83/917.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3657.83/917.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
3658.23/917.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3658.23/917.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3658.23/917.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
3658.23/917.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3685.75/924.13	c lits-rem:       138  cl-subs:     3830  v-elim:      0  v-fix:    0  time: 27.54 s
3685.75/924.13	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
3685.75/924.16	c vivif2 --  cl tried   102177 cl shrink        0 lits rem          0 time: 0.09
3686.55/924.30	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.59
3686.55/924.31	c calculated reachability. Time: 0.00
3686.55/924.31	c  N st  1279   3212467       680      2948         0    102177      8954   1633071     19.71   no data  --
4469.88/1120.73	c  N st  1280   3712471       680      2948         0    113210      8954   1884267     19.71   no data  --
4469.88/1120.73	c  S st  1280   3712471       680      2948         0    113210      8954   1884267     19.71   no data  --
4471.46/1121.11	c  S st  1280   3712979       680      2948         0    113718      8954   1898855     19.71   no data  --
4471.46/1121.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4471.46/1121.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4471.46/1121.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
4471.86/1121.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4471.86/1121.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4471.86/1121.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
4471.86/1121.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4507.34/1130.15	c lits-rem:       243  cl-subs:     3695  v-elim:      0  v-fix:    0  time: 35.54 s
4507.34/1130.15	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
4507.34/1130.18	c vivif2 --  cl tried   110023 cl shrink        0 lits rem          0 time: 0.10
4508.14/1130.35	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.69
4508.14/1130.35	c calculated reachability. Time: 0.00
4508.14/1130.35	c  N st  1280   3712979       680      2948         0    110023      8954   1781029     19.71   no data  --
4578.74/1148.01	c  F st  1281   3751562       680      2948         0    147977      8954   3030888     19.71   no data  --
4578.74/1148.01	c  N st  1281   3751562       680      2948         0    147977      8954   3030888     19.71   no data  --
4590.69/1151.06	c Decided on static restart strategy
4626.19/1159.94	c  N st  1291   3779864       680      2948         0     92487      8954   1166751     19.71   no data  --
4675.65/1172.32	c  N st  1293   3815856       680      2948         0    127828      8954   2288764     19.71   no data  --
4733.51/1186.86	c  N st  1294   3848248       680      2948         0    159723      8954   3325486     19.71   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.93 7.98 6/350 15940
/proc/meminfo: memFree=25799244/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 412 0 0 0 1 0 0 0 19 0 4 0 651939071 52465664 352 33554432000 4194304 4650419 140736757978528 18446744073709551615 47471797475250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 12809 352 303 112 0 7774 0
[pid=15940/tid=15941] ppid=15938 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 651939071 52465664 352 33554432000 4194304 4650419 140736757978528 18446744073709551615 47471797475250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 651939071 52465664 352 33554432000 4194304 4650419 140736757978528 18446744073709551615 47471797475244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 651939071 52465664 352 33554432000 4194304 4650419 140736757978528 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0784749 s]
/proc/loadavg: 7.41 7.93 7.98 6/350 15940
/proc/meminfo: memFree=25799244/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=348292 CPUtime=0.28 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 1832 0 0 0 28 0 0 0 21 0 4 0 651939071 356651008 1689 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 87073 1689 390 112 0 82038 0
[pid=15940/tid=15941] ppid=15938 vsize=348292 CPUtime=0.07 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 407 0 0 0 7 0 0 0 21 0 4 0 651939071 356651008 1689 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=348292 CPUtime=0.07 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 358 0 0 0 7 0 0 0 21 0 4 0 651939071 356651008 1689 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=348292 CPUtime=0.06 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 244 0 0 0 6 0 0 0 22 0 4 0 651939071 356651008 1689 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363350 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 348292

[startup+0.10047 s]
/proc/loadavg: 7.41 7.93 7.98 6/350 15940
/proc/meminfo: memFree=25799244/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=348292 CPUtime=0.37 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 1954 0 0 0 37 0 0 0 21 0 4 0 651939071 356651008 1811 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 87073 1811 391 112 0 82038 0
[pid=15940/tid=15941] ppid=15938 vsize=348292 CPUtime=0.09 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 428 0 0 0 9 0 0 0 21 0 4 0 651939071 356651008 1811 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=348292 CPUtime=0.09 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 396 0 0 0 9 0 0 0 21 0 4 0 651939071 356651008 1811 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=348292 CPUtime=0.08 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 274 0 0 0 8 0 0 0 22 0 4 0 651939071 356651008 1811 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 348292

[startup+0.300434 s]
/proc/loadavg: 7.41 7.93 7.98 6/350 15940
/proc/meminfo: memFree=25799244/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=349612 CPUtime=1.16 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 3190 0 0 0 116 0 0 0 21 0 4 0 651939071 358002688 2323 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 87403 2324 393 112 0 82368 0
[pid=15940/tid=15941] ppid=15938 vsize=349612 CPUtime=0.29 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 721 0 0 0 29 0 0 0 21 0 4 0 651939071 358002688 2325 33554432000 4194304 4650419 140736757978528 18446744073709551615 4334278 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=349612 CPUtime=0.29 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 701 0 0 0 29 0 0 0 21 0 4 0 651939071 358002688 2326 33554432000 4194304 4650419 140736757978528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=349612 CPUtime=0.28 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 602 0 0 0 28 0 0 0 22 0 4 0 651939071 358002688 2326 33554432000 4194304 4650419 140736757978528 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 349612

[startup+0.700361 s]
/proc/loadavg: 7.41 7.93 7.98 6/350 15940
/proc/meminfo: memFree=25799244/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=350716 CPUtime=2.77 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 5021 0 0 0 276 1 0 0 22 0 4 0 651939071 359133184 3073 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 87679 3073 393 112 0 82644 0
[pid=15940/tid=15941] ppid=15938 vsize=350716 CPUtime=0.69 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 1168 0 0 0 69 0 0 0 22 0 4 0 651939071 359133184 3073 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=350716 CPUtime=0.68 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 1114 0 0 0 68 0 0 0 22 0 4 0 651939071 359133184 3073 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=350716 CPUtime=0.68 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 1069 0 0 0 68 0 0 0 24 0 4 0 651939071 359133184 3073 33554432000 4194304 4650419 140736757978528 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350716

[startup+1.50022 s]
/proc/loadavg: 7.41 7.93 7.98 9/354 15944
/proc/meminfo: memFree=25774912/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=358764 CPUtime=5.95 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 10242 0 0 0 594 1 0 0 25 0 4 0 651939071 367374336 5319 33554432000 4194304 4650419 140736757978528 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 89691 5319 395 112 0 84656 0
[pid=15940/tid=15941] ppid=15938 vsize=358764 CPUtime=1.49 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 2091 0 0 0 149 0 0 0 25 0 4 0 651939071 367374336 5319 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=358764 CPUtime=1.48 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 2040 0 0 0 148 0 0 0 25 0 4 0 651939071 367374336 5319 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=358764 CPUtime=1.47 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 1906 0 0 0 147 0 0 0 25 0 4 0 651939071 367374336 5319 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 358764

[startup+3.10093 s]
/proc/loadavg: 7.41 7.93 7.98 9/354 15944
/proc/meminfo: memFree=25740812/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=350328 CPUtime=12.34 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 19348 0 0 0 1231 3 0 0 25 0 4 0 651939071 358735872 11994 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 87582 11994 395 112 0 82547 0
[pid=15940/tid=15941] ppid=15938 vsize=350328 CPUtime=3.08 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 4500 0 0 0 308 0 0 0 25 0 4 0 651939071 358735872 11994 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=350328 CPUtime=3.08 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 4807 0 0 0 308 0 0 0 25 0 4 0 651939071 358735872 11994 33554432000 4194304 4650419 140736757978528 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=350328 CPUtime=3.05 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 4847 0 0 0 305 0 0 0 25 0 4 0 651939071 358735872 11994 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 350328

[startup+6.30034 s]
/proc/loadavg: 7.46 7.93 7.98 9/354 15944
/proc/meminfo: memFree=25688800/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=369260 CPUtime=25.11 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 26927 0 0 0 2506 5 0 0 25 0 4 0 651939071 378122240 15560 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 92315 15560 395 112 0 87280 0
[pid=15940/tid=15941] ppid=15938 vsize=369260 CPUtime=6.29 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 7610 0 0 0 628 1 0 0 25 0 4 0 651939071 378122240 15560 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=369260 CPUtime=6.28 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 6566 0 0 0 628 0 0 0 25 0 4 0 651939071 378122240 15560 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=369260 CPUtime=6.21 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 5670 0 0 0 621 0 0 0 25 0 4 0 651939071 378122240 15560 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 369260

[startup+12.7012 s]
/proc/loadavg: 7.50 7.93 7.98 9/354 15944
/proc/meminfo: memFree=25645332/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=360336 CPUtime=50.64 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 40801 0 0 0 5056 8 0 0 25 0 4 0 651939071 368984064 23617 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 90084 23617 395 112 0 85049 0
[pid=15940/tid=15941] ppid=15938 vsize=360336 CPUtime=12.69 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 11819 0 0 0 1267 2 0 0 25 0 4 0 651939071 368984064 23617 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=360336 CPUtime=12.68 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 10100 0 0 0 1267 1 0 0 25 0 4 0 651939071 368984064 23617 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=360336 CPUtime=12.54 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 8928 0 0 0 1253 1 0 0 25 0 4 0 651939071 368984064 23617 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 360336

[startup+25.5008 s]
/proc/loadavg: 7.61 7.93 7.98 9/354 15944
/proc/meminfo: memFree=25584948/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=371664 CPUtime=101.69 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 59345 0 0 0 10156 13 0 0 25 0 4 0 651939071 380583936 32435 33554432000 4194304 4650419 140736757978528 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 92916 32435 395 112 0 87881 0
[pid=15940/tid=15941] ppid=15938 vsize=371664 CPUtime=25.49 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 19514 0 0 0 2545 4 0 0 25 0 4 0 651939071 380583936 32435 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=371664 CPUtime=25.48 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 14229 0 0 0 2546 2 0 0 25 0 4 0 651939071 380583936 32435 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=371664 CPUtime=25.19 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 12221 0 0 0 2517 2 0 0 25 0 4 0 651939071 380583936 32435 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 371664

[startup+51.1011 s]
/proc/loadavg: 7.87 7.97 7.99 9/354 15947
/proc/meminfo: memFree=25540740/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=360316 CPUtime=203.81 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 90657 0 0 0 20356 25 0 0 25 0 4 0 651939071 368963584 38705 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 90079 38705 395 112 0 85044 0
[pid=15940/tid=15941] ppid=15938 vsize=360316 CPUtime=51.09 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 28571 0 0 0 5101 8 0 0 25 0 4 0 651939071 368963584 38705 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=360316 CPUtime=51.09 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 21166 0 0 0 5104 5 0 0 25 0 4 0 651939071 368963584 38705 33554432000 4194304 4650419 140736757978528 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=360316 CPUtime=50.51 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 18642 0 0 0 5046 5 0 0 25 0 4 0 651939071 368963584 38705 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 360316

[startup+102.314 s]
/proc/loadavg: 8.31 8.08 8.03 10/354 15949
/proc/meminfo: memFree=25450468/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=504092 CPUtime=408.08 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 130802 0 0 0 40768 40 0 0 25 0 4 0 651939071 516190208 53375 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 126023 53375 395 112 0 120988 0
[pid=15940/tid=15941] ppid=15938 vsize=504092 CPUtime=102.3 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 39338 0 0 0 10217 13 0 0 25 0 4 0 651939071 516190208 53375 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=504092 CPUtime=102.29 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 29404 0 0 0 10222 7 0 0 25 0 4 0 651939071 516190208 53375 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=504092 CPUtime=101.15 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 26246 0 0 0 10107 8 0 0 25 0 4 0 651939071 516190208 53375 33554432000 4194304 4650419 140736757978528 18446744073709551615 4438383 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 504092

[startup+162.301 s]

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

[pid=15940] ppid=15938 vsize=708492 CPUtime=2801.15 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 374701 0 0 0 279952 163 0 0 25 0 4 0 651939071 725495808 95583 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 177123 95584 395 112 0 172088 0
[pid=15940/tid=15941] ppid=15938 vsize=708492 CPUtime=702.3 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 103391 0 0 0 70183 47 0 0 25 0 4 0 651939071 725495808 95584 33554432000 4194304 4650419 140736757978528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=708492 CPUtime=702.3 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 76448 0 0 0 70196 34 0 0 25 0 4 0 651939071 725495808 95584 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=708492 CPUtime=694.2 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 63362 0 0 0 69396 24 0 0 25 0 4 0 651939071 725495808 95584 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.15
Current children cumulated vsize (KiB) 708492

[startup+762.314 s]
/proc/loadavg: 8.07 8.11 8.05 9/354 15967
/proc/meminfo: memFree=25009468/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=730312 CPUtime=3040.49 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 395766 0 0 0 303874 175 0 0 25 0 4 0 651939071 747839488 106868 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 182578 106868 395 112 0 177543 0
[pid=15940/tid=15941] ppid=15938 vsize=730312 CPUtime=762.32 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 108075 0 0 0 76182 50 0 0 25 0 4 0 651939071 747839488 106868 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=730312 CPUtime=762.32 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 81982 0 0 0 76194 38 0 0 25 0 4 0 651939071 747839488 106868 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=730312 CPUtime=753.49 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 66351 0 0 0 75323 26 0 0 25 0 4 0 651939071 747839488 106868 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.49
Current children cumulated vsize (KiB) 730312

[startup+822.301 s]
/proc/loadavg: 8.02 8.08 8.05 9/354 15969
/proc/meminfo: memFree=25005212/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=688124 CPUtime=3279.74 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 414943 0 0 0 327788 186 0 0 25 0 4 0 651939071 704638976 105628 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 172031 105628 395 112 0 166996 0
[pid=15940/tid=15941] ppid=15938 vsize=688124 CPUtime=822.31 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 113751 0 0 0 82178 53 0 0 25 0 4 0 651939071 704638976 105628 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=688124 CPUtime=822.3 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 85576 0 0 0 82190 40 0 0 25 0 4 0 651939071 704638976 105628 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=688124 CPUtime=812.78 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 68811 0 0 0 81250 28 0 0 25 0 4 0 651939071 704638976 105628 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.74
Current children cumulated vsize (KiB) 688124

[startup+882.301 s]
/proc/loadavg: 8.01 8.07 8.04 9/354 15970
/proc/meminfo: memFree=24986672/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=676544 CPUtime=3519.03 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 432218 0 0 0 351710 193 0 0 25 0 4 0 651939071 692781056 108212 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 169136 108212 395 112 0 164101 0
[pid=15940/tid=15941] ppid=15938 vsize=676544 CPUtime=882.31 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 119815 0 0 0 88175 56 0 0 25 0 4 0 651939071 692781056 108212 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=676544 CPUtime=882.31 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 87941 0 0 0 88189 42 0 0 25 0 4 0 651939071 692781056 108212 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=676544 CPUtime=872.07 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 70074 0 0 0 87179 28 0 0 25 0 4 0 651939071 692781056 108212 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.03
Current children cumulated vsize (KiB) 676544

[startup+942.301 s]
/proc/loadavg: 8.08 8.07 8.04 9/354 15972
/proc/meminfo: memFree=24939136/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=755204 CPUtime=3758.34 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 448084 0 0 0 375634 200 0 0 25 0 4 0 651939071 773328896 116258 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 188801 116258 395 112 0 183766 0
[pid=15940/tid=15941] ppid=15938 vsize=755204 CPUtime=942.31 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 122668 0 0 0 94174 57 0 0 25 0 4 0 651939071 773328896 116258 33554432000 4194304 4650419 140736757978528 18446744073709551615 4311188 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=755204 CPUtime=942.31 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 93589 0 0 0 94186 45 0 0 25 0 4 0 651939071 773328896 116258 33554432000 4194304 4650419 140736757978528 18446744073709551615 4330160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=755204 CPUtime=931.37 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 73635 0 0 0 93107 30 0 0 25 0 4 0 651939071 773328896 116258 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.34
Current children cumulated vsize (KiB) 755204

[startup+1002.3 s]
/proc/loadavg: 8.03 8.05 8.03 9/354 15973
/proc/meminfo: memFree=24914188/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=815828 CPUtime=3997.65 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 464824 0 0 0 399555 210 0 0 25 0 4 0 651939071 835407872 121911 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 203957 121911 395 112 0 198922 0
[pid=15940/tid=15941] ppid=15938 vsize=815828 CPUtime=1002.31 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 132914 0 0 0 100170 61 0 0 25 0 4 0 651939071 835407872 121911 33554432000 4194304 4650419 140736757978528 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=815828 CPUtime=1002.31 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 95753 0 0 0 100185 46 0 0 25 0 4 0 651939071 835407872 121912 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=815828 CPUtime=990.67 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 73957 0 0 0 99037 30 0 0 25 0 4 0 651939071 835407872 121912 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.65
Current children cumulated vsize (KiB) 815828

[startup+1062.3 s]
/proc/loadavg: 8.13 8.07 8.04 9/354 15975
/proc/meminfo: memFree=24861056/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=868156 CPUtime=4236.96 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 484745 0 0 0 423474 222 0 0 25 0 4 0 651939071 888991744 129183 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 217039 129183 395 112 0 212004 0
[pid=15940/tid=15941] ppid=15938 vsize=868156 CPUtime=1062.32 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 137921 0 0 0 106167 65 0 0 25 0 4 0 651939071 888991744 129183 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=868156 CPUtime=1062.31 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 101177 0 0 0 106181 50 0 0 25 0 4 0 651939071 888991744 129183 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=868156 CPUtime=1049.97 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 82229 0 0 0 104963 34 0 0 25 0 4 0 651939071 888991744 129183 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.96
Current children cumulated vsize (KiB) 868156

[startup+1122.3 s]
/proc/loadavg: 8.16 8.09 8.04 9/354 15977
/proc/meminfo: memFree=24858164/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=768460 CPUtime=4476.25 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 497119 0 0 0 447394 231 0 0 25 0 4 0 651939071 786903040 126450 33554432000 4194304 4650419 140736757978528 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 192115 126450 395 112 0 187080 0
[pid=15940/tid=15941] ppid=15938 vsize=768460 CPUtime=1122.32 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 141114 0 0 0 112165 67 0 0 25 0 4 0 651939071 786903040 126450 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=768460 CPUtime=1122.31 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 102979 0 0 0 112180 51 0 0 25 0 4 0 651939071 786903040 126450 33554432000 4194304 4650419 140736757978528 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=768460 CPUtime=1109.26 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 82645 0 0 0 110891 35 0 0 25 0 4 0 651939071 786903040 126450 33554432000 4194304 4650419 140736757978528 18446744073709551615 4334357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.25
Current children cumulated vsize (KiB) 768460

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 8.05 10/354 15978
/proc/meminfo: memFree=24831172/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=919472 CPUtime=4715.53 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 510020 0 0 0 471310 243 0 0 25 0 4 0 651939071 941539328 130052 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 229868 130052 395 112 0 224833 0
[pid=15940/tid=15941] ppid=15938 vsize=919472 CPUtime=1182.33 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 143505 0 0 0 118163 70 0 0 25 0 4 0 651939071 941539328 130052 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=919472 CPUtime=1182.32 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 107227 0 0 0 118177 55 0 0 25 0 4 0 651939071 941539328 130052 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=919472 CPUtime=1168.54 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 83485 0 0 0 116818 36 0 0 25 0 4 0 651939071 941539328 130052 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.53
Current children cumulated vsize (KiB) 919472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.12 8.09 8.05 9/354 15979
/proc/meminfo: memFree=24847156/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=768564 CPUtime=4800.11 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 514431 0 0 0 479764 247 0 0 25 0 4 0 651939071 787009536 123500 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 192141 123500 395 112 0 187106 0
[pid=15940/tid=15941] ppid=15938 vsize=768564 CPUtime=1203.53 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 144950 0 0 0 120282 71 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=768564 CPUtime=1203.53 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 107249 0 0 0 120298 55 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=768564 CPUtime=1189.48 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 83548 0 0 0 118912 36 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 768564

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

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

[startup+1203.5 s]
/proc/loadavg: 8.12 8.09 8.05 9/354 15979
/proc/meminfo: memFree=24847156/32951124 swapFree=40554400/67111528
[pid=15940] ppid=15938 vsize=768564 CPUtime=4800.11 cores=1,3,5,7
/proc/15940/stat : 15940 (strangenight1-m) R 15938 15940 15499 0 -1 4202496 514431 0 0 0 479764 247 0 0 25 0 4 0 651939071 787009536 123500 33554432000 4194304 4650419 140736757978528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15940/statm: 192141 123500 395 112 0 187106 0
[pid=15940/tid=15941] ppid=15938 vsize=768564 CPUtime=1203.53 cores=1,3,5,7
/proc/15940/task/15941/stat : 15941 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 144950 0 0 0 120282 71 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15940/tid=15942] ppid=15938 vsize=768564 CPUtime=1203.53 cores=1,3,5,7
/proc/15940/task/15942/stat : 15942 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 107249 0 0 0 120298 55 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15940/tid=15943] ppid=15938 vsize=768564 CPUtime=1189.48 cores=1,3,5,7
/proc/15940/task/15943/stat : 15943 (strangenight1-m) R 15938 15940 15499 0 -1 4202560 83548 0 0 0 118912 36 0 0 25 0 4 0 651939071 787009536 123501 33554432000 4194304 4650419 140736757978528 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 768564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.17
CPU user time (s): 4797.68
CPU system time (s): 2.48962
CPU usage (%): 398.837
Max. virtual memory (cumulated for all children) (KiB): 977696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.68
system time used= 2.48962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514433
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= 317
involuntary context switches= 31765

runsolver used 3.76343 second user time and 10.3004 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 22:03:06
IDJOB=3368807
IDBENCH=82816
IDSOLVER=1846
FILE ID=node104/3368807-1305403386
RUNJOBID= node104-1305402180-15814
PBS_JOBID= 13324492
Free space on /tmp= 73388 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368807-1305403386/watcher-3368807-1305403386 -o /tmp/evaluation-result-3368807-1305403386/solver-3368807-1305403386 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368807-1305403386.cnf

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

MD5SUM BENCH= 0b3e0de9aa59dd098eea77ce3aaba6c9
RANDOM SEED=656028961

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25799648 kB
Buffers:        294116 kB
Cached:        2377972 kB
SwapCached:     122128 kB
Active:         933040 kB
Inactive:      5952964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25799648 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           12464 kB
Writeback:           0 kB
AnonPages:     4104860 kB
Mapped:          11472 kB
Slab:           117260 kB
PageTables:      84464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74896416 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= 73384 MiB
End job on node104 at 2011-05-14 22:23:12