Trace number 3368870

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.33 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
MD5SUM970ca2029fea75cb0f7721dfc724b428
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
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-3368870-1305404762.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     200 undec:      47 neg:     203
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       439      1910         0         0      5790         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.42/0.14	c  N st     8      4917       439      1910         0      4822      5790    103612   no data   no data  --
1.17/0.38	c  N st    10     11300       439      1910         0      4466      5790     69196   no data   no data  --
2.37/0.64	c  N st    11     17043       439      1910         0     10032      5790    183038   no data   no data  --
3.98/1.01	c  F st    12     25002       439      1910         0     12341      5790    240415   no data   no data  --
3.98/1.01	c  N st    12     25002       439      1910         0     12341      5790    240415   no data   no data  --
4.81/1.25	c Decided on static restart strategy
4.81/1.25	c  N st    18     30000       439      1910         0     10633      5790    179721   no data   no data  --
4.81/1.25	c  S st    18     30000       439      1910         0     10633      5790    179721   no data   no data  --
4.81/1.28	c  S st    18     30503       439      1910         0     11134      5790    189680   no data   no data  --
4.81/1.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.81/1.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.81/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.81/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.81/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4.81/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.46	c lits-rem:       148  cl-subs:      710  v-elim:      0  v-fix:    0  time:  0.67 s
5.56/1.47	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
5.56/1.47	c calculated reachability. Time: 0.00
5.56/1.47	c  N st    18     30503       439      1910         0     10424      5790    175056   no data   no data  --
7.15/1.85	c  N st    20     37614       439      1910         0      9712      5790    148502   no data   no data  --
8.78/2.23	c  N st    21     44013       439      1910         0     15960      5790    289563   no data   no data  --
9.20/2.35	c  S st    22     45754       439      1910         0      8910      5790    117986   no data   no data  --
9.20/2.38	c  S st    22     46260       439      1910         0      9415      5790    128616   no data   no data  --
9.20/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.20/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.20/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
9.20/2.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.45	c lits-rem:        31  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.28 s
9.54/2.45	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
9.54/2.45	c vivif2 --  cl tried     9373 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
9.54/2.46	c calculated reachability. Time: 0.00
9.54/2.46	c  N st    22     46260       439      1910         0      9373      5790    127632   no data   no data  --
13.16/3.33	c  N st    23     60657       439      1910         0     13719      5790    209811   no data   no data  --
15.54/3.94	c  N st    24     69392       439      1910         0     11540      5790    153714   no data   no data  --
15.54/3.94	c  S st    24     69392       439      1910         0     11540      5790    153714   no data   no data  --
15.54/3.97	c  S st    24     69894       439      1910         0     12041      5790    163988   no data   no data  --
15.54/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.54/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.54/3.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
15.54/3.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.34/4.13	c lits-rem:        41  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.60 s
16.34/4.13	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
16.34/4.13	c vivif2 --  cl tried    11910 cl shrink        0 lits rem          0 time: 0.01
16.34/4.14	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
16.34/4.14	c calculated reachability. Time: 0.00
16.34/4.14	c  N st    24     69894       439      1910         0     11910      5790    161226   no data   no data  --
21.12/5.35	c  F st    25     87500       439      1910         0     17305      5790    270741   no data   no data  --
21.12/5.35	c  N st    25     87500       439      1910         0     17305      5790    270741   no data   no data  --
22.71/5.77	c Decided on static restart strategy
23.91/6.02	c  N st    32     95541       439      1910         0     25149      5790    432417   no data   no data  --
26.32/6.68	c  N st    34    104841       439      1910         0     21511      5790    341469   no data   no data  --
26.32/6.68	c  S st    34    104841       439      1910         0     21511      5790    341469   no data   no data  --
26.74/6.74	c  S st    34    105345       439      1910         0     22015      5790    352550   no data   no data  --
26.74/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
26.74/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.89/7.51	c lits-rem:       255  cl-subs:     1063  v-elim:      0  v-fix:    0  time:  2.99 s
29.89/7.51	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
29.89/7.51	c vivif2 --  cl tried    20952 cl shrink        0 lits rem          0 time: 0.01
29.89/7.53	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.06
29.89/7.53	c calculated reachability. Time: 0.00
29.89/7.53	c  N st    34    105345       439      1910         0     20952      5790    329951   no data   no data  --
33.08/8.33	c  N st    35    114944       439      1910         0     16653      5790    222169   no data   no data  --
38.27/9.67	c  N st    36    129341       439      1910         0     16070      5790    195540   no data   no data  --
45.05/11.36	c  N st    37    150937       439      1910         0     21621      5790    315406   no data   no data  --
47.84/12.05	c  S st    38    158018       439      1910         0     28509      5790    463664   no data   no data  --
48.26/12.12	c  S st    38    158521       439      1910         0     29009      5790    474581   no data   no data  --
48.26/12.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.26/12.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.26/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.26/12.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.26/12.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.26/12.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
48.26/12.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.81/13.57	c lits-rem:       544  cl-subs:     1632  v-elim:      0  v-fix:    0  time:  5.69 s
53.81/13.57	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
53.81/13.58	c vivif2 --  cl tried    27377 cl shrink        0 lits rem          0 time: 0.02
54.21/13.60	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.08
54.21/13.60	c calculated reachability. Time: 0.00
54.21/13.60	c  N st    38    158521       439      1910         0     27377      5790    438261   no data   no data  --
72.16/18.15	c  N st    39    207109       439      1910         0     22063      5790    291762   no data   no data  --
84.92/21.32	c  N st    40    237783       439      1910         0     32467      5790    514120   no data   no data  --
84.92/21.32	c  S st    40    237783       439      1910         0     32467      5790    514120   no data   no data  --
85.33/21.42	c  S st    40    238283       439      1910         0     32965      5790    524296   no data   no data  --
85.33/21.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.33/21.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.33/21.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
85.33/21.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.33/21.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.33/21.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
85.33/21.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.71/23.09	c lits-rem:       357  cl-subs:     1687  v-elim:      0  v-fix:    0  time:  6.56 s
91.71/23.09	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
91.71/23.10	c vivif2 --  cl tried    31278 cl shrink        0 lits rem          0 time: 0.02
92.13/23.12	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.08
92.13/23.12	c calculated reachability. Time: 0.00
92.13/23.12	c  N st    40    238283       439      1910         0     31278      5790    485581   no data   no data  --
122.42/30.72	c  F st    41    306250       439      1910         0     33220      5790    494637   no data   no data  --
122.42/30.72	c  N st    41    306250       439      1910         0     33220      5790    494637   no data   no data  --
125.21/31.42	c Decided on static restart strategy
135.58/34.09	c  N st    51    334556       439      1910         0     37514      5790    562575   no data   no data  --
147.54/37.07	c  N st    53    357424       439      1910         0     35521      5790    523690   no data   no data  --
147.54/37.07	c  S st    53    357424       439      1910         0     35521      5790    523690   no data   no data  --
147.94/37.15	c  S st    53    357927       439      1910         0     36023      5790    534479   no data   no data  --
147.94/37.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.94/37.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.94/37.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.94/37.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.94/37.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.94/37.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
147.94/37.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.32/38.71	c lits-rem:       339  cl-subs:      892  v-elim:      0  v-fix:    0  time:  6.11 s
154.32/38.71	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
154.32/38.72	c vivif2 --  cl tried    35131 cl shrink        0 lits rem          0 time: 0.02
154.32/38.75	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.11
154.32/38.75	c calculated reachability. Time: 0.00
154.32/38.75	c  N st    53    357927       439      1910         0     35131      5790    511863   no data   no data  --
172.66/43.35	c  N st    54    390319       439      1910         0     41290      5790    612346   no data   no data  --
203.77/51.14	c  N st    55    438908       439      1910         0     34958      5790    434847   no data   no data  --
243.26/61.01	c  N st    56    511790       439      1910         0     48321      5790    716177   no data   no data  --
258.01/64.73	c  N st    57    536891       439      1910         0     42669      5790    573024   no data   no data  --
258.01/64.73	c  S st    57    536891       439      1910         0     42669      5790    573024   no data   no data  --
258.41/64.85	c  S st    57    537395       439      1910         0     43172      5790    583945   no data   no data  --
258.41/64.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
258.41/64.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.41/64.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
258.41/64.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.41/64.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.41/64.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
258.41/64.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
265.59/66.64	c lits-rem:       646  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  6.98 s
265.59/66.64	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
265.59/66.64	c vivif2 --  cl tried    41663 cl shrink        0 lits rem          0 time: 0.02
265.59/66.68	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.15
265.59/66.68	c calculated reachability. Time: 0.00
265.59/66.68	c  N st    57    537395       439      1910         0     41663      5790    551808   no data   no data  --
364.12/91.41	c  N st    58    701379       439      1910         0     35981      5790    354086   no data   no data  --
438.29/109.98	c  N st    59    806092       439      1910         0     64855      5790    989264   no data   no data  --
438.29/109.98	c  S st    59    806092       439      1910         0     64855      5790    989264   no data   no data  --
439.13/110.18	c  S st    59    806594       439      1910         0     65357      5790   1000409   no data   no data  --
439.13/110.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
439.13/110.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.48/110.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
439.48/110.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.48/110.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.48/110.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
439.48/110.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
449.04/112.64	c lits-rem:       670  cl-subs:     3241  v-elim:      0  v-fix:    0  time:  9.56 s
449.04/112.64	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
449.04/112.65	c vivif2 --  cl tried    62116 cl shrink        0 lits rem          0 time: 0.04
449.44/112.72	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.27
449.44/112.72	c calculated reachability. Time: 0.00
449.44/112.72	c  N st    59    806594       439      1910         0     62116      5790    934095   no data   no data  --
639.70/160.43	c  F st    60   1071875       439      1910         0     77672      5790   1180989   no data   no data  --
639.70/160.43	c  N st    60   1071875       439      1910         0     77672      5790   1180989   no data   no data  --
645.32/161.82	c Decided on static restart strategy
663.22/166.38	c  N st    70   1100181       439      1910         0     61631      5790    795537   no data   no data  --
696.33/174.63	c  N st    72   1136173       439      1910         0     51894      5790    573861   no data   no data  --
723.05/181.33	c  N st    73   1168565       439      1910         0     83130      5790   1214147   no data   no data  --
755.74/189.59	c  N st    74   1209892       439      1910         0     77599      5790   1070332   no data   no data  --
755.74/189.59	c  S st    74   1209892       439      1910         0     77599      5790   1070332   no data   no data  --
756.94/189.83	c  S st    74   1210397       439      1910         0     78104      5790   1081125   no data   no data  --
756.94/189.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
756.94/189.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
756.94/189.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
757.35/189.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
757.35/189.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
757.35/189.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
757.35/189.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.71/193.60	c lits-rem:       102  cl-subs:     6420  v-elim:      0  v-fix:    0  time: 14.72 s
771.71/193.60	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
772.12/193.61	c vivif2 --  cl tried    71684 cl shrink        0 lits rem          0 time: 0.04
772.12/193.69	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.33
772.12/193.70	c calculated reachability. Time: 0.00
772.12/193.70	c  N st    74   1210397       439      1910         0     71684      5790    969630   no data   no data  --
843.09/211.49	c  N st    75   1283280       439      1910         0     48564      5790    449516   no data   no data  --
939.26/235.53	c  N st    76   1392603       439      1910         0     56584      5790    592093   no data   no data  --
1091.97/273.85	c  N st    77   1556588       439      1910         0     61616      5790    675619   no data   no data  --
1240.73/311.11	c  N st    78   1710398       439      1910         0    102944      5790   1563468   no data   no data  --
1240.73/311.11	c  S st    78   1710398       439      1910         0    102944      5790   1563468   no data   no data  --
1241.97/311.43	c  S st    78   1710900       439      1910         0    103443      5790   1574867   no data   no data  --
1241.97/311.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1241.97/311.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1241.97/311.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1242.32/311.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1242.32/311.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1242.32/311.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1242.32/311.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1290.58/323.68	c lits-rem:       267  cl-subs:    11835  v-elim:      0  v-fix:    0  time: 48.43 s
1290.58/323.68	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
1290.98/323.70	c vivif2 --  cl tried    91608 cl shrink        0 lits rem          0 time: 0.07
1291.38/323.83	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.52
1291.38/323.84	c calculated reachability. Time: 0.00
1291.38/323.84	c  N st    78   1710900       439      1910         0     91608      5790   1330607   no data   no data  --
1685.81/422.77	c  N st    79   2079865       439      1910         0    103828      5790   1500397   no data   no data  --
1820.65/456.52	c  N st    80   2210902       439      1910         0    107538      5790   1552606   no data   no data  --
1820.65/456.52	c  S st    80   2210902       439      1910         0    107538      5790   1552606   no data   no data  --
1821.82/456.87	c  S st    80   2211405       439      1910         0    108038      5790   1564613   no data   no data  --
1821.82/456.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1821.82/456.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1822.22/456.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1822.22/456.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1822.22/456.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1822.22/456.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1822.22/456.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1858.91/466.18	c lits-rem:       611  cl-subs:     8641  v-elim:      0  v-fix:    0  time: 36.72 s
1858.91/466.18	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
1859.31/466.20	c vivif2 --  cl tried    99397 cl shrink        0 lits rem          0 time: 0.08
1859.71/466.34	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.54
1859.71/466.34	c calculated reachability. Time: 0.00
1859.71/466.34	c  N st    80   2211405       439      1910         0     99397      5790   1397718   no data   no data  --
2432.43/609.90	c  N st    81   2711405       439      1910         0    122571      5790   1749489   no data   no data  --
2432.43/609.90	c  S st    81   2711405       439      1910         0    122571      5790   1749489   no data   no data  --
2434.03/610.36	c  S st    81   2711906       439      1910         0    123070      5790   1760871   no data   no data  --
2434.03/610.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2434.03/610.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2434.43/610.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2434.43/610.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2434.43/610.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2434.43/610.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
2434.43/610.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2501.06/627.12	c lits-rem:       178  cl-subs:    13786  v-elim:      0  v-fix:    0  time: 66.31 s
2501.06/627.12	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
2501.06/627.14	c vivif2 --  cl tried   109284 cl shrink        0 lits rem          0 time: 0.08
2501.41/627.29	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.60
2501.81/627.30	c calculated reachability. Time: 0.00
2501.81/627.30	c  N st    81   2711906       439      1910         0    109284      5790   1496930   no data   no data  --
3127.18/784.16	c  N st    82   3211906       439      1910         0     85213      5790    859704   no data   no data  --
3127.18/784.16	c  S st    82   3211906       439      1910         0     85213      5790    859704   no data   no data  --
3128.42/784.44	c  S st    82   3212410       439      1910         0     85712      5790    871261   no data   no data  --
3128.42/784.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3128.42/784.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3128.42/784.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3128.77/784.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3128.77/784.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3128.77/784.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3128.77/784.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3141.93/787.83	c lits-rem:       711  cl-subs:     2658  v-elim:      0  v-fix:    0  time: 13.24 s
3141.93/787.83	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
3141.93/787.85	c vivif2 --  cl tried    83054 cl shrink        0 lits rem          0 time: 0.06
3142.32/787.97	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.50
3142.32/787.97	c calculated reachability. Time: 0.00
3142.32/787.97	c  N st    82   3212410       439      1910         0     83054      5790    828462   no data   no data  --
3788.84/950.07	c  N st    83   3712411       439      1910         0     94314      5790    991740   no data   no data  --
3788.84/950.07	c  S st    83   3712411       439      1910         0     94314      5790    991740   no data   no data  --
3790.04/950.35	c  S st    83   3712914       439      1910         0     94815      5790   1003203   no data   no data  --
3790.04/950.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3790.04/950.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3790.04/950.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3790.45/950.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3790.45/950.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3790.45/950.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3790.45/950.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3799.99/952.80	c lits-rem:       265  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  9.42 s
3799.99/952.80	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
3799.99/952.81	c vivif2 --  cl tried    92574 cl shrink        0 lits rem          0 time: 0.06
3800.39/952.93	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.46
3800.39/952.93	c calculated reachability. Time: 0.00
3800.39/952.93	c  N st    83   3712914       439      1910         0     92574      5790    961651   no data   no data  --
3853.84/966.30	c  F st    84   3751562       439      1910         0    129939      5790   1774252   no data   no data  --
3853.84/966.30	c  N st    84   3751562       439      1910         0    129939      5790   1774252   no data   no data  --
3862.61/968.58	c Decided on static restart strategy
3903.30/978.73	c  N st    94   3779866       439      1910         0    157492      5790   2391309   no data   no data  --
3959.12/992.79	c  N st    96   3815858       439      1910         0    110098      5790   1320615   no data   no data  --
4012.17/1006.09	c  N st    97   3848250       439      1910         0    141576      5790   2026326   no data   no data  --
4082.37/1023.62	c  N st    98   3896839       439      1910         0    105451      5790   1189752   no data   no data  --
4190.84/1050.89	c  N st    99   3969721       439      1910         0     91488      5790    867305   no data   no data  --
4343.99/1089.25	c  N st   100   4079046       439      1910         0    112128      5790   1318772   no data   no data  --
4541.41/1138.80	c  N st   101   4212914       439      1910         0    155666      5790   2310656   no data   no data  --
4541.41/1138.80	c  S st   101   4212914       439      1910         0    155666      5790   2310656   no data   no data  --
4543.81/1139.33	c  S st   101   4213419       439      1910         0    156170      5790   2322946   no data   no data  --
4543.81/1139.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4543.81/1139.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4544.21/1139.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4544.61/1139.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4544.61/1139.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4544.61/1139.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4544.61/1139.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4661.46/1168.86	c lits-rem:      1546  cl-subs:    14783  v-elim:      0  v-fix:    0  time: 117.05 s
4661.46/1168.86	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
4661.46/1168.89	c vivif2 --  cl tried   141387 cl shrink        0 lits rem          0 time: 0.12
4662.66/1169.11	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.88
4662.66/1169.11	c calculated reachability. Time: 0.00
4662.66/1169.11	c  N st   101   4213419       439      1910         0    141387      5790   2018355   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368870-1305404762/watcher-3368870-1305404762 -o /tmp/evaluation-result-3368870-1305404762/solver-3368870-1305404762 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368870-1305404762.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: 6.78 7.85 8.01 5/367 7751
/proc/meminfo: memFree=30326252/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=281920 CPUtime=0 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 738 0 0 0 0 0 0 0 18 0 4 0 632892507 288686080 658 33554432000 4194304 4650419 140736620884000 18446744073709551615 212039760415 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 70480 658 343 112 0 65445 0
[pid=7751/tid=7752] ppid=7749 vsize=282524 CPUtime=0 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 215 0 0 0 0 0 0 0 24 0 4 0 632892507 289304576 1045 33554432000 4194304 4650419 140736620884000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=282524 CPUtime=0 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 244 0 0 0 0 0 0 0 18 0 4 0 632892507 289304576 1046 33554432000 4194304 4650419 140736620884000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=282524 CPUtime=0 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 93 0 0 0 0 0 0 0 24 0 4 0 632892507 289304576 1046 33554432000 4194304 4650419 140736620884000 18446744073709551615 212039760366 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.111758 s]
/proc/loadavg: 6.78 7.85 8.01 5/367 7751
/proc/meminfo: memFree=30326252/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=282792 CPUtime=0.42 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 1699 0 0 0 42 0 0 0 18 0 4 0 632892507 289579008 1580 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 70698 1580 391 112 0 65663 0
[pid=7751/tid=7752] ppid=7749 vsize=282792 CPUtime=0.1 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 356 0 0 0 10 0 0 0 24 0 4 0 632892507 289579008 1580 33554432000 4194304 4650419 140736620884000 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=282792 CPUtime=0.1 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 375 0 0 0 10 0 0 0 18 0 4 0 632892507 289579008 1580 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=282792 CPUtime=0.09 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 221 0 0 0 9 0 0 0 24 0 4 0 632892507 289579008 1580 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282792

