Trace number 3368585

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.21/0.10	c This is CryptoMiniSat 2.9.0
0.21/0.10	c compiled with gcc version 4.4.5
0.21/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.21/0.10	c Reading file 'HOME/instance-3368585-1305397985.cnf'
0.21/0.10	c -- header says num vars:          25000
0.21/0.10	c -- header says num clauses:      105000
0.21/0.20	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.21/0.20	c -- vars added      25000
0.21/0.20	c Parsing time:  0.25 s
0.21/0.21	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.48/0.28	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.14
0.92/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.19
0.92/0.49	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.92/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.92/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.92/0.51	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
0.92/0.74	c lits-rem:         0  cl-subs:        0  v-elim:    702  v-fix:    0  time:  0.97 s
0.92/0.74	c Finding binary XORs  T:     0.02 s  found:       0
0.92/0.80	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.92/0.80	c calculated reachability. Time: 0.00
0.92/0.81	c Calc default polars -  time:   0.04 s pos:   11014 undec:    2895 neg:   11091
0.92/0.81	c =========================================================================================
0.92/0.81	c types(t): F = full restart, N = normal restart
0.92/0.81	c types(t): S = simplification begin/end, E = solution found
0.92/0.81	c restart types(rt): st = static, dy = dynamic
0.92/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.92/0.81	c  B st     0         0     24298    103878         0         0    315530         0   no data   no data  --
7.32/2.05	c  N dy    19      4188     24298    103878         0      4187    315530   1108633    135.54    145.74  --
12.11/3.22	c  N dy    46      8230     24298    103878         0      8229    315530   1953796    136.45    148.43  --
16.90/4.47	c  N dy    73     12397     24298    103878         0     12395    315530   2834319    136.65    144.93  --
22.09/5.75	c  N dy   103     16469     24298    103878         0     16467    315530   3728677    137.20    150.51  --
27.28/7.07	c  N dy   132     20536     24298    103878         0     10539    315530    704472    138.58    180.01  --
32.47/8.33	c  N dy   161     24664     24298    103878         0     14667    315530   1607452    139.56    148.95  --
32.88/8.44	c  F st   164     25003     24298    103878         0     15006    315530   1674320    139.45   no data  --
39.64/10.14	c  N dy   170     30000     24298    103878         0     20003    315530   3151010    139.45   no data  --
39.64/10.14	c  S st   170     30000     24298    103878         0     20003    315530   3151010    139.45   no data  --
40.45/10.30	c  S st   170     30502     24298    103878         0     20505    315530   3244604    139.45   no data  --
40.45/10.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.45/10.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.85/10.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
42.44/10.83	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.44/10.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.44/10.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.03 s
42.44/10.85	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
71.97/18.30	c lits-rem:         0  cl-subs:     1894  v-elim:    138  v-fix:    0  time: 29.54 s
72.81/18.44	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.55
72.81/18.44	c calculated reachability. Time: 0.01
72.81/18.44	c  N dy   170     30502     24160    104016         0     18611    316790   2277477    139.45   no data  --
78.76/19.92	c  N dy   199     34520     24160    104016         0     22629    316790   3173675    140.02    149.26  --
84.34/21.39	c  N dy   228     38543     24160    104016         0     26652    316790   4046669    140.32    148.28  --
91.12/23.01	c  N dy   257     42664     24160    104016         0     30773    316790   4991261    140.98    156.44  --
95.52/24.10	c  S st   280     45753     24160    104016         0     18361    316790   1285415    140.93   no data  --
95.92/24.27	c  S st   280     46257     24160    104016         0     18865    316790   1381048    140.93   no data  --
95.92/24.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
95.92/24.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.72/24.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
97.12/24.53	c bin-w-bin subsume rem            0 bins  time:  0.03 s
97.12/24.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
97.12/24.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
97.12/24.56	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
110.28/27.85	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 13.12 s
110.28/27.86	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
110.28/27.88	c vivif2 --  cl tried    18865 cl shrink        0 lits rem          0 time: 0.08
111.09/28.01	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.49
111.09/28.02	c calculated reachability. Time: 0.00
111.09/28.02	c  N dy   280     46257     24160    104016         0     18865    316790   1381047    140.93   no data  --
116.71/29.43	c  N dy   307     50355     24160    104016         0     22963    316790   2298540    141.24    148.87  --
122.26/30.86	c  N dy   333     54441     24160    104016         0     27049    316790   3176288    141.05    152.92  --
128.24/32.35	c  N dy   361     58599     24160    104016         0     31207    316790   4111251    141.25    149.62  --
134.27/33.88	c  N dy   390     62612     24160    104016         0     35220    316790   4999788    141.28    151.57  --
140.22/35.38	c  N dy   418     66677     24160    104016         0     20534    316790   1076246    141.32    154.28  --
144.20/36.34	c  S st   437     69386     24160    104016         0     23243    316790   1706185    141.64   no data  --
145.00/36.52	c  S st   437     69887     24160    104016         0     23744    316790   1783691    141.64   no data  --
145.00/36.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
145.00/36.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.41/36.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
146.21/36.82	c bin-w-bin subsume rem            0 bins  time:  0.03 s
146.21/36.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
146.21/36.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.03 s
146.21/36.85	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
161.76/40.73	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.44 s
161.76/40.74	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
161.76/40.77	c vivif2 --  cl tried    23742 cl shrink        0 lits rem          0 time: 0.10
162.56/40.90	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.53
162.56/40.91	c calculated reachability. Time: 0.00
162.56/40.91	c  N dy   437     69887     24160    104016         0     23742    316790   1781742    141.64   no data  --
168.55/42.49	c  N dy   472     74412     24160    104016         0     28266    316790   2798015    141.91    161.68  --
175.33/44.17	c  N dy   505     79177     24160    104016         0     33031    316790   3827349    142.08    164.17  --
182.91/46.04	c  N dy   539     84267     24160    104016         0     38121    316790   4963485    142.13    155.18  --
187.71/47.27	c  F st   563     87502     24160    104016         0     41356    316790   5693723    142.11   no data  --
192.89/48.51	c  N st   568     90801     24160    104016         0     23784    316790   1483022    142.11   no data  --
200.87/50.57	c  N dy   598     96604     24160    104016         0     29587    316790   2929762    142.23    173.36  --
210.45/52.97	c  N dy   644    102924     24160    104016         0     35907    316790   4347743    142.39    157.05  --
213.64/53.74	c  S st   659    104831     24160    104016         0     37814    316790   4792604    142.57   no data  --
214.44/53.94	c  S st   659    105335     24160    104016         0     38318    316790   4873970    142.57   no data  --
214.44/53.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
214.44/53.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.24/54.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.59
216.44/54.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
216.44/54.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
216.44/54.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
216.44/54.49	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
409.60/102.80	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 192.13 s
409.60/102.81	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
409.60/102.88	c vivif2 --  cl tried    38314 cl shrink        0 lits rem          0 time: 0.28
410.41/103.06	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.69
410.41/103.06	c calculated reachability. Time: 0.00
410.41/103.06	c  N dy   659    105335     24160    104016         0     38314    316790   4871204    142.57   no data  --
420.77/105.66	c  N dy   707    112093     24160    104016         0     22634    316790    644501    142.71    165.99  --
430.75/108.19	c  N dy   759    119299     24160    104016         0     29840    316790   2319565    143.08    167.74  --
441.92/110.95	c  N dy   807    126987     24160    104016         0     37527    316790   4025537    142.98    151.88  --
454.73/114.16	c  N dy   867    135370     24160    104016         0     45909    316790   5935323    143.18    153.04  --
467.48/117.34	c  N dy   928    144055     24160    104016         0     30880    316790   2208619    143.21    161.89  --
481.08/120.71	c  N dy   991    153301     24160    104016         0     40124    316790   4238868    143.16    151.41  --
488.62/122.63	c  S st  1023    158002     24160    104016         0     44825    316790   5257948    143.11   no data  --
489.43/122.85	c  S st  1023    158507     24160    104016         0     45330    316790   5329661    143.11   no data  --
489.43/122.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
489.43/122.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
490.21/123.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.63
491.81/123.43	c bin-w-bin subsume rem            0 bins  time:  0.03 s
491.81/123.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
491.81/123.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
491.81/123.45	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
747.23/187.49	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 254.74 s
747.63/187.50	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
747.63/187.58	c vivif2 --  cl tried    45326 cl shrink        0 lits rem          0 time: 0.32
748.44/187.77	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.75
748.44/187.78	c calculated reachability. Time: 0.00
748.44/187.78	c  N dy  1023    158507     24160    104016         0     45326    316790   5327224    143.11   no data  --
763.59/191.54	c  N dy  1089    168625     24160    104016         0     30586    316790   1779342    143.07    164.80  --
779.60/195.59	c  N dy  1158    179399     24160    104016         0     41360    316790   4198564    143.14    151.97  --
798.72/200.35	c  N dy  1241    190866     24160    104016         0     26903    316790    711105    143.29    158.28  --
817.47/205.02	c  N dy  1330    203072     24160    104016         0     39107    316790   3475459    143.49    169.32  --
838.61/210.39	c  N dy  1424    216130     24160    104016         0     52165    316790   6448955    143.72    172.66  --
860.17/215.78	c  N dy  1517    229940     24160    104016         0     39008    316790   3259488    143.81    172.52  --
872.94/218.94	c  S st  1571    237760     24160    104016         0     46828    316790   5019645    143.81   no data  --
873.74/219.16	c  S st  1571    238267     24160    104016         0     47335    316790   5103511    143.81   no data  --
873.74/219.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
873.74/219.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
874.54/219.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
875.75/219.70	c bin-w-bin subsume rem            0 bins  time:  0.03 s
875.75/219.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
876.17/219.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
876.17/219.72	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1116.00/279.89	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 239.77 s
1116.40/279.90	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.06
1116.40/279.98	c vivif2 --  cl tried    47333 cl shrink        0 lits rem          0 time: 0.32
1117.21/280.18	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.79
1117.21/280.19	c calculated reachability. Time: 0.00
1117.21/280.19	c  N dy  1571    238267     24160    104016         0     47333    316790   5103078    143.81   no data  --
1142.32/286.45	c  N dy  1677    253679     24160    104016         0     34763    316790   2011658    143.96    152.48  --
1168.66/293.03	c  N dy  1791    270005     24160    104016         0     51089    316790   5725509    144.03    152.85  --
1195.40/299.74	c  N dy  1907    287303     24160    104016         0     39400    316790   2882268    144.19    153.39  --
1225.33/307.29	c  N dy  2031    305812     24160    104016         0     57906    316790   7121776    144.31    153.49  --
1226.14/307.49	c  F st  2035    306252     24160    104016         0     58346    316790   7222820    144.31    123.19  --
1257.67/315.36	c  N dy  2139    325399     24160    104016         0     47498    316790   4882038    144.44    154.10  --
1291.18/323.78	c  N dy  2278    345423     24160    104016         0     36522    316790   1722006    144.54    155.70  --
1310.35/328.57	c  S st  2361    357400     24160    104016         0     48498    316790   4436198    144.56   no data  --
1311.13/328.79	c  S st  2361    357903     24160    104016         0     49001    316790   4527771    144.56   no data  --
1311.53/328.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1311.53/328.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1311.93/328.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1313.13/329.28	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1313.13/329.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1313.53/329.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
1313.53/329.31	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1483.14/371.83	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 169.30 s
1483.14/371.85	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.06
1483.54/371.92	c vivif2 --  cl tried    48998 cl shrink        0 lits rem          0 time: 0.29
1484.34/372.11	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.77
1484.34/372.12	c calculated reachability. Time: 0.00
1484.34/372.12	c  N dy  2361    357903     24160    104016         0     48998    316790   4526840    144.56   no data  --
1519.06/380.82	c  N dy  2505    378165     24160    104016         0     37265    316790   1645328    144.68    154.39  --
1553.38/389.42	c  N dy  2645    398335     24160    104016         0     57433    316790   6236516    144.76    163.47  --
1588.10/398.16	c  N dy  2782    418363     24160    104016         0     44462    316790   3113865    144.96    154.53  --
1623.62/407.08	c  N dy  2928    438389     24160    104016         0     64484    316790   7675734    144.99    157.75  --
1657.94/415.62	c  N dy  3068    458394     24160    104016         0     50488    316790   4240797    145.14    155.03  --
1694.25/424.74	c  N dy  3195    478430     24160    104016         0     35527    316790    577343    145.11    176.30  --
1728.57/433.33	c  N dy  3328    498500     24160    104016         0     55596    316790   5118290    145.12    153.20  --
1764.08/442.24	c  N dy  3455    518642     24160    104016         0     39741    316790   1305332    145.16    156.48  --
1794.42/449.80	c  S st  3581    536854     24160    104016         0     57952    316790   5448596    145.23   no data  --
1795.22/450.04	c  S st  3581    537359     24160    104016         0     58457    316790   5530658    145.23   no data  --
1795.22/450.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1795.22/450.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1796.02/450.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1797.63/450.61	c bin-w-bin subsume rem            0 bins  time:  0.07 s
1797.63/450.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1797.63/450.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.03 s
1797.63/450.64	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2084.96/522.69	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 286.96 s
2085.36/522.71	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
2085.36/522.79	c vivif2 --  cl tried    58452 cl shrink        0 lits rem          0 time: 0.33
2086.56/523.00	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.83
2086.56/523.01	c calculated reachability. Time: 0.00
2086.56/523.01	c  N dy  3581    537359     24160    104016         0     58452    316790   5528938    145.23   no data  --
2120.47/531.51	c  N dy  3706    557672     24160    104016         0     41763    316790   1527693    145.18    153.11  --
2152.80/539.69	c  N dy  3842    577699     24160    104016         0     61789    316790   6102390    145.20    159.38  --
2186.72/548.15	c  N dy  3965    597772     24160    104016         0     43867    316790   1748232    145.12    159.25  --
2219.84/556.45	c  N dy  4108    617829     24160    104016         0     63922    316790   6326804    145.17    154.97  --
2254.60/565.17	c  N dy  4248    637977     24160    104016         0     45070    316790   1835983    145.25    155.37  --
2287.68/573.40	c  N dy  4385    658012     24160    104016         0     65102    316790   6386669    145.27    162.72  --
2322.40/582.10	c  N dy  4519    678021     24160    104016         0     45118    316790   1612052    145.29    153.28  --
2355.14/590.39	c  N dy  4657    698056     24160    104016         0     65151    316790   6192991    145.33    155.35  --
2390.67/599.27	c  N dy  4797    718182     24160    104016         0     44279    316790   1201972    145.37    154.33  --
2423.76/607.55	c  N dy  4938    738227     24160    104016         0     64322    316790   5839239    145.43    156.95  --
2460.49/616.71	c  N dy  5074    758478     24160    104016         0     42566    316790    600605    145.43    153.64  --
2492.80/624.84	c  N dy  5207    778526     24160    104016         0     62613    316790   5171863    145.43    164.50  --
2529.11/633.96	c  N dy  5352    798543     24160    104016         0     82629    316790   9769526    145.50    153.97  --
2541.87/637.17	c  S st  5395    806038     24160    104016         0     47131    316790   1408514    145.48    145.87  --
2542.68/637.38	c  S st  5395    806539     24160    104016         0     47632    316790   1489522    145.48   no data  --
2542.68/637.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2542.68/637.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2543.48/637.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
2543.89/637.68	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2543.89/637.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2543.89/637.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
2543.89/637.71	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2558.64/641.31	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.36 s
2558.64/641.32	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
2558.64/641.35	c vivif2 --  cl tried    47632 cl shrink        0 lits rem          0 time: 0.10
2559.43/641.52	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.71
2559.43/641.53	c calculated reachability. Time: 0.00
2559.43/641.53	c  N dy  5395    806539     24160    104016         0     47632    316790   1489521    145.48   no data  --
2592.59/649.86	c  N dy  5528    826627     24160    104016         0     67720    316790   6012149    145.47    156.35  --
2629.66/659.14	c  N dy  5659    846641     24160    104016         0     87734    316790  10624803    145.48    176.53  --
2665.58/668.16	c  N dy  5797    866740     24160    104016         0     63832    316790   5037505    145.51    154.37  --
2705.09/678.04	c  N dy  5943    886831     24160    104016         0     83921    316790   9686018    145.58    156.29  --
2742.60/687.49	c  N dy  6087    906989     24160    104016         0     59079    316790   3767730    145.65    156.74  --
2780.93/697.06	c  N dy  6222    927080     24160    104016         0     79168    316790   8363682    145.67    156.54  --
2819.62/706.78	c  N dy  6351    947117     24160    104016         0     53208    316790   2121186    145.66    154.32  --
2856.73/716.07	c  N dy  6482    967176     24160    104016         0     73267    316790   6784317    145.66    153.49  --
2898.24/726.44	c  N dy  6625    987327     24160    104016         0     93418    316790  11438313    145.71    154.88  --
2934.58/735.51	c  N dy  6763   1007384     24160    104016         0     66480    316790   4969933    145.72    156.98  --
2973.67/745.34	c  N dy  6892   1027402     24160    104016         0     86496    316790   9555691    145.71    155.10  --
3012.38/755.02	c  N dy  7023   1047684     24160    104016         0     58780    316790   2966587    145.70    153.94  --
3050.29/764.54	c  N dy  7161   1067723     24160    104016         0     78818    316790   7481133    145.70    156.91  --
3058.26/766.59	c  F st  7188   1071875     24160    104016         0     82970    316790   8427417    145.70   no data  --
3091.79/774.96	c  N dy  7268   1087752     24160    104016         0     49846    316790    681055    145.69    154.52  --
3126.91/783.76	c  N dy  7406   1107808     24160    104016         0     69899    316790   5289316    145.72    154.07  --
3166.82/793.70	c  N dy  7543   1127976     24160    104016         0     90066    316790   9992037    145.73    153.92  --
3204.73/803.28	c  N dy  7682   1148134     24160    104016         0     60227    316790   2882271    145.79    157.29  --
3240.65/812.27	c  N dy  7812   1168147     24160    104016         0     80240    316790   7507358    145.82    154.74  --
3279.75/822.08	c  N dy  7944   1188225     24160    104016         0    100318    316790  12089169    145.80    154.01  --
3314.87/830.80	c  N dy  8083   1208292     24160    104016         0     69389    316790   4718478    145.80    154.34  --
3317.66/831.50	c  S st  8094   1209808     24160    104016         0     70905    316790   5057776    145.80   no data  --
3318.46/831.74	c  S st  8094   1210313     24160    104016         0     71410    316790   5148124    145.80   no data  --
3318.46/831.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3318.46/831.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3319.26/831.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.71
3320.46/832.27	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3320.46/832.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3320.46/832.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
3320.87/832.31	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.08 s
3579.46/897.16	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 258.40 s
3579.46/897.17	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.05
3579.87/897.25	c vivif2 --  cl tried    71405 cl shrink        0 lits rem          0 time: 0.31
3580.65/897.49	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.94
3581.05/897.50	c calculated reachability. Time: 0.00
3581.05/897.50	c  N dy  8094   1210313     24160    104016         0     71405    316790   5145754    145.80   no data  --
3617.77/906.76	c  N dy  8228   1230461     24160    104016         0     91551    316790   9787122    145.81    153.66  --
3654.92/916.07	c  N dy  8361   1250523     24160    104016         0     59614    316790   2225415    145.79    162.49  --
3690.39/924.95	c  N dy  8500   1270647     24160    104016         0     79736    316790   6891355    145.82    154.64  --
3729.54/934.71	c  N dy  8640   1290709     24160    104016         0     99796    316790  11525845    145.86    205.01  --
3765.81/943.80	c  N dy  8779   1310825     24160    104016         0     66915    316790   3706981    145.89    156.56  --
3801.74/952.86	c  N dy  8915   1330879     24160    104016         0     86968    316790   8298180    145.91    161.04  --
3842.04/962.98	c  N dy  9052   1351087     24160    104016         0    107173    316790  12920368    145.91    154.57  --
3877.17/971.73	c  N dy  9192   1371160     24160    104016         0     73249    316790   4993381    145.95    181.85  --
3914.27/981.07	c  N dy  9330   1391317     24160    104016         0     93405    316790   9538026    145.94    154.30  --
3954.58/991.12	c  N dy  9473   1411393     24160    104016         0     58482    316790   1303053    145.98    172.11  --
3989.29/999.84	c  N dy  9609   1431406     24160    104016         0     78494    316790   5880636    145.99    198.45  --
4027.63/1009.46	c  N dy  9743   1451454     24160    104016         0     98541    316790  10579372    146.04    154.42  --
4066.72/1019.29	c  N dy  9880   1471491     24160    104016         0     62579    316790   2057488    146.05    160.09  --
4104.24/1028.69	c  N dy 10009   1491541     24160    104016         0     82626    316790   6616839    146.03    156.11  --
4145.75/1039.10	c  N dy 10150   1511548     24160    104016         0    102627    316790  11262484    146.06    159.78  --
4187.64/1049.54	c  N dy 10284   1531655     24160    104016         0     65736    316790   2528334    146.06    158.15  --
4226.75/1059.37	c  N dy 10414   1551834     24160    104016         0     85914    316790   7112463    146.06    157.13  --
4270.26/1070.26	c  N dy 10549   1571959     24160    104016         0    106037    316790  11719418    146.07    154.47  --
4311.76/1080.65	c  N dy 10691   1592063     24160    104016         0     68143    316790   2890238    146.09    154.14  --
4351.68/1090.68	c  N dy 10831   1612141     24160    104016         0     88218    316790   7553673    146.11    165.67  --
4395.57/1101.66	c  N dy 10961   1632331     24160    104016         0    108407    316790  12170994    146.11    156.58  --
4436.31/1111.86	c  N dy 11097   1652464     24160    104016         0     69548    316790   2992411    146.14    155.91  --
4474.98/1121.54	c  N dy 11233   1672613     24160    104016         0     89696    316790   7630551    146.16    156.96  --
4517.28/1132.16	c  N dy 11369   1692724     24160    104016         0    109807    316790  12199559    146.17    155.59  --
4554.00/1141.40	c  S st 11495   1710314     24160    104016         0     67406    316790   2229959    146.17   no data  --
4555.18/1141.64	c  S st 11495   1710820     24160    104016         0     67912    316790   2320939    146.17   no data  --
4555.18/1141.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4555.18/1141.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4555.98/1141.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4556.79/1142.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4556.79/1142.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4556.79/1142.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24160 time:  0.04 s
4556.79/1142.05	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4585.14/1149.16	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 28.26 s
4585.14/1149.17	c vivif2 --  cl tried   104016 cl shrink        0 lits rem          0 time: 0.06
4585.56/1149.21	c vivif2 --  cl tried    67911 cl shrink        0 lits rem          0 time: 0.16
4586.32/1149.44	c asymm  cl-useful: 0/104016/104016 lits-rem:0 time: 0.91
4586.32/1149.45	c calculated reachability. Time: 0.00
4586.32/1149.45	c  N dy 11495   1710820     24160    104016         0     67911    316790   2320869    146.17   no data  --
4624.64/1159.02	c  N dy 11630   1730900     24160    104016         0     87990    316790   6891818    146.16    154.90  --
4666.12/1169.47	c  N dy 11761   1750994     24160    104016         0    108084    316790  11460264    146.14    172.04  --
4708.82/1180.19	c  N dy 11898   1771085     24160    104016         0     67170    316790   1991769    146.16    154.35  --
4747.13/1189.78	c  N dy 12036   1791179     24160    104016         0     87264    316790   6553195    146.15    154.29  --
4789.02/1200.27	c  N dy 12173   1811250     24160    104016         0    107334    316790  11191806    146.18    158.69  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368585-1305397985/watcher-3368585-1305397985 -o /tmp/evaluation-result-3368585-1305397985/solver-3368585-1305397985 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368585-1305397985.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: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=5936 CPUtime=0 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4194304 92 0 0 0 0 0 0 0 22 0 1 0 107407917 6078464 48 33554432000 4194304 4650419 140733228619168 18446744073709551615 218875595552 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2903/statm: 1484 49 38 112 0 44 0
[pid=2903/tid=2904] ppid=2901 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 107407918 52465664 355 33554432000 4194304 4650419 140733228619168 18446744073709551615 47985403213746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 107407918 52465664 355 33554432000 4194304 4650419 140733228619168 18446744073709551615 47985403213746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 107407918 52465664 355 33554432000 4194304 4650419 140733228619168 18446744073709551615 47985403213740 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.108001 s]
/proc/loadavg: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=182308 CPUtime=0.21 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) D 2901 2903 2853 0 -1 4202496 436 0 0 0 21 0 0 0 23 0 4 0 107407917 186683392 368 33554432000 4194304 4650419 140733228619168 18446744073709551615 4354576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2903/statm: 45577 368 313 112 0 40542 0
[pid=2903/tid=2904] ppid=2901 vsize=182308 CPUtime=0 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) S 2901 2903 2853 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 4 0 107407918 186683392 368 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880670190 0 0 4096 2 18446604466754267200 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=182308 CPUtime=0.02 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) D 2901 2903 2853 0 -1 4202560 7 0 0 0 2 0 0 0 24 0 4 0 107407918 186683392 368 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880608391 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=182308 CPUtime=0.09 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 5 0 0 0 9 0 0 0 24 0 4 0 107407918 186683392 368 33554432000 4194304 4650419 140733228619168 18446744073709551615 4354576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 182308

