Trace number 3280366

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.3 1201.83

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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-3280366-1304028905.cnf'
0.00/0.00	c -- header says num vars:         164158
0.00/0.00	c -- header says num clauses:      730719
1.40/0.42	c -- clauses added:            0 learnts,       730719 normals,            0 xors
1.40/0.42	c -- vars added     164158
1.40/0.42	c Parsing time:  0.92 s
1.40/0.42	c  N st     0         0    164158    118150    599287         0   1645964         0   no data   no data  --
2.59/0.72	c asymm  cl-useful: 0/1189/94810 lits-rem:0 time: 1.16
38.14/9.60	c Flit:  1284 Blit:   8997 bXBeca:    0 bXProp: 15316 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 35.36
38.14/9.64	c Cleaning up after failed var search:     0.13 s 
38.14/9.68	c Replacing    15316 vars Replaced   270530 lits Time:     0.15 s 
38.54/9.73	c bin-w-bin subsume rem         7845 bins  time:  0.07 s
38.54/9.77	c subs with bin:      154  lits-rem:      6011  v-fix:    0  time:  0.16 s
76.49/19.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26699 time: 37.66 s
77.29/19.44	c Removed useless bin:    3709  fixed:     0  props:  20.01M  time:  0.93 s
78.08/19.66	c lits-rem:       413  cl-subs:     2820  v-elim:  20703  v-fix:    0  time:  0.85 s
78.08/19.69	c Finding binary XORs  T:     0.13 s  found:   10067
78.51/19.72	c Replacing    10067 vars Replaced   154130 lits Time:     0.11 s 
78.51/19.76	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
78.51/19.76	c Calc default polars -  time:   0.04 s pos:    7021 undec:  134545 neg:   22592
78.51/19.76	c =========================================================================================
78.51/19.76	c types(t): F = full restart, N = normal restart
78.51/19.76	c types(t): S = simplification begin/end, E = solution found
78.51/19.76	c restart types(rt): st = static, dy = dynamic
78.51/19.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
78.51/19.76	c  B st     0         0     31341     59060    114817         0    447336         0   no data   no data  --
87.69/22.02	c  N dy    18      4120     31335     59060    114878      3968    447335   1085418     47.97     50.75  --
95.27/23.97	c  N dy    41      8195     31255     59060    115759      7928    447335   2123646     54.05    111.18  --
105.65/26.52	c  N dy    53     14554     31251     59060    115834     14080    447335   3357169     44.54     47.22  --
105.65/26.57	c Finding binary XORs  T:     0.08 s  found:     174
114.43/28.73	c  N dy    62     18641     31131     58761    116155     18032    442957   4195811     42.15     46.76  --
124.42/31.24	c  N dy    83     23143     31004     58761    116699     12760    442957   1972979     42.48     45.57  --
128.41/32.27	c  F st    89     25003     31004     58761    116712     14566    442957   2398133     42.19   no data  --
128.81/32.32	c Replacing      174 vars Replaced     2288 lits Time:     0.12 s 
136.41/34.29	c  N st    94     28304     30764     58293    115065     17715    437387   3225608     42.19   no data  --
141.60/35.56	c  S st    95     30000     30760     58293    115069     19368    437387   3708743     42.19   no data  --
143.19/35.99	c  S st    95     30505     30754     58293    115126     19791    437387   3729957     42.19   no data  --
143.59/36.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
201.93/50.61	c Flit:  1336 Blit:    401 bXBeca:    0 bXProp: 1202 Bins:  64942 BRemL:      7 BRemN:    132 P: 200.0M T: 57.92
201.93/50.64	c Cleaning up after failed var search:     0.15 s 
202.71/50.80	c Replacing     1202 vars Replaced   103949 lits Time:     0.62 s 
203.50/51.05	c bin-w-bin subsume rem         5145 bins  time:  0.08 s
210.31/52.79	c subs with bin:       36  lits-rem:      2807  v-fix:    0  time:  6.87 s
210.70/52.84	c Subs w/ non-existent bins:     16 l-rem:    427 v-fix:     0 done:    392 time:  0.17 s
211.48/53.01	c Removed useless bin:    3624  fixed:     0  props:  20.00M  time:  0.67 s
251.42/63.00	c lits-rem:       234  cl-subs:    18595  v-elim:   3576  v-fix:    0  time: 39.63 s
252.62/63.33	c asymm  cl-useful: 698/3082/57516 lits-rem:841 time: 1.31
253.02/63.47	c calculated reachability. Time: 0.52
253.02/63.47	c  N dy    95     30505     23574     57516    137145      2238    361480    184431     42.19   no data  --
255.02/63.92	c Finding binary XORs  T:     1.83 s  found:      98
269.81/67.60	c  N dy    97     37219     23533     57516    138537      8812    361480    979867     36.21     38.26  --
291.77/73.16	c  N dy   100     45759     23292     56440    136901     17231    353973   1940762     31.62     16.29  --
291.77/73.16	c  S st   100     45759     23292     56440    136901     17231    353973   1940762     31.62     16.29  --
293.37/73.60	c Finding binary XORs  T:     1.63 s  found:     140
293.79/73.64	c Replacing      238 vars Replaced     8277 lits Time:     0.16 s 
295.36/74.07	c  S st   100     46259     22861     55606    157893     17643    349475   1970340     31.62   no data  --
295.36/74.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
295.76/74.13	c Cache  BProp: 48 Set: 0 BXProp: 0 T: 0.14
332.11/83.25	c Flit:    43 Blit:      1 bXBeca:    0 bXProp:   29 Bins:   6233 BRemL:   1249 BRemN:     27 P: 189.1M T: 36.38
332.51/83.31	c Replacing       29 vars Replaced     5235 lits Time:     0.24 s 
332.92/83.43	c bin-w-bin subsume rem         7654 bins  time:  0.08 s
339.71/85.12	c subs with bin:     1295  lits-rem:     13284  v-fix:    0  time:  6.71 s
340.91/85.45	c Subs w/ non-existent bins:    444 l-rem:    222 v-fix:     0 done:   7118 time:  1.34 s
341.71/85.63	c Removed useless bin:    4075  fixed:     0  props:  20.00M  time:  0.72 s
366.87/91.92	c lits-rem:       201  cl-subs:    21776  v-elim:   3638  v-fix:    0  time: 25.07 s
367.68/92.13	c vivif2 --  cl tried    58170 cl shrink     3936 lits rem       4460 time: 0.86
367.68/92.16	c vivif2 --  cl tried     2128 cl shrink      465 lits rem       2068 time: 0.08
368.90/92.48	c asymm  cl-useful: 4/1479/55605 lits-rem:7 time: 1.29
369.27/92.56	c calculated reachability. Time: 0.30
369.27/92.56	c  N dy   100     46259     19144     55605    135248      2011    322639    183197     31.62   no data  --
370.47/92.87	c Finding binary XORs  T:     1.25 s  found:       5
375.66/94.17	c  N dy   104     50478     19143     55605    135289      6090    322639    689377     30.02     31.73  --
380.05/95.28	c Finding binary XORs  T:     0.81 s  found:     133
403.22/101.07	c  N dy   112     69389     18678     53640    153283     24360    311397   3256500     25.67     15.84  --
403.22/101.07	c  S st   112     69389     18678     53640    153283     24360    311397   3256500     25.67     15.84  --
404.42/101.39	c  S st   112     69894     18678     53640    153359     24806    311397   3276171     25.67   no data  --
404.82/101.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
404.82/101.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
440.37/110.36	c Flit:    69 Blit:     14 bXBeca:    0 bXProp:   10 Bins:  72747 BRemL:  16922 BRemN:    320 P: 125.4M T: 35.59
440.77/110.46	c Replacing      148 vars Replaced    18262 lits Time:     0.40 s 
441.57/110.65	c bin-w-bin subsume rem        14455 bins  time:  0.11 s
449.16/112.50	c subs with bin:      130  lits-rem:      2623  v-fix:    0  time:  7.34 s
449.55/112.67	c Subs w/ non-existent bins:    137 l-rem:    554 v-fix:     0 done:   2976 time:  0.68 s
450.36/112.84	c Removed useless bin:    1860  fixed:     0  props:  20.01M  time:  0.70 s
557.02/139.51	c lits-rem:       107  cl-subs:    17782  v-elim:    611  v-fix:    0  time: 106.44 s
557.43/139.67	c vivif2 --  cl tried    53406 cl shrink      965 lits rem       1048 time: 0.62
557.84/139.76	c vivif2 --  cl tried     8382 cl shrink     2794 lits rem      26659 time: 0.34
559.41/140.17	c asymm  cl-useful: 17/3665/52844 lits-rem:23 time: 1.64
559.81/140.24	c calculated reachability. Time: 0.25
559.81/140.24	c  N dy   112     69894     17834     52842    185086      8368    299389    661777     25.67   no data  --
560.61/140.49	c Finding binary XORs  T:     1.01 s  found:       1
585.37/146.65	c  F st   113     87501     17834     52842    185091     25547    299389   1738525     22.40     13.07  --
585.37/146.67	c Replacing        1 vars Replaced      103 lits Time:     0.11 s 
585.78/146.73	c  N st   113     87501     17833     52842    185089     25547    299385   1738525     22.40     13.07  --
586.98/147.01	c Finding binary XORs  T:     0.92 s  found:       2
594.96/149.04	c  N dy   121     93518     17794     52670    230741     15984    298665   1373554     22.37     23.65  --
602.55/150.91	c Finding binary XORs  T:     0.81 s  found:       0
604.55/151.44	c  N dy   136     99528     17792     52642    245250     21658    298591   2058893     21.98     23.18  --
612.14/153.30	c  S st   138    104842     17791     52642    245266     26881    298591   2746383     21.49     13.93  --
612.94/153.58	c  S st   138    105343     17791     52642    245299     27348    298591   2784106     21.49   no data  --
613.34/153.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
613.34/153.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
652.08/163.30	c Flit:    31 Blit:      8 bXBeca:    0 bXProp:   17 Bins:  32579 BRemL:  39936 BRemN:    269 P: 126.5M T: 38.60
652.08/163.37	c Replacing       19 vars Replaced     6379 lits Time:     0.28 s 
652.88/163.53	c bin-w-bin subsume rem         1563 bins  time:  0.11 s
659.27/165.17	c subs with bin:      341  lits-rem:      2406  v-fix:    0  time:  6.54 s
660.07/165.35	c Subs w/ non-existent bins:     70 l-rem:    169 v-fix:     0 done:   5397 time:  0.74 s
660.48/165.47	c Removed useless bin:     405  fixed:     0  props:  14.93M  time:  0.47 s
681.25/170.61	c lits-rem:       405  cl-subs:     3754  v-elim:    153  v-fix:    0  time: 20.46 s
681.64/170.75	c vivif2 --  cl tried    52274 cl shrink      617 lits rem        638 time: 0.57
682.84/171.03	c vivif2 --  cl tried    23777 cl shrink     7443 lits rem     162455 time: 1.13
684.44/171.42	c asymm  cl-useful: 12/2817/52115 lits-rem:21 time: 1.54
684.44/171.48	c calculated reachability. Time: 0.22
684.44/171.48	c  N dy   138    105343     17580     52112    232576     23768    294009   2022819     21.49   no data  --
685.64/171.70	c Finding binary XORs  T:     0.87 s  found:       0
745.16/186.64	c  N dy   140    142840     17576     52112    286060     24453    294009   2109983     18.97     20.29  --
745.96/186.88	c Finding binary XORs  T:     0.85 s  found:       6
769.53/192.77	c  N dy   154    158016     17305     51155    272931     39245    288880   3623242     18.35     13.55  --
769.53/192.77	c  S st   154    158016     17305     51155    272931     39245    288880   3623242     18.35     13.55  --
770.73/193.08	c  S st   154    158522     17305     51155    272972     39723    288880   3646672     18.35   no data  --
771.13/193.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
771.13/193.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
811.87/203.33	c Flit:    16 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  21404 BRemL:   6572 BRemN:     55 P: 124.9M T: 40.74
811.87/203.40	c Replacing       10 vars Replaced      646 lits Time:     0.25 s 
813.06/203.63	c bin-w-bin subsume rem         1593 bins  time:  0.15 s
822.65/206.08	c subs with bin:      220  lits-rem:       964  v-fix:    0  time:  9.78 s
823.45/206.24	c Subs w/ non-existent bins:     25 l-rem:    398 v-fix:     0 done:   2548 time:  0.65 s
823.85/206.37	c Removed useless bin:     200  fixed:     0  props:  12.83M  time:  0.53 s
875.38/219.21	c lits-rem:        88  cl-subs:     4184  v-elim:     88  v-fix:    0  time: 51.24 s
875.78/219.37	c vivif2 --  cl tried    50957 cl shrink      394 lits rem        504 time: 0.61
877.78/219.90	c vivif2 --  cl tried    35646 cl shrink    11016 lits rem     148746 time: 2.13
879.78/220.33	c asymm  cl-useful: 28/2077/50754 lits-rem:49 time: 1.70
879.78/220.39	c calculated reachability. Time: 0.22
879.78/220.39	c  N dy   154    158522     17191     50747    284067     35640    285610   3053272     18.35   no data  --
880.98/220.62	c Finding binary XORs  T:     0.91 s  found:       0
895.78/224.36	c  N dy   156    170183     17189     50747    284179     25603    285610   2010070     17.64     19.15  --
909.36/227.73	c Finding binary XORs  T:     0.87 s  found:       6
912.94/228.62	c  N dy   183    181711     17170     50599    290590     36865    285149   3300801     17.44     18.42  --
946.88/237.18	c  N dy   196    201020     17170     50599    290597     32800    285149   2559426     16.97     17.98  --
948.08/237.44	c Finding binary XORs  T:     0.93 s  found:       0
972.06/243.42	c  N dy   228    213923     17156     50568    308629     45491    284939   4078853     16.79     17.68  --
996.43/249.57	c  N dy   246    227704     17156     50568    308641     34794    284939   2854348     16.59     17.53  --
1017.60/254.83	c  S st   269    237783     17156     50568    308651     44738    284939   4014960     16.50     13.96  --
1019.21/255.23	c  S st   269    238285     17156     50568    308678     45211    284939   4046913     16.50   no data  --
1019.21/255.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1019.21/255.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
1057.14/264.77	c Flit:    23 Blit:    101 bXBeca:    0 bXProp:    8 Bins:  19321 BRemL:   8339 BRemN:     48 P: 136.7M T: 37.86
1057.14/264.77	c Cleaning up after failed var search:     0.00 s 
1057.54/264.84	c Replacing       14 vars Replaced     2905 lits Time:     0.26 s 
1058.35/265.05	c bin-w-bin subsume rem         1272 bins  time:  0.14 s
1065.53/266.88	c subs with bin:      593  lits-rem:       883  v-fix:    0  time:  7.29 s
1066.33/267.08	c Subs w/ non-existent bins:     38 l-rem:   1153 v-fix:     0 done:   5674 time:  0.81 s
1066.73/267.18	c Removed useless bin:     166  fixed:     0  props:  11.49M  time:  0.39 s
1103.47/276.34	c lits-rem:       316  cl-subs:     3039  v-elim:     87  v-fix:    0  time: 36.57 s
1103.87/276.48	c vivif2 --  cl tried    49494 cl shrink      519 lits rem        556 time: 0.57
1106.28/277.08	c vivif2 --  cl tried    41698 cl shrink    13236 lits rem     454373 time: 2.38
1108.27/277.53	c asymm  cl-useful: 30/1102/49336 lits-rem:76 time: 1.80
1108.67/277.60	c calculated reachability. Time: 0.22
1108.67/277.60	c  N dy   269    238285     16903     49313    308350     41693    279468   3361274     16.50   no data  --
1109.47/277.83	c Finding binary XORs  T:     0.93 s  found:       1
1120.65/280.63	c Finding binary XORs  T:     0.92 s  found:       6
1131.44/283.32	c  N dy   279    253680     16899     49313    328936     31450    279422   2400330     16.25     17.28  --
1162.20/291.08	c  N dy   296    274560     16899     49313    329333     52145    279422   4475288     15.88     16.78  --
1209.73/302.97	c  N dy   306    305177     16898     49313    329346     28227    279422   2086663     15.41     16.55  --
1210.93/303.27	c  F st   307    306250     16896     49313    329364     29282    279422   2145038     15.39      9.12  --
1211.33/303.31	c Replacing        7 vars Replaced      657 lits Time:     0.12 s 
1240.89/310.73	c  N dy   327    325201     16889     49286    329103     47976    279325   4178478     15.26     16.18  --
1294.02/324.06	c  N dy   336    356573     16889     49286    329124     50200    279325   3832347     14.84     15.80  --
1295.22/324.32	c Finding binary XORs  T:     0.92 s  found:       7
1296.41/324.63	c  S st   341    357429     16839     48798    336189     50838    277846   3898314     14.84      9.63  --
1297.61/324.94	c  S st   341    357936     16839     48798    336209     51324    277846   3927561     14.84   no data  --
1297.61/324.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1297.61/324.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
1332.37/333.64	c Flit:    24 Blit:      4 bXBeca:    0 bXProp:    2 Bins:  17843 BRemL:  14183 BRemN:    104 P: 136.6M T: 34.52
1332.77/333.70	c Replacing        9 vars Replaced     3059 lits Time:     0.26 s 
1333.57/333.91	c bin-w-bin subsume rem         4131 bins  time:  0.16 s
1339.98/335.59	c subs with bin:      285  lits-rem:      2402  v-fix:    0  time:  6.71 s
1340.35/335.65	c Subs w/ non-existent bins:      4 l-rem:   1841 v-fix:     0 done:    208 time:  0.24 s
1340.75/335.74	c Removed useless bin:     170  fixed:     0  props:  10.28M  time:  0.35 s
1405.08/351.87	c lits-rem:        29  cl-subs:     5683  v-elim:     99  v-fix:    0  time: 64.39 s
1405.90/352.01	c vivif2 --  cl tried    48521 cl shrink      305 lits rem        355 time: 0.57
1408.67/352.71	c vivif2 --  cl tried    45826 cl shrink    14256 lits rem     472889 time: 2.78
1410.29/353.18	c asymm  cl-useful: 46/1005/48331 lits-rem:138 time: 1.88
1410.66/353.25	c calculated reachability. Time: 0.23
1410.66/353.25	c  N dy   341    357936     16702     48285    331720     45816    275036   3265842     14.84   no data  --
1419.86/355.51	c Finding binary XORs  T:     0.97 s  found:       0
1447.42/362.44	c  N dy   357    381071     16698     48248    331876     39185    274926   2746288     14.62     15.42  --
1457.40/364.94	c Finding binary XORs  T:     0.95 s  found:       0
1482.57/371.29	c  N dy   394    401145     16685     48158    337856     58871    274645   4401446     14.47     17.05  --
1513.33/378.93	c  N dy   419    422020     16684     48158    337877     48975    274645   3413861     14.30     15.53  --
1545.29/386.91	c  N dy   470    442144     16683     48158    337909     37417    274645   2391815     14.21     15.20  --
1575.24/394.47	c  N dy   510    462226     16682     48158    337938     57252    274645   4596493     14.13     32.52  --
1608.02/402.63	c  N dy   558    482281     16682     48158    337958     44635    274645   3315282     14.07     25.77  --
1648.74/412.83	c  N dy   561    503567     16682     48158    337962     65607    274645   5237519     13.91     14.84  --
1685.10/421.99	c  N dy   632    525300     16681     48158    338012     53537    274645   4072540     13.89     14.62  --
1704.70/426.89	c  S st   646    536904     16681     48158    338022     64954    274645   5092885     13.83     12.32  --
1706.27/427.24	c  S st   646    537406     16681     48158    338026     65450    274645   5139680     13.83   no data  --
1706.27/427.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1706.27/427.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
1742.63/436.33	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   9270 BRemL:  10886 BRemN:     65 P: 149.1M T: 36.07
1743.84/436.61	c bin-w-bin subsume rem          470 bins  time:  0.14 s
1751.01/438.49	c subs with bin:       87  lits-rem:       474  v-fix:    0  time:  7.50 s
1751.41/438.55	c Subs w/ non-existent bins:      2 l-rem:   1042 v-fix:     0 done:     26 time:  0.22 s
1751.81/438.62	c Removed useless bin:     118  fixed:     0  props:   8.85M  time:  0.32 s
1893.63/474.13	c lits-rem:         7  cl-subs:     8733  v-elim:     46  v-fix:    0  time: 141.72 s
1894.01/474.27	c vivif2 --  cl tried    48109 cl shrink      166 lits rem        183 time: 0.58
1897.22/475.06	c vivif2 --  cl tried    55073 cl shrink    13705 lits rem     644430 time: 3.13
1899.21/475.52	c asymm  cl-useful: 15/899/48029 lits-rem:45 time: 1.84
1899.21/475.58	c calculated reachability. Time: 0.23
1899.21/475.58	c  N dy   646    537406     16627     48014    333551     55065    273543   3694985     13.83   no data  --
1900.41/475.85	c Finding binary XORs  T:     0.96 s  found:       0
1917.19/480.09	c Finding binary XORs  T:     0.96 s  found:       1
1935.17/484.55	c  N dy   678    557853     16618     47948    343220     41596    273315   2670965     13.77     14.59  --
1973.91/494.22	c  N dy   714    579033     16618     47948    343238     62380    273315   4393942     13.69     14.48  --
2013.05/504.04	c  N dy   735    600098     16618     47948    343250     48120    273315   3017525     13.57     14.29  --
2046.62/512.46	c  N dy   800    620792     16607     47948    345632     68506    273315   4835600     13.53     14.47  --
2079.77/520.73	c  N dy   847    642017     16607     47948    345655     53125    273315   3468732     13.47     14.24  --
2119.72/530.79	c  N dy   873    663178     16606     47948    345663     73961    273315   5044267     13.39     14.11  --
2154.46/539.49	c  N dy   916    683276     16606     47948    345683     56444    273315   3840206     13.34     14.08  --
2194.41/549.41	c  N dy   981    704306     16606     47948    345696     38848    273315   2259282     13.33     14.05  --
2229.56/558.25	c  N dy  1013    724360     16606     47948    345705     58639    273315   4001742     13.27     21.91  --
2233.96/559.32	c Finding binary XORs  T:     0.96 s  found:      10
2266.74/567.55	c  N dy  1074    744453     16604     47914    345103     78487    273052   6146782     13.28     17.89  --
2301.08/576.11	c  N dy  1145    764573     16602     47914    345118     58957    273052   4075312     13.28     14.04  --
2337.44/585.22	c  N dy  1226    784708     16600     47914    345136     78731    273052   5847094     13.29     13.99  --
2372.60/594.03	c  N dy  1298    806095     16600     47914    345180     59500    273052   4324204     13.29     14.56  --
2372.60/594.04	c  S st  1299    806109     16600     47914    345180     59514    273052   4325954     13.29   no data  --
2373.77/594.37	c  S st  1299    806612     16600     47914    345190     60008    273052   4376216     13.29   no data  --
2374.17/594.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2374.17/594.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
2409.33/603.26	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:    1 Bins:   4152 BRemL:  57648 BRemN:     12 P: 146.9M T: 35.25
2409.73/603.33	c Replacing       12 vars Replaced     1789 lits Time:     0.28 s 
2410.53/603.54	c bin-w-bin subsume rem          446 bins  time:  0.13 s
2417.72/605.37	c subs with bin:       89  lits-rem:       114  v-fix:    0  time:  7.28 s
2418.12/605.43	c Subs w/ non-existent bins:      8 l-rem:    584 v-fix:     0 done:    737 time:  0.26 s
2418.51/605.50	c Removed useless bin:     111  fixed:     0  props:   7.55M  time:  0.27 s
2465.65/617.34	c lits-rem:       713  cl-subs:     5732  v-elim:     30  v-fix:    0  time: 47.23 s
2466.45/617.50	c vivif2 --  cl tried    47888 cl shrink      458 lits rem        460 time: 0.62
2469.26/618.20	c vivif2 --  cl tried    51819 cl shrink    17174 lits rem     668921 time: 2.81
2470.84/618.67	c asymm  cl-useful: 4/876/47713 lits-rem:12 time: 1.89
2471.24/618.74	c calculated reachability. Time: 0.23
2471.24/618.74	c  N dy  1299    806612     16555     47709    289344     51805    272022   3004714     13.29   no data  --
2472.05/618.99	c Finding binary XORs  T:     0.98 s  found:       0
2511.99/628.95	c  N dy  1362    828078     16553     47709    289450     73020    272022   4956164     13.25     13.95  --
2544.74/637.19	c  N dy  1437    848728     16553     47709    289463     53271    272022   3633691     13.24     14.29  --
2580.30/646.02	c Finding binary XORs  T:     0.98 s  found:       0
2581.90/646.41	c  N dy  1469    869515     16551     47677    302095     73744    271924   5617868     13.19     14.06  --
2617.45/655.38	c  N dy  1515    891202     16551     47677    302109     53418    271924   4221349     13.16     13.94  --
2653.00/664.24	c  N dy  1564    911252     16551     47677    302129     73281    271924   6325207     13.14     13.87  --
2687.36/672.88	c  N dy  1608    931301     16551     47677    302143     49883    271924   2897760     13.12     16.30  --
2721.31/681.38	c  N dy  1631    951351     16551     47677    302152     69719    271924   5791073     13.07     16.41  --
2774.44/694.61	c  N dy  1682    980266     16549     47677    302161     53841    271924   2681608     13.01     13.77  --
2808.40/703.10	c  N dy  1738   1000285     16549     47677    302170     73658    271924   4919862     13.00     16.37  --
2847.93/713.03	c  N dy  1796   1020400     16548     47677    302192     48161    271924   2653272     13.00     13.86  --
2883.09/721.86	c  N dy  1862   1040426     16547     47677    302199     67905    271924   4796752     13.00     21.77  --
2925.86/732.56	c  N dy  1941   1061278     16547     47677    302202     88488    271924   7033323     13.00     13.74  --
2948.60/738.21	c  F st  1988   1071876     16547     47677    302205     52646    271924   2908289     13.00     11.17  --
2972.17/744.16	c  N dy  2008   1081838     16547     47651    301859     58171    271836   3955220     13.01     13.74  --
3024.11/757.14	c  N dy  2089   1102170     16547     47651    301864     78268    271836   6056266     13.00     13.70  --
3079.65/771.00	c  N dy  2118   1124541     16547     47651    301870     54967    271836   3113589     12.96     13.84  --
3092.83/774.31	c Finding binary XORs  T:     0.99 s  found:       0
3122.38/781.75	c  N dy  2185   1145730     16541     47592    309482     75770    271677   4997575     12.94     13.63  --
3169.51/793.57	c  N dy  2273   1165762     16540     47592    309498     48438    271677   2545708     12.95     24.06  --
3211.06/803.91	c  N dy  2325   1185863     16540     47592    309506     68252    271677   4327277     12.93     14.64  --
3256.59/815.36	c  N dy  2378   1207552     16540     47592    309516     89667    271677   6694723     12.91     13.63  --
3262.19/816.78	c  S st  2381   1209918     16540     47592    309516     92000    271677   6913835     12.91      9.97  --
3264.20/817.20	c  S st  2381   1210422     16540     47592    309520     92497    271677   6951991     12.91   no data  --
3264.20/817.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
3264.20/817.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
3302.53/826.88	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4991 BRemL:  10095 BRemN:     28 P: 168.0M T: 38.41
3304.15/827.27	c bin-w-bin subsume rem          197 bins  time:  0.14 s
3312.13/829.23	c subs with bin:        2  lits-rem:        26  v-fix:    0  time:  7.83 s
3312.13/829.30	c Subs w/ non-existent bins:      0 l-rem:   2107 v-fix:     0 done:     22 time:  0.27 s
3312.54/829.36	c Removed useless bin:      83  fixed:     0  props:   6.23M  time:  0.24 s
3676.43/920.47	c lits-rem:         4  cl-subs:    12643  v-elim:     46  v-fix:    0  time: 363.58 s
3677.25/920.62	c vivif2 --  cl tried    47606 cl shrink      247 lits rem        264 time: 0.59
3682.04/921.81	c vivif2 --  cl tried    79973 cl shrink    19991 lits rem     933573 time: 4.77
3684.02/922.31	c asymm  cl-useful: 30/750/47443 lits-rem:90 time: 1.99
3684.02/922.38	c calculated reachability. Time: 0.23
3684.02/922.38	c  N dy  2381   1210422     16489     47413    302851     79961    270743   4538604     12.91   no data  --
3685.22/922.64	c Finding binary XORs  T:     1.01 s  found:       0
3700.80/926.55	c Finding binary XORs  T:     1.00 s  found:       0
3741.55/936.79	c  N dy  2407   1237758     16485     47394    312702     58010    270672   2830863     12.86     13.54  --
3780.70/946.56	c  N dy  2419   1258072     16484     47394    312717     77960    270672   4134422     12.81     13.56  --
3822.66/957.04	c  N dy  2459   1279637     16483     47394    312725     99174    270672   6138940     12.78     13.54  --
3857.81/965.88	c  N dy  2519   1299669     16481     47394    312737     69150    270672   4752017     12.77     13.49  --
3898.13/975.95	c  N dy  2565   1319941     16481     47394    312744     89105    270672   6790060     12.75     13.42  --
3938.08/985.99	c  N dy  2621   1340000     16481     47394    312748     57908    270672   3211978     12.74     21.09  --
3978.02/995.94	c  N dy  2667   1361421     16481     47394    312752     78991    270672   5311910     12.71     13.44  --
3991.62/999.38	c Finding binary XORs  T:     1.00 s  found:       0
4020.77/1006.66	c  N dy  2718   1381498     16476     47321    329415     95815    270453   7108998     12.70     21.61  --
4056.73/1015.68	c  N dy  2775   1401573     16476     47321    329428     64917    270453   3780469     12.69     16.61  --
4101.46/1026.85	c  N dy  2842   1424525     16476     47321    329435     87487    270453   6003140     12.69     13.42  --
4142.21/1037.03	c  N dy  2880   1444626     16476     47321    329453     54886    270453   2699852     12.67     24.03  --
4178.58/1046.16	c  N dy  2914   1465713     16476     47321    329462     75458    270453   4211091     12.64     13.87  --
4228.49/1058.63	c  N dy  2959   1486673     16476     47321    329476     95978    270453   5764045     12.62     13.31  --
4268.84/1068.74	c  N dy  3012   1506757     16474     47321    329480     62056    270453   3179652     12.62     13.34  --
4309.19/1078.81	c  N dy  3139   1526820     16474     47321    329496     81980    270453   6343280     12.69     41.82  --
4339.55/1086.46	c Finding binary XORs  T:     1.00 s  found:       0
4353.52/1089.92	c  N dy  3248   1546904     16474     47308    335834     90445    270396   9266539     12.74     15.05  --
4394.27/1100.14	c  N dy  3350   1566929     16473     47308    335851     61043    270396   4353223     12.79     17.84  --
4434.61/1110.22	c  N dy  3453   1588508     16472     47308    335862     82463    270396   7566346     12.82     13.60  --
4490.16/1124.12	c  N dy  3560   1608685     16472     47308    335873    102452    270396  10323941     12.86     13.54  --
4534.10/1135.20	c  N dy  3639   1629235     16472     47308    335884     69423    270396   4855750     12.88     14.01  --
4586.41/1148.20	c  N dy  3790   1649301     16470     47308    335897     89339    270396   7943120     12.95     33.29  --
4638.35/1161.25	c  N dy  3904   1669379     16470     47308    335905    109179    270396  10798730     13.01     19.21  --
4683.50/1172.56	c  N dy  4032   1689712     16470     47308    335908     73439    270396   5740416     13.07     13.81  --
4728.22/1183.72	c  N dy  4106   1710422     16470     47308    335912     93998    270396   8553472     13.09     10.94  --
4728.22/1183.72	c  S st  4106   1710422     16470     47308    335912     93998    270396   8553472     13.09     10.94  --
4730.22/1184.23	c  S st  4106   1710924     16470     47308    335917     94495    270396   8618904     13.09   no data  --
4730.22/1184.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
4730.22/1184.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
4772.16/1194.77	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   9667 BRemL:  10004 BRemN:     35 P: 183.7M T: 41.84
4774.17/1195.25	c bin-w-bin subsume rem          611 bins  time:  0.16 s
4782.16/1197.28	c subs with bin:       13  lits-rem:        34  v-fix:    0  time:  8.10 s
4782.56/1197.34	c Subs w/ non-existent bins:      5 l-rem:    441 v-fix:     0 done:    355 time:  0.25 s
4782.56/1197.39	c Removed useless bin:      86  fixed:     0  props:   4.68M  time:  0.20 s

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.31 4.08 1.65 6/180 26052
/proc/meminfo: memFree=17437392/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 4 0 593121282 52465664 356 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895490491 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 12809 356 306 112 0 7774 0
[pid=26052/tid=26053] ppid=26050 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 593121283 52465664 356 33554432000 4194304 4650419 140733767900304 18446744073709551615 47636185261593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 593121283 52465664 356 33554432000 4194304 4650419 140733767900304 18446744073709551615 47636185262002 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 593121283 52465664 356 33554432000 4194304 4650419 140733767900304 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0655461 s]
/proc/loadavg: 7.31 4.08 1.65 6/180 26052
/proc/meminfo: memFree=17437392/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=346704 CPUtime=0.19 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) D 26050 26052 25974 0 -1 4202496 29800 0 0 0 14 5 0 0 18 0 4 0 593121282 355024896 22727 33554432000 4194304 4650419 140733767900304 18446744073709551615 4319766 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 88995 22846 344 112 0 83960 0
[pid=26052/tid=26053] ppid=26050 vsize=355980 CPUtime=0.04 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) D 26050 26052 25974 0 -1 4202560 7848 0 0 0 3 1 0 0 18 0 4 0 593121283 364523520 22846 33554432000 4194304 4650419 140733767900304 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=355980 CPUtime=0.04 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 7155 0 0 0 3 1 0 0 17 0 4 0 593121283 364523520 22846 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895187641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=355980 CPUtime=0.04 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) D 26050 26052 25974 0 -1 4202560 6901 0 0 0 3 1 0 0 18 0 4 0 593121283 364523520 22846 33554432000 4194304 4650419 140733767900304 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 346704

