Trace number 3175084

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.26 1203.57

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
MD5SUMcb40e65d82022f377e00087cafdb55b2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.0021
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-3175084-1304083243.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.08/0.28	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.08/0.28	c -- vars added      25000
0.08/0.28	c Parsing time:  0.25 s
0.08/0.28	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.08/0.28	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.30
0.08/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
3.93/1.06	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3.93/1.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3.93/1.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
3.93/1.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.03 s
3.93/1.06	c lits-rem:         0  cl-subs:        0  v-elim:    661  v-fix:    0  time:  0.98 s
3.93/1.06	c Finding binary XORs  T:     0.02 s  found:       0
3.93/1.06	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
3.93/1.06	c calculated reachability. Time: 0.00
3.93/1.06	c Calc default polars -  time:   0.03 s pos:   11075 undec:    2829 neg:   11096
3.93/1.06	c =========================================================================================
3.93/1.06	c types(t): F = full restart, N = normal restart
3.93/1.06	c types(t): S = simplification begin/end, E = solution found
3.93/1.06	c restart types(rt): st = static, dy = dynamic
3.93/1.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.93/1.06	c  B st     0         0     24339    103924         0         0    315407         0   no data   no data  --
6.74/1.75	c  N dy    21      4030     24339    103924         0      4030    315407    930807    144.92    159.49  --
11.55/2.91	c  N dy    46      8057     24339    103924         0      8056    315407   1809805    143.15    189.28  --
16.34/4.12	c  N dy    75     12115     24339    103924         0     12113    315407   2711238    143.32    169.08  --
17.92/6.13	c  N dy   102     16305     24339    103924         0     16303    315407   3640064    142.51    155.44  --
17.92/7.89	c  N dy   123     20396     24339    103924         0     10403    315407    665736    141.49    150.87  --
34.93/10.25	c  N dy   155     24791     24339    103924         0     14797    315407   1672122    142.60    153.65  --
35.44/10.31	c  F st   157     25001     24339    103924         0     15007    315407   1715324    142.54    130.79  --
42.23/12.05	c  N dy   163     30000     24339    103924         0     20006    315407   3401167    142.54   no data  --
42.23/12.05	c  S st   163     30000     24339    103924         0     20006    315407   3401167    142.54   no data  --
43.03/12.21	c  S st   163     30502     24339    103924         0     20508    315407   3484889    142.54   no data  --
43.03/12.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
43.03/12.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.43/12.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
45.03/12.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
45.03/12.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
45.03/12.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.03 s
45.03/12.76	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
75.78/20.46	c lits-rem:         1  cl-subs:     1777  v-elim:    135  v-fix:    0  time: 30.51 s
76.19/20.58	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.50
76.19/20.59	c calculated reachability. Time: 0.01
76.19/20.59	c  N dy   163     30502     24204    104059         0     18731    316649   2679279    142.54   no data  --
82.16/22.05	c  N dy   191     34614     24204    104059         0     22843    316649   3597200    142.65    151.41  --
88.15/23.55	c  N dy   220     38649     24204    104059         0     26878    316649   4524266    143.02    159.40  --
94.16/25.07	c  N dy   249     42869     24204    104059         0     15599    316649    712242    143.01    150.82  --
98.15/26.00	c  S st   266     45753     24204    104059         0     18483    316649   1330225    142.56   no data  --
98.55/26.17	c  S st   266     46255     24204    104059         0     18985    316649   1418822    142.56   no data  --
98.55/26.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
98.55/26.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.32/26.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
99.73/26.44	c bin-w-bin subsume rem            0 bins  time:  0.03 s
99.73/26.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
99.73/26.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.03 s
99.73/26.46	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
112.89/29.71	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 12.92 s
112.89/29.72	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
112.89/29.75	c vivif2 --  cl tried    18983 cl shrink        0 lits rem          0 time: 0.09
113.29/29.87	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.49
113.29/29.88	c calculated reachability. Time: 0.01
113.29/29.88	c  N dy   266     46255     24204    104059         0     18983    316649   1418564    142.56   no data  --
118.89/31.24	c  N dy   292     50290     24204    104059         0     23018    316649   2306656    142.34    151.71  --
124.50/32.65	c  N dy   320     54374     24204    104059         0     27102    316649   3192711    142.14    173.85  --
130.47/34.15	c  N dy   348     58567     24204    104059         0     31295    316649   4128934    142.17    151.79  --
136.46/35.63	c  N dy   375     62642     24204    104059         0     35370    316649   4994294    141.81    151.66  --
142.07/37.10	c  N dy   402     66671     24204    104059         0     20648    316649   1096412    141.91    187.34  --
146.05/38.03	c  S st   420     69385     24204    104059         0     23362    316649   1665924    141.81    136.86  --
146.87/38.20	c  S st   420     69887     24204    104059         0     23864    316649   1745206    141.81   no data  --
146.87/38.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
146.87/38.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.25/38.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.54
148.05/38.50	c bin-w-bin subsume rem            0 bins  time:  0.03 s
148.05/38.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
148.05/38.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.03 s
148.05/38.53	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
163.22/42.32	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time: 15.11 s
163.22/42.33	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.04
163.22/42.35	c vivif2 --  cl tried    23863 cl shrink        0 lits rem          0 time: 0.10
163.62/42.48	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.52
163.62/42.49	c calculated reachability. Time: 0.00
163.62/42.49	c  N dy   420     69887     24204    104059         0     23863    316649   1744809    141.81   no data  --
170.00/44.01	c  N dy   450     74347     24204    104059         0     28322    316649   2747417    142.07    157.32  --
176.79/45.71	c  N dy   484     79189     24204    104059         0     33162    316649   3828474    142.11    150.09  --
183.97/47.53	c  N dy   517     84253     24204    104059         0     38226    316649   4945526    141.95    162.65  --
188.76/48.70	c  F st   540     87500     24204    104059         0     41473    316649   5647562    141.94    151.04  --
193.56/49.90	c  N st   545     90801     24204    104059         0     23899    316649   1498191    141.94   no data  --
201.54/51.96	c  N dy   572     96669     24204    104059         0     29767    316649   2967859    142.19    149.94  --
211.13/54.30	c  N dy   611    102936     24204    104059         0     36033    316649   4352979    142.29    158.13  --
213.52/54.99	c  S st   624    104830     24204    104059         0     37927    316649   4769749    142.30   no data  --
214.32/55.18	c  S st   624    105331     24204    104059         0     38428    316649   4853190    142.30   no data  --
214.72/55.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
214.72/55.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.12/55.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.58
216.73/55.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
216.73/55.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
216.73/55.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.03 s
216.73/55.73	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
401.62/102.08	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 184.48 s
401.62/102.10	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.04
402.00/102.17	c vivif2 --  cl tried    38423 cl shrink        0 lits rem          0 time: 0.28
402.80/102.33	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.65
402.80/102.34	c calculated reachability. Time: 0.00
402.80/102.34	c  N dy   624    105331     24204    104059         0     38423    316649   4850663    142.30   no data  --
413.18/104.95	c  N dy   672    112135     24204    104059         0     22791    316649    679916    142.51    150.58  --
423.16/107.42	c  N dy   722    119312     24204    104059         0     29968    316649   2300874    142.61    150.14  --
433.93/110.18	c  N dy   777    126977     24204    104059         0     37632    316649   4080682    143.04    155.80  --
446.30/113.22	c  N dy   833    135139     24204    104059         0     45793    316649   5885995    142.97    151.37  --
458.70/116.34	c  N dy   895    143797     24204    104059         0     30733    316649   2114161    142.98    153.56  --
471.88/119.66	c  N dy   954    153083     24204    104059         0     40018    316649   4198539    142.93    150.61  --
479.45/121.50	c  S st   981    157996     24204    104059         0     44931    316649   5278230    142.78   no data  --
480.26/121.71	c  S st   981    158502     24204    104059         0     45437    316649   5364331    142.78   no data  --
480.26/121.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
480.26/121.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
480.67/121.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.64
482.24/122.29	c bin-w-bin subsume rem            0 bins  time:  0.03 s
482.64/122.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
482.64/122.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
482.64/122.32	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
730.24/184.34	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 246.88 s
730.24/184.35	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
730.65/184.43	c vivif2 --  cl tried    45437 cl shrink        0 lits rem          0 time: 0.31
731.43/184.61	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.71
731.43/184.62	c calculated reachability. Time: 0.00
731.43/184.62	c  N dy   981    158502     24204    104059         0     45437    316649   5364330    142.78   no data  --
746.21/188.37	c  N dy  1054    168629     24204    104059         0     30706    316649   1822592    142.89    213.80  --
762.18/192.31	c  N dy  1132    179435     24204    104059         0     41512    316649   4227412    143.01    152.65  --
780.55/196.91	c  N dy  1207    190960     24204    104059         0     27109    316649    770425    142.99    165.09  --
798.92/201.51	c  N dy  1291    203276     24204    104059         0     39424    316649   3543389    143.01    150.82  --
819.68/206.74	c  N dy  1378    216334     24204    104059         0     52481    316649   6477949    143.04    168.14  --
840.88/212.06	c  N dy  1473    230224     24204    104059         0     39407    316649   3347644    143.11    153.46  --
852.84/215.03	c  S st  1525    237754     24204    104059         0     46937    316649   5066170    143.23    140.72  --
853.66/215.24	c  S st  1525    238258     24204    104059         0     47441    316649   5157818    143.23   no data  --
853.66/215.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
853.66/215.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
854.43/215.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
855.63/215.77	c bin-w-bin subsume rem            0 bins  time:  0.03 s
855.63/215.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
855.63/215.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
855.63/215.79	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1095.27/275.74	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 238.60 s
1095.27/275.75	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
1095.67/275.83	c vivif2 --  cl tried    47434 cl shrink        0 lits rem          0 time: 0.32
1096.44/276.02	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.76
1096.44/276.03	c calculated reachability. Time: 0.00
1096.44/276.03	c  N dy  1525    238258     24204    104059         0     47434    316649   5155735    143.23   no data  --
1120.82/282.12	c  N dy  1631    253510     24204    104059         0     34710    316649   2018310    143.41    162.05  --
1146.36/288.51	c  N dy  1743    269713     24204    104059         0     50911    316649   5635550    143.37    194.31  --
1172.72/295.18	c  N dy  1858    286964     24204    104059         0     39170    316649   2806716    143.50    153.36  --
1201.86/302.40	c  N dy  1983    305303     24204    104059         0     57508    316649   6966791    143.63    161.17  --
1203.47/302.80	c  F st  1991    306250     24204    104059         0     58455    316649   7172493    143.62   no data  --
1231.84/309.91	c  N dy  2086    324812     24204    104059         0     47023    316649   4533421    143.67    156.52  --
1265.37/318.31	c  N dy  2230    344838     24204    104059         0     36051    316649   1607945    143.81    151.85  --
1284.93/323.29	c  S st  2320    357388     24204    104059         0     48601    316649   4482864    143.93   no data  --
1286.13/323.52	c  S st  2320    357896     24204    104059         0     49109    316649   4578619    143.93   no data  --
1286.13/323.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1286.13/323.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1286.53/323.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
1288.13/324.00	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1288.13/324.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1288.13/324.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
1288.13/324.03	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1463.06/367.85	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 174.61 s
1463.06/367.86	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
1463.46/367.93	c vivif2 --  cl tried    49103 cl shrink        0 lits rem          0 time: 0.29
1464.27/368.12	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.75
1464.27/368.13	c calculated reachability. Time: 0.00
1464.27/368.13	c  N dy  2320    357896     24204    104059         0     49103    316649   4576190    143.93   no data  --
1497.79/376.56	c  N dy  2464    377990     24204    104059         0     37200    316649   1652188    144.03    154.78  --
1531.33/384.96	c  N dy  2602    397995     24204    104059         0     57202    316649   6167142    144.11    153.15  --
1565.70/393.55	c  N dy  2750    418009     24204    104059         0     44217    316649   3042700    144.30    159.68  --
1600.44/402.26	c  N dy  2887    438060     24204    104059         0     64267    316649   7596183    144.34    152.28  --
1634.35/410.76	c  N dy  3032    458072     24204    104059         0     50281    316649   4135829    144.54    152.82  --
1670.71/419.80	c  N dy  3169    478156     24204    104059         0     35366    316649    540655    144.53    156.25  --
1703.83/428.10	c  N dy  3305    498247     24204    104059         0     55456    316649   5012952    144.49    154.69  --
1740.17/437.23	c  N dy  3438    518329     24204    104059         0     39538    316649   1275999    144.53    152.33  --
1771.73/445.18	c  S st  3563    536844     24204    104059         0     58051    316649   5425335    144.53   no data  --
1772.91/445.42	c  S st  3563    537348     24204    104059         0     58555    316649   5523641    144.53   no data  --
1772.91/445.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1772.91/445.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1773.71/445.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1774.91/445.98	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1774.91/445.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1774.91/445.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
1775.31/446.01	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2055.26/516.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 279.88 s
2055.66/516.20	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
2055.66/516.28	c vivif2 --  cl tried    58555 cl shrink        0 lits rem          0 time: 0.34
2056.46/516.49	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.83
2056.86/516.50	c calculated reachability. Time: 0.00
2056.86/516.50	c  N dy  3563    537348     24204    104059         0     58555    316649   5523641    144.53   no data  --
2090.01/524.84	c  N dy  3698    557397     24204    104059         0     41612    316649   1476594    144.58    157.89  --
2122.34/532.91	c  N dy  3842    577514     24204    104059         0     61728    316649   6069005    144.68    152.66  --
2156.69/541.50	c  N dy  3981    597819     24204    104059         0     44034    316649   1837345    144.75    153.84  --
2189.05/549.61	c  N dy  4132    617849     24204    104059         0     64064    316649   6415792    144.86    162.30  --
2223.37/558.23	c  N dy  4274    638125     24204    104059         0     45338    316649   1866369    144.96    156.75  --
2255.71/566.39	c  N dy  4413    658220     24204    104059         0     65431    316649   6417483    144.99    171.33  --
2290.08/574.97	c  N dy  4551    678221     24204    104059         0     45429    316649   1704545    145.04    153.91  --
2322.41/583.09	c  N dy  4687    698251     24204    104059         0     65457    316649   6286337    145.08    153.56  --
2357.54/591.84	c  N dy  4818    718275     24204    104059         0     44485    316649   1258764    145.11    153.34  --
2390.28/600.03	c  N dy  4954    738456     24204    104059         0     64665    316649   5899301    145.16    155.06  --
2425.82/608.90	c  N dy  5076    758457     24204    104059         0     42665    316649    614689    145.08    160.91  --
2457.76/616.90	c  N dy  5209    778508     24204    104059         0     62715    316649   5162771    145.09    159.65  --
2492.53/625.68	c  N dy  5341    798527     24204    104059         0     82734    316649   9722425    145.10    153.90  --
2505.31/628.84	c  S st  5385    806022     24204    104059         0     47229    316649   1410295    145.05    133.40  --
2506.08/629.05	c  S st  5385    806525     24204    104059         0     47732    316649   1508604    145.05   no data  --
2506.08/629.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2506.08/629.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2506.88/629.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
2507.28/629.35	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2507.28/629.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2507.28/629.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
2507.28/629.37	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2522.87/633.25	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time: 15.44 s
2522.87/633.26	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
2522.87/633.29	c vivif2 --  cl tried    47731 cl shrink        0 lits rem          0 time: 0.10
2523.65/633.46	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.71
2523.65/633.47	c calculated reachability. Time: 0.00
2523.65/633.47	c  N dy  5385    806525     24204    104059         0     47731    316649   1508379    145.05   no data  --
2556.39/641.68	c  N dy  5521    826544     24204    104059         0     67750    316649   6073134    145.12    158.79  --
2592.72/650.71	c  N dy  5659    846624     24204    104059         0     87828    316649  10665041    145.16    156.35  --
2626.26/659.13	c  N dy  5802    866700     24204    104059         0     63909    316649   5052498    145.19    158.88  --
2663.82/668.50	c  N dy  5936    886919     24204    104059         0     84127    316649   9637209    145.21    154.23  --
2700.54/677.71	c  N dy  6059    907086     24204    104059         0     59293    316649   3706918    145.18    154.73  --
2738.09/687.17	c  N dy  6197    927193     24204    104059         0     79400    316649   8306701    145.22    160.41  --
2777.22/696.92	c  N dy  6316    947286     24204    104059         0     53497    316649   2207422    145.17    155.68  --
2814.76/706.38	c  N dy  6456    967380     24204    104059         0     73591    316649   6837059    145.22    153.25  --
2855.89/716.67	c  N dy  6594    987471     24204    104059         0     93682    316649  11390893    145.26    165.27  --
2892.26/725.70	c  N dy  6731   1007801     24204    104059         0     67006    316649   5028109    145.27    155.31  --
2931.39/735.56	c  N dy  6869   1027892     24204    104059         0     87093    316649   9686800    145.31    153.19  --
2969.31/745.02	c  N dy  6996   1047992     24204    104059         0     59200    316649   3048977    145.31    155.58  --
3006.85/754.48	c  N dy  7127   1068050     24204    104059         0     79255    316649   7684149    145.35    168.10  --
3014.43/756.38	c  F st  7153   1071877     24204    104059         0     83082    316649   8556139    145.36   no data  --
3047.99/764.76	c  N dy  7235   1088072     24204    104059         0     50274    316649    790464    145.38    153.95  --
3082.71/773.47	c  N dy  7375   1108102     24204    104059         0     70302    316649   5300942    145.40    154.50  --
3121.03/783.08	c  N dy  7510   1128197     24204    104059         0     90395    316649   9893025    145.41    157.22  --
3158.98/792.54	c  N dy  7646   1148246     24204    104059         0     60455    316649   2924383    145.45    161.76  --
3194.12/801.39	c  N dy  7784   1168286     24204    104059         0     80494    316649   7560155    145.48    166.90  --
3233.25/811.16	c  N dy  7928   1188392     24204    104059         0    100598    316649  12172199    145.52    153.84  --
3266.79/819.56	c  N dy  8061   1208437     24204    104059         0     69652    316649   4769106    145.54    163.42  --
3269.19/820.15	c  S st  8071   1209787     24204    104059         0     71002    316649   5071042    145.54   no data  --
3270.01/820.40	c  S st  8071   1210288     24204    104059         0     71503    316649   5152865    145.54   no data  --
3270.38/820.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3270.38/820.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3270.78/820.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3272.38/820.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3272.38/820.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3272.38/820.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
3272.38/820.95	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3531.95/885.92	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 259.09 s
3531.95/885.94	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.05
3532.35/886.02	c vivif2 --  cl tried    71502 cl shrink        0 lits rem          0 time: 0.32
3533.17/886.25	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.92
3533.17/886.26	c calculated reachability. Time: 0.00
3533.17/886.26	c  N dy  8071   1210288     24204    104059         0     71502    316649   5152758    145.54   no data  --
3569.88/895.43	c  N dy  8201   1230335     24204    104059         0     91549    316649   9749480    145.54    161.62  --
3606.63/904.69	c  N dy  8336   1250352     24204    104059         0     59559    316649   2268403    145.54    156.22  --
3641.76/913.44	c  N dy  8476   1270412     24204    104059         0     79619    316649   6875272    145.58    154.03  --
3680.09/923.07	c  N dy  8613   1290421     24204    104059         0     99626    316649  11425164    145.61    155.00  --
3716.44/932.12	c  N dy  8756   1310509     24204    104059         0     66717    316649   3694879    145.65    155.90  --
3752.80/941.24	c  N dy  8898   1330556     24204    104059         0     86761    316649   8375324    145.70    187.78  --
3793.09/951.33	c  N dy  9036   1350997     24204    104059         0    107201    316649  13056245    145.70    153.73  --
3827.86/960.06	c  N dy  9172   1371189     24204    104059         0     73398    316649   4928477    145.71    156.31  --
3864.99/969.34	c  N dy  9303   1391193     24204    104059         0     93402    316649   9552202    145.71    153.60  --
3904.11/979.17	c  N dy  9439   1411220     24204    104059         0     58429    316649   1286442    145.71    155.88  --
3938.85/987.86	c  N dy  9575   1431253     24204    104059         0     78458    316649   5854686    145.71    155.76  --
3976.81/997.38	c  N dy  9710   1451351     24204    104059         0     98555    316649  10407185    145.70    193.21  --
4016.33/1007.28	c  N dy  9856   1471431     24204    104059         0     62636    316649   2059904    145.75    164.62  --
4054.26/1016.73	c  N dy  9991   1491665     24204    104059         0     82869    316649   6686920    145.76    153.50  --
4095.41/1027.01	c  N dy 10134   1511667     24204    104059         0    102869    316649  11282212    145.78    155.17  --
4136.52/1037.38	c  N dy 10268   1531761     24204    104059         0     65971    316649   2569520    145.78    158.62  --
4175.64/1047.11	c  N dy 10400   1551790     24204    104059         0     86000    316649   7156132    145.78    163.19  --
4218.80/1057.93	c  N dy 10538   1571847     24204    104059         0    106056    316649  11741665    145.79    154.68  --
4259.90/1068.29	c  N dy 10670   1592046     24204    104059         0     68252    316649   2842782    145.77    153.91  --
4299.81/1078.28	c  N dy 10812   1612059     24204    104059         0     88264    316649   7512612    145.82    154.25  --
4343.75/1089.26	c  N dy 10954   1632155     24204    104059         0    108359    316649  12102106    145.83    154.83  --
4385.29/1099.63	c  N dy 11088   1652163     24204    104059         0     69368    316649   2909317    145.84    156.09  --
4424.01/1109.37	c  N dy 11231   1672188     24204    104059         0     89392    316649   7498238    145.85    181.96  --
4466.74/1120.06	c  N dy 11364   1692444     24204    104059         0    109647    316649  12145139    145.85    156.31  --
4503.87/1129.33	c  S st 11483   1710289     24204    104059         0     67494    316649   2269129    145.85    134.11  --
4504.66/1129.58	c  S st 11483   1710796     24204    104059         0     68001    316649   2345626    145.85   no data  --
4504.66/1129.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4504.66/1129.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4505.46/1129.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4506.26/1129.95	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4506.26/1129.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4506.26/1129.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24204 time:  0.04 s
4506.26/1129.98	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4535.03/1137.17	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 28.69 s
4535.03/1137.19	c vivif2 --  cl tried   104059 cl shrink        0 lits rem          0 time: 0.06
4535.40/1137.23	c vivif2 --  cl tried    67997 cl shrink        0 lits rem          0 time: 0.16
4536.20/1137.46	c asymm  cl-useful: 0/104059/104059 lits-rem:0 time: 0.91
4536.20/1137.47	c calculated reachability. Time: 0.01
4536.20/1137.47	c  N dy 11483   1710796     24204    104059         0     67997    316649   2344252    145.85   no data  --
4574.16/1146.92	c  N dy 11614   1730805     24204    104059         0     88004    316649   6941027    145.87    155.37  --
4616.07/1157.40	c  N dy 11755   1750916     24204    104059         0    108112    316649  11560226    145.88    153.76  --
4658.39/1168.02	c  N dy 11895   1771034     24204    104059         0     67232    316649   2006178    145.89    154.81  --
4696.35/1177.53	c  N dy 12025   1791039     24204    104059         0     87234    316649   6645643    145.90    156.40  --
4738.26/1188.04	c  N dy 12166   1811099     24204    104059         0    107293    316649  11242683    145.92    156.45  --
4782.18/1199.05	c  N dy 12303   1831202     24204    104059         0     65400    316649   1351000    145.91    154.83  --

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-3175084-1304083243/watcher-3175084-1304083243 -o /tmp/evaluation-result-3175084-1304083243/solver-3175084-1304083243 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175084-1304083243.cnf 

