Trace number 3174976

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.24 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
MD5SUMd893b9743a6b7d8026df42df0d29d561
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark122.788
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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-3174976-1304064303.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.32/0.09	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.32/0.09	c -- vars added      25000
0.32/0.09	c Parsing time:  0.28 s
0.32/0.16	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.32/0.16	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.32/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
0.32/0.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.32/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.32/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.32/0.80	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
0.32/0.80	c lits-rem:         0  cl-subs:        0  v-elim:    702  v-fix:    0  time:  0.99 s
0.32/0.80	c Finding binary XORs  T:     0.02 s  found:       0
0.32/0.80	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.32/0.80	c calculated reachability. Time: 0.00
0.32/0.80	c Calc default polars -  time:   0.04 s pos:   11014 undec:    2895 neg:   11091
0.32/0.80	c =========================================================================================
0.32/0.80	c types(t): F = full restart, N = normal restart
0.32/0.80	c types(t): S = simplification begin/end, E = solution found
0.32/0.80	c restart types(rt): st = static, dy = dynamic
0.32/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.32/0.80	c  B st     0         0     24298    103878         0         0    315530         0   no data   no data  --
7.17/1.86	c  N dy    19      4188     24298    103878         0      4187    315530   1108633    135.54    145.74  --
11.96/3.01	c  N dy    46      8230     24298    103878         0      8229    315530   1953796    136.45    148.43  --
16.75/4.24	c  N dy    73     12397     24298    103878         0     12395    315530   2834319    136.65    144.93  --
21.53/5.49	c  N dy   103     16469     24298    103878         0     16467    315530   3728677    137.20    150.51  --
26.73/6.77	c  N dy   132     20536     24298    103878         0     10539    315530    704472    138.58    180.01  --
31.93/8.00	c  N dy   161     24664     24298    103878         0     14667    315530   1607452    139.56    148.95  --
32.33/8.11	c  F st   164     25003     24298    103878         0     15006    315530   1674320    139.45   no data  --
38.72/9.78	c  N dy   170     30000     24298    103878         0     20003    315530   3151010    139.45   no data  --
38.72/9.78	c  S st   170     30000     24298    103878         0     20003    315530   3151010    139.45   no data  --
39.52/9.94	c  S st   170     30502     24298    103878         0     20505    315530   3244604    139.45   no data  --
39.52/9.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39.52/9.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.91/10.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
41.50/10.46	c bin-w-bin subsume rem            0 bins  time:  0.03 s
41.50/10.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
41.50/10.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.03 s
41.50/10.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
71.07/17.84	c lits-rem:         0  cl-subs:     1894  v-elim:    138  v-fix:    0  time: 29.21 s
71.47/17.96	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.50
71.47/17.97	c calculated reachability. Time: 0.00
71.47/17.97	c  N dy   170     30502     24160    104016         0     18611    316790   2277477    139.45   no data  --
77.48/19.41	c  N dy   199     34520     24160    104016         0     22629    316790   3173675    140.02    149.26  --
83.05/20.86	c  N dy   228     38543     24160    104016         0     26652    316790   4046669    140.32    148.28  --
89.44/22.44	c  N dy   257     42664     24160    104016         0     30773    316790   4991261    140.98    156.44  --
93.83/23.54	c  S st   280     45753     24160    104016         0     18361    316790   1285415    140.93   no data  --
94.66/23.71	c  S st   280     46257     24160    104016         0     18865    316790   1381048    140.93   no data  --
94.66/23.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
94.66/23.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.06/23.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
95.43/23.97	c bin-w-bin subsume rem            0 bins  time:  0.03 s
95.43/23.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
95.43/23.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.03 s
95.83/24.00	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
108.62/27.25	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.99 s
108.62/27.27	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
108.62/27.29	c vivif2 --  cl tried    18865 cl shrink        0 lits rem          0 time: 0.08
109.42/27.41	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.49
109.42/27.42	c calculated reachability. Time: 0.01
109.42/27.42	c  N dy   280     46257     24160    104016         0     18865    316790   1381047    140.93   no data  --
115.01/28.80	c  N dy   307     50355     24160    104016         0     22963    316790   2298540    141.24    148.87  --
120.60/30.21	c  N dy   333     54441     24160    104016         0     27049    316790   3176288    141.05    152.92  --
126.19/31.68	c  N dy   361     58599     24160    104016         0     31207    316790   4111251    141.25    149.62  --
132.18/33.18	c  N dy   390     62612     24160    104016         0     35220    316790   4999788    141.28    151.57  --
138.17/34.66	c  N dy   418     66677     24160    104016         0     20534    316790   1076246    141.32    154.28  --
142.17/35.60	c  S st   437     69386     24160    104016         0     23243    316790   1706185    141.64   no data  --
142.57/35.77	c  S st   437     69887     24160    104016         0     23744    316790   1783691    141.64   no data  --
142.57/35.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
142.57/35.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.38/35.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
143.76/36.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
143.76/36.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
143.76/36.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
143.76/36.09	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
159.34/39.94	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.32 s
159.34/39.95	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.06
159.34/39.98	c vivif2 --  cl tried    23742 cl shrink        0 lits rem          0 time: 0.11
160.14/40.11	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.52
160.14/40.12	c calculated reachability. Time: 0.00
160.14/40.12	c  N dy   437     69887     24160    104016         0     23742    316790   1781742    141.64   no data  --
166.13/41.67	c  N dy   472     74412     24160    104016         0     28266    316790   2798015    141.91    161.68  --
172.92/43.31	c  N dy   505     79177     24160    104016         0     33031    316790   3827349    142.08    164.17  --
180.11/45.14	c  N dy   539     84267     24160    104016         0     38121    316790   4963485    142.13    155.18  --
184.90/46.34	c  F st   563     87502     24160    104016         0     41356    316790   5693723    142.11   no data  --
189.70/47.57	c  N st   568     90801     24160    104016         0     23784    316790   1483022    142.11   no data  --
197.69/49.58	c  N dy   598     96604     24160    104016         0     29587    316790   2929762    142.23    173.36  --
206.87/51.88	c  N dy   644    102924     24160    104016         0     35907    316790   4347743    142.39    157.05  --
210.08/52.61	c  S st   659    104831     24160    104016         0     37814    316790   4792604    142.57   no data  --
210.87/52.82	c  S st   659    105335     24160    104016         0     38318    316790   4873970    142.57   no data  --
210.87/52.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
210.87/52.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.27/52.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
212.87/53.38	c bin-w-bin subsume rem            0 bins  time:  0.03 s
212.87/53.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
212.87/53.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.03 s
213.29/53.41	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
403.40/101.03	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 189.56 s
403.40/101.04	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
403.80/101.11	c vivif2 --  cl tried    38314 cl shrink        0 lits rem          0 time: 0.28
404.20/101.28	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.65
404.20/101.28	c calculated reachability. Time: 0.01
404.20/101.28	c  N dy   659    105335     24160    104016         0     38314    316790   4871204    142.57   no data  --
414.59/103.84	c  N dy   707    112093     24160    104016         0     22634    316790    644501    142.71    165.99  --
424.60/106.32	c  N dy   759    119299     24160    104016         0     29840    316790   2319565    143.08    167.74  --
435.36/109.03	c  N dy   807    126987     24160    104016         0     37527    316790   4025537    142.98    151.88  --
447.74/112.18	c  N dy   867    135370     24160    104016         0     45909    316790   5935323    143.18    153.04  --
460.52/115.30	c  N dy   928    144055     24160    104016         0     30880    316790   2208619    143.21    161.89  --
473.71/118.60	c  N dy   991    153301     24160    104016         0     40124    316790   4238868    143.16    151.41  --
480.51/120.37	c  S st  1023    158002     24160    104016         0     44825    316790   5257948    143.11   no data  --
481.32/120.57	c  S st  1023    158507     24160    104016         0     45330    316790   5329661    143.11   no data  --
481.32/120.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
481.32/120.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.09/120.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.63
483.70/121.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
483.70/121.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
483.70/121.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
483.70/121.14	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
736.18/184.33	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 251.63 s
736.18/184.34	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
736.58/184.42	c vivif2 --  cl tried    45326 cl shrink        0 lits rem          0 time: 0.32
737.35/184.60	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.71
737.35/184.61	c calculated reachability. Time: 0.00
737.35/184.61	c  N dy  1023    158507     24160    104016         0     45326    316790   5327224    143.11   no data  --
752.13/188.30	c  N dy  1089    168625     24160    104016         0     30586    316790   1779342    143.07    164.80  --
767.71/192.22	c  N dy  1158    179399     24160    104016         0     41360    316790   4198564    143.14    151.97  --
785.69/196.75	c  N dy  1241    190866     24160    104016         0     26903    316790    711105    143.29    158.28  --
804.06/201.34	c  N dy  1330    203072     24160    104016         0     39107    316790   3475459    143.49    169.32  --
825.23/206.62	c  N dy  1424    216130     24160    104016         0     52165    316790   6448955    143.72    172.66  --
846.02/211.88	c  N dy  1517    229940     24160    104016         0     39008    316790   3259488    143.81    172.52  --
858.39/214.97	c  S st  1571    237760     24160    104016         0     46828    316790   5019645    143.81   no data  --
859.21/215.19	c  S st  1571    238267     24160    104016         0     47335    316790   5103511    143.81   no data  --
859.61/215.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
859.61/215.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
859.98/215.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
861.58/215.71	c bin-w-bin subsume rem            0 bins  time:  0.03 s
861.58/215.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
861.58/215.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
861.58/215.74	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1098.86/275.17	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 237.03 s
1098.86/275.18	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
1099.26/275.26	c vivif2 --  cl tried    47333 cl shrink        0 lits rem          0 time: 0.31
1100.06/275.45	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.75
1100.06/275.46	c calculated reachability. Time: 0.00
1100.06/275.46	c  N dy  1571    238267     24160    104016         0     47333    316790   5103078    143.81   no data  --
1124.43/281.52	c  N dy  1677    253679     24160    104016         0     34763    316790   2011658    143.96    152.48  --
1150.79/288.14	c  N dy  1791    270005     24160    104016         0     51089    316790   5725509    144.03    152.85  --
1177.55/294.83	c  N dy  1907    287303     24160    104016         0     39400    316790   2882268    144.19    153.39  --
1206.34/302.06	c  N dy  2031    305812     24160    104016         0     57906    316790   7121776    144.31    153.49  --
1207.11/302.25	c  F st  2035    306252     24160    104016         0     58346    316790   7222820    144.31    123.19  --
1237.49/309.88	c  N dy  2139    325399     24160    104016         0     47498    316790   4882038    144.44    154.10  --
1270.62/318.14	c  N dy  2278    345423     24160    104016         0     36522    316790   1722006    144.54    155.70  --
1289.40/322.86	c  S st  2361    357400     24160    104016         0     48498    316790   4436198    144.56   no data  --
1290.22/323.09	c  S st  2361    357903     24160    104016         0     49001    316790   4527771    144.56   no data  --
1290.59/323.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1290.59/323.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1290.99/323.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1292.20/323.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1292.20/323.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1292.20/323.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
1292.59/323.60	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1460.37/365.62	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 167.44 s
1460.37/365.64	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
1460.77/365.71	c vivif2 --  cl tried    48998 cl shrink        0 lits rem          0 time: 0.28
1461.19/365.90	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.76
1461.59/365.91	c calculated reachability. Time: 0.00
1461.59/365.91	c  N dy  2361    357903     24160    104016         0     48998    316790   4526840    144.56   no data  --
1495.12/374.30	c  N dy  2505    378165     24160    104016         0     37265    316790   1645328    144.68    154.39  --
1528.67/382.77	c  N dy  2645    398335     24160    104016         0     57433    316790   6236516    144.76    163.47  --
1563.43/391.40	c  N dy  2782    418363     24160    104016         0     44462    316790   3113865    144.96    154.53  --
1598.18/400.19	c  N dy  2928    438389     24160    104016         0     64484    316790   7675734    144.99    157.75  --
1632.14/408.62	c  N dy  3068    458394     24160    104016         0     50488    316790   4240797    145.14    155.03  --
1667.71/417.58	c  N dy  3195    478430     24160    104016         0     35527    316790    577343    145.11    176.30  --
1701.24/425.90	c  N dy  3328    498500     24160    104016         0     55596    316790   5118290    145.12    153.20  --
1738.02/435.13	c  N dy  3455    518642     24160    104016         0     39741    316790   1305332    145.16    156.48  --
1767.55/442.59	c  S st  3581    536854     24160    104016         0     57952    316790   5448596    145.23   no data  --
1768.77/442.82	c  S st  3581    537359     24160    104016         0     58457    316790   5530658    145.23   no data  --
1768.77/442.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1768.77/442.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1769.54/443.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1770.74/443.38	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1770.74/443.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1771.14/443.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
1771.14/443.41	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2055.15/514.54	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 283.43 s
2055.15/514.55	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
2055.55/514.63	c vivif2 --  cl tried    58452 cl shrink        0 lits rem          0 time: 0.33
2056.35/514.84	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.83
2056.35/514.85	c calculated reachability. Time: 0.00
2056.35/514.85	c  N dy  3581    537359     24160    104016         0     58452    316790   5528938    145.23   no data  --
2089.92/523.21	c  N dy  3706    557672     24160    104016         0     41763    316790   1527693    145.18    153.11  --
2121.85/531.21	c  N dy  3842    577699     24160    104016         0     61789    316790   6102390    145.20    159.38  --
2155.01/539.55	c  N dy  3965    597772     24160    104016         0     43867    316790   1748232    145.12    159.25  --
2187.36/547.66	c  N dy  4108    617829     24160    104016         0     63922    316790   6326804    145.17    154.97  --
2221.74/556.25	c  N dy  4248    637977     24160    104016         0     45070    316790   1835983    145.25    155.37  --
2254.07/564.33	c  N dy  4385    658012     24160    104016         0     65102    316790   6386669    145.27    162.72  --
2288.02/572.85	c  N dy  4519    678021     24160    104016         0     45118    316790   1612052    145.29    153.28  --
2320.77/581.02	c  N dy  4657    698056     24160    104016         0     65151    316790   6192991    145.33    155.35  --
2355.53/589.76	c  N dy  4797    718182     24160    104016         0     44279    316790   1201972    145.37    154.33  --
2387.88/597.89	c  N dy  4938    738227     24160    104016         0     64322    316790   5839239    145.43    156.95  --
2424.23/606.91	c  N dy  5074    758478     24160    104016         0     42566    316790    600605    145.43    153.64  --
2455.77/614.85	c  N dy  5207    778526     24160    104016         0     62613    316790   5171863    145.43    164.50  --
2491.73/623.82	c  N dy  5352    798543     24160    104016         0     82629    316790   9769526    145.50    153.97  --
2504.12/626.97	c  S st  5395    806038     24160    104016         0     47131    316790   1408514    145.48    145.87  --
2504.92/627.18	c  S st  5395    806539     24160    104016         0     47632    316790   1489522    145.48   no data  --
2504.92/627.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2504.92/627.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2505.71/627.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
2506.11/627.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2506.11/627.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2506.11/627.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
2506.51/627.50	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2520.51/631.06	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.19 s
2520.51/631.07	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
2520.51/631.09	c vivif2 --  cl tried    47632 cl shrink        0 lits rem          0 time: 0.10
2521.28/631.27	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.71
2521.28/631.28	c calculated reachability. Time: 0.01
2521.28/631.28	c  N dy  5395    806539     24160    104016         0     47632    316790   1489521    145.48   no data  --
2554.04/639.43	c  N dy  5528    826627     24160    104016         0     67720    316790   6012149    145.47    156.35  --
2590.00/648.46	c  N dy  5659    846641     24160    104016         0     87734    316790  10624803    145.48    176.53  --
2622.74/656.61	c  N dy  5797    866740     24160    104016         0     63832    316790   5037505    145.51    154.37  --
2661.11/666.21	c  N dy  5943    886831     24160    104016         0     83921    316790   9686018    145.58    156.29  --
2698.24/675.52	c  N dy  6087    906989     24160    104016         0     59079    316790   3767730    145.65    156.74  --
2735.81/684.94	c  N dy  6222    927080     24160    104016         0     79168    316790   8363682    145.67    156.54  --
2774.14/694.51	c  N dy  6351    947117     24160    104016         0     53208    316790   2121186    145.66    154.32  --
2810.89/703.77	c  N dy  6482    967176     24160    104016         0     73267    316790   6784317    145.66    153.49  --
2852.03/714.04	c  N dy  6625    987327     24160    104016         0     93418    316790  11438313    145.71    154.88  --
2887.58/722.95	c  N dy  6763   1007384     24160    104016         0     66480    316790   4969933    145.72    156.98  --
2926.33/732.67	c  N dy  6892   1027402     24160    104016         0     86496    316790   9555691    145.71    155.10  --
2964.67/742.24	c  N dy  7023   1047684     24160    104016         0     58780    316790   2966587    145.70    153.94  --
3001.83/751.59	c  N dy  7161   1067723     24160    104016         0     78818    316790   7481133    145.70    156.91  --
3010.21/753.61	c  F st  7188   1071875     24160    104016         0     82970    316790   8427417    145.70   no data  --
3043.00/761.83	c  N dy  7268   1087752     24160    104016         0     49846    316790    681055    145.69    154.52  --
3078.92/770.83	c  N dy  7406   1107808     24160    104016         0     69899    316790   5289316    145.72    154.07  --
3117.70/780.52	c  N dy  7543   1127976     24160    104016         0     90066    316790   9992037    145.73    153.92  --
3155.62/790.02	c  N dy  7682   1148134     24160    104016         0     60227    316790   2882271    145.79    157.29  --
3192.79/799.37	c  N dy  7812   1168147     24160    104016         0     80240    316790   7507358    145.82    154.74  --
3231.52/809.06	c  N dy  7944   1188225     24160    104016         0    100318    316790  12089169    145.80    154.01  --
3265.87/817.64	c  N dy  8083   1208292     24160    104016         0     69389    316790   4718478    145.80    154.34  --
3268.67/818.32	c  S st  8094   1209808     24160    104016         0     70905    316790   5057776    145.80   no data  --
3269.47/818.56	c  S st  8094   1210313     24160    104016         0     71410    316790   5148124    145.80   no data  --
3269.47/818.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3269.47/818.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3270.26/818.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3271.48/819.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3271.48/819.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3271.88/819.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
3271.88/819.11	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3530.72/883.90	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 258.37 s
3530.72/883.92	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
3530.72/884.00	c vivif2 --  cl tried    71405 cl shrink        0 lits rem          0 time: 0.32
3531.89/884.23	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.92
3531.89/884.24	c calculated reachability. Time: 0.00
3531.89/884.24	c  N dy  8094   1210313     24160    104016         0     71405    316790   5145754    145.80   no data  --
3568.24/893.39	c  N dy  8228   1230461     24160    104016         0     91551    316790   9787122    145.81    153.66  --
3605.40/902.66	c  N dy  8361   1250523     24160    104016         0     59614    316790   2225415    145.79    162.49  --
3640.95/911.54	c  N dy  8500   1270647     24160    104016         0     79736    316790   6891355    145.82    154.64  --
3679.28/921.19	c  N dy  8640   1290709     24160    104016         0     99796    316790  11525845    145.86    205.01  --
3715.25/930.19	c  N dy  8779   1310825     24160    104016         0     66915    316790   3706981    145.89    156.56  --
3751.58/939.23	c  N dy  8915   1330879     24160    104016         0     86968    316790   8298180    145.91    161.04  --
3791.92/949.34	c  N dy  9052   1351087     24160    104016         0    107173    316790  12920368    145.91    154.57  --
3826.67/958.04	c  N dy  9192   1371160     24160    104016         0     73249    316790   4993381    145.95    181.85  --
3863.82/967.38	c  N dy  9330   1391317     24160    104016         0     93405    316790   9538026    145.94    154.30  --
3903.77/977.37	c  N dy  9473   1411393     24160    104016         0     58482    316790   1303053    145.98    172.11  --
3938.52/986.00	c  N dy  9609   1431406     24160    104016         0     78494    316790   5880636    145.99    198.45  --
3976.87/995.62	c  N dy  9743   1451454     24160    104016         0     98541    316790  10579372    146.04    154.42  --
4015.61/1005.36	c  N dy  9880   1471491     24160    104016         0     62579    316790   2057488    146.05    160.09  --
4051.56/1014.35	c  N dy 10009   1491541     24160    104016         0     82626    316790   6616839    146.03    156.11  --
4093.12/1024.72	c  N dy 10150   1511548     24160    104016         0    102627    316790  11262484    146.06    159.78  --
4133.44/1034.84	c  N dy 10284   1531655     24160    104016         0     65736    316790   2528334    146.06    158.15  --
4171.79/1044.46	c  N dy 10414   1551834     24160    104016         0     85914    316790   7112463    146.06    157.13  --
4215.34/1055.32	c  N dy 10549   1571959     24160    104016         0    106037    316790  11719418    146.07    154.47  --
4256.88/1065.76	c  N dy 10691   1592063     24160    104016         0     68143    316790   2890238    146.09    154.14  --
4297.22/1075.81	c  N dy 10831   1612141     24160    104016         0     88218    316790   7553673    146.11    165.67  --
4340.76/1086.70	c  N dy 10961   1632331     24160    104016         0    108407    316790  12170994    146.11    156.58  --
4382.31/1097.18	c  N dy 11097   1652464     24160    104016         0     69548    316790   2992411    146.14    155.91  --
4422.68/1107.21	c  N dy 11233   1672613     24160    104016         0     89696    316790   7630551    146.16    156.96  --
4464.60/1117.78	c  N dy 11369   1692724     24160    104016         0    109807    316790  12199559    146.17    155.59  --
4501.35/1127.00	c  S st 11495   1710314     24160    104016         0     67406    316790   2229959    146.17   no data  --
4502.54/1127.24	c  S st 11495   1710820     24160    104016         0     67912    316790   2320939    146.17   no data  --
4502.54/1127.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4502.54/1127.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4503.34/1127.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4504.15/1127.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4504.15/1127.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4504.15/1127.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
4504.15/1127.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4532.53/1134.75	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.26 s
4532.53/1134.76	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.06
4532.53/1134.80	c vivif2 --  cl tried    67911 cl shrink        0 lits rem          0 time: 0.17
4533.70/1135.03	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.91
4533.70/1135.04	c calculated reachability. Time: 0.00
4533.70/1135.04	c  N dy 11495   1710820     24160    104016         0     67911    316790   2320869    146.17   no data  --
4571.66/1144.58	c  N dy 11630   1730900     24160    104016         0     87990    316790   6891818    146.16    154.90  --
4613.59/1155.00	c  N dy 11761   1750994     24160    104016         0    108084    316790  11460264    146.14    172.04  --
4655.96/1165.69	c  N dy 11898   1771085     24160    104016         0     67170    316790   1991769    146.16    154.35  --
4694.28/1175.27	c  N dy 12036   1791179     24160    104016         0     87264    316790   6553195    146.15    154.29  --
4736.22/1185.77	c  N dy 12173   1811250     24160    104016         0    107334    316790  11191806    146.18    158.69  --
4780.17/1196.78	c  N dy 12308   1831327     24160    104016         0     65417    316790   1361802    146.18    220.35  --

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-3174976-1304064303/watcher-3174976-1304064303 -o /tmp/evaluation-result-3174976-1304064303/solver-3174976-1304064303 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174976-1304064303.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: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 415 0 0 0 1 0 0 0 25 0 4 0 518028559 52465664 354 33554432000 4194304 4650419 140734251319536 18446744073709551615 47350894647208 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 12809 354 303 112 0 7774 0
[pid=6498/tid=6499] ppid=6496 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518028559 52465664 354 33554432000 4194304 4650419 140734251319536 18446744073709551615 47350894647218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518028559 52465664 354 33554432000 4194304 4650419 140734251319536 18446744073709551615 47350894647218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518028559 52465664 354 33554432000 4194304 4650419 140734251319536 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0902511 s]
/proc/loadavg: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=310064 CPUtime=0.32 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 17814 0 0 0 29 3 0 0 18 0 4 0 518028559 317505536 15689 33554432000 4194304 4650419 140734251319536 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 77516 15691 345 112 0 72481 0
[pid=6498/tid=6499] ppid=6496 vsize=310064 CPUtime=0.07 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 4353 0 0 0 7 0 0 0 18 0 4 0 518028559 317505536 15691 33554432000 4194304 4650419 140734251319536 18446744073709551615 246516877447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=310060 CPUtime=0.07 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 4337 0 0 0 7 0 0 0 18 0 4 0 518028559 317501440 15691 33554432000 4194304 4650419 140734251319536 18446744073709551615 246516877447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=310060 CPUtime=0.06 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) S 6496 6498 6256 0 -1 4202560 4356 0 0 0 6 0 0 0 18 0 4 0 518028559 317501440 15698 33554432000 4194304 4650419 140734251319536 18446744073709551615 246516939246 0 0 4096 2 18446604471133476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 310064