[startup+0.200743 s]
/proc/loadavg: 6.78 7.85 8.01 5/367 7751
/proc/meminfo: memFree=30326252/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=283840 CPUtime=0.78 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 2321 0 0 0 78 0 0 0 18 0 4 0 632892507 290652160 1679 33554432000 4194304 4650419 140736620884000 18446744073709551615 4303975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 70960 1679 393 112 0 65925 0
[pid=7751/tid=7752] ppid=7749 vsize=283840 CPUtime=0.19 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 632892507 290652160 1679 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=283840 CPUtime=0.19 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 529 0 0 0 19 0 0 0 18 0 4 0 632892507 290652160 1680 33554432000 4194304 4650419 140736620884000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=283840 CPUtime=0.18 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 376 0 0 0 18 0 0 0 25 0 4 0 632892507 290652160 1680 33554432000 4194304 4650419 140736620884000 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283840

[startup+0.300725 s]
/proc/loadavg: 6.78 7.85 8.01 5/367 7751
/proc/meminfo: memFree=30326252/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=284016 CPUtime=1.17 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 2687 0 0 0 117 0 0 0 18 0 4 0 632892507 290832384 2045 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 71004 2046 393 112 0 65969 0
[pid=7751/tid=7752] ppid=7749 vsize=284016 CPUtime=0.29 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 599 0 0 0 29 0 0 0 25 0 4 0 632892507 290832384 2046 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=284016 CPUtime=0.29 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 628 0 0 0 29 0 0 0 18 0 4 0 632892507 290832384 2046 33554432000 4194304 4650419 140736620884000 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=284016 CPUtime=0.28 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 467 0 0 0 28 0 0 0 25 0 4 0 632892507 290832384 2046 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284016

