Trace number 3174951

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.34 1202.08

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
MD5SUM1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark312.282
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-3174951-1304058611.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.24/0.14	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.24/0.14	c -- vars added      25000
0.24/0.14	c Parsing time:  0.25 s
0.24/0.14	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.24/0.29	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.28
0.24/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.21
1.00/0.35	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.00/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.00/0.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
1.00/0.37	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
2.01/0.62	c lits-rem:         0  cl-subs:        0  v-elim:    735  v-fix:    0  time:  0.98 s
2.01/0.63	c Finding binary XORs  T:     0.02 s  found:       0
2.01/0.69	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
2.01/0.69	c calculated reachability. Time: 0.00
2.01/0.70	c Calc default polars -  time:   0.03 s pos:   11096 undec:    2820 neg:   11084
2.01/0.70	c =========================================================================================
2.01/0.70	c types(t): F = full restart, N = normal restart
2.01/0.70	c types(t): S = simplification begin/end, E = solution found
2.01/0.70	c restart types(rt): st = static, dy = dynamic
2.01/0.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.01/0.70	c  B st     0         0     24265    103896         0         0    315804         0   no data   no data  --
6.97/1.86	c  N dy    22      4066     24265    103896         0      4066    315804    911026    132.92    141.51  --
11.76/3.07	c  N dy    53      8152     24265    103896         0      8150    315804   1806156    139.82    180.12  --
16.55/4.28	c  N dy    78     12204     24265    103896         0     12202    315804   2658775    138.49    146.39  --
21.74/5.57	c  N dy   111     16297     24265    103896         0     16294    315804   3559871    139.95    151.53  --
27.34/6.93	c  N dy   144     20428     24265    103896         0     10430    315804    666529    141.17    148.69  --
32.16/8.16	c  N dy   173     24452     24265    103896         0     14454    315804   1550109    141.81    154.07  --
32.93/8.33	c  F st   178     25001     24265    103896         0     15003    315804   1669573    141.90    145.97  --
39.73/10.00	c  N dy   184     30001     24265    103896         0     20003    315804   3136637    141.90   no data  --
39.73/10.00	c  S st   184     30001     24265    103896         0     20003    315804   3136637    141.90   no data  --
40.12/10.17	c  S st   184     30509     24265    103896         0     20511    315804   3223228    141.90   no data  --
40.12/10.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.12/10.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.94/10.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.50
42.12/10.68	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.12/10.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.12/10.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.03 s
42.51/10.70	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
70.88/17.82	c lits-rem:         0  cl-subs:     2294  v-elim:    134  v-fix:    0  time: 28.27 s
71.28/17.96	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.55
71.28/17.97	c calculated reachability. Time: 0.00
71.28/17.97	c  N dy   184     30509     24131    104030         0     18217    317036   2165080    141.90   no data  --
77.66/19.55	c  N dy   215     34689     24131    104030         0     22397    317036   3107142    142.54    151.09  --
84.06/21.10	c  N dy   242     38797     24131    104030         0     26505    317036   4020664    142.60    155.49  --
90.85/22.81	c  N dy   273     42874     24131    104030         0     30582    317036   4955905    143.38    153.56  --
94.84/23.87	c  S st   290     45763     24131    104030         0     17970    317036   1225091    143.27   no data  --
95.64/24.04	c  S st   290     46265     24131    104030         0     18472    317036   1296101    143.27   no data  --
95.64/24.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
95.64/24.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.04/24.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
96.44/24.29	c bin-w-bin subsume rem            0 bins  time:  0.03 s
96.84/24.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
96.84/24.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.03 s
96.84/24.32	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
108.42/27.25	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.67 s
108.42/27.27	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
108.42/27.29	c vivif2 --  cl tried    18472 cl shrink        0 lits rem          0 time: 0.07
109.22/27.41	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.49
109.22/27.42	c calculated reachability. Time: 0.00
109.22/27.42	c  N dy   290     46265     24131    104030         0     18472    317036   1296097    143.27   no data  --
114.81/28.81	c  N dy   315     50283     24131    104030         0     22490    317036   2200735    143.33    153.17  --
120.42/30.22	c  N dy   339     54301     24131    104030         0     26508    317036   3089590    143.29    152.07  --
125.99/31.66	c  N dy   365     58338     24131    104030         0     30544    317036   3992878    143.29    180.77  --
131.99/33.16	c  N dy   390     62419     24131    104030         0     34625    317036   4909239    143.01    159.83  --
138.37/34.70	c  N dy   417     66434     24131    104030         0     19893    317036    951986    143.16    156.17  --
141.98/35.66	c  S st   436     69397     24131    104030         0     22856    317036   1600561    143.23   no data  --
142.76/35.83	c  S st   436     69904     24131    104030         0     23363    317036   1698567    143.23   no data  --
142.76/35.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
142.76/35.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.16/35.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.53
143.96/36.12	c bin-w-bin subsume rem            0 bins  time:  0.03 s
143.96/36.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
143.96/36.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.03 s
143.96/36.15	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
158.34/39.74	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 14.34 s
158.34/39.76	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
158.34/39.78	c vivif2 --  cl tried    23361 cl shrink        0 lits rem          0 time: 0.10
159.14/39.92	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.54
159.14/39.93	c calculated reachability. Time: 0.00
159.14/39.93	c  N dy   436     69904     24131    104030         0     23361    317036   1698295    143.23   no data  --
165.53/41.53	c  N dy   465     74436     24131    104030         0     27893    317036   2696921    143.05    151.25  --
172.32/43.24	c  N dy   501     79275     24131    104030         0     32732    317036   3781037    143.06    157.62  --
179.91/45.16	c  N dy   540     84467     24131    104030         0     37924    317036   4935854    143.24    153.64  --
184.70/46.32	c  F st   560     87500     24131    104030         0     40957    317036   5627886    143.24   no data  --
189.90/47.67	c  N st   565     90800     24131    104030         0     23382    317036   1571245    143.24   no data  --
198.69/49.80	c  N dy   594     96705     24131    104030         0     29287    317036   3092150    143.33    152.47  --
207.47/52.04	c  N dy   638    102971     24131    104030         0     35552    317036   4518888    143.53    156.02  --
210.27/52.74	c  S st   650    104858     24131    104030         0     37439    317036   4946547    143.42    100.03  --
211.07/52.95	c  S st   650    105363     24131    104030         0     37944    317036   5040404    143.42   no data  --
211.07/52.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
211.07/52.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.87/53.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
213.47/53.52	c bin-w-bin subsume rem            0 bins  time:  0.03 s
213.47/53.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
213.47/53.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
213.47/53.55	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
412.39/103.35	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 198.67 s
412.39/103.36	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
412.79/103.44	c vivif2 --  cl tried    37940 cl shrink        0 lits rem          0 time: 0.29
413.59/103.60	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.66
413.59/103.61	c calculated reachability. Time: 0.00
413.59/103.61	c  N dy   650    105363     24131    104030         0     37940    317036   5037468    143.42   no data  --
423.60/106.19	c  N dy   694    112138     24131    104030         0     44715    317036   6559063    143.59    152.30  --
433.56/108.69	c  N dy   742    119297     24131    104030         0     29436    317036   2178949    143.58    151.58  --
445.17/111.51	c  N dy   801    126981     24131    104030         0     37120    317036   3934169    143.99    152.62  --
457.54/114.61	c  N dy   858    135106     24131    104030         0     45245    317036   5732539    143.99    174.18  --
469.91/117.73	c  N dy   917    143753     24131    104030         0     30176    317036   1995414    143.98    154.03  --
483.49/121.16	c  N dy   983    153035     24131    104030         0     39458    317036   4145614    144.26    153.23  --
491.49/123.11	c  S st  1018    158044     24131    104030         0     44466    317036   5326676    144.45   no data  --
492.28/123.32	c  S st  1018    158549     24131    104030         0     44971    317036   5401942    144.45   no data  --
492.28/123.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
492.28/123.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
492.68/123.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.62
494.67/123.90	c bin-w-bin subsume rem            0 bins  time:  0.03 s
494.67/123.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
494.67/123.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
494.67/123.93	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
746.73/187.08	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 251.91 s
746.73/187.09	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
747.13/187.17	c vivif2 --  cl tried    44969 cl shrink        0 lits rem          0 time: 0.32
747.93/187.35	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.72
747.93/187.36	c calculated reachability. Time: 0.00
747.93/187.36	c  N dy  1018    158549     24131    104030         0     44969    317036   5400337    144.45   no data  --
763.11/191.17	c  N dy  1090    168717     24131    104030         0     30279    317036   1768247    144.62    153.46  --
780.27/195.47	c  N dy  1166    179797     24131    104030         0     41359    317036   4198914    144.51    158.57  --
799.06/200.13	c  N dy  1242    191272     24131    104030         0     26904    317036    737707    144.65    154.05  --
817.43/204.78	c  N dy  1331    203553     24131    104030         0     39185    317036   3551627    144.78    161.02  --
839.00/210.17	c  N dy  1419    216737     24131    104030         0     52369    317036   6586722    144.89    155.56  --
860.17/215.49	c  N dy  1512    230652     24131    104030         0     39320    317036   3324641    144.93    152.82  --
871.77/218.33	c  S st  1559    237823     24131    104030         0     46490    317036   4920969    144.88   no data  --
872.55/218.55	c  S st  1559    238324     24131    104030         0     46991    317036   5013087    144.88   no data  --
872.55/218.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
872.55/218.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
873.35/218.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.63
874.55/219.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
874.55/219.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
874.55/219.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
874.95/219.10	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1101.83/275.95	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 226.74 s
1101.83/275.96	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.06
1102.23/276.04	c vivif2 --  cl tried    46988 cl shrink        0 lits rem          0 time: 0.31
1103.04/276.23	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.76
1103.04/276.24	c calculated reachability. Time: 0.00
1103.04/276.24	c  N dy  1559    238324     24131    104030         0     46988    317036   5012148    144.88   no data  --
1127.40/282.38	c  N dy  1658    253639     24131    104030         0     34325    317036   1956868    144.90    154.04  --
1153.77/288.96	c  N dy  1771    269851     24131    104030         0     50536    317036   5685512    145.07    152.71  --
1180.53/295.69	c  N dy  1873    287289     24131    104030         0     38982    317036   2664191    144.84    157.50  --
1209.70/302.91	c  N dy  1994    305716     24131    104030         0     57408    317036   6908072    144.89    154.01  --
1210.48/303.12	c  F st  1997    306250     24131    104030         0     57942    317036   7028021    144.89    145.30  --
1240.04/310.54	c  N dy  2100    325232     24131    104030         0     46927    317036   4600070    144.99    155.29  --
1273.59/318.94	c  N dy  2237    345308     24131    104030         0     36009    317036   1628265    145.05    154.79  --
1292.77/323.79	c  S st  2317    357487     24131    104030         0     48187    317036   4379267    145.05   no data  --
1293.96/324.00	c  S st  2317    357991     24131    104030         0     48691    317036   4466367    145.05   no data  --
1293.96/324.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1293.96/324.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1294.36/324.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1295.56/324.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1295.56/324.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1295.96/324.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
1295.96/324.51	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1456.94/364.86	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 161.02 s
1456.94/364.88	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
1457.34/364.95	c vivif2 --  cl tried    48688 cl shrink        0 lits rem          0 time: 0.28
1458.14/365.14	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.77
1458.14/365.15	c calculated reachability. Time: 0.00
1458.14/365.15	c  N dy  2317    357991     24131    104030         0     48688    317036   4463280    145.05   no data  --
1491.70/373.57	c  N dy  2453    377998     24131    104030         0     36698    317036   1537132    145.14    153.12  --
1524.45/381.77	c  N dy  2588    398100     24131    104030         0     56797    317036   6133241    145.18    152.85  --
1558.01/390.18	c  N dy  2722    418206     24131    104030         0     43911    317036   2897066    145.19    160.69  --
1593.56/399.06	c  N dy  2857    438433     24131    104030         0     64135    317036   7471910    145.14    156.89  --
1627.91/407.69	c  N dy  2995    458534     24131    104030         0     50232    317036   4130068    145.09    155.98  --
1665.07/416.98	c  N dy  3138    478579     24131    104030         0     35276    317036    522194    145.22    153.45  --
1699.42/425.51	c  N dy  3277    498753     24131    104030         0     55448    317036   5172374    145.32    154.57  --
1736.98/434.93	c  N dy  3417    518938     24131    104030         0     39637    317036   1306043    145.38    160.08  --
1766.92/442.46	c  S st  3539    536988     24131    104030         0     57684    317036   5397409    145.41    157.70  --
1767.73/442.69	c  S st  3539    537492     24131    104030         0     58188    317036   5482979    145.41   no data  --
1768.14/442.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1768.14/442.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1768.52/442.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.68
1770.12/443.24	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1770.12/443.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1770.12/443.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
1770.12/443.27	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2052.13/513.88	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 281.18 s
2052.53/513.90	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
2052.53/513.98	c vivif2 --  cl tried    58185 cl shrink        0 lits rem          0 time: 0.34
2053.34/514.19	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.82
2053.34/514.20	c calculated reachability. Time: 0.00
2053.34/514.20	c  N dy  3539    537492     24131    104030         0     58185    317036   5482393    145.41   no data  --
2087.62/522.71	c  N dy  3676    557497     24131    104030         0     41192    317036   1410388    145.45    156.27  --
2119.68/530.84	c  N dy  3814    577551     24131    104030         0     61246    317036   6031094    145.51    153.32  --
2153.64/539.44	c  N dy  3954    597802     24131    104030         0     43502    317036   1722195    145.55    156.10  --
2185.91/547.59	c  N dy  4078    617941     24131    104030         0     63641    317036   6335539    145.51    153.46  --
2220.26/556.17	c  N dy  4215    638032     24131    104030         0     44726    317036   1793425    145.52    169.00  --
2253.02/564.33	c  N dy  4352    658054     24131    104030         0     64747    317036   6320480    145.52    154.18  --
2287.77/573.01	c  N dy  4485    678201     24131    104030         0     44895    317036   1583641    145.57    154.25  --
2320.54/581.23	c  N dy  4619    698217     24131    104030         0     64907    317036   6139432    145.56    153.33  --
2356.10/590.12	c  N dy  4750    718370     24131    104030         0     44066    317036   1166561    145.54    154.30  --
2388.43/598.21	c  N dy  4877    738490     24131    104030         0     64186    317036   5741104    145.53    160.59  --
2424.38/607.23	c  N dy  5016    758493     24131    104030         0     42190    317036    511662    145.53    153.74  --
2456.75/615.30	c  N dy  5152    778581     24131    104030         0     62278    317036   5082566    145.55    155.45  --
2492.69/624.31	c  N dy  5281    798657     24131    104030         0     82352    317036   9681811    145.55    186.11  --
2505.86/627.67	c  S st  5335    806239     24131    104030         0     46937    317036   1375975    145.59   no data  --
2506.66/627.87	c  S st  5335    806740     24131    104030         0     47438    317036   1455339    145.59   no data  --
2506.66/627.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2506.66/627.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2507.45/628.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2507.85/628.16	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2507.85/628.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2507.85/628.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
2507.85/628.19	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2522.24/631.75	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 14.19 s
2522.24/631.76	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
2522.24/631.78	c vivif2 --  cl tried    47437 cl shrink        0 lits rem          0 time: 0.10
2523.06/631.96	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.70
2523.06/631.97	c calculated reachability. Time: 0.00
2523.06/631.97	c  N dy  5335    806740     24131    104030         0     47437    317036   1455324    145.59   no data  --
2555.79/640.11	c  N dy  5469    826772     24131    104030         0     67468    317036   6066882    145.59    154.10  --
2592.15/649.28	c  N dy  5609    846795     24131    104030         0     87491    317036  10648376    145.59    157.83  --
2625.29/657.50	c  N dy  5744    866994     24131    104030         0     63692    317036   4942971    145.57    154.59  --
2662.04/666.79	c  N dy  5879    887165     24131    104030         0     83862    317036   9586319    145.61    158.43  --
2699.19/676.09	c  N dy  6010    907206     24131    104030         0     58902    317036   3629804    145.56    153.42  --
2737.96/685.72	c  N dy  6153    927233     24131    104030         0     78928    317036   8308579    145.64    157.19  --
2777.09/695.56	c  N dy  6284    947411     24131    104030         0     53109    317036   2104996    145.63    161.12  --
2813.83/704.74	c  N dy  6419    967581     24131    104030         0     73277    317036   6710035    145.66    153.36  --
2853.78/714.70	c  N dy  6562    987759     24131    104030         0     93453    317036  11345602    145.71    155.16  --
2889.72/723.77	c  N dy  6698   1007821     24131    104030         0     66517    317036   4963640    145.73    163.71  --
2929.26/733.68	c  N dy  6834   1027903     24131    104030         0     86597    317036   9565802    145.76    159.49  --
2968.42/743.42	c  N dy  6971   1048101     24131    104030         0     58797    317036   2984146    145.81    155.09  --
3005.56/752.80	c  N dy  7089   1068235     24131    104030         0     78927    317036   7550399    145.76    154.29  --
3013.16/754.61	c  F st  7112   1071875     24131    104030         0     82567    317036   8361177    145.74    146.61  --
3047.50/763.23	c  N dy  7199   1088268     24131    104030         0     49967    317036    711306    145.77    155.86  --
3083.46/772.28	c  N dy  7332   1108352     24131    104030         0     70048    317036   5320015    145.76    154.86  --
3123.41/782.20	c  N dy  7461   1128356     24131    104030         0     90049    317036   9849706    145.75    157.75  --
3162.55/792.01	c  N dy  7595   1148422     24131    104030         0     60117    317036   2788140    145.75    154.09  --
3199.31/801.23	c  N dy  7727   1168449     24131    104030         0     80143    317036   7406160    145.76    159.21  --
3238.85/811.16	c  N dy  7856   1188581     24131    104030         0    100274    317036  11974963    145.75    155.02  --
3273.19/819.76	c  N dy  7999   1208609     24131    104030         0     69302    317036   4724223    145.78    153.56  --
3275.98/820.41	c  S st  8010   1210111     24131    104030         0     70804    317036   5059521    145.78   no data  --
3276.78/820.64	c  S st  8010   1210613     24131    104030         0     71306    317036   5148177    145.78   no data  --
3276.78/820.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3276.78/820.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3277.58/820.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3278.79/821.16	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3278.79/821.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3278.79/821.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
3278.79/821.19	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
3538.03/886.01	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 258.43 s
3538.03/886.02	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
3538.41/886.10	c vivif2 --  cl tried    71302 cl shrink        0 lits rem          0 time: 0.32
3539.21/886.34	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.94
3539.21/886.35	c calculated reachability. Time: 0.00
3539.21/886.35	c  N dy  8010   1210613     24131    104030         0     71302    317036   5147447    145.78   no data  --
3576.36/895.68	c  N dy  8150   1230690     24131    104030         0     91373    317036   9777056    145.81    157.48  --
3613.50/904.97	c  N dy  8285   1250775     24131    104030         0     59468    317036   2249276    145.83    155.64  --
3648.66/913.75	c  N dy  8429   1270845     24131    104030         0     79538    317036   6918554    145.88    160.26  --
3687.42/923.49	c  N dy  8568   1290878     24131    104030         0     99571    317036  11596588    145.93    158.44  --
3723.74/932.53	c  N dy  8711   1310993     24131    104030         0     66684    317036   3639860    145.96    157.49  --
3760.50/941.71	c  N dy  8850   1331151     24131    104030         0     86841    317036   8278758    145.98    156.48  --
3800.44/951.76	c  N dy  8984   1351224     24131    104030         0    106913    317036  12852789    145.99    166.19  --
3835.19/960.46	c  N dy  9119   1371305     24131    104030         0     72997    317036   4884139    146.01    157.55  --
3872.74/969.87	c  N dy  9255   1391324     24131    104030         0     93015    317036   9554337    146.06    153.77  --
3913.08/979.99	c  N dy  9394   1411473     24131    104030         0     58165    317036   1286482    146.09    154.63  --
3947.43/988.58	c  N dy  9528   1431533     24131    104030         0     78223    317036   5822814    146.07    173.89  --
3985.80/998.18	c  N dy  9672   1451636     24131    104030         0     98324    317036  10460843    146.08    157.55  --
4024.92/1008.00	c  N dy  9803   1471744     24131    104030         0     62430    317036   2051254    146.09    155.82  --
4060.48/1016.86	c  N dy  9938   1491774     24131    104030         0     82459    317036   6590013    146.08    170.58  --
4099.21/1026.58	c  N dy 10072   1511937     24131    104030         0    102621    317036  11180413    146.05    154.52  --
4138.36/1036.38	c  N dy 10216   1532025     24131    104030         0     65712    317036   2561782    146.09    154.01  --
4176.70/1045.91	c  N dy 10353   1552189     24131    104030         0     85875    317036   7221115    146.12    154.11  --
4219.84/1056.78	c  N dy 10480   1572298     24131    104030         0    105983    317036  11798274    146.10    156.90  --
4262.18/1067.34	c  N dy 10620   1592305     24131    104030         0     68003    317036   2815216    146.11    157.13  --
4302.15/1077.39	c  N dy 10754   1612399     24131    104030         0     88097    317036   7429249    146.13    189.19  --
4346.86/1088.54	c  N dy 10892   1632647     24131    104030         0    108345    317036  12151364    146.17    159.59  --
4389.21/1099.14	c  N dy 11028   1652693     24131    104030         0     69390    317036   2906454    146.19    154.14  --
4429.16/1109.14	c  N dy 11153   1672743     24131    104030         0     89439    317036   7443361    146.17    156.15  --
4473.09/1120.12	c  N dy 11280   1692885     24131    104030         0    109581    317036  11992973    146.15    154.51  --
4509.84/1129.39	c  S st 11400   1710614     24131    104030         0     67311    317036   2265083    146.16   no data  --
4511.04/1129.64	c  S st 11400   1711115     24131    104030         0     67812    317036   2353419    146.16   no data  --
4511.04/1129.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4511.04/1129.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4511.84/1129.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
4512.64/1130.01	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4512.64/1130.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4512.64/1130.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
4512.64/1130.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4539.82/1136.88	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 27.30 s
4540.20/1136.90	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
4540.20/1136.94	c vivif2 --  cl tried    67810 cl shrink        0 lits rem          0 time: 0.16
4541.00/1137.17	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.93
4541.00/1137.18	c calculated reachability. Time: 0.00
4541.00/1137.18	c  N dy 11400   1711115     24131    104030         0     67810    317036   2352878    146.16   no data  --
4579.37/1146.76	c  N dy 11534   1731176     24131    104030         0     87868    317036   6896423    146.15    158.38  --
4621.69/1157.32	c  N dy 11673   1751242     24131    104030         0    107931    317036  11470897    146.16    164.65  --
4664.43/1168.02	c  N dy 11801   1771353     24131    104030         0     67041    317036   1893862    146.14    155.60  --
4703.17/1177.72	c  N dy 11943   1791429     24131    104030         0     87114    317036   6514348    146.15    165.32  --
4745.52/1188.38	c  N dy 12077   1811598     24131    104030         0    107280    317036  11127776    146.15    154.31  --
4790.64/1199.60	c  N dy 12216   1831689     24131    104030         0     65380    317036   1304044    146.16    156.50  --

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-3174951-1304058611/watcher-3174951-1304058611 -o /tmp/evaluation-result-3174951-1304058611/solver-3174951-1304058611 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174951-1304058611.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: 7.38 7.93 7.96 2/174 30991
/proc/meminfo: memFree=20500268/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 416 0 0 0 0 0 0 0 21 0 4 0 596091843 52465664 356 33554432000 4194304 4650419 140734272789728 18446744073709551615 47033745511961 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 12809 356 306 112 0 7774 0
[pid=30991/tid=30992] ppid=30989 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 596091843 52465664 356 33554432000 4194304 4650419 140734272789728 18446744073709551615 47033745511961 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 596091843 52465664 356 33554432000 4194304 4650419 140734272789728 18446744073709551615 47033745512370 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 596091843 52465664 356 33554432000 4194304 4650419 140734272789728 18446744073709551615 47033745511961 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0700449 s]
/proc/loadavg: 7.38 7.93 7.96 2/174 30991
/proc/meminfo: memFree=20500268/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=370708 CPUtime=0.16 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 13506 0 0 0 11 5 0 0 18 0 4 0 596091843 379604992 11366 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 92677 11366 344 112 0 87642 0
[pid=30991/tid=30992] ppid=30989 vsize=370708 CPUtime=0.02 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3339 0 0 0 1 1 0 0 17 0 4 0 596091843 379604992 11366 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=370708 CPUtime=0.02 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3478 0 0 0 1 1 0 0 17 0 4 0 596091843 379604992 11366 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=370708 CPUtime=0.06 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3016 0 0 0 5 1 0 0 18 0 4 0 596091843 379604992 11366 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 370708