[startup+0.201992 s]
/proc/loadavg: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=307900 CPUtime=0.48 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) D 2901 2903 2853 0 -1 4202496 16328 0 0 0 46 2 0 0 18 0 4 0 107407917 315289600 14727 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880033728 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 76975 14727 346 112 0 71940 0
[pid=2903/tid=2904] ppid=2901 vsize=307900 CPUtime=0.06 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 3789 0 0 0 6 0 0 0 18 0 4 0 107407918 315289600 14727 33554432000 4194304 4650419 140733228619168 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=307900 CPUtime=0.08 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 4024 0 0 0 8 0 0 0 18 0 4 0 107407918 315289600 14755 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880262255 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=308980 CPUtime=0.16 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) D 2901 2903 2853 0 -1 4202560 3875 0 0 0 16 0 0 0 18 0 4 0 107407918 316395520 15078 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 307900

[startup+0.400011 s]
/proc/loadavg: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=328216 CPUtime=0.92 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) D 2901 2903 2853 0 -1 4202496 22245 0 0 0 89 3 0 0 18 0 4 0 107407917 336093184 19410 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880608439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2903/statm: 82054 19410 377 112 0 77019 0
[pid=2903/tid=2904] ppid=2901 vsize=328216 CPUtime=0.24 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 7378 0 0 0 23 1 0 0 18 0 4 0 107407918 336093184 19410 33554432000 4194304 4650419 140733228619168 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=328216 CPUtime=0.13 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 4355 0 0 0 13 0 0 0 18 0 4 0 107407918 336093184 19410 33554432000 4194304 4650419 140733228619168 18446744073709551615 4369236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=328216 CPUtime=0.22 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 4378 0 0 0 22 0 0 0 18 0 4 0 107407918 336093184 19410 33554432000 4194304 4650419 140733228619168 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 328216