[startup+0.700657 s]
/proc/loadavg: 6.78 7.85 8.01 5/367 7751
/proc/meminfo: memFree=30326252/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=285500 CPUtime=2.77 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 4702 0 0 0 277 0 0 0 18 0 4 0 632892507 292352000 2293 33554432000 4194304 4650419 140736620884000 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 71375 2293 393 112 0 66340 0
[pid=7751/tid=7752] ppid=7749 vsize=285500 CPUtime=0.69 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 1101 0 0 0 69 0 0 0 25 0 4 0 632892507 292352000 2293 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=285500 CPUtime=0.69 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 1147 0 0 0 69 0 0 0 18 0 4 0 632892507 292352000 2293 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=285500 CPUtime=0.68 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 965 0 0 0 68 0 0 0 25 0 4 0 632892507 292352000 2293 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 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) 285500

[startup+1.50051 s]
/proc/loadavg: 6.78 7.85 8.01 9/371 7755
/proc/meminfo: memFree=30306876/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=286488 CPUtime=5.96 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 8090 0 0 0 595 1 0 0 20 0 4 0 632892507 293363712 4413 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 71622 4413 395 112 0 66587 0
[pid=7751/tid=7752] ppid=7749 vsize=286488 CPUtime=1.49 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 1680 0 0 0 149 0 0 0 25 0 4 0 632892507 293363712 4413 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=286488 CPUtime=1.49 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 1772 0 0 0 149 0 0 0 20 0 4 0 632892507 293363712 4413 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=286488 CPUtime=1.47 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 1502 0 0 0 147 0 0 0 25 0 4 0 632892507 293363712 4413 33554432000 4194304 4650419 140736620884000 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286488