[startup+0.100997 s]
/proc/loadavg: 7.38 7.93 7.96 2/174 30991
/proc/meminfo: memFree=20500268/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=372152 CPUtime=0.24 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 15074 0 0 0 16 8 0 0 17 0 4 0 596091843 381083648 12934 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 93038 12940 344 112 0 88003 0
[pid=30991/tid=30992] ppid=30989 vsize=372152 CPUtime=0.04 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3724 0 0 0 3 1 0 0 17 0 4 0 596091843 381083648 12948 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=372152 CPUtime=0.05 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3941 0 0 0 3 2 0 0 17 0 4 0 596091843 381083648 12958 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=372152 CPUtime=0.07 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 3238 0 0 0 6 1 0 0 17 0 4 0 596091843 381083648 12968 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 372152

[startup+0.374014 s]
/proc/loadavg: 7.38 7.93 7.96 2/174 30991
/proc/meminfo: memFree=20500268/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=389788 CPUtime=1.28 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 27930 0 0 0 109 19 0 0 18 0 4 0 596091843 399142912 23866 33554432000 4194304 4650419 140734272789728 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 97480 23943 385 112 0 92445 0
[pid=30991/tid=30992] ppid=30989 vsize=389920 CPUtime=0.3 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 7158 0 0 0 24 6 0 0 17 0 4 0 596091843 399278080 23960 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=389920 CPUtime=0.3 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) S 30989 30991 30360 0 -1 4202560 8422 0 0 0 24 6 0 0 18 0 4 0 596091843 399278080 24008 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895595502 0 0 4096 2 18446604442310392768 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=389920 CPUtime=0.34 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 3850 0 0 0 32 2 0 0 18 0 4 0 596091843 399278080 24070 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 389788