[startup+0.234177 s]
/proc/loadavg: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=338276 CPUtime=3.4 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 35176 0 0 0 334 6 0 0 19 0 4 0 518028559 346394624 29591 33554432000 4194304 4650419 140734251319536 18446744073709551615 4331159 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 84569 29591 391 112 0 79534 0
[pid=6498/tid=6499] ppid=6496 vsize=338276 CPUtime=0.84 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 9701 0 0 0 83 1 0 0 19 0 4 0 518028559 346394624 29591 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=338276 CPUtime=0.85 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 10322 0 0 0 83 2 0 0 19 0 4 0 518028559 346394624 29591 33554432000 4194304 4650419 140734251319536 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=338276 CPUtime=0.83 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 4911 0 0 0 83 0 0 0 19 0 4 0 518028559 346394624 29591 33554432000 4194304 4650419 140734251319536 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 338276

[startup+0.961501 s]
/proc/loadavg: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=338276 CPUtime=3.8 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 35534 0 0 0 374 6 0 0 19 0 4 0 518028559 346394624 29949 33554432000 4194304 4650419 140734251319536 18446744073709551615 4334352 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 84569 29949 391 112 0 79534 0
[pid=6498/tid=6499] ppid=6496 vsize=338276 CPUtime=0.94 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 9791 0 0 0 93 1 0 0 19 0 4 0 518028559 346394624 29949 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=338276 CPUtime=0.95 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 10416 0 0 0 93 2 0 0 19 0 4 0 518028559 346394624 29949 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=338276 CPUtime=0.93 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 4985 0 0 0 93 0 0 0 19 0 4 0 518028559 346394624 29949 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 338276

