Trace number 3174896

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.4 1201.73

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
MD5SUMd89541d4d678adcd99dbf4694eb0406c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.1322
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

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-3174896-1304047113.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.18/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.18/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.18/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.18/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.18/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.18/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.18/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.18/0.38	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.18/0.38	c calculated reachability. Time: 0.00
1.18/0.38	c Calc default polars -  time:   0.00 s pos:      78 undec:       2 neg:      70
1.18/0.38	c =========================================================================================
1.18/0.38	c types(t): F = full restart, N = normal restart
1.18/0.38	c types(t): S = simplification begin/end, E = solution found
1.18/0.38	c restart types(rt): st = static, dy = dynamic
1.18/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.18/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.60	c  N dy     9      4963       150     12750         0      4723     89250    213371     37.67     39.74  --
3.17/0.84	c  N dy    32     10008       150     12750         0      7196     89250    295922     38.60     40.67  --
4.37/1.13	c  N dy    53     15592       150     12750         0      8478     89250    318281     38.92     41.01  --
5.57/1.49	c  N dy    75     22057       150     12750         0      9284     89250    316403     39.01     41.18  --
6.37/1.67	c  F st    90     25000       150     12750         0     12100     89250    443782     39.18   no data  --
6.76/1.75	c  N st    93     26190       150     12750         0      6719     89250    170165     39.18   no data  --
7.56/1.95	c  S st    96     30000       150     12750         0     10366     89250    338910     39.18   no data  --
7.56/1.99	c  S st    96     30502       150     12750         0     10855     89250    360642     39.18   no data  --
7.56/1.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.96/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.96/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.96/2.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.37/4.61	c lits-rem:      2715  cl-subs:      435  v-elim:      0  v-fix:    0  time: 10.34 s
19.95/5.02	c asymm  cl-useful: 0/10769/12750 lits-rem:0 time: 1.67
19.95/5.02	c calculated reachability. Time: 0.00
19.95/5.02	c  N dy    96     30502       150     12750         0     10420     89250    332753     39.18   no data  --
21.15/5.36	c  N dy   105     35891       150     12750         0      8033     89250    196417     39.15     41.47  --
22.77/5.71	c  N dy   108     41976       150     12750         0     13853     89250    453673     38.79     40.96  --
23.54/5.98	c  S st   113     45755       150     12750         0      8888     89250    203709     38.67     37.07  --
23.94/6.02	c  S st   113     46258       150     12750         0      9379     89250    225336     38.67   no data  --
23.94/6.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.94/6.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.94/6.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.94/6.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.94/6.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.56/7.96	c lits-rem:       294  cl-subs:       56  v-elim:      0  v-fix:    0  time:  7.69 s
31.56/7.96	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
31.56/7.96	c vivif2 --  cl tried     9323 cl shrink        0 lits rem          0 time: 0.01
31.93/8.04	c asymm  cl-useful: 0/1981/12750 lits-rem:0 time: 0.31
31.93/8.04	c calculated reachability. Time: 0.00
31.93/8.04	c  N dy   113     46258       150     12750         0      9323     89250    221805     38.67   no data  --
33.13/8.30	c  N dy   127     50259       150     12750         0     13175     89250    393668     38.71     40.81  --
34.32/8.61	c  N dy   138     54367       150     12750         0     17097     89250    567992     38.72     40.80  --
36.32/9.18	c  N dy   142     62597       150     12750         0     15402     89250    462371     38.57     41.16  --
37.52/9.49	c  N dy   162     66701       150     12750         0     19335     89250    639257     38.63     41.18  --
38.73/9.71	c  S st   171     69387       150     12750         0     11390     89250    252960     38.66     39.36  --
38.73/9.75	c  S st   171     69888       150     12750         0     11880     89250    274587     38.66   no data  --
38.73/9.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.73/9.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.73/9.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.73/9.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.73/9.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.73/9.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
38.73/9.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.71/11.78	c lits-rem:       732  cl-subs:      128  v-elim:      0  v-fix:    0  time:  8.04 s
46.71/11.79	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
46.71/11.79	c vivif2 --  cl tried    11752 cl shrink        0 lits rem          0 time: 0.01
48.73/12.23	c asymm  cl-useful: 0/10124/12750 lits-rem:0 time: 1.75
48.73/12.23	c calculated reachability. Time: 0.00
48.73/12.23	c  N dy   171     69888       150     12750         0     11752     89250    266704     38.66   no data  --
49.90/12.56	c  N dy   188     74549       150     12750         0     16230     89250    463847     38.65     40.91  --
51.91/13.01	c  N dy   214     79533       150     12750         0     20979     89250    676443     38.73     40.77  --
53.90/13.50	c  N dy   229     85632       150     12750         0     15334     89250    396867     38.74     40.92  --
54.29/13.67	c  F st   239     87502       150     12750         0     17136     89250    478121     38.77   no data  --
56.29/14.11	c  N dy   245     92697       150     12750         0     22122     89250    706021     38.77   no data  --
58.30/14.64	c  N dy   263     99019       150     12750         0     15727     89250    382593     38.78     40.97  --
60.30/15.12	c  S st   285    104833       150     12750         0     21293     89250    629433     38.81   no data  --
60.30/15.19	c  S st   285    105337       150     12750         0     21788     89250    650603     38.81   no data  --
60.30/15.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.30/15.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.70/15.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
60.70/15.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.70/15.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.70/15.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
60.70/15.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.47/19.44	c lits-rem:      2431  cl-subs:      971  v-elim:      0  v-fix:    0  time: 16.80 s
77.47/19.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
77.47/19.44	c vivif2 --  cl tried    20817 cl shrink        0 lits rem          0 time: 0.03
78.27/19.66	c asymm  cl-useful: 0/2626/12750 lits-rem:0 time: 0.87
78.27/19.67	c calculated reachability. Time: 0.00
78.27/19.67	c  N dy   285    105337       150     12750         0     20817     89250    595828     38.81   no data  --
82.26/20.63	c  N dy   313    116730       150     12750         0     18316     89250    461485     38.73     41.05  --
84.66/21.28	c  N dy   337    124259       150     12750         0     25527     89250    782811     38.76     41.14  --
87.46/21.96	c  N dy   368    132551       150     12750         0     19139     89250    471129     38.79     40.91  --
90.25/22.69	c  N dy   379    141583       150     12750         0     27793     89250    855123     38.72     40.79  --
93.44/23.46	c  N dy   412    150624       150     12750         0     21109     89250    526690     38.73     40.97  --
96.24/24.10	c  S st   431    158005       150     12750         0     28200     89250    843193     38.73   no data  --
96.24/24.18	c  S st   431    158506       150     12750         0     28686     89250    864105     38.73   no data  --
96.24/24.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
96.24/24.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.64/24.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
96.64/24.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.64/24.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.64/24.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
96.64/24.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.61/29.74	c lits-rem:      1865  cl-subs:     1388  v-elim:      0  v-fix:    0  time: 22.01 s
118.61/29.74	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
118.61/29.75	c vivif2 --  cl tried    27298 cl shrink        0 lits rem          0 time: 0.03
119.43/29.97	c asymm  cl-useful: 0/3126/12750 lits-rem:0 time: 0.88
119.43/29.97	c calculated reachability. Time: 0.00
119.43/29.97	c  N dy   431    158506       150     12750         0     27298     89250    786961     38.73   no data  --
123.01/30.90	c  N dy   461    168714       150     12750         0     20811     89250    477688     38.72     42.85  --
127.41/31.99	c  N dy   489    179607       150     12750         0     31253     89250    942747     38.73     41.04  --
132.20/33.14	c  N dy   516    192005       150     12750         0     25910     89250    670053     38.71     40.81  --
138.19/34.63	c  N dy   561    205039       150     12750         0     20207     89250    389021     38.74     41.13  --
144.58/36.21	c  N dy   585    220123       150     12750         0     34565     89250   1026594     38.69     41.02  --
151.37/37.92	c  N dy   641    235184       150     12750         0     29864     89250    787434     38.72     40.76  --
152.16/38.18	c  S st   649    237759       150     12750         0     32348     89250    898546     38.72   no data  --
152.56/38.26	c  S st   649    238261       150     12750         0     32835     89250    919967     38.72   no data  --
152.56/38.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.56/38.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.56/38.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
152.96/38.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.96/38.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.96/38.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
152.96/38.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
172.53/43.23	c lits-rem:       857  cl-subs:     1287  v-elim:      0  v-fix:    0  time: 19.63 s
172.53/43.23	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
172.53/43.24	c vivif2 --  cl tried    31548 cl shrink        0 lits rem          0 time: 0.03
173.34/43.47	c asymm  cl-useful: 0/2535/12750 lits-rem:0 time: 0.94
173.34/43.47	c calculated reachability. Time: 0.00
173.34/43.47	c  N dy   649    238261       150     12750         0     31548     89250    848007     38.72   no data  --
180.54/45.23	c  N dy   699    254278       150     12750         0     26808     89250    618375     38.74     40.82  --
188.12/47.13	c  N dy   764    270665       150     12750         0     21454     89250    344518     38.78     41.08  --
195.71/49.01	c  N dy   783    288179       150     12750         0     38173     89250   1082091     38.69     40.82  --
202.92/50.89	c  F st   805    306256       150     12750         0     33457     89250    859028     38.60   no data  --
203.29/50.96	c  N st   807    306882       150     12750         0     34066     89250    886200     38.60   no data  --
212.48/53.27	c  N dy   864    327034       150     12750         0     30404     89250    681517     38.62     40.67  --
224.07/56.10	c  N dy   947    348679       150     12750         0     27205     89250    504622     38.65     41.03  --
227.66/57.08	c  S st   973    357392       150     12750         0     35556     89250    875672     38.65   no data  --
228.06/57.19	c  S st   973    357893       150     12750         0     36044     89250    897253     38.65   no data  --
228.06/57.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
228.06/57.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
228.46/57.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
228.46/57.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.46/57.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.46/57.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
228.46/57.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
254.03/63.61	c lits-rem:      1092  cl-subs:     1333  v-elim:      0  v-fix:    0  time: 25.47 s
254.03/63.62	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
254.03/63.63	c vivif2 --  cl tried    34711 cl shrink        0 lits rem          0 time: 0.04
254.82/63.90	c asymm  cl-useful: 0/2215/12750 lits-rem:0 time: 1.10
255.24/63.90	c calculated reachability. Time: 0.00
255.24/63.90	c  N dy   973    357893       150     12750         0     34711     89250    825999     38.65   no data  --
266.01/66.61	c  N dy  1055    378022       150     12750         0     29120     89250    560150     38.69     40.98  --
278.79/69.85	c  N dy  1126    401397       150     12750         0     51526     89250   1563016     38.70     40.79  --
289.58/72.51	c  N dy  1203    421453       150     12750         0     44802     89250   1223649     38.73     42.61  --
301.56/75.58	c  N dy  1272    444118       150     12750         0     39728     89250    969147     38.73     41.10  --
313.14/78.46	c  N dy  1336    464775       150     12750         0     31755     89250    576487     38.74     40.89  --
323.93/81.16	c  N dy  1408    485095       150     12750         0     51245     89250   1448289     38.76     40.89  --
352.31/88.27	c  N dy  1452    536840       150     12750         0     42069     89250    967064     38.53     36.36  --
352.31/88.27	c  S st  1452    536840       150     12750         0     42069     89250    967064     38.53     36.36  --
352.69/88.38	c  S st  1452    537340       150     12750         0     42560     89250    988339     38.53   no data  --
352.69/88.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
352.69/88.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
353.09/88.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
353.09/88.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
353.09/88.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
353.09/88.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
353.09/88.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
372.67/93.39	c lits-rem:       944  cl-subs:     2078  v-elim:      0  v-fix:    0  time: 19.78 s
372.67/93.39	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
373.07/93.40	c vivif2 --  cl tried    40482 cl shrink        0 lits rem          0 time: 0.04
373.88/93.67	c asymm  cl-useful: 0/1908/12750 lits-rem:0 time: 1.05
373.88/93.67	c calculated reachability. Time: 0.00
373.88/93.67	c  N dy  1452    537340       150     12750         0     40482     89250    891995     38.53   no data  --
395.03/98.96	c  N dy  1499    575125       150     12750         0     46095     89250   1138655     38.43     40.47  --
409.44/102.57	c  N dy  1548    596794       150     12750         0     35354     89250    611203     38.40     40.51  --
422.22/105.76	c  N dy  1635    616797       150     12750         0     54533     89250   1465837     38.43     41.01  --
435.40/109.07	c  N dy  1711    636972       150     12750         0     41417     89250    848004     38.45     40.94  --
448.59/112.39	c  N dy  1809    657073       150     12750         0     60697     89250   1710496     38.48     40.67  --
460.95/115.41	c  N dy  1864    677101       150     12750         0     46426     89250   1034669     38.47     41.91  --
474.53/118.82	c  N dy  1944    697179       150     12750         0     65710     89250   1893626     38.49     40.56  --
486.91/121.97	c  N dy  2040    717244       150     12750         0     50431     89250   1184383     38.52     40.56  --
503.69/126.17	c  N dy  2120    737544       150     12750         0     69933     89250   2054422     38.54     40.64  --
516.48/129.34	c  N dy  2173    758998       150     12750         0     54959     89250   1353131     38.53     40.84  --
531.66/133.15	c  N dy  2213    779304       150     12750         0     37995     89250    558836     38.51     40.55  --
545.25/136.60	c  N dy  2290    800035       150     12750         0     57893     89250   1446577     38.52     40.79  --
550.05/137.71	c  S st  2310    806011       150     12750         0     63642     89250   1702155     38.52     38.82  --
550.43/137.88	c  S st  2310    806512       150     12750         0     64123     89250   1723270     38.52   no data  --
550.43/137.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
550.43/137.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
550.83/137.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
550.83/137.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
550.83/137.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
550.83/137.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
550.83/137.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
660.68/165.46	c lits-rem:      2248  cl-subs:     2661  v-elim:      0  v-fix:    0  time: 109.74 s
660.68/165.47	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
660.68/165.49	c vivif2 --  cl tried    61462 cl shrink        0 lits rem          0 time: 0.08
662.28/165.81	c asymm  cl-useful: 0/1328/12750 lits-rem:0 time: 1.30
662.28/165.81	c calculated reachability. Time: 0.00
662.28/165.81	c  N dy  2310    806512       150     12750         0     61462     89250   1574421     38.52   no data  --
677.48/169.62	c  N dy  2380    827048       150     12750         0     43764     89250    778632     38.53     40.61  --
692.24/173.33	c  N dy  2472    849463       150     12750         0     65306     89250   1742797     38.55     40.59  --
707.42/177.13	c  N dy  2563    869700       150     12750         0     46361     89250    864294     38.57     40.62  --
732.59/183.43	c  N dy  2613    907365       150     12750         0     43083     89250    686438     38.52     40.77  --
745.76/186.78	c  N dy  2698    928061       150     12750         0     62955     89250   1574632     38.53     40.61  --
763.74/191.26	c  N dy  2798    948139       150     12750         0     41968     89250    603621     38.55     42.02  --
776.92/194.57	c  N dy  2870    969039       150     12750         0     61998     89250   1496676     38.56     40.62  --
793.70/198.79	c  N dy  2937    989246       150     12750         0     81337     89250   2357539     38.56     40.69  --
806.88/202.08	c  N dy  3003   1009565       150     12750         0     59615     89250   1360466     38.57     40.65  --
824.46/206.46	c  N dy  3070   1029941       150     12750         0     79170     89250   2236952     38.57     40.84  --
841.64/210.73	c  N dy  3139   1050111       150     12750         0     56381     89250   1183664     38.58     40.64  --
861.22/215.70	c  N dy  3226   1071348       150     12750         0     76758     89250   2096676     38.60     40.64  --
862.03/215.88	c  F st  3230   1071875       150     12750         0     77267     89250   2119923     38.60   no data  --
878.39/219.94	c  N dy  3276   1091369       150     12750         0     52820     89250    985144     38.60     40.63  --
896.78/224.52	c  N dy  3347   1113069       150     12750         0     73622     89250   1910368     38.60     40.95  --
917.54/229.74	c  N dy  3420   1133806       150     12750         0     49371     89250    796333     38.61     40.89  --
933.11/233.68	c  N dy  3492   1153829       150     12750         0     68587     89250   1653688     38.61     40.74  --
955.88/239.32	c  N dy  3601   1173857       150     12750         0     87800     89250   2517628     38.63     41.49  --
975.45/244.29	c  N dy  3698   1193920       150     12750         0     61952     89250   1328440     38.65     41.12  --
991.84/248.30	c  S st  3749   1209768       150     12750         0     77185     89250   2008819     38.65   no data  --
992.64/248.52	c  S st  3749   1210271       150     12750         0     77677     89250   2030341     38.65   no data  --
992.64/248.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
992.64/248.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
992.64/248.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
993.04/248.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
993.04/248.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
993.04/248.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
993.04/248.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1544.30/386.60	c lits-rem:      2462  cl-subs:     3227  v-elim:      0  v-fix:    0  time: 551.07 s
1544.30/386.60	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1544.30/386.62	c vivif2 --  cl tried    74450 cl shrink        0 lits rem          0 time: 0.10
1546.30/387.10	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 1.91
1546.30/387.10	c calculated reachability. Time: 0.00
1546.30/387.10	c  N dy  3749   1210271       150     12750         0     74450     89250   1851306     38.65   no data  --
1571.06/393.35	c  N dy  3813   1230657       150     12750         0     48021     89250    670024     38.65     40.77  --
1590.63/398.27	c  N dy  3852   1253255       150     12750         0     69583     89250   1628526     38.64     40.82  --
1614.60/404.26	c  N dy  3901   1275495       150     12750         0     90858     89250   2579807     38.63     40.88  --
1632.18/408.65	c  N dy  3953   1295548       150     12750         0     63218     89250   1317228     38.63     46.66  --
1654.55/414.29	c  N dy  3966   1320135       150     12750         0     86565     89250   2351065     38.58     40.80  --
1676.92/419.89	c  N dy  4054   1340546       150     12750         0     58362     89250   1067910     38.59     40.68  --
1696.09/424.69	c  N dy  4106   1360763       150     12750         0     77766     89250   1936238     38.59     40.82  --
1722.87/431.35	c  N dy  4193   1381041       150     12750         0     97199     89250   2810522     38.60     40.66  --
1741.23/435.97	c  N dy  4250   1401287       150     12750         0     67733     89250   1450517     38.61     40.74  --
1768.40/442.73	c  N dy  4308   1426268       150     12750         0     91687     89250   2521940     38.60     40.70  --
1791.57/448.58	c  N dy  4376   1448407       150     12750         0     63048     89250   1207263     38.60     40.69  --
1813.13/453.96	c  N dy  4438   1468701       150     12750         0     82515     89250   2074581     38.60     41.03  --
1841.92/461.12	c  N dy  4499   1492772       150     12750         0     54768     89250    804106     38.60     40.90  --
1860.67/465.86	c  N dy  4576   1512835       150     12750         0     73954     89250   1663348     38.61     41.77  --
1884.64/471.86	c  N dy  4640   1532945       150     12750         0     93223     89250   2521396     38.61     41.02  --
1908.60/477.87	c  N dy  4682   1556435       150     12750         0     63985     89250   1182186     38.60     40.87  --
1928.19/482.74	c  N dy  4746   1576625       150     12750         0     83316     89250   2047095     38.60     40.93  --
1954.55/489.36	c  N dy  4845   1596798       150     12750         0    102693     89250   2916454     38.61     40.66  --
1972.93/493.91	c  N dy  4907   1616829       150     12750         0     69200     89250   1384696     38.61     40.72  --
1994.50/499.39	c  N dy  4976   1637547       150     12750         0     89054     89250   2271676     38.62     40.68  --
2021.26/506.05	c  N dy  5060   1657563       150     12750         0     54602     89250    694946     38.63     42.07  --
2038.44/510.37	c  N dy  5131   1677620       150     12750         0     73788     89250   1552076     38.63     41.94  --
2059.21/515.58	c  N dy  5199   1697668       150     12750         0     93026     89250   2414296     38.63     40.73  --
2073.98/519.29	c  S st  5246   1710272       150     12750         0    105114     89250   2955712     38.63   no data  --
2075.18/519.56	c  S st  5246   1710776       150     12750         0    105608     89250   2977113     38.63   no data  --
2075.18/519.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2075.18/519.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2075.58/519.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2075.98/519.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2075.98/519.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2075.98/519.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2075.98/519.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3270.77/818.85	c lits-rem:      4778  cl-subs:     5488  v-elim:      0  v-fix:    0  time: 1194.35 s
3270.77/818.85	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
3270.77/818.89	c vivif2 --  cl tried   100120 cl shrink        0 lits rem          0 time: 0.14
3271.97/819.14	c asymm  cl-useful: 0/506/12750 lits-rem:0 time: 1.01
3271.97/819.15	c calculated reachability. Time: 0.00
3271.97/819.15	c  N dy  5246   1710776       150     12750         0    100120     89250   2677621     38.63   no data  --
3294.35/824.75	c  N dy  5298   1730951       150     12750         0     64938     89250   1125525     38.63     41.01  --
3315.11/829.95	c  N dy  5362   1751714       150     12750         0     84802     89250   2013467     38.63     40.71  --
3339.49/836.03	c  N dy  5392   1773162       150     12750         0    105282     89250   2928523     38.63     40.92  --
3361.06/841.47	c  N dy  5468   1793185       150     12750         0     69013     89250   1274046     38.63     41.30  --
3384.62/847.30	c  N dy  5548   1814589       150     12750         0     89490     89250   2194385     38.64     40.97  --
3409.80/853.63	c  N dy  5622   1834636       150     12750         0    108691     89250   3052569     38.65     41.48  --
3428.56/858.36	c  N dy  5699   1855097       150     12750         0     71893     89250   1368000     38.65     40.77  --
3476.12/870.27	c  N dy  5712   1902746       150     12750         0     59772     89250    795812     38.61     40.77  --
3493.28/874.58	c  N dy  5793   1922791       150     12750         0     78959     89250   1651692     38.61     41.22  --
3516.07/880.27	c  N dy  5841   1943528       150     12750         0     98835     89250   2542308     38.61     41.28  --
3564.00/892.26	c  N dy  5941   1984469       150     12750         0     79510     89250   1637740     38.59     40.65  --
3589.55/898.67	c  N dy  5997   2007046       150     12750         0    101076     89250   2599286     38.59     40.74  --
3614.32/904.85	c  N dy  6042   2027139       150     12750         0     61143     89250    791120     38.59     41.48  --
3631.49/909.15	c  N dy  6111   2047169       150     12750         0     80345     89250   1650465     38.59     40.63  --
3653.07/914.53	c  N dy  6163   2067757       150     12750         0    100023     89250   2534124     38.59     40.75  --
3681.43/921.64	c  N dy  6268   2088207       150     12750         0    119646     89250   3416933     38.60     40.69  --
3699.40/926.18	c  N dy  6334   2108528       150     12750         0     78895     89250   1546341     38.61     40.74  --
3721.78/931.80	c  N dy  6410   2128926       150     12750         0     98404     89250   2418596     38.61     41.37  --
3749.73/938.76	c  N dy  6478   2150560       150     12750         0    119163     89250   3348701     38.62     40.78  --
3774.11/944.86	c  N dy  6551   2173256       150     12750         0     79595     89250   1540977     38.62     40.70  --
3798.07/950.84	c  N dy  6634   2193313       150     12750         0     98834     89250   2403183     38.62     42.24  --
3821.64/956.75	c  S st  6684   2210776       150     12750         0    115521     89250   3154251     38.62   no data  --
3822.84/957.10	c  S st  6684   2211279       150     12750         0    116015     89250   3176379     38.62   no data  --
3823.25/957.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3823.25/957.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3823.25/957.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
3823.66/957.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3823.66/957.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3823.66/957.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3823.66/957.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174896-1304047113/watcher-3174896-1304047113 -o /tmp/evaluation-result-3174896-1304047113/solver-3174896-1304047113 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174896-1304047113.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.45 7.87 7.01 2/173 30199
/proc/meminfo: memFree=24897564/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 594941797 52465664 352 33554432000 4194304 4650419 140733210838288 18446744073709551615 47590118164402 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 12809 352 303 112 0 7774 0
[pid=30199/tid=30200] ppid=30197 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 594941797 52465664 352 33554432000 4194304 4650419 140733210838288 18446744073709551615 47590118164400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 594941797 52465664 352 33554432000 4194304 4650419 140733210838288 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 594941797 52465664 352 33554432000 4194304 4650419 140733210838288 18446744073709551615 252469863478 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0568261 s]
/proc/loadavg: 7.45 7.87 7.01 2/173 30199
/proc/meminfo: memFree=24897564/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=282796 CPUtime=0.2 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 2094 0 0 0 19 1 0 0 23 0 4 0 594941797 289583104 2010 33554432000 4194304 4650419 140733210838288 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 70699 2010 366 112 0 65664 0
[pid=30199/tid=30200] ppid=30197 vsize=282796 CPUtime=0.05 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 408 0 0 0 5 0 0 0 23 0 4 0 594941797 289583104 2010 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=282796 CPUtime=0.04 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 405 0 0 0 4 0 0 0 24 0 4 0 594941797 289583104 2010 33554432000 4194304 4650419 140733210838288 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=282796 CPUtime=0.04 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 457 0 0 0 4 0 0 0 24 0 4 0 594941797 289583104 2010 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282796