[startup+1.17979 s]
/proc/loadavg: 7.38 7.93 7.96 2/174 30991
/proc/meminfo: memFree=20500268/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=394384 CPUtime=4.49 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 38866 0 0 0 427 22 0 0 18 0 4 0 596091843 403849216 31005 33554432000 4194304 4650419 140734272789728 18446744073709551615 4310774 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 98596 31005 391 112 0 93561 0
[pid=30991/tid=30992] ppid=30989 vsize=394384 CPUtime=1.1 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 11164 0 0 0 103 7 0 0 18 0 4 0 596091843 403849216 31005 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=394384 CPUtime=1.11 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 11605 0 0 0 103 8 0 0 19 0 4 0 596091843 403849216 31005 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=394384 CPUtime=1.13 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 4425 0 0 0 111 2 0 0 19 0 4 0 596091843 403849216 31005 33554432000 4194304 4650419 140734272789728 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 394384

[startup+1.50073 s]
/proc/loadavg: 7.38 7.93 7.96 9/184 31004
/proc/meminfo: memFree=20184608/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=394384 CPUtime=5.79 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 39953 0 0 0 557 22 0 0 19 0 4 0 596091843 403849216 32092 33554432000 4194304 4650419 140734272789728 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 98596 32092 391 112 0 93561 0
[pid=30991/tid=30992] ppid=30989 vsize=394384 CPUtime=1.43 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 11466 0 0 0 136 7 0 0 19 0 4 0 596091843 403849216 32092 33554432000 4194304 4650419 140734272789728 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=394384 CPUtime=1.43 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 11889 0 0 0 135 8 0 0 19 0 4 0 596091843 403849216 32092 33554432000 4194304 4650419 140734272789728 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=394384 CPUtime=1.46 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 4679 0 0 0 144 2 0 0 19 0 4 0 596091843 403849216 32092 33554432000 4194304 4650419 140734272789728 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 394384