[startup+1.06148 s]
/proc/loadavg: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=338276 CPUtime=4.2 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 35932 0 0 0 414 6 0 0 19 0 4 0 518028559 346394624 30347 33554432000 4194304 4650419 140734251319536 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 84569 30348 391 112 0 79534 0
[pid=6498/tid=6499] ppid=6496 vsize=338276 CPUtime=1.04 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 9873 0 0 0 103 1 0 0 19 0 4 0 518028559 346394624 30348 33554432000 4194304 4650419 140734251319536 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=338276 CPUtime=1.05 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 10521 0 0 0 103 2 0 0 19 0 4 0 518028559 346394624 30348 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=338276 CPUtime=1.03 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 5060 0 0 0 103 0 0 0 19 0 4 0 518028559 346394624 30348 33554432000 4194304 4650419 140734251319536 18446744073709551615 4229503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 338276

[startup+1.5004 s]
/proc/loadavg: 8.31 8.22 8.01 7/184 6498
/proc/meminfo: memFree=25043620/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=338276 CPUtime=5.96 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 37390 0 0 0 589 7 0 0 20 0 4 0 518028559 346394624 31805 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 84569 31805 391 112 0 79534 0
[pid=6498/tid=6499] ppid=6496 vsize=338276 CPUtime=1.48 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 10232 0 0 0 147 1 0 0 20 0 4 0 518028559 346394624 31805 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=338276 CPUtime=1.49 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 10897 0 0 0 147 2 0 0 19 0 4 0 518028559 346394624 31805 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=338276 CPUtime=1.48 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 5395 0 0 0 147 1 0 0 20 0 4 0 518028559 346394624 31805 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364788 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) 338276