[startup+0.10555 s]
/proc/loadavg: 7.31 4.08 1.65 6/180 26052
/proc/meminfo: memFree=17437392/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=440248 CPUtime=0.34 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 51841 0 0 0 25 9 0 0 18 0 4 0 593121282 450813952 43050 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895533703 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 110062 43050 344 112 0 105027 0
[pid=26052/tid=26053] ppid=26050 vsize=440248 CPUtime=0.08 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) D 26050 26052 25974 0 -1 4202560 13380 0 0 0 6 2 0 0 18 0 4 0 593121283 450813952 43050 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895533703 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=440248 CPUtime=0.07 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) D 26050 26052 25974 0 -1 4202560 11762 0 0 0 5 2 0 0 17 0 4 0 593121283 450813952 43050 33554432000 4194304 4650419 140733767900304 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=440248 CPUtime=0.07 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) D 26050 26052 25974 0 -1 4202560 12866 0 0 0 5 2 0 0 18 0 4 0 593121283 450813952 42538 33554432000 4194304 4650419 140733767900304 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 440248

[startup+0.309445 s]
/proc/loadavg: 7.31 4.08 1.65 6/180 26052
/proc/meminfo: memFree=17437392/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=497652 CPUtime=1.08 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 71353 0 0 0 69 39 0 0 17 0 4 0 593121282 509595648 54671 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 124413 54699 345 112 0 119378 0
[pid=26052/tid=26053] ppid=26050 vsize=497652 CPUtime=0.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 17377 0 0 0 19 8 0 0 18 0 4 0 593121283 509595648 54739 33554432000 4194304 4650419 140733767900304 18446744073709551615 4316563 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=497784 CPUtime=0.26 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 17279 0 0 0 15 11 0 0 17 0 4 0 593121283 509730816 54874 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=497784 CPUtime=0.26 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) S 26050 26052 25974 0 -1 4202560 18541 0 0 0 17 9 0 0 17 0 4 0 593121283 509730816 54920 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895595502 0 0 4096 2 18446604471133283392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 497652