[startup+1.27319 s]
/proc/loadavg: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=338260 CPUtime=4.42 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 35810 0 0 0 436 6 0 0 19 0 4 0 107407917 346378240 30458 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 84565 30458 391 112 0 79530 0
[pid=2903/tid=2904] ppid=2901 vsize=338260 CPUtime=1.11 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 9498 0 0 0 110 1 0 0 19 0 4 0 107407918 346378240 30458 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=338260 CPUtime=1 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 10782 0 0 0 99 1 0 0 19 0 4 0 107407918 346378240 30458 33554432000 4194304 4650419 140733228619168 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=338260 CPUtime=1.09 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 5002 0 0 0 109 0 0 0 19 0 4 0 107407918 346378240 30458 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 338260

[startup+1.50115 s]
/proc/loadavg: 0.83 2.00 3.00 6/298 2903
/proc/meminfo: memFree=15876520/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=338260 CPUtime=5.33 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 36597 0 0 0 527 6 0 0 19 0 4 0 107407917 346378240 31245 33554432000 4194304 4650419 140733228619168 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 84565 31245 391 112 0 79530 0
[pid=2903/tid=2904] ppid=2901 vsize=338260 CPUtime=1.34 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 9673 0 0 0 133 1 0 0 19 0 4 0 107407918 346378240 31245 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=338260 CPUtime=1.23 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 11008 0 0 0 122 1 0 0 19 0 4 0 107407918 346378240 31245 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=338260 CPUtime=1.32 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 5171 0 0 0 132 0 0 0 19 0 4 0 107407918 346378240 31245 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 338260