[startup+3.10111 s]
/proc/loadavg: 8.28 8.22 8.01 10/188 6502
/proc/meminfo: memFree=24858176/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=371096 CPUtime=12.36 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 42535 0 0 0 1227 9 0 0 25 0 4 0 518028559 380002304 36950 33554432000 4194304 4650419 140734251319536 18446744073709551615 4330922 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 92774 36950 391 112 0 87739 0
[pid=6498/tid=6499] ppid=6496 vsize=371096 CPUtime=3.08 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 11397 0 0 0 306 2 0 0 25 0 4 0 518028559 380002304 36950 33554432000 4194304 4650419 140734251319536 18446744073709551615 4419157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=371096 CPUtime=3.09 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 12098 0 0 0 307 2 0 0 25 0 4 0 518028559 380002304 36950 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=371096 CPUtime=3.06 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 6968 0 0 0 305 1 0 0 25 0 4 0 518028559 380002304 36950 33554432000 4194304 4650419 140734251319536 18446744073709551615 4328370 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 371096

[startup+6.30053 s]
/proc/loadavg: 8.28 8.22 8.01 10/188 6502
/proc/meminfo: memFree=24781916/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=477988 CPUtime=25.13 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 53673 0 0 0 2502 11 0 0 25 0 4 0 518028559 489459712 43063 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364461 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 119497 43063 393 112 0 114462 0
[pid=6498/tid=6499] ppid=6496 vsize=477988 CPUtime=6.28 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 13692 0 0 0 626 2 0 0 25 0 4 0 518028559 489459712 43063 33554432000 4194304 4650419 140734251319536 18446744073709551615 4331159 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=477988 CPUtime=6.28 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 14336 0 0 0 626 2 0 0 25 0 4 0 518028559 489459712 43063 33554432000 4194304 4650419 140734251319536 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=477988 CPUtime=6.25 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 11308 0 0 0 623 2 0 0 25 0 4 0 518028559 489459712 43063 33554432000 4194304 4650419 140734251319536 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 477988