[startup+0.100817 s]
/proc/loadavg: 7.45 7.87 7.01 2/173 30199
/proc/meminfo: memFree=24897564/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=282796 CPUtime=0.38 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 2180 0 0 0 37 1 0 0 23 0 4 0 594941797 289583104 2096 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 70699 2097 366 112 0 65664 0
[pid=30199/tid=30200] ppid=30197 vsize=282796 CPUtime=0.09 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 409 0 0 0 9 0 0 0 23 0 4 0 594941797 289583104 2097 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=282796 CPUtime=0.09 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 406 0 0 0 9 0 0 0 24 0 4 0 594941797 289583104 2097 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=282796 CPUtime=0.08 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 534 0 0 0 8 0 0 0 24 0 4 0 594941797 289583104 2097 33554432000 4194304 4650419 140733210838288 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282796

[startup+0.300781 s]
/proc/loadavg: 7.45 7.87 7.01 2/173 30199
/proc/meminfo: memFree=24897564/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=284068 CPUtime=1.18 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 2788 0 0 0 117 1 0 0 23 0 4 0 594941797 290885632 2323 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370576 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 71017 2323 369 112 0 65982 0
[pid=30199/tid=30200] ppid=30197 vsize=284068 CPUtime=0.29 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 439 0 0 0 29 0 0 0 23 0 4 0 594941797 290885632 2323 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=284068 CPUtime=0.29 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 412 0 0 0 29 0 0 0 25 0 4 0 594941797 290885632 2323 33554432000 4194304 4650419 140733210838288 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=284068 CPUtime=0.28 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 1072 0 0 0 28 0 0 0 25 0 4 0 594941797 290885632 2323 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284068