running on 4 cores: 0,2,4,6

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: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 519923937 52465664 353 33554432000 4194304 4650419 140733895343488 18446744073709551615 47628169746354 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 12809 353 303 112 0 7774 0
[pid=24245/tid=24246] ppid=24243 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519923938 52465664 353 33554432000 4194304 4650419 140733895343488 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519923938 52465664 353 33554432000 4194304 4650419 140733895343488 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519923938 52465664 353 33554432000 4194304 4650419 140733895343488 18446744073709551615 274659840232 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0257701 s]
/proc/loadavg: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=303100 CPUtime=0.08 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 11768 0 0 0 6 2 0 0 18 0 4 0 519923937 310374400 9626 33554432000 4194304 4650419 140733895343488 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 76011 11657 344 112 0 70976 0
[pid=24245/tid=24246] ppid=24243 vsize=305236 CPUtime=0.03 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 3503 0 0 0 3 0 0 0 18 0 4 0 519923938 312561664 11942 33554432000 4194304 4650419 140733895343488 18446744073709551615 274664473519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=305236 CPUtime=0.03 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) D 24243 24245 23406 0 -1 4202560 3666 0 0 0 3 0 0 0 18 0 4 0 519923938 312561664 12104 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=306168 CPUtime=0.06 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 3861 0 0 0 5 1 0 0 18 0 4 0 519923938 313516032 14129 33554432000 4194304 4650419 140733895343488 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 303100

