Trace number 3368560

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368560-1305397344.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.25/0.15	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.25/0.15	c -- vars added      25000
0.25/0.15	c Parsing time:  0.28 s
0.25/0.15	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.25/0.23	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.30
0.25/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
1.02/0.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.32/0.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.32/0.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
1.32/0.43	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.04 s
1.85/0.65	c lits-rem:         0  cl-subs:        0  v-elim:    735  v-fix:    0  time:  1.02 s
1.85/0.66	c Finding binary XORs  T:     0.02 s  found:       0
1.85/0.72	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
1.85/0.72	c calculated reachability. Time: 0.00
1.85/0.72	c Calc default polars -  time:   0.04 s pos:   11096 undec:    2820 neg:   11084
1.85/0.72	c =========================================================================================
1.85/0.72	c types(t): F = full restart, N = normal restart
1.85/0.72	c types(t): S = simplification begin/end, E = solution found
1.85/0.72	c restart types(rt): st = static, dy = dynamic
1.85/0.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.85/0.72	c  B st     0         0     24265    103896         0         0    315804         0   no data   no data  --
6.97/1.89	c  N dy    22      4066     24265    103896         0      4066    315804    911026    132.92    141.51  --
12.16/3.11	c  N dy    53      8152     24265    103896         0      8150    315804   1806156    139.82    180.12  --
16.95/4.33	c  N dy    78     12204     24265    103896         0     12202    315804   2658775    138.49    146.39  --
22.13/5.62	c  N dy   111     16297     24265    103896         0     16294    315804   3559871    139.95    151.53  --
27.36/6.99	c  N dy   144     20428     24265    103896         0     10430    315804    666529    141.17    148.69  --
32.50/8.24	c  N dy   173     24452     24265    103896         0     14454    315804   1550109    141.81    154.07  --
33.29/8.41	c  F st   178     25001     24265    103896         0     15003    315804   1669573    141.90    145.97  --
40.11/10.12	c  N dy   184     30001     24265    103896         0     20003    315804   3136637    141.90   no data  --
40.11/10.12	c  S st   184     30001     24265    103896         0     20003    315804   3136637    141.90   no data  --
40.52/10.29	c  S st   184     30509     24265    103896         0     20511    315804   3223228    141.90   no data  --
40.87/10.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.87/10.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.27/10.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
42.87/10.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.87/10.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.87/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.04 s
42.87/10.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
71.99/18.13	c lits-rem:         0  cl-subs:     2294  v-elim:    134  v-fix:    0  time: 28.97 s
72.39/18.26	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.53
72.39/18.27	c calculated reachability. Time: 0.00
72.39/18.27	c  N dy   184     30509     24131    104030         0     18217    317036   2165080    141.90   no data  --
78.77/19.85	c  N dy   215     34689     24131    104030         0     22397    317036   3107142    142.54    151.09  --
85.15/21.48	c  N dy   242     38797     24131    104030         0     26505    317036   4020664    142.60    155.49  --
91.94/23.17	c  N dy   273     42874     24131    104030         0     30582    317036   4955905    143.38    153.56  --
96.32/24.22	c  S st   290     45763     24131    104030         0     17970    317036   1225091    143.27   no data  --
96.72/24.38	c  S st   290     46265     24131    104030         0     18472    317036   1296101    143.27   no data  --
96.72/24.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
96.72/24.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.57/24.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.56
97.91/24.65	c bin-w-bin subsume rem            0 bins  time:  0.03 s
97.91/24.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
97.91/24.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
97.91/24.68	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
109.88/27.66	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.88 s
109.88/27.67	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
109.88/27.69	c vivif2 --  cl tried    18472 cl shrink        0 lits rem          0 time: 0.08
110.72/27.83	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.53
110.72/27.84	c calculated reachability. Time: 0.00
110.72/27.84	c  N dy   290     46265     24131    104030         0     18472    317036   1296097    143.27   no data  --
116.26/29.26	c  N dy   315     50283     24131    104030         0     22490    317036   2200735    143.33    153.17  --
121.84/30.69	c  N dy   339     54301     24131    104030         0     26508    317036   3089590    143.29    152.07  --
127.86/32.17	c  N dy   365     58338     24131    104030         0     30544    317036   3992878    143.29    180.77  --
133.81/33.69	c  N dy   390     62419     24131    104030         0     34625    317036   4909239    143.01    159.83  --
140.20/35.23	c  N dy   417     66434     24131    104030         0     19893    317036    951986    143.16    156.17  --
144.18/36.20	c  S st   436     69397     24131    104030         0     22856    317036   1600561    143.23   no data  --
144.58/36.38	c  S st   436     69904     24131    104030         0     23363    317036   1698567    143.23   no data  --
144.58/36.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
144.58/36.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.40/36.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.57
145.82/36.67	c bin-w-bin subsume rem            0 bins  time:  0.03 s
145.82/36.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
145.82/36.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
146.17/36.70	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
160.53/40.38	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 14.63 s
160.53/40.39	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
160.93/40.42	c vivif2 --  cl tried    23361 cl shrink        0 lits rem          0 time: 0.11
161.33/40.56	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.54
161.33/40.56	c calculated reachability. Time: 0.01
161.33/40.56	c  N dy   436     69904     24131    104030         0     23361    317036   1698295    143.23   no data  --
167.76/42.15	c  N dy   465     74436     24131    104030         0     27893    317036   2696921    143.05    151.25  --
174.49/43.89	c  N dy   501     79275     24131    104030         0     32732    317036   3781037    143.06    157.62  --
182.47/45.84	c  N dy   540     84467     24131    104030         0     37924    317036   4935854    143.24    153.64  --
187.26/47.02	c  F st   560     87500     24131    104030         0     40957    317036   5627886    143.24   no data  --
192.84/48.41	c  N st   565     90800     24131    104030         0     23382    317036   1571245    143.24   no data  --
201.22/50.55	c  N dy   594     96705     24131    104030         0     29287    317036   3092150    143.33    152.47  --
210.39/52.85	c  N dy   638    102971     24131    104030         0     35552    317036   4518888    143.53    156.02  --
213.18/53.57	c  S st   650    104858     24131    104030         0     37439    317036   4946547    143.42    100.03  --
213.98/53.78	c  S st   650    105363     24131    104030         0     37944    317036   5040404    143.42   no data  --
214.38/53.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
214.38/53.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
214.78/53.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
216.37/54.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
216.37/54.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
216.37/54.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
216.37/54.40	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
419.81/105.31	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 202.59 s
419.81/105.32	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
419.81/105.39	c vivif2 --  cl tried    37940 cl shrink        0 lits rem          0 time: 0.29
420.61/105.56	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.66
420.61/105.56	c calculated reachability. Time: 0.01
420.61/105.57	c  N dy   650    105363     24131    104030         0     37940    317036   5037468    143.42   no data  --
431.02/108.19	c  N dy   694    112138     24131    104030         0     44715    317036   6559063    143.59    152.30  --
441.35/110.73	c  N dy   742    119297     24131    104030         0     29436    317036   2178949    143.58    151.58  --
452.96/113.62	c  N dy   801    126981     24131    104030         0     37120    317036   3934169    143.99    152.62  --
465.29/116.77	c  N dy   858    135106     24131    104030         0     45245    317036   5732539    143.99    174.18  --
478.05/119.96	c  N dy   917    143753     24131    104030         0     30176    317036   1995414    143.98    154.03  --
492.05/123.48	c  N dy   983    153035     24131    104030         0     39458    317036   4145614    144.26    153.23  --
500.39/125.54	c  S st  1018    158044     24131    104030         0     44466    317036   5326676    144.45   no data  --
501.23/125.75	c  S st  1018    158549     24131    104030         0     44971    317036   5401942    144.45   no data  --
501.23/125.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
501.23/125.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
501.98/125.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.63
503.58/126.34	c bin-w-bin subsume rem            0 bins  time:  0.03 s
503.58/126.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
503.58/126.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
503.58/126.37	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
760.46/190.78	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 256.50 s
760.46/190.79	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
760.86/190.87	c vivif2 --  cl tried    44969 cl shrink        0 lits rem          0 time: 0.33
761.66/191.06	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.72
761.66/191.06	c calculated reachability. Time: 0.00
761.66/191.06	c  N dy  1018    158549     24131    104030         0     44969    317036   5400337    144.45   no data  --
778.01/195.11	c  N dy  1090    168717     24131    104030         0     30279    317036   1768247    144.62    153.46  --
795.21/199.46	c  N dy  1166    179797     24131    104030         0     41359    317036   4198914    144.51    158.57  --
814.32/204.22	c  N dy  1242    191272     24131    104030         0     26904    317036    737707    144.65    154.05  --
833.07/208.98	c  N dy  1331    203553     24131    104030         0     39185    317036   3551627    144.78    161.02  --
855.01/214.44	c  N dy  1419    216737     24131    104030         0     52369    317036   6586722    144.89    155.56  --
876.95/219.90	c  N dy  1512    230652     24131    104030         0     39320    317036   3324641    144.93    152.82  --
888.51/222.81	c  S st  1559    237823     24131    104030         0     46490    317036   4920969    144.88   no data  --
889.31/223.03	c  S st  1559    238324     24131    104030         0     46991    317036   5013087    144.88   no data  --
889.31/223.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
889.31/223.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
890.10/223.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.66
891.33/223.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
891.33/223.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
891.33/223.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
891.33/223.60	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1121.46/281.23	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 229.28 s
1121.46/281.24	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.06
1121.86/281.32	c vivif2 --  cl tried    46988 cl shrink        0 lits rem          0 time: 0.31
1122.66/281.51	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.76
1122.66/281.52	c calculated reachability. Time: 0.01
1122.66/281.52	c  N dy  1559    238324     24131    104030         0     46988    317036   5012148    144.88   no data  --
1147.38/287.73	c  N dy  1658    253639     24131    104030         0     34325    317036   1956868    144.90    154.04  --
1173.32/294.20	c  N dy  1771    269851     24131    104030         0     50536    317036   5685512    145.07    152.71  --
1199.64/300.83	c  N dy  1873    287289     24131    104030         0     38982    317036   2664191    144.84    157.50  --
1228.77/308.12	c  N dy  1994    305716     24131    104030         0     57408    317036   6908072    144.89    154.01  --
1229.61/308.34	c  F st  1997    306250     24131    104030         0     57942    317036   7028021    144.89    145.30  --
1260.31/316.03	c  N dy  2100    325232     24131    104030         0     46927    317036   4600070    144.99    155.29  --
1293.77/324.46	c  N dy  2237    345308     24131    104030         0     36009    317036   1628265    145.05    154.79  --
1313.32/329.34	c  S st  2317    357487     24131    104030         0     48187    317036   4379267    145.05   no data  --
1314.11/329.55	c  S st  2317    357991     24131    104030         0     48691    317036   4466367    145.05   no data  --
1314.11/329.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1314.11/329.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1314.91/329.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
1316.11/330.04	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1316.11/330.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1316.11/330.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
1316.11/330.06	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1478.47/370.70	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 161.86 s
1478.47/370.72	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.06
1478.47/370.79	c vivif2 --  cl tried    48688 cl shrink        0 lits rem          0 time: 0.28
1479.30/370.98	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.76
1479.30/370.99	c calculated reachability. Time: 0.00
1479.30/370.99	c  N dy  2317    357991     24131    104030         0     48688    317036   4463280    145.05   no data  --
1513.17/379.42	c  N dy  2453    377998     24131    104030         0     36698    317036   1537132    145.14    153.12  --
1547.08/387.96	c  N dy  2588    398100     24131    104030         0     56797    317036   6133241    145.18    152.85  --
1582.18/396.72	c  N dy  2722    418206     24131    104030         0     43911    317036   2897066    145.19    160.69  --
1617.68/405.65	c  N dy  2857    438433     24131    104030         0     64135    317036   7471910    145.14    156.89  --
1652.38/414.33	c  N dy  2995    458534     24131    104030         0     50232    317036   4130068    145.09    155.98  --
1689.49/423.69	c  N dy  3138    478579     24131    104030         0     35276    317036    522194    145.22    153.45  --
1724.59/432.47	c  N dy  3277    498753     24131    104030         0     55448    317036   5172374    145.32    154.57  --
1760.88/441.55	c  N dy  3417    518938     24131    104030         0     39637    317036   1306043    145.38    160.08  --
1790.40/448.98	c  S st  3539    536988     24131    104030         0     57684    317036   5397409    145.41    157.70  --
1791.58/449.22	c  S st  3539    537492     24131    104030         0     58188    317036   5482979    145.41   no data  --
1791.58/449.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1791.58/449.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1792.38/449.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.68
1793.59/449.78	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1793.59/449.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1793.59/449.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.03 s
1793.99/449.81	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2076.79/520.73	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 282.09 s
2076.79/520.74	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
2077.19/520.83	c vivif2 --  cl tried    58185 cl shrink        0 lits rem          0 time: 0.33
2077.99/521.03	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.83
2077.99/521.04	c calculated reachability. Time: 0.00
2077.99/521.04	c  N dy  3539    537492     24131    104030         0     58185    317036   5482393    145.41   no data  --
2111.90/529.50	c  N dy  3676    557497     24131    104030         0     41192    317036   1410388    145.45    156.27  --
2143.82/537.56	c  N dy  3814    577551     24131    104030         0     61246    317036   6031094    145.51    153.32  --
2178.12/546.19	c  N dy  3954    597802     24131    104030         0     43502    317036   1722195    145.55    156.10  --
2210.83/554.37	c  N dy  4078    617941     24131    104030         0     63641    317036   6335539    145.51    153.46  --
2245.14/562.99	c  N dy  4215    638032     24131    104030         0     44726    317036   1793425    145.52    169.00  --
2277.87/571.15	c  N dy  4352    658054     24131    104030         0     64747    317036   6320480    145.52    154.18  --
2312.55/579.89	c  N dy  4485    678201     24131    104030         0     44895    317036   1583641    145.57    154.25  --
2345.65/588.15	c  N dy  4619    698217     24131    104030         0     64907    317036   6139432    145.56    153.33  --
2381.55/597.10	c  N dy  4750    718370     24131    104030         0     44066    317036   1166561    145.54    154.30  --
2413.89/605.23	c  N dy  4877    738490     24131    104030         0     64186    317036   5741104    145.53    160.59  --
2449.75/614.29	c  N dy  5016    758493     24131    104030         0     42190    317036    511662    145.53    153.74  --
2482.47/622.43	c  N dy  5152    778581     24131    104030         0     62278    317036   5082566    145.55    155.45  --
2518.36/631.47	c  N dy  5281    798657     24131    104030         0     82352    317036   9681811    145.55    186.11  --
2531.92/634.83	c  S st  5335    806239     24131    104030         0     46937    317036   1375975    145.59   no data  --
2532.76/635.04	c  S st  5335    806740     24131    104030         0     47438    317036   1455339    145.59   no data  --
2532.76/635.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2532.76/635.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2533.51/635.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2533.91/635.33	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2533.91/635.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2533.91/635.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
2533.91/635.36	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2548.27/638.93	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 14.25 s
2548.27/638.95	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
2548.27/638.97	c vivif2 --  cl tried    47437 cl shrink        0 lits rem          0 time: 0.10
2549.07/639.15	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.72
2549.07/639.16	c calculated reachability. Time: 0.00
2549.07/639.16	c  N dy  5335    806740     24131    104030         0     47437    317036   1455324    145.59   no data  --
2581.77/647.36	c  N dy  5469    826772     24131    104030         0     67468    317036   6066882    145.59    154.10  --
2618.48/656.53	c  N dy  5609    846795     24131    104030         0     87491    317036  10648376    145.59    157.83  --
2651.99/664.98	c  N dy  5744    866994     24131    104030         0     63692    317036   4942971    145.57    154.59  --
2691.07/674.75	c  N dy  5879    887165     24131    104030         0     83862    317036   9586319    145.61    158.43  --
2727.78/683.95	c  N dy  6010    907206     24131    104030         0     58902    317036   3629804    145.56    153.42  --
2766.46/693.62	c  N dy  6153    927233     24131    104030         0     78928    317036   8308579    145.64    157.19  --
2804.80/703.25	c  N dy  6284    947411     24131    104030         0     53109    317036   2104996    145.63    161.12  --
2842.26/712.62	c  N dy  6419    967581     24131    104030         0     73277    317036   6710035    145.66    153.36  --
2883.78/723.02	c  N dy  6562    987759     24131    104030         0     93453    317036  11345602    145.71    155.16  --
2920.04/732.14	c  N dy  6698   1007821     24131    104030         0     66517    317036   4963640    145.73    163.71  --
2959.93/742.13	c  N dy  6834   1027903     24131    104030         0     86597    317036   9565802    145.76    159.49  --
2999.02/751.91	c  N dy  6971   1048101     24131    104030         0     58797    317036   2984146    145.81    155.09  --
3036.52/761.34	c  N dy  7089   1068235     24131    104030         0     78927    317036   7550399    145.76    154.29  --
3043.70/763.17	c  F st  7112   1071875     24131    104030         0     82567    317036   8361177    145.74    146.61  --
3078.39/771.86	c  N dy  7199   1088268     24131    104030         0     49967    317036    711306    145.77    155.86  --
3114.30/780.89	c  N dy  7332   1108352     24131    104030         0     70048    317036   5320015    145.76    154.86  --
3152.99/790.50	c  N dy  7461   1128356     24131    104030         0     90049    317036   9849706    145.75    157.75  --
3190.94/800.02	c  N dy  7595   1148422     24131    104030         0     60117    317036   2788140    145.75    154.09  --
3227.98/809.34	c  N dy  7727   1168449     24131    104030         0     80143    317036   7406160    145.76    159.21  --
3266.67/819.03	c  N dy  7856   1188581     24131    104030         0    100274    317036  11974963    145.75    155.02  --
3300.98/827.67	c  N dy  7999   1208609     24131    104030         0     69302    317036   4724223    145.78    153.56  --
3303.78/828.32	c  S st  8010   1210111     24131    104030         0     70804    317036   5059521    145.78   no data  --
3304.60/828.55	c  S st  8010   1210613     24131    104030         0     71306    317036   5148177    145.78   no data  --
3304.60/828.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3304.60/828.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3305.36/828.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3306.57/829.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3306.57/829.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3306.57/829.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
3306.97/829.11	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
3565.85/894.08	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 258.86 s
3566.25/894.10	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
3566.25/894.18	c vivif2 --  cl tried    71302 cl shrink        0 lits rem          0 time: 0.32
3567.45/894.41	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.94
3567.45/894.42	c calculated reachability. Time: 0.00
3567.45/894.42	c  N dy  8010   1210613     24131    104030         0     71302    317036   5147447    145.78   no data  --
3604.53/903.77	c  N dy  8150   1230690     24131    104030         0     91373    317036   9777056    145.81    157.48  --
3642.03/913.17	c  N dy  8285   1250775     24131    104030         0     59468    317036   2249276    145.83    155.64  --
3677.13/921.96	c  N dy  8429   1270845     24131    104030         0     79538    317036   6918554    145.88    160.26  --
3715.82/931.69	c  N dy  8568   1290878     24131    104030         0     99571    317036  11596588    145.93    158.44  --
3752.56/940.83	c  N dy  8711   1310993     24131    104030         0     66684    317036   3639860    145.96    157.49  --
3789.21/950.01	c  N dy  8850   1331151     24131    104030         0     86841    317036   8278758    145.98    156.48  --
3829.10/960.07	c  N dy  8984   1351224     24131    104030         0    106913    317036  12852789    145.99    166.19  --
3864.21/968.82	c  N dy  9119   1371305     24131    104030         0     72997    317036   4884139    146.01    157.55  --
3901.74/978.29	c  N dy  9255   1391324     24131    104030         0     93015    317036   9554337    146.06    153.77  --
3941.97/988.39	c  N dy  9394   1411473     24131    104030         0     58165    317036   1286482    146.09    154.63  --
3976.67/997.06	c  N dy  9528   1431533     24131    104030         0     78223    317036   5822814    146.07    173.89  --
4015.40/1006.74	c  N dy  9672   1451636     24131    104030         0     98324    317036  10460843    146.08    157.55  --
4054.45/1016.53	c  N dy  9803   1471744     24131    104030         0     62430    317036   2051254    146.09    155.82  --
4090.40/1025.58	c  N dy  9938   1491774     24131    104030         0     82459    317036   6590013    146.08    170.58  --
4131.84/1035.96	c  N dy 10072   1511937     24131    104030         0    102621    317036  11180413    146.05    154.52  --
4173.35/1046.35	c  N dy 10216   1532025     24131    104030         0     65712    317036   2561782    146.09    154.01  --
4212.85/1056.24	c  N dy 10353   1552189     24131    104030         0     85875    317036   7221115    146.12    154.11  --
4256.30/1067.15	c  N dy 10480   1572298     24131    104030         0    105983    317036  11798274    146.10    156.90  --
4298.58/1077.70	c  N dy 10620   1592305     24131    104030         0     68003    317036   2815216    146.11    157.13  --
4338.45/1087.73	c  N dy 10754   1612399     24131    104030         0     88097    317036   7429249    146.13    189.19  --
4382.74/1098.88	c  N dy 10892   1632647     24131    104030         0    108345    317036  12151364    146.17    159.59  --
4425.42/1109.50	c  N dy 11028   1652693     24131    104030         0     69390    317036   2906454    146.19    154.14  --
4465.32/1119.59	c  N dy 11153   1672743     24131    104030         0     89439    317036   7443361    146.17    156.15  --
4507.99/1130.22	c  N dy 11280   1692885     24131    104030         0    109581    317036  11992973    146.15    154.51  --
4545.09/1139.52	c  S st 11400   1710614     24131    104030         0     67311    317036   2265083    146.16   no data  --
4545.89/1139.77	c  S st 11400   1711115     24131    104030         0     67812    317036   2353419    146.16   no data  --
4545.89/1139.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4545.89/1139.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4546.73/1139.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.69
4547.48/1140.15	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4547.48/1140.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4547.48/1140.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24131 time:  0.04 s
4547.48/1140.18	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4575.00/1147.04	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 27.34 s
4575.00/1147.06	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.06
4575.40/1147.10	c vivif2 --  cl tried    67810 cl shrink        0 lits rem          0 time: 0.16
4576.21/1147.33	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.92
4576.21/1147.34	c calculated reachability. Time: 0.00
4576.21/1147.34	c  N dy 11400   1711115     24131    104030         0     67810    317036   2352878    146.16   no data  --
4614.49/1156.93	c  N dy 11534   1731176     24131    104030         0     87868    317036   6896423    146.15    158.38  --
4656.77/1167.52	c  N dy 11673   1751242     24131    104030         0    107931    317036  11470897    146.16    164.65  --
4699.45/1178.24	c  N dy 11801   1771353     24131    104030         0     67041    317036   1893862    146.14    155.60  --
4738.14/1187.94	c  N dy 11943   1791429     24131    104030         0     87114    317036   6514348    146.15    165.32  --
4780.42/1198.59	c  N dy 12077   1811598     24131    104030         0    107280    317036  11127776    146.15    154.31  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368560-1305397344/watcher-3368560-1305397344 -o /tmp/evaluation-result-3368560-1305397344/solver-3368560-1305397344 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368560-1305397344.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.42 7.89 7.43 2/344 15411
/proc/meminfo: memFree=25814812/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 4 0 651334909 52465664 352 33554432000 4194304 4650419 140734533428944 18446744073709551615 47157155497906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 12809 352 303 112 0 7774 0
[pid=15411/tid=15412] ppid=15409 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 651334910 52465664 352 33554432000 4194304 4650419 140734533428944 18446744073709551615 47157155497900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651334910 52465664 352 33554432000 4194304 4650419 140734533428944 18446744073709551615 47157155497896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651334910 52465664 352 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.065037 s]
/proc/loadavg: 7.42 7.89 7.43 2/344 15411
/proc/meminfo: memFree=25814812/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=372980 CPUtime=0.15 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) S 15409 15411 14540 0 -1 4202496 13363 0 0 0 13 2 0 0 18 0 4 0 651334909 381931520 11173 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 93245 11176 344 112 0 88210 0
[pid=15411/tid=15412] ppid=15409 vsize=372980 CPUtime=0.04 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 3403 0 0 0 4 0 0 0 18 0 4 0 651334910 381931520 11176 33554432000 4194304 4650419 140734533428944 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=372980 CPUtime=0.03 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 3425 0 0 0 3 0 0 0 18 0 4 0 651334910 381931520 11183 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=372980 CPUtime=0.02 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) S 15409 15411 14540 0 -1 4202560 3087 0 0 0 2 0 0 0 18 0 4 0 651334910 381931520 11206 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446604443927582592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 372980