[startup+0.700708 s]
/proc/loadavg: 7.45 7.87 7.01 2/173 30199
/proc/meminfo: memFree=24897564/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=281788 CPUtime=2.77 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 8148 0 0 0 275 2 0 0 18 0 4 0 594941797 288550912 5460 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 70447 5460 390 112 0 65412 0
[pid=30199/tid=30200] ppid=30197 vsize=281788 CPUtime=0.69 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 2020 0 0 0 69 0 0 0 18 0 4 0 594941797 288550912 5460 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=281788 CPUtime=0.68 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 1964 0 0 0 68 0 0 0 18 0 4 0 594941797 288550912 5460 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=281788 CPUtime=0.68 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 1752 0 0 0 68 0 0 0 25 0 4 0 594941797 288550912 5461 33554432000 4194304 4650419 140733210838288 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 281788

[startup+1.50056 s]
/proc/loadavg: 7.45 7.87 7.01 10/184 30211
/proc/meminfo: memFree=24815940/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=282732 CPUtime=5.97 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 13110 0 0 0 594 3 0 0 19 0 4 0 594941797 289517568 6412 33554432000 4194304 4650419 140733210838288 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 70683 6412 391 112 0 65648 0
[pid=30199/tid=30200] ppid=30197 vsize=282732 CPUtime=1.48 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 3216 0 0 0 148 0 0 0 19 0 4 0 594941797 289517568 6412 33554432000 4194304 4650419 140733210838288 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=282732 CPUtime=1.47 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 2913 0 0 0 147 0 0 0 19 0 4 0 594941797 289517568 6412 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=282732 CPUtime=1.48 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 3176 0 0 0 148 0 0 0 25 0 4 0 594941797 289517568 6412 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 282732