[startup+0.943562 s]
/proc/loadavg: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=338540 CPUtime=3.71 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 36478 0 0 0 363 8 0 0 19 0 4 0 519923937 346664960 29073 33554432000 4194304 4650419 140733895343488 18446744073709551615 4331873 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 84635 29073 391 112 0 79600 0
[pid=24245/tid=24246] ppid=24243 vsize=338540 CPUtime=0.91 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 10911 0 0 0 89 2 0 0 18 0 4 0 519923938 346664960 29073 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=338540 CPUtime=0.91 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 9886 0 0 0 90 1 0 0 19 0 4 0 519923938 346664960 29073 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366127 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=338540 CPUtime=0.93 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 4934 0 0 0 92 1 0 0 19 0 4 0 519923938 346664960 29073 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 338540

[startup+1.00055 s]
/proc/loadavg: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=338540 CPUtime=3.93 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 36713 0 0 0 385 8 0 0 19 0 4 0 519923937 346664960 29308 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 84635 29308 391 112 0 79600 0
[pid=24245/tid=24246] ppid=24243 vsize=338540 CPUtime=0.97 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 10990 0 0 0 95 2 0 0 18 0 4 0 519923938 346664960 29308 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=338540 CPUtime=0.97 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 9945 0 0 0 96 1 0 0 19 0 4 0 519923938 346664960 29308 33554432000 4194304 4650419 140733895343488 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=338540 CPUtime=0.99 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 4980 0 0 0 98 1 0 0 19 0 4 0 519923938 346664960 29308 33554432000 4194304 4650419 140733895343488 18446744073709551615 4333838 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 338540