[startup+0.700319 s]
/proc/loadavg: 7.31 4.08 1.65 6/180 26052
/proc/meminfo: memFree=17437392/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=529148 CPUtime=2.59 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 83473 0 0 0 201 58 0 0 18 0 4 0 593121282 541847552 66619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4369478 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 132287 66619 369 112 0 127252 0
[pid=26052/tid=26053] ppid=26050 vsize=529148 CPUtime=0.65 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 19766 0 0 0 53 12 0 0 18 0 4 0 593121283 541847552 66619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4369305 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=529148 CPUtime=0.64 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 20180 0 0 0 48 16 0 0 18 0 4 0 593121283 541847552 66619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370744 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=529148 CPUtime=0.63 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22421 0 0 0 48 15 0 0 18 0 4 0 593121283 541847552 66619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 529148

[startup+1.50118 s]
/proc/loadavg: 7.31 4.08 1.65 9/184 26056
/proc/meminfo: memFree=17155136/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=538496 CPUtime=5.78 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 89679 0 0 0 519 59 0 0 19 0 4 0 593121282 551419904 70470 33554432000 4194304 4650419 140733767900304 18446744073709551615 4245055 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 134624 70470 373 112 0 129589 0
[pid=26052/tid=26053] ppid=26050 vsize=538496 CPUtime=1.44 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 21833 0 0 0 132 12 0 0 19 0 4 0 593121283 551419904 70470 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370249 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=538496 CPUtime=1.44 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22100 0 0 0 128 16 0 0 19 0 4 0 593121283 551419904 70470 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=538496 CPUtime=1.42 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22680 0 0 0 127 15 0 0 19 0 4 0 593121283 551419904 70470 33554432000 4194304 4650419 140733767900304 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 538496