[startup+3.10027 s]
/proc/loadavg: 7.45 7.87 7.01 9/184 30211
/proc/meminfo: memFree=24796100/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=300656 CPUtime=12.36 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 28668 0 0 0 1231 5 0 0 23 0 4 0 594941797 307871744 17607 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 75164 17607 392 112 0 70129 0
[pid=30199/tid=30200] ppid=30197 vsize=300656 CPUtime=3.08 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 6493 0 0 0 308 0 0 0 23 0 4 0 594941797 307871744 17607 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=300656 CPUtime=3.07 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 7315 0 0 0 306 1 0 0 23 0 4 0 594941797 307871744 17607 33554432000 4194304 4650419 140733210838288 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=300656 CPUtime=3.08 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 7997 0 0 0 307 1 0 0 25 0 4 0 594941797 307871744 17607 33554432000 4194304 4650419 140733210838288 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 300656

[startup+6.30067 s]
/proc/loadavg: 7.49 7.88 7.01 9/184 30211
/proc/meminfo: memFree=24689968/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=291992 CPUtime=25.14 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 33407 0 0 0 2509 5 0 0 25 0 4 0 594941797 298999808 19312 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 72998 19312 392 112 0 67963 0
[pid=30199/tid=30200] ppid=30197 vsize=291992 CPUtime=6.29 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 7718 0 0 0 628 1 0 0 25 0 4 0 594941797 298999808 19312 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=291992 CPUtime=6.25 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 7820 0 0 0 624 1 0 0 25 0 4 0 594941797 298999808 19312 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=291992 CPUtime=6.28 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 9287 0 0 0 627 1 0 0 25 0 4 0 594941797 298999808 19312 33554432000 4194304 4650419 140733210838288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291992