[startup+1.10054 s]
/proc/loadavg: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=338540 CPUtime=4.33 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 37069 0 0 0 425 8 0 0 19 0 4 0 519923937 346664960 29664 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 84635 29664 391 112 0 79600 0
[pid=24245/tid=24246] ppid=24243 vsize=338540 CPUtime=1.07 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 11076 0 0 0 105 2 0 0 19 0 4 0 519923938 346664960 29664 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=338540 CPUtime=1.07 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 10040 0 0 0 106 1 0 0 19 0 4 0 519923938 346664960 29664 33554432000 4194304 4650419 140733895343488 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=338540 CPUtime=1.09 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 5059 0 0 0 108 1 0 0 19 0 4 0 519923938 346664960 29664 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 338540

[startup+1.50047 s]
/proc/loadavg: 3.49 4.21 5.47 2/172 24245
/proc/meminfo: memFree=30900680/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=338540 CPUtime=5.94 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 38399 0 0 0 585 9 0 0 19 0 4 0 519923937 346664960 30994 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 84635 30994 391 112 0 79600 0
[pid=24245/tid=24246] ppid=24243 vsize=338540 CPUtime=1.47 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 11446 0 0 0 145 2 0 0 19 0 4 0 519923938 346664960 30994 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=338540 CPUtime=1.47 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 10372 0 0 0 146 1 0 0 20 0 4 0 519923938 346664960 30994 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=338540 CPUtime=1.49 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 5352 0 0 0 148 1 0 0 19 0 4 0 519923938 346664960 30994 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 338540