[startup+3.10043 s]
/proc/loadavg: 7.38 7.93 7.96 9/184 31004
/proc/meminfo: memFree=20158608/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=427204 CPUtime=12.16 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 44872 0 0 0 1193 23 0 0 23 0 4 0 596091843 437456896 37011 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 106801 37011 391 112 0 101766 0
[pid=30991/tid=30992] ppid=30989 vsize=427204 CPUtime=3.02 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 12648 0 0 0 294 8 0 0 23 0 4 0 596091843 437456896 37011 33554432000 4194304 4650419 140734272789728 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=427204 CPUtime=3.02 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 13053 0 0 0 294 8 0 0 23 0 4 0 596091843 437456896 37011 33554432000 4194304 4650419 140734272789728 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=427204 CPUtime=3.06 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 6096 0 0 0 303 3 0 0 23 0 4 0 596091843 437456896 37011 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 427204

[startup+6.30083 s]
/proc/loadavg: 7.43 7.93 7.96 9/184 31004
/proc/meminfo: memFree=20088432/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=561100 CPUtime=24.94 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 53831 0 0 0 2468 26 0 0 25 0 4 0 596091843 574566400 45970 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 140275 45971 391 112 0 135240 0
[pid=30991/tid=30992] ppid=30989 vsize=561100 CPUtime=6.23 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 14921 0 0 0 614 9 0 0 25 0 4 0 596091843 574566400 45971 33554432000 4194304 4650419 140734272789728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=561100 CPUtime=6.2 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 15258 0 0 0 612 8 0 0 25 0 4 0 596091843 574566400 45971 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=561100 CPUtime=6.26 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 8361 0 0 0 622 4 0 0 25 0 4 0 596091843 574566400 45971 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 561100