[startup+3.10087 s]
/proc/loadavg: 0.83 2.00 3.00 9/302 2907
/proc/meminfo: memFree=15690736/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=371080 CPUtime=11.71 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 41695 0 0 0 1164 7 0 0 23 0 4 0 107407917 379985920 36343 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 92770 36343 391 112 0 87735 0
[pid=2903/tid=2904] ppid=2901 vsize=371080 CPUtime=2.94 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 10841 0 0 0 293 1 0 0 23 0 4 0 107407918 379985920 36343 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=371080 CPUtime=2.83 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 12205 0 0 0 281 2 0 0 23 0 4 0 107407918 379985920 36343 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=371080 CPUtime=2.93 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 6734 0 0 0 292 1 0 0 23 0 4 0 107407918 379985920 36343 33554432000 4194304 4650419 140733228619168 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 371080

[startup+6.31131 s]
/proc/loadavg: 1.41 2.10 3.02 9/302 2907
/proc/meminfo: memFree=15616100/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=504976 CPUtime=24.52 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 51001 0 0 0 2442 10 0 0 25 0 4 0 107407917 517095424 45649 33554432000 4194304 4650419 140733228619168 18446744073709551615 4360372 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 126244 45649 391 112 0 121209 0
[pid=2903/tid=2904] ppid=2901 vsize=504976 CPUtime=6.16 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 13160 0 0 0 614 2 0 0 25 0 4 0 107407918 517095424 45649 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=504976 CPUtime=6.05 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 14450 0 0 0 602 3 0 0 25 0 4 0 107407918 517095424 45649 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=504976 CPUtime=6.14 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 9241 0 0 0 612 2 0 0 25 0 4 0 107407918 517095424 45649 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 504976