[startup+3.10019 s]
/proc/loadavg: 3.49 4.21 5.47 9/182 24258
/proc/meminfo: memFree=30521384/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=371360 CPUtime=12.32 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 43610 0 0 0 1222 10 0 0 25 0 4 0 519923937 380272640 36205 33554432000 4194304 4650419 140733895343488 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24245/statm: 92840 36205 391 112 0 87805 0
[pid=24245/tid=24246] ppid=24243 vsize=371360 CPUtime=3.07 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 12694 0 0 0 305 2 0 0 24 0 4 0 519923938 380272640 36205 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=371360 CPUtime=3.06 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 11574 0 0 0 304 2 0 0 25 0 4 0 519923938 380272640 36205 33554432000 4194304 4650419 140733895343488 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=371360 CPUtime=3.08 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 6901 0 0 0 307 1 0 0 25 0 4 0 519923938 380272640 36205 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 371360

[startup+10.2522 s]
/proc/loadavg: 3.85 4.28 5.49 9/182 24258
/proc/meminfo: memFree=30498628/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=464768 CPUtime=35.44 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 68051 0 0 0 3525 19 0 0 25 0 4 0 519923937 475922432 39923 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 116192 39923 394 112 0 111157 0
[pid=24245/tid=24246] ppid=24243 vsize=464768 CPUtime=8.58 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 18555 0 0 0 854 4 0 0 25 0 4 0 519923938 475922432 39924 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=464768 CPUtime=9.2 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 17679 0 0 0 916 4 0 0 25 0 4 0 519923938 475922432 39924 33554432000 4194304 4650419 140733895343488 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=464768 CPUtime=9.8 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 14212 0 0 0 975 5 0 0 25 0 4 0 519923938 475922432 39924 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.44
Current children cumulated vsize (KiB) 464768