[startup+0.104064 s]
/proc/loadavg: 7.42 7.89 7.43 2/344 15411
/proc/meminfo: memFree=25814812/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=374780 CPUtime=0.25 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 15306 0 0 0 20 5 0 0 17 0 4 0 651334909 383774720 13116 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809209015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 93695 13127 344 112 0 88660 0
[pid=15411/tid=15412] ppid=15409 vsize=374780 CPUtime=0.08 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) S 15409 15411 14540 0 -1 4202560 3945 0 0 0 7 1 0 0 17 0 4 0 651334910 383774720 13143 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446604443927582592 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=374780 CPUtime=0.05 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) S 15409 15411 14540 0 -1 4202560 3854 0 0 0 4 1 0 0 17 0 4 0 651334910 383774720 13161 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446604443927582592 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=374780 CPUtime=0.04 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) S 15409 15411 14540 0 -1 4202560 3589 0 0 0 3 1 0 0 17 0 4 0 651334910 383774720 13175 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446604443927582592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 374780

[startup+0.386032 s]
/proc/loadavg: 7.42 7.89 7.43 2/344 15411
/proc/meminfo: memFree=25814812/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=388640 CPUtime=1.32 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 29640 0 0 0 119 13 0 0 18 0 4 0 651334909 397967360 25363 33554432000 4194304 4650419 140734533428944 18446744073709551615 4551275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 97160 25363 384 112 0 92125 0
[pid=15411/tid=15412] ppid=15409 vsize=388640 CPUtime=0.36 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 8374 0 0 0 33 3 0 0 18 0 4 0 651334910 397967360 25363 33554432000 4194304 4650419 140734533428944 18446744073709551615 4506836 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=388640 CPUtime=0.32 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 8142 0 0 0 29 3 0 0 18 0 4 0 651334910 397967360 25363 33554432000 4194304 4650419 140734533428944 18446744073709551615 230808814689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=388640 CPUtime=0.31 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) S 15409 15411 14540 0 -1 4202560 4450 0 0 0 28 3 0 0 18 0 4 0 651334910 397967360 25363 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 18446604443927582592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 388640