[startup+12.7012 s]
/proc/loadavg: 1.93 2.19 3.05 9/302 2907
/proc/meminfo: memFree=15522840/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=654912 CPUtime=50.03 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 94644 0 0 0 4980 23 0 0 25 0 4 0 107407917 670629888 68626 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 163728 68627 395 112 0 158693 0
[pid=2903/tid=2904] ppid=2901 vsize=654912 CPUtime=12.54 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 22187 0 0 0 1250 4 0 0 25 0 4 0 107407918 670629888 68628 33554432000 4194304 4650419 140733228619168 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=654912 CPUtime=12.44 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 20639 0 0 0 1239 5 0 0 25 0 4 0 107407918 670629888 68630 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=654912 CPUtime=12.52 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 15756 0 0 0 1249 3 0 0 25 0 4 0 107407918 670629888 68631 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.03
Current children cumulated vsize (KiB) 654912

[startup+25.5009 s]
/proc/loadavg: 3.28 2.48 3.13 9/302 2908
/proc/meminfo: memFree=15269968/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=760896 CPUtime=101.11 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 165911 0 0 0 10070 41 0 0 25 0 4 0 107407917 779157504 113138 33554432000 4194304 4650419 140733228619168 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 190224 113138 395 112 0 185189 0
[pid=2903/tid=2904] ppid=2901 vsize=760896 CPUtime=25.34 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 44249 0 0 0 2526 8 0 0 25 0 4 0 107407918 779157504 113138 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=760896 CPUtime=25.23 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 36574 0 0 0 2515 8 0 0 25 0 4 0 107407918 779157504 113138 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=760896 CPUtime=25.32 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 40981 0 0 0 2521 11 0 0 25 0 4 0 107407918 779157504 113138 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 760896