[startup+12.7005 s]
/proc/loadavg: 4.67 4.44 5.53 9/182 24258
/proc/meminfo: memFree=30425092/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=642620 CPUtime=45.03 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 91337 0 0 0 4477 26 0 0 25 0 4 0 519923937 658042880 63168 33554432000 4194304 4650419 140733895343488 18446744073709551615 274664505099 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 160655 63171 395 112 0 155620 0
[pid=24245/tid=24246] ppid=24243 vsize=642620 CPUtime=10.98 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 20409 0 0 0 1094 4 0 0 25 0 4 0 519923938 658042880 63171 33554432000 4194304 4650419 140733895343488 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=642620 CPUtime=11.6 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 19322 0 0 0 1156 4 0 0 25 0 4 0 519923938 658042880 63175 33554432000 4194304 4650419 140733895343488 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=642620 CPUtime=12.18 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 15783 0 0 0 1212 6 0 0 25 0 4 0 519923938 658042880 63175 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.03
Current children cumulated vsize (KiB) 642620

[startup+25.5003 s]
/proc/loadavg: 5.40 4.61 5.57 9/182 24258
/proc/meminfo: memFree=29911800/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=756684 CPUtime=96.13 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 223418 0 0 0 9556 57 0 0 25 0 4 0 519923937 774844416 115115 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 189171 115116 395 112 0 184136 0
[pid=24245/tid=24246] ppid=24243 vsize=756684 CPUtime=23.77 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 103984 0 0 0 2358 19 0 0 25 0 4 0 519923938 774844416 115116 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=756684 CPUtime=24.4 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 34081 0 0 0 2432 8 0 0 25 0 4 0 519923938 774844416 115116 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=756684 CPUtime=24.91 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 40112 0 0 0 2475 16 0 0 25 0 4 0 519923938 774844416 115116 33554432000 4194304 4650419 140733895343488 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 96.13
Current children cumulated vsize (KiB) 756684

[startup+51.1009 s]
/proc/loadavg: 6.35 4.90 5.64 9/182 24259
/proc/meminfo: memFree=29701840/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=707424 CPUtime=198.35 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 419824 0 0 0 19743 92 0 0 25 0 4 0 519923937 724402176 130001 33554432000 4194304 4650419 140733895343488 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 176856 130001 395 112 0 171821 0
[pid=24245/tid=24246] ppid=24243 vsize=707424 CPUtime=49.34 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 238391 0 0 0 4898 36 0 0 25 0 4 0 519923938 724402176 130001 33554432000 4194304 4650419 140733895343488 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=707424 CPUtime=50 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 57102 0 0 0 4985 15 0 0 25 0 4 0 519923938 724402176 130001 33554432000 4194304 4650419 140733895343488 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=707424 CPUtime=50.37 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 57688 0 0 0 5016 21 0 0 25 0 4 0 519923938 724402176 130001 33554432000 4194304 4650419 140733895343488 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.35
Current children cumulated vsize (KiB) 707424

[startup+102.301 s]
/proc/loadavg: 7.34 5.39 5.77 9/182 24260
/proc/meminfo: memFree=29547560/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=948168 CPUtime=402.8 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 771016 0 0 0 40123 157 0 0 25 0 4 0 519923937 970924032 152844 33554432000 4194304 4650419 140733895343488 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 237042 152844 395 112 0 232007 0
[pid=24245/tid=24246] ppid=24243 vsize=948168 CPUtime=100.48 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 258026 0 0 0 10003 45 0 0 25 0 4 0 519923938 970924032 152844 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=948168 CPUtime=101.19 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 78554 0 0 0 10096 23 0 0 25 0 4 0 519923938 970924032 152844 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=948168 CPUtime=101.28 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 85829 0 0 0 10097 31 0 0 25 0 4 0 519923938 970924032 152844 33554432000 4194304 4650419 140733895343488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 402.8
Current children cumulated vsize (KiB) 948168

[startup+162.301 s]

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

[pid=24245] ppid=24243 vsize=1330544 CPUtime=2559.18 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 3092380 0 0 0 255260 658 0 0 25 0 4 0 519923937 1362477056 260984 33554432000 4194304 4650419 140733895343488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 332636 260984 395 112 0 327601 0
[pid=24245/tid=24246] ppid=24243 vsize=1330544 CPUtime=639.89 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 937605 0 0 0 63797 192 0 0 25 0 4 0 519923938 1362477056 260984 33554432000 4194304 4650419 140733895343488 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1330544 CPUtime=641.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 281887 0 0 0 64015 103 0 0 25 0 4 0 519923938 1362477056 260984 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1330544 CPUtime=638.29 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 904718 0 0 0 63645 184 0 0 25 0 4 0 519923938 1362477056 260984 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2559.18
Current children cumulated vsize (KiB) 1330544