[startup+0.863944 s]
/proc/loadavg: 7.42 7.89 7.43 2/344 15411
/proc/meminfo: memFree=25814812/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=391344 CPUtime=3.23 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 38594 0 0 0 308 15 0 0 18 0 4 0 651334909 400736256 29073 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 97836 29073 391 112 0 92801 0
[pid=15411/tid=15412] ppid=15409 vsize=391344 CPUtime=0.83 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 11135 0 0 0 80 3 0 0 18 0 4 0 651334910 400736256 29073 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=391344 CPUtime=0.8 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 11136 0 0 0 77 3 0 0 18 0 4 0 651334910 400736256 29073 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=391344 CPUtime=0.78 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 4787 0 0 0 75 3 0 0 18 0 4 0 651334910 400736256 29073 33554432000 4194304 4650419 140734533428944 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 391344

[startup+1.50061 s]
/proc/loadavg: 7.42 7.89 7.43 9/354 15424
/proc/meminfo: memFree=25493804/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=391344 CPUtime=5.77 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 40723 0 0 0 561 16 0 0 19 0 4 0 651334909 400736256 31202 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 97836 31202 391 112 0 92801 0
[pid=15411/tid=15412] ppid=15409 vsize=391344 CPUtime=1.47 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 11720 0 0 0 144 3 0 0 19 0 4 0 651334910 400736256 31202 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=391344 CPUtime=1.43 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 11695 0 0 0 140 3 0 0 19 0 4 0 651334910 400736256 31202 33554432000 4194304 4650419 140734533428944 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=391344 CPUtime=1.4 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 5259 0 0 0 137 3 0 0 19 0 4 0 651334910 400736256 31202 33554432000 4194304 4650419 140734533428944 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 391344