[startup+12.7005 s]
/proc/loadavg: 7.53 7.88 7.02 9/184 30211
/proc/meminfo: memFree=24628628/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=293060 CPUtime=50.7 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 49169 0 0 0 5060 10 0 0 25 0 4 0 594941797 300093440 28191 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 73265 28191 392 112 0 68230 0
[pid=30199/tid=30200] ppid=30197 vsize=293060 CPUtime=12.69 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 12322 0 0 0 1267 2 0 0 25 0 4 0 594941797 300093440 28191 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=293060 CPUtime=12.62 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 12504 0 0 0 1260 2 0 0 25 0 4 0 594941797 300093440 28191 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=293060 CPUtime=12.68 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 13933 0 0 0 1266 2 0 0 25 0 4 0 594941797 300093440 28191 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 293060

[startup+25.5071 s]
/proc/loadavg: 7.63 7.88 7.03 9/184 30211
/proc/meminfo: memFree=24527936/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=324488 CPUtime=101.86 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 77654 0 0 0 10168 18 0 0 25 0 4 0 594941797 332275712 39510 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 81122 39510 392 112 0 76087 0
[pid=30199/tid=30200] ppid=30197 vsize=324488 CPUtime=25.49 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 19419 0 0 0 2545 4 0 0 25 0 4 0 594941797 332275712 39510 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=324488 CPUtime=25.35 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 18743 0 0 0 2531 4 0 0 25 0 4 0 594941797 332275712 39510 33554432000 4194304 4650419 140733210838288 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=324488 CPUtime=25.48 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 21030 0 0 0 2544 4 0 0 25 0 4 0 594941797 332275712 39510 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 324488