[startup+12.7004 s]
/proc/loadavg: 8.24 8.21 8.01 11/188 6502
/proc/meminfo: memFree=24634412/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=672224 CPUtime=50.71 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 99541 0 0 0 5048 23 0 0 25 0 4 0 518028559 688357376 73288 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 168056 73289 395 112 0 163021 0
[pid=6498/tid=6499] ppid=6496 vsize=672224 CPUtime=12.69 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 27003 0 0 0 1264 5 0 0 25 0 4 0 518028559 688357376 73302 33554432000 4194304 4650419 140734251319536 18446744073709551615 246516495045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=672224 CPUtime=12.69 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 20538 0 0 0 1265 4 0 0 25 0 4 0 518028559 688357376 73304 33554432000 4194304 4650419 140734251319536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=672224 CPUtime=12.62 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 15906 0 0 0 1258 4 0 0 25 0 4 0 518028559 688357376 73306 33554432000 4194304 4650419 140734251319536 18446744073709551615 4360332 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 672224

[startup+25.501 s]
/proc/loadavg: 8.20 8.20 8.01 10/188 6502
/proc/meminfo: memFree=24435940/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=760904 CPUtime=101.82 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 166392 0 0 0 10141 41 0 0 25 0 4 0 518028559 779165696 113372 33554432000 4194304 4650419 140734251319536 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 190226 113372 395 112 0 185191 0
[pid=6498/tid=6499] ppid=6496 vsize=760904 CPUtime=25.48 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 44720 0 0 0 2541 7 0 0 25 0 4 0 518028559 779165696 113372 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=760904 CPUtime=25.48 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 36492 0 0 0 2538 10 0 0 25 0 4 0 518028559 779165696 113372 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=760904 CPUtime=25.35 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 41075 0 0 0 2524 11 0 0 25 0 4 0 518028559 779165696 113372 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364461 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 760904