[startup+3.10031 s]
/proc/loadavg: 7.46 7.89 7.44 9/354 15424
/proc/meminfo: memFree=25472228/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=424164 CPUtime=12.16 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 45418 0 0 0 1199 17 0 0 23 0 4 0 651334909 434343936 35897 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 106041 35897 391 112 0 101006 0
[pid=15411/tid=15412] ppid=15409 vsize=424164 CPUtime=3.07 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 12915 0 0 0 304 3 0 0 23 0 4 0 651334910 434343936 35897 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=424164 CPUtime=3.04 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 12878 0 0 0 300 4 0 0 23 0 4 0 651334910 434343936 35897 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=424164 CPUtime=2.99 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 6423 0 0 0 295 4 0 0 23 0 4 0 651334910 434343936 35897 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 424164

[startup+6.30073 s]
/proc/loadavg: 7.46 7.89 7.44 9/354 15424
/proc/meminfo: memFree=25402352/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=558060 CPUtime=24.92 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 54717 0 0 0 2474 18 0 0 25 0 4 0 651334909 571453440 45196 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15411/statm: 139515 45196 391 112 0 134480 0
[pid=15411/tid=15412] ppid=15409 vsize=558060 CPUtime=6.27 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 15312 0 0 0 623 4 0 0 25 0 4 0 651334910 571453440 45196 33554432000 4194304 4650419 140734533428944 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=558060 CPUtime=6.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 15134 0 0 0 619 4 0 0 25 0 4 0 651334910 571453440 45196 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=558060 CPUtime=6.15 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 8763 0 0 0 611 4 0 0 25 0 4 0 651334910 571453440 45196 33554432000 4194304 4650419 140734533428944 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 558060