[startup+51.1004 s]
/proc/loadavg: 4.89 2.92 3.26 9/302 2908
/proc/meminfo: memFree=15163392/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=803804 CPUtime=203.27 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 239126 0 0 0 20264 63 0 0 25 0 4 0 107407917 823095296 127415 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 200951 127415 395 112 0 195916 0
[pid=2903/tid=2904] ppid=2901 vsize=803804 CPUtime=50.94 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 52170 0 0 0 5083 11 0 0 25 0 4 0 107407918 823095296 127415 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=803804 CPUtime=50.83 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 63604 0 0 0 5067 16 0 0 25 0 4 0 107407918 823095296 127415 33554432000 4194304 4650419 140733228619168 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=803804 CPUtime=50.92 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 58898 0 0 0 5075 17 0 0 25 0 4 0 107407918 823095296 127415 33554432000 4194304 4650419 140733228619168 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.27
Current children cumulated vsize (KiB) 803804

[startup+102.3 s]
/proc/loadavg: 6.73 3.72 3.51 9/302 2910
/proc/meminfo: memFree=15054492/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=923648 CPUtime=407.6 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 597291 0 0 0 40628 132 0 0 25 0 4 0 107407917 945815552 154149 33554432000 4194304 4650419 140733228619168 18446744073709551615 4441148 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 230912 154149 395 112 0 225877 0
[pid=2903/tid=2904] ppid=2901 vsize=923648 CPUtime=102.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 68278 0 0 0 10196 18 0 0 25 0 4 0 107407918 945815552 154149 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=923648 CPUtime=102.03 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 95569 0 0 0 10174 29 0 0 25 0 4 0 107407918 945815552 154149 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=923648 CPUtime=102.12 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 87186 0 0 0 10184 28 0 0 25 0 4 0 107407918 945815552 154149 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.6
Current children cumulated vsize (KiB) 923648

[startup+162.301 s]

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

[pid=2903] ppid=2901 vsize=1346352 CPUtime=2562.62 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 2769524 0 0 0 255600 662 0 0 25 0 4 0 107407917 1378664448 260010 33554432000 4194304 4650419 140733228619168 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 336588 260010 395 112 0 331553 0
[pid=2903/tid=2904] ppid=2901 vsize=1346352 CPUtime=642.13 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 266102 0 0 0 64110 103 0 0 25 0 4 0 107407918 1378664448 260010 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1346352 CPUtime=642.02 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 777069 0 0 0 64014 188 0 0 25 0 4 0 107407918 1378664448 260010 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1346352 CPUtime=642.11 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 842881 0 0 0 64016 195 0 0 25 0 4 0 107407918 1378664448 260010 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2562.62
Current children cumulated vsize (KiB) 1346352