[startup+3.10023 s]
/proc/loadavg: 6.78 7.85 8.01 9/371 7755
/proc/meminfo: memFree=30271412/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=294468 CPUtime=12.34 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 16329 0 0 0 1232 2 0 0 25 0 4 0 632892507 301535232 9354 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 73617 9354 395 112 0 68582 0
[pid=7751/tid=7752] ppid=7749 vsize=294468 CPUtime=3.08 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 3836 0 0 0 308 0 0 0 25 0 4 0 632892507 301535232 9354 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=294468 CPUtime=3.09 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 4341 0 0 0 309 0 0 0 25 0 4 0 632892507 301535232 9354 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=294468 CPUtime=3.05 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 3802 0 0 0 305 0 0 0 25 0 4 0 632892507 301535232 9354 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363452 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) 294468

[startup+6.30066 s]
/proc/loadavg: 6.88 7.85 8.01 9/371 7756
/proc/meminfo: memFree=30231008/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=295136 CPUtime=25.1 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 24898 0 0 0 2506 4 0 0 25 0 4 0 632892507 302219264 12736 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 73784 12736 395 112 0 68749 0
[pid=7751/tid=7752] ppid=7749 vsize=295136 CPUtime=6.29 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 6153 0 0 0 628 1 0 0 25 0 4 0 632892507 302219264 12736 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=295136 CPUtime=6.28 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 7095 0 0 0 628 0 0 0 25 0 4 0 632892507 302219264 12736 33554432000 4194304 4650419 140736620884000 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=295136 CPUtime=6.21 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 5222 0 0 0 620 1 0 0 25 0 4 0 632892507 302219264 12736 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 295136