[startup+12.7006 s]
/proc/loadavg: 7.54 7.89 7.44 9/354 15424
/proc/meminfo: memFree=25323036/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=695732 CPUtime=50.45 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 98512 0 0 0 5015 30 0 0 25 0 4 0 651334909 712429568 67805 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15411/statm: 173933 67807 395 112 0 168898 0
[pid=15411/tid=15412] ppid=15409 vsize=695732 CPUtime=12.67 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 24363 0 0 0 1260 7 0 0 25 0 4 0 651334910 712429568 67807 33554432000 4194304 4650419 140734533428944 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=695732 CPUtime=12.63 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 21564 0 0 0 1257 6 0 0 25 0 4 0 651334910 712429568 67808 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=695732 CPUtime=12.56 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 15298 0 0 0 1250 6 0 0 25 0 4 0 651334910 712429568 67810 33554432000 4194304 4650419 140734533428944 18446744073709551615 4331978 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 695732

[startup+25.5002 s]
/proc/loadavg: 7.69 7.91 7.45 9/354 15424
/proc/meminfo: memFree=24842016/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=778404 CPUtime=101.54 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 173254 0 0 0 10106 48 0 0 25 0 4 0 651334909 797085696 109324 33554432000 4194304 4650419 140734533428944 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15411/statm: 194601 109324 395 112 0 189566 0
[pid=15411/tid=15412] ppid=15409 vsize=778404 CPUtime=25.48 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 55434 0 0 0 2535 13 0 0 25 0 4 0 651334910 797085696 109328 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=778404 CPUtime=25.44 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 35446 0 0 0 2534 10 0 0 25 0 4 0 651334910 797085696 109328 33554432000 4194304 4650419 140734533428944 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=778404 CPUtime=25.36 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 38443 0 0 0 2525 11 0 0 25 0 4 0 651334910 797085696 109328 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 778404