[startup+12.7006 s]
/proc/loadavg: 7.48 7.93 7.96 9/184 31004
/proc/meminfo: memFree=20026240/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=698988 CPUtime=50.5 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 93700 0 0 0 5013 37 0 0 25 0 4 0 596091843 715763712 65045 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 174747 65047 395 112 0 169712 0
[pid=30991/tid=30992] ppid=30989 vsize=698988 CPUtime=12.62 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 21254 0 0 0 1252 10 0 0 25 0 4 0 596091843 715763712 65047 33554432000 4194304 4650419 140734272789728 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=698988 CPUtime=12.56 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 21589 0 0 0 1246 10 0 0 25 0 4 0 596091843 715763712 65048 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=698988 CPUtime=12.66 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 14578 0 0 0 1261 5 0 0 25 0 4 0 596091843 715763712 65049 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 698988

[startup+25.5002 s]
/proc/loadavg: 7.59 7.93 7.96 9/184 31004
/proc/meminfo: memFree=19581872/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=815860 CPUtime=101.63 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 177768 0 0 0 10103 60 0 0 25 0 4 0 596091843 835440640 110426 33554432000 4194304 4650419 140734272789728 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 203965 110426 395 112 0 198930 0
[pid=30991/tid=30992] ppid=30989 vsize=815860 CPUtime=25.42 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 61544 0 0 0 2523 19 0 0 25 0 4 0 596091843 835440640 110426 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=815860 CPUtime=25.29 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 34090 0 0 0 2516 13 0 0 25 0 4 0 596091843 835440640 110426 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=815860 CPUtime=25.46 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 38883 0 0 0 2534 12 0 0 25 0 4 0 596091843 835440640 110426 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 815860