[startup+12.7005 s]
/proc/loadavg: 6.97 7.85 8.01 9/371 7756
/proc/meminfo: memFree=30182576/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=303868 CPUtime=50.63 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 37600 0 0 0 5056 7 0 0 25 0 4 0 632892507 311160832 17705 33554432000 4194304 4650419 140736620884000 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 75967 17705 395 112 0 70932 0
[pid=7751/tid=7752] ppid=7749 vsize=303868 CPUtime=12.68 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 9637 0 0 0 1267 1 0 0 25 0 4 0 632892507 311160832 17705 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=303868 CPUtime=12.69 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 9644 0 0 0 1268 1 0 0 25 0 4 0 632892507 311160832 17705 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=303868 CPUtime=12.54 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 7826 0 0 0 1252 2 0 0 25 0 4 0 632892507 311160832 17705 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 303868

[startup+25.5012 s]
/proc/loadavg: 7.26 7.88 8.01 9/371 7756
/proc/meminfo: memFree=30123620/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=309740 CPUtime=101.68 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 55953 0 0 0 10156 12 0 0 25 0 4 0 632892507 317173760 22018 33554432000 4194304 4650419 140736620884000 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 77435 22018 395 112 0 72400 0
[pid=7751/tid=7752] ppid=7749 vsize=309740 CPUtime=25.49 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 14834 0 0 0 2546 3 0 0 25 0 4 0 632892507 317173760 22018 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=309740 CPUtime=25.49 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 14581 0 0 0 2547 2 0 0 25 0 4 0 632892507 317173760 22018 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=309740 CPUtime=25.18 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 10566 0 0 0 2516 2 0 0 25 0 4 0 632892507 317173760 22018 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 309740