[startup+51.1005 s]
/proc/loadavg: 7.80 7.92 7.47 9/354 15425
/proc/meminfo: memFree=24731356/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=758480 CPUtime=203.61 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 290707 0 0 0 20288 73 0 0 25 0 4 0 651334909 776683520 124010 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15411/statm: 189620 124010 395 112 0 184585 0
[pid=15411/tid=15412] ppid=15409 vsize=758480 CPUtime=51.07 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 106962 0 0 0 5086 21 0 0 25 0 4 0 651334910 776683520 124010 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=758480 CPUtime=51.03 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 61405 0 0 0 5086 17 0 0 25 0 4 0 651334910 776683520 124010 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=758480 CPUtime=50.95 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 59148 0 0 0 5078 17 0 0 25 0 4 0 651334910 776683520 124010 33554432000 4194304 4650419 140734533428944 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 758480

[startup+102.301 s]
/proc/loadavg: 8.01 7.96 7.50 9/354 15426
/proc/meminfo: memFree=24353972/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1082284 CPUtime=407.85 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 583538 0 0 0 40659 126 0 0 25 0 4 0 651334909 1108258816 166596 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476738 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15411/statm: 270571 166596 395 112 0 265536 0
[pid=15411/tid=15412] ppid=15409 vsize=1082284 CPUtime=102.26 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 129749 0 0 0 10198 28 0 0 25 0 4 0 651334910 1108258816 166596 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1082284 CPUtime=102.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 89748 0 0 0 10197 26 0 0 25 0 4 0 651334910 1108258816 166596 33554432000 4194304 4650419 140734533428944 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1082284 CPUtime=102.15 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 86383 0 0 0 10190 25 0 0 25 0 4 0 651334910 1108258816 166596 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 1082284

[startup+162.301 s]

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