[startup+3.10087 s]
/proc/loadavg: 7.31 4.08 1.65 9/184 26056
/proc/meminfo: memFree=17233380/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=539408 CPUtime=12.17 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 90687 0 0 0 1158 59 0 0 22 0 4 0 593121282 552353792 71477 33554432000 4194304 4650419 140733767900304 18446744073709551615 4244927 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 134852 71477 373 112 0 129817 0
[pid=26052/tid=26053] ppid=26050 vsize=539408 CPUtime=3.04 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 21871 0 0 0 292 12 0 0 22 0 4 0 593121283 552353792 71477 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=539408 CPUtime=3.04 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22222 0 0 0 288 16 0 0 22 0 4 0 593121283 552353792 71477 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=539408 CPUtime=3.02 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 23405 0 0 0 287 15 0 0 22 0 4 0 593121283 552353792 71477 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 539408

[startup+6.30026 s]
/proc/loadavg: 7.37 4.14 1.68 9/184 26056
/proc/meminfo: memFree=17203992/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=574368 CPUtime=24.95 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 95134 0 0 0 2434 61 0 0 25 0 4 0 593121282 588152832 75924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370354 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 143592 75924 374 112 0 138557 0
[pid=26052/tid=26053] ppid=26050 vsize=574368 CPUtime=6.24 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22057 0 0 0 612 12 0 0 25 0 4 0 593121283 588152832 75924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=574368 CPUtime=6.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 22473 0 0 0 608 16 0 0 25 0 4 0 593121283 588152832 75924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=574368 CPUtime=6.2 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 27203 0 0 0 603 17 0 0 25 0 4 0 593121283 588152832 75924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 574368