[startup+51.1064 s]
/proc/loadavg: 7.73 7.94 7.96 9/184 31005
/proc/meminfo: memFree=19408964/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=676376 CPUtime=203.9 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 306646 0 0 0 20304 86 0 0 25 0 4 0 596091843 692609024 127618 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 169094 127618 395 112 0 164059 0
[pid=30991/tid=30992] ppid=30989 vsize=676376 CPUtime=51.01 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 132735 0 0 0 5071 30 0 0 25 0 4 0 596091843 692609024 127618 33554432000 4194304 4650419 140734272789728 18446744073709551615 4333558 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=676376 CPUtime=50.76 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 53764 0 0 0 5057 19 0 0 25 0 4 0 596091843 692609024 127618 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=676376 CPUtime=51.06 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 57329 0 0 0 5089 17 0 0 25 0 4 0 596091843 692609024 127618 33554432000 4194304 4650419 140734272789728 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 676376

[startup+102.301 s]
/proc/loadavg: 7.88 7.95 7.96 9/184 31006
/proc/meminfo: memFree=19094100/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1005784 CPUtime=408.4 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 402064 0 0 0 40726 114 0 0 25 0 4 0 596091843 1029922816 160215 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476175 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 251446 160215 395 112 0 246411 0
[pid=30991/tid=30992] ppid=30989 vsize=1005784 CPUtime=102.2 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 158058 0 0 0 10184 36 0 0 25 0 4 0 596091843 1029922816 160215 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1005784 CPUtime=101.67 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 83821 0 0 0 10138 29 0 0 25 0 4 0 596091843 1029922816 160215 33554432000 4194304 4650419 140734272789728 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1005784 CPUtime=102.25 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 84087 0 0 0 10199 26 0 0 25 0 4 0 596091843 1029922816 160215 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 1005784