[pid=15411] ppid=15409 vsize=1462672 CPUtime=2561.84 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2473962 0 0 0 255645 539 0 0 25 0 4 0 651334909 1497776128 285606 33554432000 4194304 4650419 140734533428944 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 365668 285606 395 112 0 360633 0
[pid=15411/tid=15412] ppid=15409 vsize=1462672 CPUtime=637.63 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 385336 0 0 0 63654 109 0 0 25 0 4 0 651334910 1497776128 285606 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1462672 CPUtime=642.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 350572 0 0 0 64119 104 0 0 25 0 4 0 651334910 1497776128 285606 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1462672 CPUtime=642.13 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 570411 0 0 0 64084 129 0 0 25 0 4 0 651334910 1497776128 285607 33554432000 4194304 4650419 140734533428944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.84
Current children cumulated vsize (KiB) 1462672

[startup+702.3 s]
/proc/loadavg: 8.20 8.12 7.79 9/354 15442
/proc/meminfo: memFree=23360128/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1464508 CPUtime=2801.16 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2547426 0 0 0 279550 566 0 0 25 0 4 0 651334909 1499656192 291260 33554432000 4194304 4650419 140734533428944 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 366127 291260 395 112 0 361092 0
[pid=15411/tid=15412] ppid=15409 vsize=1464508 CPUtime=696.97 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 403334 0 0 0 69582 115 0 0 25 0 4 0 651334910 1499656192 291260 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1464508 CPUtime=702.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 372983 0 0 0 70111 112 0 0 25 0 4 0 651334910 1499656192 291260 33554432000 4194304 4650419 140734533428944 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1464508 CPUtime=702.13 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 579592 0 0 0 70081 132 0 0 25 0 4 0 651334910 1499656192 291260 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.16
Current children cumulated vsize (KiB) 1464508

[startup+762.3 s]
/proc/loadavg: 8.18 8.13 7.81 9/354 15444
/proc/meminfo: memFree=23231384/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1535800 CPUtime=3040.51 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2596193 0 0 0 303461 590 0 0 25 0 4 0 651334909 1572659200 302728 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 383950 302728 395 112 0 378915 0
[pid=15411/tid=15412] ppid=15409 vsize=1535800 CPUtime=756.9 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 403334 0 0 0 75575 115 0 0 25 0 4 0 651334910 1572659200 302728 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1535800 CPUtime=762.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 373266 0 0 0 76111 112 0 0 25 0 4 0 651334910 1572659200 302728 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1535800 CPUtime=761.53 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 605299 0 0 0 76009 144 0 0 25 0 4 0 651334910 1572659200 302728 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.51
Current children cumulated vsize (KiB) 1535800

[startup+822.3 s]
/proc/loadavg: 8.17 8.13 7.83 9/354 15445
/proc/meminfo: memFree=23278976/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1451176 CPUtime=3279.84 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2672414 0 0 0 327366 618 0 0 25 0 4 0 651334909 1486004224 309551 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 362794 309551 395 112 0 357759 0
[pid=15411/tid=15412] ppid=15409 vsize=1451176 CPUtime=816.9 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 408105 0 0 0 81574 116 0 0 25 0 4 0 651334910 1486004224 309551 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1451176 CPUtime=822.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 395222 0 0 0 82105 118 0 0 25 0 4 0 651334910 1486004224 309551 33554432000 4194304 4650419 140734533428944 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1451176 CPUtime=820.86 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 632001 0 0 0 81931 155 0 0 25 0 4 0 651334910 1486004224 309551 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.84
Current children cumulated vsize (KiB) 1451176

[startup+882.3 s]
/proc/loadavg: 8.06 8.10 7.83 9/354 15447
/proc/meminfo: memFree=23148740/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1508260 CPUtime=3519.18 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2753705 0 0 0 351269 649 0 0 25 0 4 0 651334909 1544458240 316342 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 377065 316342 395 112 0 372030 0
[pid=15411/tid=15412] ppid=15409 vsize=1508260 CPUtime=876.9 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 435037 0 0 0 87565 125 0 0 25 0 4 0 651334910 1544458240 316342 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1508260 CPUtime=882.24 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 420992 0 0 0 88095 129 0 0 25 0 4 0 651334910 1544458240 316342 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1508260 CPUtime=880.21 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 658250 0 0 0 87855 166 0 0 25 0 4 0 651334910 1544458240 316342 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.18
Current children cumulated vsize (KiB) 1508260

[startup+942.3 s]
/proc/loadavg: 8.02 8.08 7.84 9/354 15449
/proc/meminfo: memFree=23206856/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1574688 CPUtime=3758.5 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2857559 0 0 0 375167 683 0 0 25 0 4 0 651334909 1612480512 319092 33554432000 4194304 4650419 140734533428944 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 393672 319092 395 112 0 388637 0
[pid=15411/tid=15412] ppid=15409 vsize=1574688 CPUtime=936.89 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 459547 0 0 0 93556 133 0 0 25 0 4 0 651334910 1612480512 319092 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1574688 CPUtime=942.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 450617 0 0 0 94085 138 0 0 25 0 4 0 651334910 1612480512 319092 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1574688 CPUtime=939.53 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 685287 0 0 0 93778 175 0 0 25 0 4 0 651334910 1612480512 319092 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.5
Current children cumulated vsize (KiB) 1574688

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 7.85 9/354 15450
/proc/meminfo: memFree=23127980/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1524648 CPUtime=3997.85 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 2961490 0 0 0 399069 716 0 0 25 0 4 0 651334909 1561239552 318942 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 381162 318942 395 112 0 376127 0
[pid=15411/tid=15412] ppid=15409 vsize=1524648 CPUtime=996.9 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 483727 0 0 0 99550 140 0 0 25 0 4 0 651334910 1561239552 318948 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1524648 CPUtime=1002.24 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 477586 0 0 0 100077 147 0 0 25 0 4 0 651334910 1561239552 318948 33554432000 4194304 4650419 140734533428944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1524648 CPUtime=998.86 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 712627 0 0 0 99704 182 0 0 25 0 4 0 651334910 1561239552 318948 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.85
Current children cumulated vsize (KiB) 1524648

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.86 9/354 15452
/proc/meminfo: memFree=22944680/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1780840 CPUtime=4237.14 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 3168447 0 0 0 422949 765 0 0 25 0 4 0 651334909 1823580160 358131 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 445210 358131 403 112 0 440175 0
[pid=15411/tid=15412] ppid=15409 vsize=1780840 CPUtime=1056.88 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 554494 0 0 0 105535 153 0 0 25 0 4 0 651334910 1823580160 358131 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1780840 CPUtime=1062.22 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 557635 0 0 0 106060 162 0 0 25 0 4 0 651334910 1823580160 358131 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476234 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1780840 CPUtime=1058.19 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 741499 0 0 0 105626 193 0 0 25 0 4 0 651334910 1823580160 358131 33554432000 4194304 4650419 140734533428944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.14
Current children cumulated vsize (KiB) 1780840