[startup+51.1007 s]
/proc/loadavg: 7.58 7.90 8.01 9/371 7757
/proc/meminfo: memFree=30067244/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=331140 CPUtime=203.77 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 82462 0 0 0 20358 19 0 0 25 0 4 0 632892507 339087360 30305 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366213 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 82785 30305 395 112 0 77750 0
[pid=7751/tid=7752] ppid=7749 vsize=331140 CPUtime=51.08 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 23225 0 0 0 5104 4 0 0 25 0 4 0 632892507 339087360 30305 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=331140 CPUtime=51.09 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 21288 0 0 0 5105 4 0 0 25 0 4 0 632892507 339087360 30305 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=331140 CPUtime=50.48 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 15354 0 0 0 5044 4 0 0 25 0 4 0 632892507 339087360 30305 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364497 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 331140

[startup+102.301 s]
/proc/loadavg: 7.93 7.95 8.02 9/371 7758
/proc/meminfo: memFree=29996516/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=332888 CPUtime=408 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 124546 0 0 0 40765 35 0 0 25 0 4 0 632892507 340877312 37029 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 83222 37029 395 112 0 78187 0
[pid=7751/tid=7752] ppid=7749 vsize=332888 CPUtime=102.3 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 36210 0 0 0 10222 8 0 0 25 0 4 0 632892507 340877312 37031 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=332888 CPUtime=102.3 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 31724 0 0 0 10221 9 0 0 25 0 4 0 632892507 340877312 37031 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=332888 CPUtime=101.08 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 20874 0 0 0 10103 5 0 0 25 0 4 0 632892507 340877312 37031 33554432000 4194304 4650419 140736620884000 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 332888

[startup+162.301 s]

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

[pid=7751] ppid=7749 vsize=520896 CPUtime=2800.93 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 439547 0 0 0 279911 182 0 0 25 0 4 0 632892507 533397504 82175 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 130224 82175 395 112 0 125189 0
[pid=7751/tid=7752] ppid=7749 vsize=520896 CPUtime=702.3 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 125580 0 0 0 70184 46 0 0 25 0 4 0 632892507 533397504 82175 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=520896 CPUtime=702.3 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 115357 0 0 0 70181 49 0 0 25 0 4 0 632892507 533397504 82175 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=520896 CPUtime=693.99 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 73739 0 0 0 69369 30 0 0 25 0 4 0 632892507 533397504 82175 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.93
Current children cumulated vsize (KiB) 520896