[startup+162.301 s]

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

[pid=30991] ppid=30989 vsize=1442640 CPUtime=2804.26 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 1944386 0 0 0 279903 523 0 0 25 0 4 0 596091843 1477263360 280369 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 360660 280369 396 112 0 355625 0
[pid=30991/tid=30992] ppid=30989 vsize=1442640 CPUtime=702.13 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 678626 0 0 0 70053 160 0 0 25 0 4 0 596091843 1477263360 280369 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1442640 CPUtime=698.06 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 337098 0 0 0 69687 119 0 0 25 0 4 0 596091843 1477263360 280369 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1442640 CPUtime=701.94 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 318197 0 0 0 70082 112 0 0 25 0 4 0 596091843 1477263360 280369 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.26
Current children cumulated vsize (KiB) 1442640

[startup+762.3 s]
/proc/loadavg: 8.05 8.08 8.01 9/184 31027
/proc/meminfo: memFree=18066628/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1443500 CPUtime=3043.91 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2084267 0 0 0 303834 557 0 0 25 0 4 0 596091843 1478144000 287373 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 360875 287373 396 112 0 355840 0
[pid=30991/tid=30992] ppid=30989 vsize=1443500 CPUtime=762.13 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 764139 0 0 0 76044 169 0 0 25 0 4 0 596091843 1478144000 287373 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1443500 CPUtime=757.74 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 345029 0 0 0 75652 122 0 0 25 0 4 0 596091843 1478144000 287373 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1443500 CPUtime=761.93 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 340778 0 0 0 76072 121 0 0 25 0 4 0 596091843 1478144000 287373 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.91
Current children cumulated vsize (KiB) 1443500

[startup+822.301 s]
/proc/loadavg: 8.05 8.08 8.01 9/184 31029
/proc/meminfo: memFree=17997284/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1444364 CPUtime=3283.58 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2154177 0 0 0 327771 587 0 0 25 0 4 0 596091843 1479028736 288397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 361091 288397 396 112 0 356056 0
[pid=30991/tid=30992] ppid=30989 vsize=1444364 CPUtime=822.12 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 773833 0 0 0 82040 172 0 0 25 0 4 0 596091843 1479028736 288397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1444364 CPUtime=817.39 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 361316 0 0 0 81612 127 0 0 25 0 4 0 596091843 1479028736 288397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1444364 CPUtime=821.93 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 363543 0 0 0 82061 132 0 0 25 0 4 0 596091843 1479028736 288397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.58
Current children cumulated vsize (KiB) 1444364

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/184 31030
/proc/meminfo: memFree=18009040/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1511132 CPUtime=3523.24 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2312193 0 0 0 351693 631 0 0 25 0 4 0 596091843 1547399168 290745 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 377783 290745 396 112 0 372748 0
[pid=30991/tid=30992] ppid=30989 vsize=1511132 CPUtime=882.11 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 797807 0 0 0 88029 182 0 0 25 0 4 0 596091843 1547399168 290745 33554432000 4194304 4650419 140734272789728 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1511132 CPUtime=877.08 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 387540 0 0 0 87568 140 0 0 25 0 4 0 596091843 1547399168 290745 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1511132 CPUtime=881.93 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 389965 0 0 0 88049 144 0 0 25 0 4 0 596091843 1547399168 290745 33554432000 4194304 4650419 140734272789728 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.24
Current children cumulated vsize (KiB) 1511132

[startup+942.301 s]
/proc/loadavg: 8.19 8.12 8.03 9/184 31032
/proc/meminfo: memFree=18017092/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1446776 CPUtime=3762.89 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2418034 0 0 0 375620 669 0 0 25 0 4 0 596091843 1481498624 295597 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 361694 295597 396 112 0 356659 0
[pid=30991/tid=30992] ppid=30989 vsize=1446776 CPUtime=942.11 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 826252 0 0 0 94019 192 0 0 25 0 4 0 596091843 1481498624 295597 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1446776 CPUtime=936.75 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 414523 0 0 0 93524 151 0 0 25 0 4 0 596091843 1481498624 295597 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1446776 CPUtime=941.93 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 417146 0 0 0 94039 154 0 0 25 0 4 0 596091843 1481498624 295597 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.89
Current children cumulated vsize (KiB) 1446776

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.03 9/184 31033
/proc/meminfo: memFree=17873476/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1476788 CPUtime=4002.55 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2529759 0 0 0 399548 707 0 0 25 0 4 0 596091843 1512230912 313549 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 369197 313550 396 112 0 364162 0
[pid=30991/tid=30992] ppid=30989 vsize=1476788 CPUtime=1002.1 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 853665 0 0 0 100009 201 0 0 25 0 4 0 596091843 1512230912 313550 33554432000 4194304 4650419 140734272789728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1476788 CPUtime=996.42 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 437592 0 0 0 99483 159 0 0 25 0 4 0 596091843 1512230912 313550 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1476788 CPUtime=1001.92 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 446843 0 0 0 100029 163 0 0 25 0 4 0 596091843 1512230912 313550 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.55
Current children cumulated vsize (KiB) 1476788

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 31035
/proc/meminfo: memFree=17870344/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1620660 CPUtime=4242.21 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2615752 0 0 0 423478 743 0 0 25 0 4 0 596091843 1659555840 311397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4363637 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 405165 311397 396 112 0 400130 0
[pid=30991/tid=30992] ppid=30989 vsize=1620660 CPUtime=1062.09 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 869920 0 0 0 106001 208 0 0 25 0 4 0 596091843 1659555840 311397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1620660 CPUtime=1056.09 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 454393 0 0 0 105444 165 0 0 25 0 4 0 596091843 1659555840 311397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1620660 CPUtime=1061.92 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 476635 0 0 0 106016 176 0 0 25 0 4 0 596091843 1659555840 311397 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.21
Current children cumulated vsize (KiB) 1620660