[startup+51.1003 s]
/proc/loadavg: 7.76 7.89 7.06 9/184 30212
/proc/meminfo: memFree=24438916/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=321108 CPUtime=204.09 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 118189 0 0 0 20379 30 0 0 25 0 4 0 594941797 328814592 42149 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 80277 42149 392 112 0 75242 0
[pid=30199/tid=30200] ppid=30197 vsize=321108 CPUtime=51.09 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 28321 0 0 0 5103 6 0 0 25 0 4 0 594941797 328814592 42149 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=321108 CPUtime=50.81 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 30176 0 0 0 5073 8 0 0 25 0 4 0 594941797 328814592 42149 33554432000 4194304 4650419 140733210838288 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=321108 CPUtime=51.08 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 33307 0 0 0 5100 8 0 0 25 0 4 0 594941797 328814592 42149 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 321108

[startup+102.301 s]
/proc/loadavg: 7.96 7.92 7.11 9/184 30213
/proc/meminfo: memFree=24322192/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=423640 CPUtime=408.62 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 180939 0 0 0 40811 51 0 0 25 0 4 0 594941797 433807360 59887 33554432000 4194304 4650419 140733210838288 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 105910 59887 392 112 0 100875 0
[pid=30199/tid=30200] ppid=30197 vsize=423640 CPUtime=102.29 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 37524 0 0 0 10220 9 0 0 25 0 4 0 594941797 433807360 59887 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=423640 CPUtime=101.74 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 47018 0 0 0 10160 14 0 0 25 0 4 0 594941797 433807360 59887 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=423640 CPUtime=102.28 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 56351 0 0 0 10212 16 0 0 25 0 4 0 594941797 433807360 59887 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 423640