[startup+12.701 s]
/proc/loadavg: 7.42 4.21 1.72 9/184 26056
/proc/meminfo: memFree=17097096/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=643596 CPUtime=50.52 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 107653 0 0 0 4986 66 0 0 25 0 4 0 593121282 659042304 88441 33554432000 4194304 4650419 140733767900304 18446744073709551615 4550246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 160899 88441 385 112 0 155864 0
[pid=26052/tid=26053] ppid=26050 vsize=643596 CPUtime=12.64 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 25558 0 0 0 1251 13 0 0 25 0 4 0 593121283 659042304 88441 33554432000 4194304 4650419 140733767900304 18446744073709551615 4550246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=643596 CPUtime=12.64 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 25685 0 0 0 1247 17 0 0 25 0 4 0 593121283 659042304 88441 33554432000 4194304 4650419 140733767900304 18446744073709551615 4550278 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=643596 CPUtime=12.57 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 30284 0 0 0 1238 19 0 0 25 0 4 0 593121283 659042304 88441 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 643596

[startup+25.5006 s]
/proc/loadavg: 7.55 4.39 1.82 9/184 26056
/proc/meminfo: memFree=17012744/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=734588 CPUtime=101.65 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 135011 0 0 0 10089 76 0 0 25 0 4 0 593121282 752218112 101696 33554432000 4194304 4650419 140733767900304 18446744073709551615 4328961 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 183647 101696 394 112 0 178612 0
[pid=26052/tid=26053] ppid=26050 vsize=734588 CPUtime=25.44 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 30056 0 0 0 2530 14 0 0 25 0 4 0 593121283 752218112 101696 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=734588 CPUtime=25.44 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 31203 0 0 0 2525 19 0 0 25 0 4 0 593121283 752218112 101696 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=734588 CPUtime=25.29 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 42504 0 0 0 2506 23 0 0 25 0 4 0 593121283 752218112 101696 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 734588