[startup+762.301 s]
/proc/loadavg: 8.10 8.08 8.03 9/371 7776
/proc/meminfo: memFree=29615920/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=573772 CPUtime=3040.26 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 457417 0 0 0 303837 189 0 0 25 0 4 0 632892507 587542528 83837 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 143443 83837 395 112 0 138408 0
[pid=7751/tid=7752] ppid=7749 vsize=573772 CPUtime=762.32 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 129344 0 0 0 76185 47 0 0 25 0 4 0 632892507 587542528 83839 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=573772 CPUtime=762.32 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 120363 0 0 0 76181 51 0 0 25 0 4 0 632892507 587542528 83839 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=573772 CPUtime=753.29 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 78353 0 0 0 75297 32 0 0 25 0 4 0 632892507 587542528 83839 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.26
Current children cumulated vsize (KiB) 573772

[startup+822.301 s]
/proc/loadavg: 8.09 8.08 8.03 9/371 7777
/proc/meminfo: memFree=29601356/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=508488 CPUtime=3279.52 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 481203 0 0 0 327751 201 0 0 25 0 4 0 632892507 520691712 82896 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 127122 82896 395 112 0 122087 0
[pid=7751/tid=7752] ppid=7749 vsize=508488 CPUtime=822.3 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 139134 0 0 0 82180 50 0 0 25 0 4 0 632892507 520691712 82896 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=508488 CPUtime=822.31 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 126817 0 0 0 82175 56 0 0 25 0 4 0 632892507 520691712 82896 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=508488 CPUtime=812.58 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 80042 0 0 0 81225 33 0 0 25 0 4 0 632892507 520691712 82896 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.52
Current children cumulated vsize (KiB) 508488

[startup+882.314 s]
/proc/loadavg: 8.12 8.09 8.03 9/371 7779
/proc/meminfo: memFree=29597944/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=527248 CPUtime=3518.87 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 502731 0 0 0 351674 213 0 0 25 0 4 0 632892507 539901952 86502 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 131812 86502 395 112 0 126777 0
[pid=7751/tid=7752] ppid=7749 vsize=527248 CPUtime=882.32 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 145477 0 0 0 88178 54 0 0 25 0 4 0 632892507 539901952 86502 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=527248 CPUtime=882.32 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 133504 0 0 0 88174 58 0 0 25 0 4 0 632892507 539901952 86502 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=527248 CPUtime=871.88 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 82567 0 0 0 87152 36 0 0 25 0 4 0 632892507 539901952 86502 33554432000 4194304 4650419 140736620884000 18446744073709551615 4336041 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.87
Current children cumulated vsize (KiB) 527248

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/371 7780
/proc/meminfo: memFree=29549420/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=533036 CPUtime=3758.12 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 525377 0 0 0 375583 229 0 0 25 0 4 0 632892507 545828864 88544 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 133259 88544 395 112 0 128224 0
[pid=7751/tid=7752] ppid=7749 vsize=533036 CPUtime=942.3 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 151627 0 0 0 94172 58 0 0 25 0 4 0 632892507 545828864 88544 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=533036 CPUtime=942.31 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 139932 0 0 0 94169 62 0 0 25 0 4 0 632892507 545828864 88544 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=533036 CPUtime=931.17 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 86154 0 0 0 93078 39 0 0 25 0 4 0 632892507 545828864 88544 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.12
Current children cumulated vsize (KiB) 533036

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/371 7782
/proc/meminfo: memFree=29520856/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=533412 CPUtime=3997.41 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 545916 0 0 0 399500 241 0 0 25 0 4 0 632892507 546213888 90083 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 133353 90083 395 112 0 128318 0
[pid=7751/tid=7752] ppid=7749 vsize=533412 CPUtime=1002.31 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 158870 0 0 0 100168 63 0 0 25 0 4 0 632892507 546213888 90083 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=533412 CPUtime=1002.31 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 144622 0 0 0 100166 65 0 0 25 0 4 0 632892507 546213888 90083 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=533412 CPUtime=990.45 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 89157 0 0 0 99005 40 0 0 25 0 4 0 632892507 546213888 90083 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.41
Current children cumulated vsize (KiB) 533412

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 8.03 9/371 7784
/proc/meminfo: memFree=29505300/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=545524 CPUtime=4236.72 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 565926 0 0 0 423420 252 0 0 25 0 4 0 632892507 558616576 90810 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 136381 90810 395 112 0 131346 0
[pid=7751/tid=7752] ppid=7749 vsize=545524 CPUtime=1062.31 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 165229 0 0 0 106165 66 0 0 25 0 4 0 632892507 558616576 90810 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=545524 CPUtime=1062.31 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 149692 0 0 0 106163 68 0 0 25 0 4 0 632892507 558616576 90810 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=545524 CPUtime=1049.75 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 91434 0 0 0 104934 41 0 0 25 0 4 0 632892507 558616576 90810 33554432000 4194304 4650419 140736620884000 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.72
Current children cumulated vsize (KiB) 545524

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 8.04 9/371 7785
/proc/meminfo: memFree=29469404/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=532848 CPUtime=4476 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 587362 0 0 0 447337 263 0 0 25 0 4 0 632892507 545636352 94334 33554432000 4194304 4650419 140736620884000 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 133212 94334 395 112 0 128177 0
[pid=7751/tid=7752] ppid=7749 vsize=532848 CPUtime=1122.31 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 171422 0 0 0 112160 71 0 0 25 0 4 0 632892507 545636352 94334 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=532848 CPUtime=1122.32 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 151286 0 0 0 112162 70 0 0 25 0 4 0 632892507 545636352 94334 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=532848 CPUtime=1109.03 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 99045 0 0 0 110860 43 0 0 25 0 4 0 632892507 545636352 94334 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476
Current children cumulated vsize (KiB) 532848

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/371 7787
/proc/meminfo: memFree=29451744/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=663292 CPUtime=4715.3 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 605216 0 0 0 471259 271 0 0 25 0 4 0 632892507 679211008 102786 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 165823 102786 395 112 0 160788 0
[pid=7751/tid=7752] ppid=7749 vsize=663292 CPUtime=1182.32 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 175983 0 0 0 118158 74 0 0 25 0 4 0 632892507 679211008 102786 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=663292 CPUtime=1182.31 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 156601 0 0 0 118159 72 0 0 25 0 4 0 632892507 679211008 102786 33554432000 4194304 4650419 140736620884000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=663292 CPUtime=1168.33 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 100697 0 0 0 116789 44 0 0 25 0 4 0 632892507 679211008 102786 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.3
Current children cumulated vsize (KiB) 663292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.13 8.10 8.04 6/369 7788
/proc/meminfo: memFree=29608220/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=598492 CPUtime=4800.26 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 613572 0 0 0 479752 274 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 149623 99844 395 112 0 144588 0
[pid=7751/tid=7752] ppid=7749 vsize=598492 CPUtime=1203.63 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 180010 0 0 0 120288 75 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=598492 CPUtime=1203.63 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 157524 0 0 0 120290 73 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=598492 CPUtime=1189.36 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 101818 0 0 0 118892 44 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 598492

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

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