[startup+162.301 s]

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

[pid=30199] ppid=30197 vsize=679260 CPUtime=2805.4 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 484678 0 0 0 280358 182 0 0 25 0 4 0 594941797 695562240 105430 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476318 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 169815 105430 392 112 0 164780 0
[pid=30199/tid=30200] ppid=30197 vsize=679260 CPUtime=702.31 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 76227 0 0 0 70204 27 0 0 25 0 4 0 594941797 695562240 105430 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=679260 CPUtime=698.47 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 135723 0 0 0 69798 49 0 0 25 0 4 0 594941797 695562240 105430 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=679260 CPUtime=702.3 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 147830 0 0 0 70170 60 0 0 25 0 4 0 594941797 695562240 105430 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 679260

[startup+762.301 s]
/proc/loadavg: 8.08 8.07 7.60 9/184 30231
/proc/meminfo: memFree=23942124/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=757660 CPUtime=3045.09 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 510309 0 0 0 304312 197 0 0 25 0 4 0 594941797 775843840 112919 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 189415 112919 392 112 0 184380 0
[pid=30199/tid=30200] ppid=30197 vsize=757660 CPUtime=762.3 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 86429 0 0 0 76195 35 0 0 25 0 4 0 594941797 775843840 112919 33554432000 4194304 4650419 140733210838288 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=757660 CPUtime=758.15 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 135723 0 0 0 75766 49 0 0 25 0 4 0 594941797 775843840 112919 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=757660 CPUtime=762.3 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 154693 0 0 0 76165 65 0 0 25 0 4 0 594941797 775843840 112919 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 757660

[startup+822.301 s]
/proc/loadavg: 8.08 8.07 7.63 9/184 30233
/proc/meminfo: memFree=23957232/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=798200 CPUtime=3284.76 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 528824 0 0 0 328269 207 0 0 25 0 4 0 594941797 817356800 110376 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 199550 110376 392 112 0 194515 0
[pid=30199/tid=30200] ppid=30197 vsize=798200 CPUtime=822.31 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 90871 0 0 0 82191 40 0 0 25 0 4 0 594941797 817356800 110376 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=798200 CPUtime=817.83 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 135723 0 0 0 81734 49 0 0 25 0 4 0 594941797 817356800 110376 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=798200 CPUtime=822.3 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 160853 0 0 0 82160 70 0 0 25 0 4 0 594941797 817356800 110376 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 798200

[startup+882.301 s]
/proc/loadavg: 8.13 8.08 7.66 9/184 30234
/proc/meminfo: memFree=23926080/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=656184 CPUtime=3524.46 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 554790 0 0 0 352226 220 0 0 25 0 4 0 594941797 671932416 111199 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 164046 111199 392 112 0 159011 0
[pid=30199/tid=30200] ppid=30197 vsize=656184 CPUtime=882.31 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 96368 0 0 0 88188 43 0 0 25 0 4 0 594941797 671932416 111199 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=656184 CPUtime=877.51 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 137248 0 0 0 87701 50 0 0 25 0 4 0 594941797 671932416 111199 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=656184 CPUtime=882.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 168267 0 0 0 88158 73 0 0 25 0 4 0 594941797 671932416 111199 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476369 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 656184

[startup+942.301 s]
/proc/loadavg: 8.10 8.08 7.68 9/184 30236
/proc/meminfo: memFree=23908688/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=695200 CPUtime=3764.12 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 587910 0 0 0 376179 233 0 0 25 0 4 0 594941797 711884800 110820 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 173800 110820 392 112 0 168765 0
[pid=30199/tid=30200] ppid=30197 vsize=695200 CPUtime=942.31 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 104543 0 0 0 94185 46 0 0 25 0 4 0 594941797 711884800 110820 33554432000 4194304 4650419 140733210838288 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=695200 CPUtime=937.18 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 142438 0 0 0 93666 52 0 0 25 0 4 0 594941797 711884800 110820 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=695200 CPUtime=942.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 177066 0 0 0 94154 77 0 0 25 0 4 0 594941797 711884800 110820 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 695200