[startup+51.1007 s]
/proc/loadavg: 7.70 4.68 1.98 9/184 26057
/proc/meminfo: memFree=16451064/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=1338184 CPUtime=203.9 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 315025 0 0 0 20266 124 0 0 25 0 4 0 593121282 1370300416 236619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4436168 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 334546 236619 395 112 0 329511 0
[pid=26052/tid=26053] ppid=26050 vsize=1338184 CPUtime=51.05 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 77090 0 0 0 5078 27 0 0 18 0 4 0 593121283 1370300416 236619 33554432000 4194304 4650419 140733767900304 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=1338184 CPUtime=51.04 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 72309 0 0 0 5074 30 0 0 18 0 4 0 593121283 1370300416 236619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4250288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=1338184 CPUtime=50.75 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 72269 0 0 0 5043 32 0 0 18 0 4 0 593121283 1370300416 236619 33554432000 4194304 4650419 140733767900304 18446744073709551615 4245579 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 1338184

[startup+102.307 s]
/proc/loadavg: 7.73 5.16 2.28 9/184 26088
/proc/meminfo: memFree=19393520/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=1990944 CPUtime=408.43 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 524045 0 0 0 40660 183 0 0 25 0 4 0 593121282 2038726656 405923 33554432000 4194304 4650419 140733767900304 18446744073709551615 4346040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 497736 405923 395 112 0 492701 0
[pid=26052/tid=26053] ppid=26050 vsize=1990944 CPUtime=102.25 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 119891 0 0 0 10188 37 0 0 25 0 4 0 593121283 2038726656 405923 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=1990944 CPUtime=102.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 120225 0 0 0 10179 45 0 0 25 0 4 0 593121283 2038726656 405923 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=1990944 CPUtime=101.67 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 171285 0 0 0 10107 60 0 0 25 0 4 0 593121283 2038726656 405923 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 1990944

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.17 7.73 5.05 9/184 26134
/proc/meminfo: memFree=18200196/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3029772 CPUtime=2805.2 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1167222 0 0 0 280088 432 0 0 25 0 4 0 593121282 3102486528 626612 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 757443 626612 396 112 0 752408 0
[pid=26052/tid=26053] ppid=26050 vsize=3029772 CPUtime=702.25 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 280457 0 0 0 70123 102 0 0 25 0 4 0 593121283 3102486528 626612 33554432000 4194304 4650419 140733767900304 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3029772 CPUtime=702.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 264408 0 0 0 70114 110 0 0 25 0 4 0 593121283 3102486528 626612 33554432000 4194304 4650419 140733767900304 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3029772 CPUtime=698.42 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 376171 0 0 0 69712 130 0 0 25 0 4 0 593121283 3102486528 626612 33554432000 4194304 4650419 140733767900304 18446744073709551615 4419157 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 3029772