[startup+1203.6 s]
/proc/loadavg: 8.13 8.10 8.04 6/369 7788
/proc/meminfo: memFree=29608220/32951124 swapFree=51873460/67111528
[pid=7751] ppid=7749 vsize=598492 CPUtime=4800.26 cores=1,3,5,7
/proc/7751/stat : 7751 (strangenight1-m) R 7749 7751 7181 0 -1 4202496 613572 0 0 0 479752 274 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7751/statm: 149623 99844 395 112 0 144588 0
[pid=7751/tid=7752] ppid=7749 vsize=598492 CPUtime=1203.63 cores=1,3,5,7
/proc/7751/task/7752/stat : 7752 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 180010 0 0 0 120288 75 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7751/tid=7753] ppid=7749 vsize=598492 CPUtime=1203.63 cores=1,3,5,7
/proc/7751/task/7753/stat : 7753 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 157524 0 0 0 120290 73 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7751/tid=7754] ppid=7749 vsize=598492 CPUtime=1189.36 cores=1,3,5,7
/proc/7751/task/7754/stat : 7754 (strangenight1-m) R 7749 7751 7181 0 -1 4202560 101818 0 0 0 118892 44 0 0 25 0 4 0 632892507 612855808 99844 33554432000 4194304 4650419 140736620884000 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 598492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.33
CPU user time (s): 4797.57
CPU system time (s): 2.76458
CPU usage (%): 398.819
Max. virtual memory (cumulated for all children) (KiB): 663324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.57
system time used= 2.76458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613575
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= 265
involuntary context switches= 31232

runsolver used 3.90141 second user time and 10.3764 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 22:26:02
IDJOB=3368870
IDBENCH=82879
IDSOLVER=1846
FILE ID=node146/3368870-1305404762
RUNJOBID= node146-1305404762-7729
PBS_JOBID= 13324493
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= 970ca2029fea75cb0f7721dfc724b428
RANDOM SEED=121233952

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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:     32951124 kB
MemFree:      30326408 kB
Buffers:         55400 kB
Cached:          99232 kB
SwapCached:      56064 kB
Active:         744108 kB
Inactive:      1659564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30326408 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           12580 kB
Writeback:           0 kB
AnonPages:     2200020 kB
Mapped:          17136 kB
Slab:            96180 kB
PageTables:      59088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81842060 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= 73260 MiB
End job on node146 at 2011-05-14 22:46:08