[startup+51.1003 s]
/proc/loadavg: 8.35 8.24 8.02 10/188 6503
/proc/meminfo: memFree=24321072/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=803944 CPUtime=204.08 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 242025 0 0 0 20345 63 0 0 25 0 4 0 518028559 823238656 130068 33554432000 4194304 4650419 140734251319536 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 200986 130068 395 112 0 195951 0
[pid=6498/tid=6499] ppid=6496 vsize=803944 CPUtime=51.08 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 54171 0 0 0 5098 10 0 0 25 0 4 0 518028559 823238656 130068 33554432000 4194304 4650419 140734251319536 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=803944 CPUtime=51.08 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 63859 0 0 0 5091 17 0 0 25 0 4 0 518028559 823238656 130068 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=803944 CPUtime=50.81 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 58911 0 0 0 5064 17 0 0 25 0 4 0 518028559 823238656 130068 33554432000 4194304 4650419 140734251319536 18446744073709551615 4439375 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 803944

[startup+102.301 s]
/proc/loadavg: 8.41 8.26 8.04 10/188 6504
/proc/meminfo: memFree=24208080/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=989164 CPUtime=408.6 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 607454 0 0 0 40728 132 0 0 25 0 4 0 518028559 1012903936 157613 33554432000 4194304 4650419 140734251319536 18446744073709551615 4329622 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 247291 157613 395 112 0 242256 0
[pid=6498/tid=6499] ppid=6496 vsize=989164 CPUtime=102.28 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 79358 0 0 0 10210 18 0 0 25 0 4 0 518028559 1012903936 157613 33554432000 4194304 4650419 140734251319536 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=989164 CPUtime=102.29 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 92516 0 0 0 10200 29 0 0 25 0 4 0 518028559 1012903936 157615 33554432000 4194304 4650419 140734251319536 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=989164 CPUtime=101.72 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 87061 0 0 0 10144 28 0 0 25 0 4 0 518028559 1012903936 157616 33554432000 4194304 4650419 140734251319536 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 989164

[startup+162.301 s]

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