[startup+762.307 s]
/proc/loadavg: 8.15 7.81 5.24 9/184 26136
/proc/meminfo: memFree=18129732/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3160860 CPUtime=3044.9 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1191997 0 0 0 304042 448 0 0 25 0 4 0 593121282 3236720640 626787 33554432000 4194304 4650419 140733767900304 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 790215 626787 396 112 0 785180 0
[pid=26052/tid=26053] ppid=26050 vsize=3160860 CPUtime=762.26 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 280458 0 0 0 76124 102 0 0 25 0 4 0 593121283 3236720640 626787 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3160860 CPUtime=762.25 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 276031 0 0 0 76107 118 0 0 25 0 4 0 593121283 3236720640 626787 33554432000 4194304 4650419 140733767900304 18446744073709551615 4360479 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3160860 CPUtime=758.1 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 382484 0 0 0 75676 134 0 0 25 0 4 0 593121283 3236720640 626787 33554432000 4194304 4650419 140733767900304 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.9
Current children cumulated vsize (KiB) 3160860

[startup+822.3 s]
/proc/loadavg: 8.14 7.87 5.42 9/184 26137
/proc/meminfo: memFree=18059888/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3161224 CPUtime=3284.55 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1229800 0 0 0 327986 469 0 0 25 0 4 0 593121282 3237093376 633572 33554432000 4194304 4650419 140733767900304 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 790306 633572 396 112 0 785271 0
[pid=26052/tid=26053] ppid=26050 vsize=3161224 CPUtime=822.26 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 297725 0 0 0 82114 112 0 0 25 0 4 0 593121283 3237093376 633572 33554432000 4194304 4650419 140733767900304 18446744073709551615 4315038 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3161224 CPUtime=822.25 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 291313 0 0 0 82099 126 0 0 25 0 4 0 593121283 3237093376 633573 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3161224 CPUtime=817.77 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 382487 0 0 0 81643 134 0 0 25 0 4 0 593121283 3237093376 633573 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 3161224

[startup+882.301 s]
/proc/loadavg: 8.16 7.92 5.59 9/184 26139
/proc/meminfo: memFree=18096576/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3161224 CPUtime=3524.23 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1274178 0 0 0 351928 495 0 0 25 0 4 0 593121282 3237093376 630752 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 790306 630752 396 112 0 785271 0
[pid=26052/tid=26053] ppid=26050 vsize=3161224 CPUtime=882.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 309910 0 0 0 88108 119 0 0 25 0 4 0 593121283 3237093376 630752 33554432000 4194304 4650419 140733767900304 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3161224 CPUtime=882.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 302827 0 0 0 88090 134 0 0 25 0 4 0 593121283 3237093376 630752 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3161224 CPUtime=877.44 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 402577 0 0 0 87600 144 0 0 25 0 4 0 593121283 3237093376 630753 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.23
Current children cumulated vsize (KiB) 3161224

[startup+942.301 s]
/proc/loadavg: 8.06 7.93 5.74 9/184 26141
/proc/meminfo: memFree=18081672/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3135564 CPUtime=3763.91 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1315814 0 0 0 375874 517 0 0 25 0 4 0 593121282 3210817536 630694 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 783891 630694 396 112 0 778856 0
[pid=26052/tid=26053] ppid=26050 vsize=3135564 CPUtime=942.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 325696 0 0 0 94099 128 0 0 25 0 4 0 593121283 3210817536 630694 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3135564 CPUtime=942.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 310451 0 0 0 94086 138 0 0 25 0 4 0 593121283 3210817536 630694 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3135564 CPUtime=937.11 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 417772 0 0 0 93560 151 0 0 25 0 4 0 593121283 3210817536 630694 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 3135564