[startup+702.3 s]
/proc/loadavg: 8.12 7.55 5.69 9/302 2927
/proc/meminfo: memFree=14359668/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1423444 CPUtime=2802.07 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3054917 0 0 0 279481 726 0 0 25 0 4 0 107407917 1457606656 268106 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 355861 268106 395 112 0 350826 0
[pid=2903/tid=2904] ppid=2901 vsize=1423444 CPUtime=702.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 276531 0 0 0 70108 106 0 0 25 0 4 0 107407918 1457606656 268106 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1423444 CPUtime=702.03 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 810756 0 0 0 69999 204 0 0 25 0 4 0 107407918 1457606656 268106 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1423444 CPUtime=702.11 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1055980 0 0 0 69985 226 0 0 25 0 4 0 107407918 1457606656 268106 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.07
Current children cumulated vsize (KiB) 1423444

[startup+762.301 s]
/proc/loadavg: 8.08 7.64 5.84 9/302 2928
/proc/meminfo: memFree=14347240/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1424180 CPUtime=3041.51 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3439329 0 0 0 303347 804 0 0 25 0 4 0 107407917 1458360320 274961 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 356045 274962 406 112 0 351010 0
[pid=2903/tid=2904] ppid=2901 vsize=1424180 CPUtime=762.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 276531 0 0 0 76108 106 0 0 25 0 4 0 107407918 1458360320 274962 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1424180 CPUtime=762.02 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1135569 0 0 0 75950 252 0 0 25 0 4 0 107407918 1458360320 274962 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1424180 CPUtime=762.11 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1086895 0 0 0 75970 241 0 0 25 0 4 0 107407918 1458360320 274962 33554432000 4194304 4650419 140733228619168 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.51
Current children cumulated vsize (KiB) 1424180

[startup+822.301 s]
/proc/loadavg: 8.12 7.73 5.98 9/302 2930
/proc/meminfo: memFree=14277528/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1378032 CPUtime=3280.95 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3610257 0 0 0 327242 853 0 0 25 0 4 0 107407917 1411104768 276800 33554432000 4194304 4650419 140733228619168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2903/statm: 344508 276800 395 112 0 339473 0
[pid=2903/tid=2904] ppid=2901 vsize=1378032 CPUtime=822.15 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 288333 0 0 0 82104 111 0 0 25 0 4 0 107407918 1411104768 276800 33554432000 4194304 4650419 140733228619168 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1378032 CPUtime=822.03 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1238515 0 0 0 81930 273 0 0 25 0 4 0 107407918 1411104768 276800 33554432000 4194304 4650419 140733228619168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1378032 CPUtime=822.1 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1115258 0 0 0 81957 253 0 0 25 0 4 0 107407918 1411104768 276800 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.95
Current children cumulated vsize (KiB) 1378032

[startup+882.3 s]
/proc/loadavg: 8.12 7.79 6.11 9/302 2931
/proc/meminfo: memFree=14279000/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1407516 CPUtime=3520.39 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3701760 0 0 0 351147 892 0 0 25 0 4 0 107407917 1441296384 284386 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 351879 284386 395 112 0 346844 0
[pid=2903/tid=2904] ppid=2901 vsize=1407516 CPUtime=882.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 319462 0 0 0 88090 124 0 0 25 0 4 0 107407918 1441296384 284386 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1407516 CPUtime=881.58 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1265510 0 0 0 87873 285 0 0 25 0 4 0 107407918 1441296384 284386 33554432000 4194304 4650419 140733228619168 18446744073709551615 4368151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1407516 CPUtime=882.1 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1142492 0 0 0 87946 264 0 0 25 0 4 0 107407918 1441296384 284386 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.39
Current children cumulated vsize (KiB) 1407516

[startup+942.301 s]
/proc/loadavg: 8.04 7.83 6.23 9/302 2933
/proc/meminfo: memFree=14347180/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1351004 CPUtime=3759.85 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3800694 0 0 0 375053 932 0 0 25 0 4 0 107407917 1383428096 267546 33554432000 4194304 4650419 140733228619168 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 337751 267546 395 112 0 332716 0
[pid=2903/tid=2904] ppid=2901 vsize=1351004 CPUtime=942.15 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 343321 0 0 0 94081 134 0 0 25 0 4 0 107407918 1383428096 267550 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366059 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1351004 CPUtime=941.04 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1292638 0 0 0 93807 297 0 0 25 0 4 0 107407918 1383428096 267550 33554432000 4194304 4650419 140733228619168 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1351004 CPUtime=942.11 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1169421 0 0 0 93936 275 0 0 25 0 4 0 107407918 1383428096 267550 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.85
Current children cumulated vsize (KiB) 1351004

[startup+1002.3 s]
/proc/loadavg: 8.06 7.87 6.34 9/302 2937
/proc/meminfo: memFree=14240268/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1351580 CPUtime=3999.28 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 3910575 0 0 0 398953 975 0 0 25 0 4 0 107407917 1384017920 279859 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367391 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 337895 279859 395 112 0 332860 0
[pid=2903/tid=2904] ppid=2901 vsize=1351580 CPUtime=1002.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 365716 0 0 0 100071 143 0 0 25 0 4 0 107407918 1384017920 279859 33554432000 4194304 4650419 140733228619168 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1351580 CPUtime=1000.48 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1319478 0 0 0 99740 308 0 0 25 0 4 0 107407918 1384017920 279859 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1351580 CPUtime=1002.09 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1198164 0 0 0 99923 286 0 0 25 0 4 0 107407918 1384017920 279859 33554432000 4194304 4650419 140733228619168 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.28
Current children cumulated vsize (KiB) 1351580