[startup+1122.3 s]
/proc/loadavg: 8.02 8.08 8.02 9/184 31037
/proc/meminfo: memFree=17822464/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1568548 CPUtime=4481.88 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2670758 0 0 0 447420 768 0 0 25 0 4 0 596091843 1606193152 310908 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 392137 310908 396 112 0 387102 0
[pid=30991/tid=30992] ppid=30989 vsize=1568548 CPUtime=1122.09 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 872623 0 0 0 112000 209 0 0 25 0 4 0 596091843 1606193152 310908 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1568548 CPUtime=1115.77 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 454393 0 0 0 111412 165 0 0 25 0 4 0 596091843 1606193152 310908 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1568548 CPUtime=1121.92 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 500761 0 0 0 112004 188 0 0 25 0 4 0 596091843 1606193152 310908 33554432000 4194304 4650419 140734272789728 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.88
Current children cumulated vsize (KiB) 1568548

[startup+1182.3 s]
/proc/loadavg: 8.01 8.06 8.02 9/184 31038
/proc/meminfo: memFree=17742460/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1584120 CPUtime=4721.54 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2744946 0 0 0 471354 800 0 0 25 0 4 0 596091843 1622138880 318235 33554432000 4194304 4650419 140734272789728 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 396030 318235 396 112 0 390995 0
[pid=30991/tid=30992] ppid=30989 vsize=1584120 CPUtime=1182.08 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 901585 0 0 0 117987 221 0 0 25 0 4 0 596091843 1622138880 318235 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1584120 CPUtime=1175.44 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 454393 0 0 0 117379 165 0 0 25 0 4 0 596091843 1622138880 318235 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1584120 CPUtime=1181.92 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 523655 0 0 0 117993 199 0 0 25 0 4 0 596091843 1622138880 318235 33554432000 4194304 4650419 140734272789728 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.54
Current children cumulated vsize (KiB) 1584120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.00 8.06 8.01 5/179 31040
/proc/meminfo: memFree=19209532/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1555276 CPUtime=4800.25 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2772933 0 0 0 479214 811 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 388819 321004 396 112 0 383784 0
[pid=30991/tid=30992] ppid=30989 vsize=1555276 CPUtime=1201.78 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 909965 0 0 0 119954 224 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1555276 CPUtime=1195.04 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 454393 0 0 0 119339 165 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1555276 CPUtime=1201.63 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 533541 0 0 0 119960 203 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1555276

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

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

[startup+1202 s]
/proc/loadavg: 8.00 8.06 8.01 5/179 31040
/proc/meminfo: memFree=19209532/32950928 swapFree=67111524/67111528
[pid=30991] ppid=30989 vsize=1555276 CPUtime=4800.25 cores=0,2,4,6
/proc/30991/stat : 30991 (strangenight1-m) R 30989 30991 30360 0 -1 4202496 2772933 0 0 0 479214 811 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30991/statm: 388819 321004 396 112 0 383784 0
[pid=30991/tid=30992] ppid=30989 vsize=1555276 CPUtime=1201.78 cores=0,2,4,6
/proc/30991/task/30992/stat : 30992 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 909965 0 0 0 119954 224 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30991/tid=30993] ppid=30989 vsize=1555276 CPUtime=1195.04 cores=0,2,4,6
/proc/30991/task/30993/stat : 30993 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 454393 0 0 0 119339 165 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30991/tid=30994] ppid=30989 vsize=1555276 CPUtime=1201.63 cores=0,2,4,6
/proc/30991/task/30994/stat : 30994 (strangenight1-m) R 30989 30991 30360 0 -1 4202560 533541 0 0 0 119960 203 0 0 25 0 4 0 596091843 1592602624 321004 33554432000 4194304 4650419 140734272789728 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1555276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.08
CPU time (s): 4800.34
CPU user time (s): 4792.16
CPU system time (s): 8.18176
CPU usage (%): 399.337
Max. virtual memory (cumulated for all children) (KiB): 1634772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.16
system time used= 8.18176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2772935
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= 21695
involuntary context switches= 21167

runsolver used 2.05369 second user time and 4.52231 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 08:30:12
IDJOB=3174951
IDBENCH=82569
IDSOLVER=1588
FILE ID=node114/3174951-1304058611
RUNJOBID= node114-1304058611-30977
PBS_JOBID= 13170413
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= 1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
RANDOM SEED=1818678629

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20500548 kB
Buffers:       2256092 kB
Cached:        9546540 kB
SwapCached:          4 kB
Active:        3412788 kB
Inactive:      8457900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20500548 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10988 kB
Writeback:           0 kB
AnonPages:       67512 kB
Mapped:          14468 kB
Slab:           516536 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190272 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= 71796 MiB
End job on node114 at 2011-04-29 08:50:16