[startup+702.301 s]
/proc/loadavg: 8.04 7.69 6.84 9/182 24276
/proc/meminfo: memFree=28416804/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1388764 CPUtime=2798.8 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 3352700 0 0 0 279168 712 0 0 25 0 4 0 519923937 1422094336 274279 33554432000 4194304 4650419 140733895343488 18446744073709551615 4333593 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 347191 274279 395 112 0 342156 0
[pid=24245/tid=24246] ppid=24243 vsize=1388764 CPUtime=699.83 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1135506 0 0 0 69762 221 0 0 25 0 4 0 519923938 1422094336 274279 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1388764 CPUtime=701.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 300625 0 0 0 70007 111 0 0 25 0 4 0 519923938 1422094336 274279 33554432000 4194304 4650419 140733895343488 18446744073709551615 4441903 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1388764 CPUtime=697.97 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 918700 0 0 0 69609 188 0 0 25 0 4 0 519923938 1422094336 274279 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.8
Current children cumulated vsize (KiB) 1388764

[startup+762.301 s]
/proc/loadavg: 8.01 7.74 6.91 9/182 24278
/proc/meminfo: memFree=28391464/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1389400 CPUtime=3038.39 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 3667046 0 0 0 303068 771 0 0 25 0 4 0 519923937 1422745600 274249 33554432000 4194304 4650419 140733895343488 18446744073709551615 4334396 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 347350 274249 406 112 0 342315 0
[pid=24245/tid=24246] ppid=24243 vsize=1389400 CPUtime=759.77 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1399175 0 0 0 75720 257 0 0 25 0 4 0 519923938 1422745600 274249 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1389400 CPUtime=761.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 300625 0 0 0 76007 111 0 0 25 0 4 0 519923938 1422745600 274249 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1389400 CPUtime=757.63 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 941893 0 0 0 75563 200 0 0 25 0 4 0 519923938 1422745600 274249 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3038.39
Current children cumulated vsize (KiB) 1389400

[startup+822.3 s]
/proc/loadavg: 8.00 7.79 6.98 9/182 24280
/proc/meminfo: memFree=28391912/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1456028 CPUtime=3277.97 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 3930039 0 0 0 326967 830 0 0 25 0 4 0 519923937 1490972672 276361 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 364007 276361 395 112 0 358972 0
[pid=24245/tid=24246] ppid=24243 vsize=1456028 CPUtime=819.68 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1581970 0 0 0 81683 285 0 0 25 0 4 0 519923938 1490972672 276361 33554432000 4194304 4650419 140733895343488 18446744073709551615 4229477 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1456028 CPUtime=821.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 324008 0 0 0 81997 121 0 0 25 0 4 0 519923938 1490972672 276361 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1456028 CPUtime=817.3 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 969768 0 0 0 81520 210 0 0 25 0 4 0 519923938 1490972672 276361 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3277.97
Current children cumulated vsize (KiB) 1456028

[startup+882.301 s]
/proc/loadavg: 8.00 7.82 7.04 9/182 24281
/proc/meminfo: memFree=28297520/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1399452 CPUtime=3517.58 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4012879 0 0 0 350895 863 0 0 25 0 4 0 519923937 1433038848 281504 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476756 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 349863 281504 395 112 0 344828 0
[pid=24245/tid=24246] ppid=24243 vsize=1399452 CPUtime=879.63 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1610607 0 0 0 87666 297 0 0 25 0 4 0 519923938 1433038848 281504 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1399452 CPUtime=881.19 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 347658 0 0 0 87987 132 0 0 25 0 4 0 519923938 1433038848 281504 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1399452 CPUtime=876.96 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1000321 0 0 0 87475 221 0 0 25 0 4 0 519923938 1433038848 281504 33554432000 4194304 4650419 140733895343488 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.58
Current children cumulated vsize (KiB) 1399452

[startup+942.3 s]
/proc/loadavg: 8.07 7.87 7.10 9/182 24283
/proc/meminfo: memFree=28236840/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1464836 CPUtime=3757.19 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4121452 0 0 0 374819 900 0 0 25 0 4 0 519923937 1499992064 282008 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 366209 282008 395 112 0 361174 0
[pid=24245/tid=24246] ppid=24243 vsize=1464836 CPUtime=939.57 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1639158 0 0 0 93650 307 0 0 25 0 4 0 519923938 1499992064 282008 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1464836 CPUtime=941.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 373327 0 0 0 93977 141 0 0 25 0 4 0 519923938 1499992064 282008 33554432000 4194304 4650419 140733895343488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1464836 CPUtime=936.63 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1027835 0 0 0 93433 230 0 0 25 0 4 0 519923938 1499992064 282008 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.19
Current children cumulated vsize (KiB) 1464836

[startup+1002.3 s]
/proc/loadavg: 8.20 7.94 7.17 9/182 24284
/proc/meminfo: memFree=28243116/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1467188 CPUtime=3996.75 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4233487 0 0 0 398739 936 0 0 25 0 4 0 519923937 1502400512 296591 33554432000 4194304 4650419 140733895343488 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 366797 296591 395 112 0 361762 0
[pid=24245/tid=24246] ppid=24243 vsize=1467188 CPUtime=999.5 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1670571 0 0 0 99632 318 0 0 25 0 4 0 519923938 1502400512 296591 33554432000 4194304 4650419 140733895343488 18446744073709551615 4331043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1467188 CPUtime=1001.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 397569 0 0 0 99969 149 0 0 25 0 4 0 519923938 1502400512 296591 33554432000 4194304 4650419 140733895343488 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1467188 CPUtime=996.28 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1052720 0 0 0 99389 239 0 0 25 0 4 0 519923938 1502400512 296591 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.75
Current children cumulated vsize (KiB) 1467188