[startup+1062.31 s]
/proc/loadavg: 8.06 7.91 6.45 9/302 2938
/proc/meminfo: memFree=14130132/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1534880 CPUtime=4238.77 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 4234793 0 0 0 422830 1047 0 0 25 0 4 0 107407917 1571717120 312189 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 383720 312189 395 112 0 378685 0
[pid=2903/tid=2904] ppid=2901 vsize=1534880 CPUtime=1062.15 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 379450 0 0 0 106066 149 0 0 25 0 4 0 107407918 1571717120 312189 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1534880 CPUtime=1059.94 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1579008 0 0 0 105645 349 0 0 25 0 4 0 107407918 1571717120 312189 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1534880 CPUtime=1062.1 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1222774 0 0 0 105911 299 0 0 25 0 4 0 107407918 1571717120 312189 33554432000 4194304 4650419 140733228619168 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.77
Current children cumulated vsize (KiB) 1534880

[startup+1122.3 s]
/proc/loadavg: 8.10 7.95 6.55 9/302 2940
/proc/meminfo: memFree=14135444/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1550272 CPUtime=4478.17 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 4628574 0 0 0 446688 1129 0 0 25 0 4 0 107407917 1587478528 312460 33554432000 4194304 4650419 140733228619168 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 387568 312460 395 112 0 382533 0
[pid=2903/tid=2904] ppid=2901 vsize=1550272 CPUtime=1122.13 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 387772 0 0 0 112060 153 0 0 25 0 4 0 107407918 1587478528 312460 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1550272 CPUtime=1119.38 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1910108 0 0 0 111541 397 0 0 25 0 4 0 107407918 1587478528 312460 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1550272 CPUtime=1122.09 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1251537 0 0 0 111895 314 0 0 25 0 4 0 107407918 1587478528 312460 33554432000 4194304 4650419 140733228619168 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.17
Current children cumulated vsize (KiB) 1550272

[startup+1182.3 s]
/proc/loadavg: 8.10 7.97 6.64 9/302 2941
/proc/meminfo: memFree=14100580/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1551340 CPUtime=4717.59 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 5062752 0 0 0 470538 1221 0 0 25 0 4 0 107407917 1588572160 307734 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 387835 307734 395 112 0 382800 0
[pid=2903/tid=2904] ppid=2901 vsize=1551340 CPUtime=1182.14 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 409968 0 0 0 118050 164 0 0 25 0 4 0 107407918 1588572160 307734 33554432000 4194304 4650419 140733228619168 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1551340 CPUtime=1179.23 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 2268157 0 0 0 117471 452 0 0 25 0 4 0 107407918 1588572160 307734 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1551340 CPUtime=1181.66 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1279910 0 0 0 117836 330 0 0 25 0 4 0 107407918 1588572160 307734 33554432000 4194304 4650419 140733228619168 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.59
Current children cumulated vsize (KiB) 1551340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.07 7.97 6.67 6/297 2943
/proc/meminfo: memFree=14601072/32950928 swapFree=67111364/67111528
[pid=2903] ppid=2901 vsize=1551840 CPUtime=4800.25 cores=1,3,5,7
/proc/2903/stat : 2903 (strangenight1-m) R 2901 2903 2853 0 -1 4202496 5217277 0 0 0 478769 1256 0 0 25 0 4 0 107407917 1589084160 320361 33554432000 4194304 4650419 140733228619168 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2903/statm: 387960 320361 395 112 0 382925 0
[pid=2903/tid=2904] ppid=2901 vsize=1551840 CPUtime=1202.86 cores=1,3,5,7
/proc/2903/task/2904/stat : 2904 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 416982 0 0 0 120117 169 0 0 25 0 4 0 107407918 1589084160 320370 33554432000 4194304 4650419 140733228619168 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2903/tid=2905] ppid=2901 vsize=1551840 CPUtime=1199.95 cores=1,3,5,7
/proc/2903/task/2905/stat : 2905 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 2397798 0 0 0 119524 471 0 0 25 0 4 0 107407918 1589084160 320370 33554432000 4194304 4650419 140733228619168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2903/tid=2906] ppid=2901 vsize=1551840 CPUtime=1202.18 cores=1,3,5,7
/proc/2903/task/2906/stat : 2906 (strangenight1-m) R 2901 2903 2853 0 -1 4202560 1288615 0 0 0 119883 335 0 0 25 0 4 0 107407918 1589084160 320370 33554432000 4194304 4650419 140733228619168 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1551840

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): 1203.08
CPU time (s): 4800.35
CPU user time (s): 4787.74
CPU system time (s): 12.6171
CPU usage (%): 399.004
Max. virtual memory (cumulated for all children) (KiB): 1564700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.74
system time used= 12.6171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5217733
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= 3681
involuntary context switches= 32822

runsolver used 2.86356 second user time and 8.20475 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-14 20:33:05
IDJOB=3368585
IDBENCH=82594
IDSOLVER=1846
FILE ID=node112/3368585-1305397985
RUNJOBID= node112-1305397985-2881
PBS_JOBID= 13324474
Free space on /tmp= 73556 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368585-1305397985/watcher-3368585-1305397985 -o /tmp/evaluation-result-3368585-1305397985/solver-3368585-1305397985 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368585-1305397985.cnf

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

MD5SUM BENCH= d893b9743a6b7d8026df42df0d29d561
RANDOM SEED=686466844

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.847
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.74
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.847
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:     32950928 kB
MemFree:      15876808 kB
Buffers:        287596 kB
Cached:        2781140 kB
SwapCached:          0 kB
Active:       15074140 kB
Inactive:      1759640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15876808 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           14852 kB
Writeback:          12 kB
AnonPages:    13765432 kB
Mapped:          21804 kB
Slab:           133548 kB
PageTables:      42396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 35071660 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= 73556 MiB
End job on node112 at 2011-05-14 20:53:10