[pid=6498] ppid=6496 vsize=1417136 CPUtime=2565.62 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 2804308 0 0 0 255900 662 0 0 25 0 4 0 518028559 1451147264 275622 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364562 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 354284 275622 395 112 0 349249 0
[pid=6498/tid=6499] ppid=6496 vsize=1417136 CPUtime=642.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 275940 0 0 0 64123 104 0 0 25 0 4 0 518028559 1451147264 275622 33554432000 4194304 4650419 140734251319536 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1417136 CPUtime=642.28 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 789637 0 0 0 64031 197 0 0 25 0 4 0 518028559 1451147264 275622 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1417136 CPUtime=638.76 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 834798 0 0 0 63689 187 0 0 25 0 4 0 518028559 1451147264 275622 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.62
Current children cumulated vsize (KiB) 1417136

[startup+702.3 s]
/proc/loadavg: 8.26 8.21 8.10 10/188 6520
/proc/meminfo: memFree=23523868/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1417956 CPUtime=2805.29 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 2876244 0 0 0 279833 696 0 0 25 0 4 0 518028559 1451986944 269402 33554432000 4194304 4650419 140734251319536 18446744073709551615 4330952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 354489 269402 395 112 0 349454 0
[pid=6498/tid=6499] ppid=6496 vsize=1417956 CPUtime=702.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 282104 0 0 0 70121 106 0 0 25 0 4 0 518028559 1451986944 269402 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1417956 CPUtime=702.28 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 813278 0 0 0 70018 210 0 0 25 0 4 0 518028559 1451986944 269402 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1417956 CPUtime=698.45 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 846971 0 0 0 69652 193 0 0 25 0 4 0 518028559 1451986944 269402 33554432000 4194304 4650419 140734251319536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 1417956

[startup+762.3 s]
/proc/loadavg: 8.16 8.20 8.10 10/188 6522
/proc/meminfo: memFree=23494824/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1361976 CPUtime=3044.97 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 2934939 0 0 0 303767 730 0 0 25 0 4 0 518028559 1394663424 274851 33554432000 4194304 4650419 140734251319536 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 340494 274851 395 112 0 335459 0
[pid=6498/tid=6499] ppid=6496 vsize=1361976 CPUtime=762.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 282104 0 0 0 76121 106 0 0 25 0 4 0 518028559 1394663424 274851 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1361976 CPUtime=762.28 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 813278 0 0 0 76018 210 0 0 25 0 4 0 518028559 1394663424 274851 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1361976 CPUtime=758.11 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 876968 0 0 0 75601 210 0 0 25 0 4 0 518028559 1394663424 274851 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.97
Current children cumulated vsize (KiB) 1361976

[startup+822.3 s]
/proc/loadavg: 8.23 8.22 8.11 10/188 6523
/proc/meminfo: memFree=23503340/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1425540 CPUtime=3284.66 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 3021976 0 0 0 327693 773 0 0 25 0 4 0 518028559 1459752960 272003 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 356385 272003 395 112 0 351350 0
[pid=6498/tid=6499] ppid=6496 vsize=1425540 CPUtime=822.28 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 291326 0 0 0 82119 109 0 0 25 0 4 0 518028559 1459752960 272003 33554432000 4194304 4650419 140734251319536 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1425540 CPUtime=822.29 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 837468 0 0 0 82007 222 0 0 25 0 4 0 518028559 1459752960 272003 33554432000 4194304 4650419 140734251319536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1425540 CPUtime=817.78 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 903975 0 0 0 81553 225 0 0 25 0 4 0 518028559 1459752960 272003 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 1425540

[startup+882.3 s]
/proc/loadavg: 8.12 8.19 8.10 10/188 6525
/proc/meminfo: memFree=23440048/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1379852 CPUtime=3524.3 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 3108059 0 0 0 351617 813 0 0 25 0 4 0 518028559 1412968448 276061 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 344963 276061 395 112 0 339928 0
[pid=6498/tid=6499] ppid=6496 vsize=1379852 CPUtime=882.28 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 318176 0 0 0 88104 124 0 0 25 0 4 0 518028559 1412968448 276061 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1379852 CPUtime=882.27 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 868760 0 0 0 87992 235 0 0 25 0 4 0 518028559 1412968448 276061 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1379852 CPUtime=877.45 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 931916 0 0 0 87508 237 0 0 25 0 4 0 518028559 1412968448 276061 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.3
Current children cumulated vsize (KiB) 1379852

[startup+942.307 s]
/proc/loadavg: 8.20 8.20 8.11 10/188 6527
/proc/meminfo: memFree=23476336/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1380776 CPUtime=3763.99 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 3217252 0 0 0 375547 852 0 0 25 0 4 0 518028559 1413914624 276435 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 345194 276435 395 112 0 340159 0
[pid=6498/tid=6499] ppid=6496 vsize=1380776 CPUtime=942.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 342444 0 0 0 94095 132 0 0 25 0 4 0 518028559 1413914624 276435 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1380776 CPUtime=942.28 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 897105 0 0 0 93983 245 0 0 25 0 4 0 518028559 1413914624 276435 33554432000 4194304 4650419 140734251319536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1380776 CPUtime=937.13 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 960729 0 0 0 93465 248 0 0 25 0 4 0 518028559 1413914624 276435 33554432000 4194304 4650419 140734251319536 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 1380776

[startup+1002.3 s]
/proc/loadavg: 8.15 8.18 8.10 10/188 6528
/proc/meminfo: memFree=23391864/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1395912 CPUtime=4003.63 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 3327094 0 0 0 399461 902 0 0 25 0 4 0 518028559 1429413888 295005 33554432000 4194304 4650419 140734251319536 18446744073709551615 4315636 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 348978 295005 395 112 0 343943 0
[pid=6498/tid=6499] ppid=6496 vsize=1395912 CPUtime=1002.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 368906 0 0 0 100082 145 0 0 25 0 4 0 518028559 1429413888 295005 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1395912 CPUtime=1002.27 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 921880 0 0 0 99971 256 0 0 25 0 4 0 518028559 1429413888 295005 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1395912 CPUtime=996.78 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 987853 0 0 0 99419 259 0 0 25 0 4 0 518028559 1429413888 295005 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 1395912