[startup+1002.3 s]
/proc/loadavg: 8.02 7.94 5.88 9/184 26142
/proc/meminfo: memFree=18071856/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3226768 CPUtime=4003.6 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1361203 0 0 0 399817 543 0 0 25 0 4 0 593121282 3304210432 631767 33554432000 4194304 4650419 140733767900304 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 806692 631767 396 112 0 801657 0
[pid=26052/tid=26053] ppid=26050 vsize=3226768 CPUtime=1002.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 337563 0 0 0 100093 134 0 0 25 0 4 0 593121283 3304210432 631767 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3226768 CPUtime=1002.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 321551 0 0 0 100080 144 0 0 25 0 4 0 593121283 3304210432 631767 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3226768 CPUtime=996.79 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 429161 0 0 0 99521 158 0 0 25 0 4 0 593121283 3304210432 631767 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.6
Current children cumulated vsize (KiB) 3226768

[startup+1062.3 s]
/proc/loadavg: 8.00 7.95 6.01 9/184 26144
/proc/meminfo: memFree=18037240/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3135756 CPUtime=4243.28 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1400083 0 0 0 423763 565 0 0 25 0 4 0 593121282 3211014144 639583 33554432000 4194304 4650419 140733767900304 18446744073709551615 4363762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 783939 639583 396 112 0 778904 0
[pid=26052/tid=26053] ppid=26050 vsize=3135756 CPUtime=1062.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 340245 0 0 0 106092 135 0 0 25 0 4 0 593121283 3211014144 639583 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3135756 CPUtime=1062.25 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 335356 0 0 0 106070 155 0 0 25 0 4 0 593121283 3211014144 639583 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3135756 CPUtime=1056.47 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 441420 0 0 0 105483 164 0 0 25 0 4 0 593121283 3211014144 639583 33554432000 4194304 4650419 140733767900304 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.28
Current children cumulated vsize (KiB) 3135756

[startup+1122.3 s]
/proc/loadavg: 8.00 7.95 6.13 9/184 26145
/proc/meminfo: memFree=17985376/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3312136 CPUtime=4482.95 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1452892 0 0 0 447706 589 0 0 25 0 4 0 593121282 3391627264 653722 33554432000 4194304 4650419 140733767900304 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 828034 653722 396 112 0 822999 0
[pid=26052/tid=26053] ppid=26050 vsize=3312136 CPUtime=1122.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 353175 0 0 0 112087 140 0 0 25 0 4 0 593121283 3391627264 653722 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3312136 CPUtime=1122.24 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 345493 0 0 0 112064 160 0 0 25 0 4 0 593121283 3391627264 653722 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3312136 CPUtime=1116.14 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 450423 0 0 0 111446 168 0 0 25 0 4 0 593121283 3391627264 653722 33554432000 4194304 4650419 140733767900304 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.95
Current children cumulated vsize (KiB) 3312136

[startup+1182.3 s]
/proc/loadavg: 8.00 7.96 6.24 9/184 26147
/proc/meminfo: memFree=17952116/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3265696 CPUtime=4722.63 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1562118 0 0 0 471643 620 0 0 25 0 4 0 593121282 3344072704 654480 33554432000 4194304 4650419 140733767900304 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 816424 654480 396 112 0 811389 0
[pid=26052/tid=26053] ppid=26050 vsize=3265696 CPUtime=1182.27 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 363214 0 0 0 118082 145 0 0 25 0 4 0 593121283 3344072704 654480 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3265696 CPUtime=1182.25 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 358177 0 0 0 118055 170 0 0 25 0 4 0 593121283 3344072704 654480 33554432000 4194304 4650419 140733767900304 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3265696 CPUtime=1175.82 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 521722 0 0 0 117404 178 0 0 25 0 4 0 593121283 3344072704 654480 33554432000 4194304 4650419 140733767900304 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 3265696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 7.96 6.28 9/184 26148
/proc/meminfo: memFree=17960296/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=3331240 CPUtime=4800.15 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) R 26050 26052 25974 0 -1 4202496 1582835 0 0 0 479388 627 0 0 25 0 4 0 593121282 3411189760 659924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 832810 659924 396 112 0 827775 0
[pid=26052/tid=26053] ppid=26050 vsize=3331240 CPUtime=1201.68 cores=1,3,5,7
/proc/26052/task/26053/stat : 26053 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 367090 0 0 0 120022 146 0 0 25 0 4 0 593121283 3411189760 659924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26052/tid=26054] ppid=26050 vsize=3331240 CPUtime=1201.65 cores=1,3,5,7
/proc/26052/task/26054/stat : 26054 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 360881 0 0 0 119994 171 0 0 25 0 4 0 593121283 3411189760 659924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=3331240 CPUtime=1195.11 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4202560 533104 0 0 0 119331 180 0 0 25 0 4 0 593121283 3411189760 659924 33554432000 4194304 4650419 140733767900304 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 3331240

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

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

[startup+1201.81 s]
/proc/loadavg: 8.00 7.96 6.28 9/184 26148
/proc/meminfo: memFree=17960296/32950928 swapFree=67111524/67111528
[pid=26052] ppid=26050 vsize=0 CPUtime=4800.27 cores=1,3,5,7
/proc/26052/stat : 26052 (strangenight1-m) Z 26050 26052 25974 0 -1 4203548 1582836 0 0 0 479390 637 0 0 25 0 2 0 593121282 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26052/statm: 0 0 0 0 0 0 0
[pid=26052/tid=26055] ppid=26050 vsize=0 CPUtime=1195.22 cores=1,3,5,7
/proc/26052/task/26055/stat : 26055 (strangenight1-m) R 26050 26052 25974 0 -1 4203588 533105 0 0 0 119332 190 0 0 25 0 2 0 593121283 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.3
CPU user time (s): 4793.91
CPU system time (s): 6.38803
CPU usage (%): 399.415
Max. virtual memory (cumulated for all children) (KiB): 3332404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.91
system time used= 6.38803
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1582836
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= 31451
involuntary context switches= 32279

runsolver used 1.89371 second user time and 4.67629 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 00:15:06
IDJOB=3280366
IDBENCH=20386
IDSOLVER=1588
FILE ID=node114/3280366-1304028905
RUNJOBID= node114-1304028688-25994
PBS_JOBID= 13170338
Free space on /tmp= 71768 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280366-1304028905/watcher-3280366-1304028905 -o /tmp/evaluation-result-3280366-1304028905/solver-3280366-1304028905 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3280366-1304028905.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1292810014

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:      17437672 kB
Buffers:       2230032 kB
Cached:        8991836 kB
SwapCached:          4 kB
Active:        5459904 kB
Inactive:      9471352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17437672 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           18572 kB
Writeback:           0 kB
AnonPages:     3708632 kB
Mapped:          15508 kB
Slab:           509108 kB
PageTables:      12408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  4490056 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= 71780 MiB
End job on node114 at 2011-04-29 00:35:10