[startup+1062.31 s]
/proc/loadavg: 8.13 7.96 7.22 9/182 24286
/proc/meminfo: memFree=28181952/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1554072 CPUtime=4236.38 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4316811 0 0 0 422671 967 0 0 25 0 4 0 519923937 1591369728 301122 33554432000 4194304 4650419 140733895343488 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 388518 301122 395 112 0 383483 0
[pid=24245/tid=24246] ppid=24243 vsize=1554072 CPUtime=1059.44 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1680797 0 0 0 105621 323 0 0 25 0 4 0 519923938 1591369728 301122 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1554072 CPUtime=1061.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 415980 0 0 0 105966 152 0 0 25 0 4 0 519923938 1591369728 301122 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1554072 CPUtime=1055.95 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1081527 0 0 0 105345 250 0 0 25 0 4 0 519923938 1591369728 301122 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.38
Current children cumulated vsize (KiB) 1554072

[startup+1122.3 s]
/proc/loadavg: 8.10 7.98 7.27 9/182 24288
/proc/meminfo: memFree=28288168/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1437304 CPUtime=4475.91 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4383066 0 0 0 446594 997 0 0 25 0 4 0 519923937 1471799296 293419 33554432000 4194304 4650419 140733895343488 18446744073709551615 4331351 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 359326 293419 395 112 0 354291 0
[pid=24245/tid=24246] ppid=24243 vsize=1437304 CPUtime=1119.33 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1693402 0 0 0 111604 329 0 0 25 0 4 0 519923938 1471799296 293419 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1437304 CPUtime=1121.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 415995 0 0 0 111966 152 0 0 25 0 4 0 519923938 1471799296 293419 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1437304 CPUtime=1115.61 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1109694 0 0 0 111298 263 0 0 25 0 4 0 519923938 1471799296 293419 33554432000 4194304 4650419 140733895343488 18446744073709551615 4367335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.91
Current children cumulated vsize (KiB) 1437304

[startup+1182.3 s]
/proc/loadavg: 8.08 8.00 7.32 9/182 24289
/proc/meminfo: memFree=28089852/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1555568 CPUtime=4715.51 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4464489 0 0 0 470518 1033 0 0 25 0 4 0 519923937 1592901632 322972 33554432000 4194304 4650419 140733895343488 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 388892 322972 395 112 0 383857 0
[pid=24245/tid=24246] ppid=24243 vsize=1555568 CPUtime=1179.27 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1721100 0 0 0 117584 343 0 0 25 0 4 0 519923938 1592901632 322972 33554432000 4194304 4650419 140733895343488 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1555568 CPUtime=1181.18 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 415995 0 0 0 117966 152 0 0 25 0 4 0 519923938 1592901632 322972 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1555568 CPUtime=1175.26 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1137172 0 0 0 117252 274 0 0 25 0 4 0 519923938 1592901632 322972 33554432000 4194304 4650419 140733895343488 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.51
Current children cumulated vsize (KiB) 1555568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 7.73 7.93 7.32 5/177 24291
/proc/meminfo: memFree=29722212/32951132 swapFree=67111356/67111528
[pid=24245] ppid=24243 vsize=1556120 CPUtime=4800.17 cores=0,2,4,6
/proc/24245/stat : 24245 (strangenight1-m) R 24243 24245 23406 0 -1 4202496 4489407 0 0 0 478972 1045 0 0 25 0 4 0 519923937 1593466880 292280 33554432000 4194304 4650419 140733895343488 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24245/statm: 389030 292280 395 112 0 383995 0
[pid=24245/tid=24246] ppid=24243 vsize=1556120 CPUtime=1200.44 cores=0,2,4,6
/proc/24245/task/24246/stat : 24246 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1728477 0 0 0 119697 347 0 0 25 0 4 0 519923938 1593466880 292280 33554432000 4194304 4650419 140733895343488 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24245/tid=24247] ppid=24243 vsize=1556120 CPUtime=1202.39 cores=0,2,4,6
/proc/24245/task/24247/stat : 24247 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 415995 0 0 0 120087 152 0 0 25 0 4 0 519923938 1593466880 292280 33554432000 4194304 4650419 140733895343488 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24245/tid=24248] ppid=24243 vsize=1556120 CPUtime=1196.35 cores=0,2,4,6
/proc/24245/task/24248/stat : 24248 (strangenight1-m) R 24243 24245 23406 0 -1 4202560 1147918 0 0 0 119356 279 0 0 25 0 4 0 519923938 1593466880 292280 33554432000 4194304 4650419 140733895343488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1556120

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.57
CPU time (s): 4800.26
CPU user time (s): 4789.75
CPU system time (s): 10.5124
CPU usage (%): 398.835
Max. virtual memory (cumulated for all children) (KiB): 1570568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.75
system time used= 10.5124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4489412
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= 1824
involuntary context switches= 31485

runsolver used 2.02369 second user time and 5.16921 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 15:20:43
IDJOB=3175084
IDBENCH=82702
IDSOLVER=1588
FILE ID=node131/3175084-1304083243
RUNJOBID= node131-1304083243-24231
PBS_JOBID= 13170501
Free space on /tmp= 71384 MiB

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

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

MD5SUM BENCH= cb40e65d82022f377e00087cafdb55b2
RANDOM SEED=2048871441

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30900728 kB
Buffers:        182404 kB
Cached:        1492516 kB
SwapCached:        168 kB
Active:         110404 kB
Inactive:      1633872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30900728 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           10824 kB
Writeback:           0 kB
AnonPages:       69272 kB
Mapped:          14632 kB
Slab:           242692 kB
PageTables:       4552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   194756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71376 MiB
End job on node131 at 2011-04-29 15:40:49