[startup+1062.3 s]
/proc/loadavg: 8.16 8.17 8.10 10/188 6530
/proc/meminfo: memFree=23353648/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1462456 CPUtime=4243.3 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 3691749 0 0 0 423354 976 0 0 25 0 4 0 518028559 1497554944 302517 33554432000 4194304 4650419 140734251319536 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 365614 302517 395 112 0 360579 0
[pid=6498/tid=6499] ppid=6496 vsize=1462456 CPUtime=1062.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 382556 0 0 0 106077 150 0 0 25 0 4 0 518028559 1497554944 302517 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1462456 CPUtime=1062.27 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1219804 0 0 0 105926 301 0 0 25 0 4 0 518028559 1497554944 302517 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1462456 CPUtime=1056.45 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1013447 0 0 0 105374 271 0 0 25 0 4 0 518028559 1497554944 302517 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1462456

[startup+1122.3 s]
/proc/loadavg: 8.13 8.16 8.10 10/188 6531
/proc/meminfo: memFree=23315912/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1535700 CPUtime=4482.98 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 4086190 0 0 0 447238 1060 0 0 25 0 4 0 518028559 1572556800 310768 33554432000 4194304 4650419 140734251319536 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 383925 310769 395 112 0 378890 0
[pid=6498/tid=6499] ppid=6496 vsize=1535700 CPUtime=1122.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 389626 0 0 0 112074 153 0 0 25 0 4 0 518028559 1572556800 310769 33554432000 4194304 4650419 140734251319536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1535700 CPUtime=1122.27 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1554601 0 0 0 111877 350 0 0 25 0 4 0 518028559 1572556800 310769 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1535700 CPUtime=1116.13 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1041923 0 0 0 111326 287 0 0 25 0 4 0 518028559 1572556800 310769 33554432000 4194304 4650419 140734251319536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.98
Current children cumulated vsize (KiB) 1535700

[startup+1182.3 s]
/proc/loadavg: 8.09 8.14 8.09 10/188 6533
/proc/meminfo: memFree=23280648/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1477720 CPUtime=4722.65 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 4525033 0 0 0 471110 1155 0 0 25 0 4 0 518028559 1513185280 306516 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 369430 306516 395 112 0 364395 0
[pid=6498/tid=6499] ppid=6496 vsize=1477720 CPUtime=1182.27 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 411814 0 0 0 118062 165 0 0 25 0 4 0 518028559 1513185280 306516 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1477720 CPUtime=1182.27 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1916835 0 0 0 117824 403 0 0 25 0 4 0 518028559 1513185280 306516 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1477720 CPUtime=1175.8 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1070176 0 0 0 117278 302 0 0 25 0 4 0 518028559 1513185280 306516 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 1477720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.13 8.09 5/184 6535
/proc/meminfo: memFree=23864588/32951124 swapFree=67111352/67111528
[pid=6498] ppid=6496 vsize=1537440 CPUtime=4800.16 cores=1,3,5,7
/proc/6498/stat : 6498 (strangenight1-m) R 6496 6498 6256 0 -1 4202496 4670377 0 0 0 478834 1182 0 0 25 0 4 0 518028559 1574338560 296099 33554432000 4194304 4650419 140734251319536 18446744073709551615 4326730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6498/statm: 384360 296099 395 112 0 379325 0
[pid=6498/tid=6499] ppid=6496 vsize=1537440 CPUtime=1201.67 cores=1,3,5,7
/proc/6498/task/6499/stat : 6499 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 417948 0 0 0 120000 167 0 0 25 0 4 0 518028559 1574338560 296099 33554432000 4194304 4650419 140734251319536 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6498/tid=6500] ppid=6496 vsize=1537440 CPUtime=1201.68 cores=1,3,5,7
/proc/6498/task/6500/stat : 6500 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 2041127 0 0 0 119747 421 0 0 25 0 4 0 518028559 1574338560 296100 33554432000 4194304 4650419 140734251319536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6498/tid=6501] ppid=6496 vsize=1537440 CPUtime=1195.11 cores=1,3,5,7
/proc/6498/task/6501/stat : 6501 (strangenight1-m) R 6496 6498 6256 0 -1 4202560 1078909 0 0 0 119204 307 0 0 25 0 4 0 518028559 1574338560 296100 33554432000 4194304 4650419 140734251319536 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1537440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.24
CPU user time (s): 4788.36
CPU system time (s): 11.8792
CPU usage (%): 399.433
Max. virtual memory (cumulated for all children) (KiB): 1551840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.37
system time used= 11.8792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4670388
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= 2066
involuntary context switches= 41066

runsolver used 1.75873 second user time and 4.79827 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 10:05:04
IDJOB=3174976
IDBENCH=82594
IDSOLVER=1588
FILE ID=node134/3174976-1304064303
RUNJOBID= node134-1304061895-6275
PBS_JOBID= 13170453
Free space on /tmp= 71576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174976-1304064303/watcher-3174976-1304064303 -o /tmp/evaluation-result-3174976-1304064303/solver-3174976-1304064303 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174976-1304064303.cnf

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

MD5SUM BENCH= d893b9743a6b7d8026df42df0d29d561
RANDOM SEED=1227582423

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25043900 kB
Buffers:       1478296 kB
Cached:        5834112 kB
SwapCached:         64 kB
Active:        1437336 kB
Inactive:      5948576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25043900 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           14764 kB
Writeback:           0 kB
AnonPages:       73100 kB
Mapped:          15648 kB
Slab:           458344 kB
PageTables:       4400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   274084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71576 MiB
End job on node134 at 2011-04-29 10:25:07