[startup+1002.31 s]
/proc/loadavg: 8.09 8.08 7.70 9/184 30237
/proc/meminfo: memFree=23853240/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=682512 CPUtime=4003.81 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 610216 0 0 0 400136 245 0 0 25 0 4 0 594941797 698892288 109305 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 170628 109305 392 112 0 165593 0
[pid=30199/tid=30200] ppid=30197 vsize=682512 CPUtime=1002.32 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 107093 0 0 0 100184 48 0 0 25 0 4 0 594941797 698892288 109305 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=682512 CPUtime=996.85 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 147794 0 0 0 99630 55 0 0 25 0 4 0 594941797 698892288 109305 33554432000 4194304 4650419 140733210838288 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=682512 CPUtime=1002.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 186912 0 0 0 100150 81 0 0 25 0 4 0 594941797 698892288 109305 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 682512

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 7.73 9/184 30239
/proc/meminfo: memFree=23852840/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=696048 CPUtime=4243.47 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 639241 0 0 0 424088 259 0 0 25 0 4 0 594941797 712753152 115995 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 174012 115995 392 112 0 168977 0
[pid=30199/tid=30200] ppid=30197 vsize=696048 CPUtime=1062.32 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 115870 0 0 0 106177 55 0 0 25 0 4 0 594941797 712753152 115995 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=696048 CPUtime=1056.53 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 151247 0 0 0 105596 57 0 0 25 0 4 0 594941797 712753152 115995 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=696048 CPUtime=1062.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 194249 0 0 0 106145 86 0 0 25 0 4 0 594941797 712753152 115995 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 696048

[startup+1122.3 s]
/proc/loadavg: 8.07 8.08 7.74 9/184 30241
/proc/meminfo: memFree=23757576/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=804756 CPUtime=4483.15 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 666350 0 0 0 448044 271 0 0 25 0 4 0 594941797 824070144 130953 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 201189 130953 392 112 0 196154 0
[pid=30199/tid=30200] ppid=30197 vsize=804756 CPUtime=1122.32 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 118581 0 0 0 112175 57 0 0 25 0 4 0 594941797 824070144 130953 33554432000 4194304 4650419 140733210838288 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=804756 CPUtime=1116.2 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 160849 0 0 0 111556 64 0 0 25 0 4 0 594941797 824070144 130953 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=804756 CPUtime=1122.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 200828 0 0 0 112144 87 0 0 25 0 4 0 594941797 824070144 130953 33554432000 4194304 4650419 140733210838288 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 804756

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 7.77 9/184 30242
/proc/meminfo: memFree=23826232/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=854860 CPUtime=4722.83 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 696747 0 0 0 472003 280 0 0 25 0 4 0 594941797 875376640 125796 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 213715 125796 392 112 0 208680 0
[pid=30199/tid=30200] ppid=30197 vsize=854860 CPUtime=1182.32 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 128000 0 0 0 118172 60 0 0 25 0 4 0 594941797 875376640 125796 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=854860 CPUtime=1175.87 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 166403 0 0 0 117520 67 0 0 25 0 4 0 594941797 875376640 125796 33554432000 4194304 4650419 140733210838288 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=854860 CPUtime=1182.31 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 208219 0 0 0 118143 88 0 0 25 0 4 0 594941797 875376640 125796 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 854860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 7.78 9/184 30243
/proc/meminfo: memFree=23808612/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=800944 CPUtime=4800.34 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 705729 0 0 0 479752 282 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 200236 128372 392 112 0 195201 0
[pid=30199/tid=30200] ppid=30197 vsize=800944 CPUtime=1201.72 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 128000 0 0 0 120112 60 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=800944 CPUtime=1195.17 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 169957 0 0 0 119448 69 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=800944 CPUtime=1201.71 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 210652 0 0 0 120083 88 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 800944

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

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

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 7.78 9/184 30243
/proc/meminfo: memFree=23808612/32951124 swapFree=67111348/67111528
[pid=30199] ppid=30197 vsize=800944 CPUtime=4800.34 cores=1,3,5,7
/proc/30199/stat : 30199 (strangenight1-m) R 30197 30199 30062 0 -1 4202496 705729 0 0 0 479752 282 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30199/statm: 200236 128372 392 112 0 195201 0
[pid=30199/tid=30200] ppid=30197 vsize=800944 CPUtime=1201.72 cores=1,3,5,7
/proc/30199/task/30200/stat : 30200 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 128000 0 0 0 120112 60 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30199/tid=30201] ppid=30197 vsize=800944 CPUtime=1195.17 cores=1,3,5,7
/proc/30199/task/30201/stat : 30201 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 169957 0 0 0 119448 69 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30199/tid=30202] ppid=30197 vsize=800944 CPUtime=1201.71 cores=1,3,5,7
/proc/30199/task/30202/stat : 30202 (strangenight1-m) R 30197 30199 30062 0 -1 4202560 210652 0 0 0 120083 88 0 0 25 0 4 0 594941797 820166656 128372 33554432000 4194304 4650419 140733210838288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 800944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4797.55
CPU system time (s): 2.84957
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 924880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.55
system time used= 2.84957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705729
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= 788
involuntary context switches= 35543

runsolver used 1.66375 second user time and 4.91225 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 05:18:33
IDJOB=3174896
IDBENCH=82514
IDSOLVER=1588
FILE ID=node111/3174896-1304047113
RUNJOBID= node111-1304045909-30081
PBS_JOBID= 13170403
Free space on /tmp= 70896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174896-1304047113/watcher-3174896-1304047113 -o /tmp/evaluation-result-3174896-1304047113/solver-3174896-1304047113 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174896-1304047113.cnf

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

MD5SUM BENCH= d89541d4d678adcd99dbf4694eb0406c
RANDOM SEED=395879127

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24897960 kB
Buffers:       1268112 kB
Cached:        6233628 kB
SwapCached:        124 kB
Active:        3063716 kB
Inactive:      4502112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24897960 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            7792 kB
Writeback:           0 kB
AnonPages:       63916 kB
Mapped:          14684 kB
Slab:           424164 kB
PageTables:       4296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188028 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 70884 MiB
End job on node111 at 2011-04-29 05:38:37