[startup+1122.31 s]
/proc/loadavg: 8.17 8.10 7.89 9/354 15453
/proc/meminfo: memFree=22958044/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1722372 CPUtime=4476.52 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 3434094 0 0 0 446839 813 0 0 25 0 4 0 651334909 1763708928 353171 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 430593 353171 395 112 0 425558 0
[pid=15411/tid=15412] ppid=15409 vsize=1722372 CPUtime=1116.91 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 622855 0 0 0 111528 163 0 0 25 0 4 0 651334910 1763708928 353171 33554432000 4194304 4650419 140734533428944 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1722372 CPUtime=1122.24 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 704959 0 0 0 112043 181 0 0 25 0 4 0 651334910 1763708928 353171 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1722372 CPUtime=1117.54 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 762009 0 0 0 111551 203 0 0 25 0 4 0 651334910 1763708928 353171 33554432000 4194304 4650419 140734533428944 18446744073709551615 4333209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.52
Current children cumulated vsize (KiB) 1722372

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 7.90 9/354 15455
/proc/meminfo: memFree=22942764/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1797132 CPUtime=4715.8 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 3825297 0 0 0 470697 883 0 0 25 0 4 0 651334909 1840263168 355514 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 449283 355514 395 112 0 444248 0
[pid=15411/tid=15412] ppid=15409 vsize=1797132 CPUtime=1176.88 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 648395 0 0 0 117516 172 0 0 25 0 4 0 651334910 1840263168 355514 33554432000 4194304 4650419 140734533428944 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1797132 CPUtime=1182.23 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 1024208 0 0 0 117999 224 0 0 25 0 4 0 651334910 1840263168 355514 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1797132 CPUtime=1176.85 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 788579 0 0 0 117473 212 0 0 25 0 4 0 651334910 1840263168 355514 33554432000 4194304 4650419 140734533428944 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.8
Current children cumulated vsize (KiB) 1797132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.19 8.12 7.91 9/354 15456
/proc/meminfo: memFree=22864264/32951124 swapFree=40554400/67111528
[pid=15411] ppid=15409 vsize=1797308 CPUtime=4800.4 cores=0,2,4,6
/proc/15411/stat : 15411 (strangenight1-m) R 15409 15411 14540 0 -1 4202496 3880508 0 0 0 479143 897 0 0 25 0 4 0 651334909 1840443392 367116 33554432000 4194304 4650419 140734533428944 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15411/statm: 449327 367116 395 112 0 444292 0
[pid=15411/tid=15412] ppid=15409 vsize=1797308 CPUtime=1198.1 cores=0,2,4,6
/proc/15411/task/15412/stat : 15412 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 657611 0 0 0 119634 176 0 0 25 0 4 0 651334910 1840443392 367118 33554432000 4194304 4650419 140734533428944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15411/tid=15413] ppid=15409 vsize=1797308 CPUtime=1203.44 cores=0,2,4,6
/proc/15411/task/15413/stat : 15413 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 1050032 0 0 0 120117 227 0 0 25 0 4 0 651334910 1840443392 367118 33554432000 4194304 4650419 140734533428944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1797308 CPUtime=1197.83 cores=0,2,4,6
/proc/15411/task/15414/stat : 15414 (strangenight1-m) R 15409 15411 14540 0 -1 4202560 799604 0 0 0 119567 216 0 0 25 0 4 0 651334910 1840443392 367118 33554432000 4194304 4650419 140734533428944 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1797308

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.58
CPU time (s): 4800.5
CPU user time (s): 4791.47
CPU system time (s): 9.03363
CPU usage (%): 398.852
Max. virtual memory (cumulated for all children) (KiB): 1811984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.47
system time used= 9.03363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3880516
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= 15752
involuntary context switches= 23210

runsolver used 3.90341 second user time and 9.27059 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 20:22:25
IDJOB=3368560
IDBENCH=82569
IDSOLVER=1846
FILE ID=node104/3368560-1305397344
RUNJOBID= node104-1305397344-15397
PBS_JOBID= 13324447
Free space on /tmp= 73392 MiB

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

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

MD5SUM BENCH= 1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
RANDOM SEED=208506717

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25815092 kB
Buffers:        290412 kB
Cached:        2367664 kB
SwapCached:     122128 kB
Active:         916956 kB
Inactive:      5953524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25815092 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:            9748 kB
Writeback:           0 kB
AnonPages:     4102528 kB
Mapped:          10484 kB
Slab:           117520 kB
PageTables:      84276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74811388 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= 73376 MiB
End job on node104 at 2011-05-14 20:42:30