Trace number 3293520

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-2-mt? (TO) 4124.58 1300.26

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
MD5SUM1e60a63f1ba68b9b3c423ca413b4fa2b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark802.03
Satisfiable
(Un)Satisfiability was proved
Number of variables651875
Number of clauses9927770
Sum of the clauses size28821360
Maximum clause length195
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28783867
Number of clauses of size 3839934
Number of clauses of size 410777
Number of clauses of size 570916
Number of clauses of size over 5222275

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293520-1304130800.cnf'
0.00/0.00	c -- header says num vars:         651875
0.00/0.00	c -- header says num clauses:     9927770
11.07/4.27	c -- clauses added:            0 learnts,      9927770 normals,            0 xors
11.07/4.27	c -- vars added     651875
11.07/4.27	c Parsing time:  2.90 s
11.07/4.27	c  N st     0         0    651875   1143902   8783867         0  28821359         0   no data   no data
17.90/4.93	c asymm  cl-useful: 48/48/1143841 lits-rem:1658 time: 0.65
73.42/18.86	c Flit:   269 Blit:  69871 bXBeca:    0 bXProp:  197 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 13.90
75.41/19.34	c Cleaning up after failed var search:     0.47 s 
77.82/19.90	c Replacing      198 vars Replaced   262002 lits Time:     0.54 s 
80.95/20.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
83.75/21.43	c bin-w-bin subsume rem           59 bins  time:  0.68 s
105.34/26.81	c subs with bin:   156389  lits-rem:    261160  v-fix:    0  time:  5.37 s
134.07/34.06	c Subs w/ non-existent bins:   2277 l-rem:   2373 v-fix:     0 done:  26111 time:  7.25 s
137.27/34.80	c Removed useless bin:     209  fixed:     0  props:  20.03M  time:  0.66 s
184.31/46.70	c lits-rem:     11428  cl-subs:    48002  v-elim: 171567  v-fix:    0  time: 11.62 s
185.48/46.91	c Finding binary XORs  T:     0.21 s  found:    5196
186.68/47.22	c Replacing     5196 vars Replaced   236523 lits Time:     0.31 s 
189.87/48.00	c Finding non-binary XORs:     0.61 s (found:       0, avg size: nan)
189.87/48.00	c calculated reachability. Time: 0.01
190.27/48.15	c Calc default polars -  time:   0.15 s pos:   31578 undec:  247806 neg:  372491
190.27/48.15	c =========================================================================================
190.27/48.15	c types(t): F = full restart, N = normal restart
190.27/48.15	c types(t): S = simplification begin/end, E = solution found
190.27/48.15	c restart types(rt): st = static, dy = dynamic
190.27/48.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
190.27/48.15	c  B st     0         0    404588    529474   5996634         0  20086110         0   no data   no data
319.70/80.53	c  N dy    20      4065    404588    529474   5996774      3916  20086110    230260     26.34     33.45
413.97/104.18	c  N dy    34      8494    404588    529474   6000773      8156  20086110    461270     23.87     26.34
490.28/123.27	c  N dy    57     13174    404588    529474   6000887     12658  20086110    726826     23.83     25.94
606.14/152.20	c  N dy    79     18498    404578    529474   6003645     17665  20086110   1063373     24.30     25.69
667.25/167.59	c  N dy    87     22966    404578    529474   6004930     12382  20086110    481782     23.12     24.37
729.55/183.15	c  F st   100     25001    404578    529474   6004991     14351  20086110    581043     23.14   no data
769.50/193.17	c  N st   104     27034    404578    529058   6005255     16281  20084131    710064     23.14   no data
820.23/205.85	c  S st   106     30001    404578    529058   6005312     19161  20084131    945847     23.14   no data
836.21/209.84	c  S st   106     30501    404576    529058   6005476     19492  20084131    947366     23.14   no data
837.41/210.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.30
966.05/242.38	c Flit:   168 Blit:      7 bXBeca:    0 bXProp:  497 Bins:1373902 BRemL:    253 BRemN:     25 P: 200.3M T: 32.23
966.46/242.40	c Cleaning up after failed var search:     0.00 s 
969.24/243.18	c Replacing      497 vars Replaced    53761 lits Time:     0.75 s 
982.42/246.48	c blocked clauses removed:    23435 vars:  22216 tried:      422155 T: 2.81 s
986.01/247.36	c bin-w-bin subsume rem         5287 bins  time:  0.88 s
1010.00/253.32	c subs with bin:     9953  lits-rem:    166749  v-fix:    0  time:  5.95 s
1016.37/254.96	c Subs w/ non-existent bins:      0 l-rem:     29 v-fix:     0 done:  79969 time:  1.64 s
1018.37/255.40	c Removed useless bin:    2543  fixed:     0  props:  20.01M  time:  0.44 s
1063.90/266.86	c lits-rem:     10576  cl-subs:     7741  v-elim: 104934  v-fix:    0  time: 11.34 s
1069.10/268.10	c subs with bin:       49  lits-rem:      5750  v-fix:    0  time:  1.12 s
1073.89/269.32	c lits-rem:       310  cl-subs:     1045  v-elim:      0  v-fix:    0  time:  0.99 s
1077.48/270.22	c asymm  cl-useful: 79/79/486546 lits-rem:4872 time: 0.90
1077.88/270.37	c calculated reachability. Time: 0.02
1077.88/270.39	c  N dy   106     30501    276697    486546   5165247     12692  15113440   2570557     23.14   no data
1078.68/270.58	c Finding binary XORs  T:     0.19 s  found:    2535
1293.20/361.10	c  N dy   125     34585    276691    486546   5168181     16619  15113440   2821864     23.40     48.11
1301.99/365.46	c  N dy   130     41055    276691    486546   5168224     22960  15113440   3123055     21.78     23.02
1560.47/571.92	c Finding binary XORs  T:     0.16 s  found:     216
1620.39/587.31	c  N dy   158     45143    276630    485328   5263020     15167  15099374   2697367     22.25     28.61
1629.58/589.61	c  S st   163     45754    276630    485328   5263037     15761  15099374   2728116     22.28   no data
1643.16/593.00	c  S st   163     46254    276626    485328   5263153     16141  15099374   2730076     22.28   no data
1643.98/593.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
1722.25/612.84	c Flit:   151 Blit:     13 bXBeca:    0 bXProp:    6 Bins: 129424 BRemL:   2914 BRemN:   1383 P: 200.3M T: 19.58
1722.25/612.85	c Cleaning up after failed var search:     0.00 s 
1724.24/613.34	c Replacing     2758 vars Replaced    61481 lits Time:     0.48 s 
1725.84/613.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
1728.64/614.41	c bin-w-bin subsume rem        30865 bins  time:  0.67 s
1751.81/620.29	c subs with bin:    15817  lits-rem:    334807  v-fix:    0  time:  5.88 s
1764.59/623.48	c Subs w/ non-existent bins:   7038 l-rem:   2861 v-fix:     0 done:  35857 time:  3.15 s
1766.59/623.97	c Removed useless bin:    8067  fixed:     0  props:  20.01M  time:  0.48 s
1796.55/631.40	c lits-rem:       885  cl-subs:      982  v-elim:  88979  v-fix:    0  time:  7.42 s
1800.54/632.41	c subs with bin:      103  lits-rem:     14568  v-fix:    0  time:  0.91 s
1804.93/633.55	c lits-rem:       442  cl-subs:      345  v-elim:      0  v-fix:    0  time:  0.96 s
1808.13/634.38	c asymm  cl-useful: 38/73/379459 lits-rem:3823 time: 0.83
1808.93/634.50	c calculated reachability. Time: 0.01
1808.93/634.51	c  N dy   163     46254    184684    379459   3886712     15038  11101663   2115686     22.28   no data
1809.33/634.65	c Finding binary XORs  T:     0.15 s  found:      35
1851.27/645.19	c  N dy   185     50265    184683    379459   3887550     18913  11101662   2362771     22.49     23.80
1890.44/654.96	c  N dy   206     54417    184682    379459   3890231     22897  11101661   2558693     22.35     23.67
1942.77/668.03	c  N dy   210     61706    184682    379459   3890243     29949  11101660   2854515     21.65     22.84
1974.70/676.06	c  N dy   236     65710    184682    379459   3890606     17747  11101660   2103318     21.92     34.98
2005.07/683.63	c  S st   250     69381    184682    379459   3890677     21306  11101659   2290345     21.86   no data
2012.66/685.58	c  S st   250     69881    184676    379459   3890784     21695  11101659   2297601     21.86   no data
2013.48/685.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2083.36/703.20	c Flit:  1053 Blit:     19 bXBeca:    0 bXProp:   31 Bins: 114066 BRemL:    409 BRemN:     33 P: 200.0M T: 17.45
2083.36/703.21	c Cleaning up after failed var search:     0.00 s 
2084.54/703.56	c Replacing       67 vars Replaced     2672 lits Time:     0.33 s 
2085.74/703.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2087.77/704.31	c bin-w-bin subsume rem         1695 bins  time:  0.48 s
2106.11/708.95	c subs with bin:    14960  lits-rem:     24232  v-fix:    0  time:  4.63 s
2114.53/711.07	c Subs w/ non-existent bins:   6729 l-rem:   3189 v-fix:     0 done:  29281 time:  2.12 s
2116.49/711.56	c Removed useless bin:   23924  fixed:     0  props:  20.00M  time:  0.47 s
2137.27/716.77	c lits-rem:        97  cl-subs:      145  v-elim:   2490  v-fix:    0  time:  5.21 s
2141.66/717.84	c subs with bin:      206  lits-rem:      4436  v-fix:    0  time:  0.97 s
2144.47/718.51	c lits-rem:      1532  cl-subs:      669  v-elim:      0  v-fix:    0  time:  0.51 s
2147.26/719.28	c asymm  cl-useful: 103/645/352291 lits-rem:4141 time: 0.77
2147.66/719.40	c calculated reachability. Time: 0.01
2148.06/719.40	c  N dy   250     69881    181011    352288   3923830     20233  10737828   2423662     21.86   no data
2148.46/719.55	c Finding binary XORs  T:     0.15 s  found:     321
2182.81/728.19	c  N dy   278     74673    180942    352288   3960524     24849  10737824   2784493     21.95     24.32
2217.56/736.88	c  N dy   296     79476    180811    352288   3960644     29461  10737823   3165551     21.76     22.96
2249.91/744.97	c  N dy   322     84655    180782    352288   3963037     34461  10737821   3452146     21.85     23.26
2270.28/750.05	c  F st   343     87500    180782    352288   3963191     37208  10737821   3649441     22.22   no data
2271.88/750.45	c Replacing      321 vars Replaced    15892 lits Time:     0.27 s 
2291.05/755.20	c  N st   348     90799    180461    350234   3953548     21576  10713164   2525144     22.22   no data
2291.45/755.34	c Finding binary XORs  T:     0.15 s  found:      19
2329.82/764.91	c  N dy   371     96590    180339    350234   4030254     27194  10713164   3129012     22.25     23.68
2374.94/776.28	c Finding binary XORs  T:     0.15 s  found:       5
2376.94/776.71	c  N dy   420    102817    180339    349667   4027874     33123  10704959   3609793     22.72     26.62
2388.12/779.58	c  S st   433    104822    180339    349667   4027884     35099  10704959   3744330     22.84     20.36
2400.13/782.57	c  S st   433    105322    180337    349667   4028027     35448  10704959   3749802     22.84   no data
2400.91/782.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
2473.60/800.95	c Flit:   116 Blit:     26 bXBeca:    0 bXProp:    4 Bins: 344475 BRemL:    680 BRemN:     28 P: 200.0M T: 18.18
2473.60/800.96	c Cleaning up after failed var search:     0.00 s 
2475.20/801.37	c Replacing       29 vars Replaced    13949 lits Time:     0.40 s 
2476.40/801.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2478.40/802.20	c bin-w-bin subsume rem         5375 bins  time:  0.54 s
2497.16/806.82	c subs with bin:     6400  lits-rem:     17592  v-fix:    0  time:  4.62 s
2507.15/809.31	c Subs w/ non-existent bins:  17897 l-rem:   5559 v-fix:     0 done:  13242 time:  2.49 s
2508.75/809.70	c Removed useless bin:    5248  fixed:     0  props:  20.00M  time:  0.38 s
2517.14/811.84	c lits-rem:        93  cl-subs:      463  v-elim:   7426  v-fix:    0  time:  2.14 s
2523.93/813.52	c subs with bin:      226  lits-rem:      2196  v-fix:    0  time:  1.53 s
2527.92/814.57	c lits-rem:      2316  cl-subs:      777  v-elim:      0  v-fix:    0  time:  0.89 s
2531.12/815.37	c asymm  cl-useful: 70/570/317386 lits-rem:2994 time: 0.81
2531.54/815.49	c calculated reachability. Time: 0.01
2531.54/815.50	c  N dy   433    105322    172734    317380   4222613     31888  10130838   4147630     22.84   no data
2557.10/822.46	c Finding binary XORs  T:     0.14 s  found:      11
2587.84/830.19	c  N dy   470    113308    172718    317264   4223103     19980  10129912   2944641     22.84     24.67
2645.79/858.32	c Finding binary XORs  T:     0.13 s  found:      25
2696.77/887.27	c  N dy   514    122076    172514    316455   4635345     28402  10113391   4298193     22.82     24.28
2743.51/898.95	c  N dy   561    129924    172513    316455   4635529     36063  10113389   4908391     23.04     35.73
2798.24/912.63	c  N dy   617    138312    172513    316455   4636010     22316  10113389   3829306     23.29     24.80
2859.69/928.05	c  N dy   685    147351    172503    316455   4636353     31159  10113388   4490009     23.61     24.99
2914.81/941.81	c  N dy   738    156968    172503    316455   4636775     40567  10113388   5237113     23.73     25.02
2920.40/943.25	c  S st   745    157986    172503    316455   4636776     41579  10113388   5315377     23.75     17.07
2930.79/945.87	c  S st   745    158486    172502    316455   4636918     41934  10113388   5322838     23.75   no data
2931.59/946.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
3003.10/963.96	c Flit:   130 Blit:    422 bXBeca:    0 bXProp:   24 Bins: 338406 BRemL:   3188 BRemN:    208 P: 200.0M T: 17.89
3003.10/963.97	c Cleaning up after failed var search:     0.00 s 
3005.08/964.47	c Replacing       61 vars Replaced    67742 lits Time:     0.49 s 
3006.28/964.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3008.68/965.36	c bin-w-bin subsume rem         7197 bins  time:  0.62 s
3026.66/969.82	c subs with bin:     2891  lits-rem:      6695  v-fix:    0  time:  4.46 s
3037.85/972.60	c Subs w/ non-existent bins:   3671 l-rem:   2715 v-fix:     0 done:  27958 time:  2.77 s
3039.84/973.13	c Removed useless bin:   13677  fixed:     0  props:  20.01M  time:  0.53 s
3049.03/975.47	c lits-rem:       447  cl-subs:     1876  v-elim:   6434  v-fix:    0  time:  2.34 s
3056.24/977.20	c subs with bin:      495  lits-rem:     28597  v-fix:    0  time:  1.58 s
3060.63/978.38	c lits-rem:      6715  cl-subs:     1174  v-elim:      0  v-fix:    0  time:  1.02 s
3063.80/979.11	c asymm  cl-useful: 170/567/301273 lits-rem:7434 time: 0.73
3064.20/979.24	c calculated reachability. Time: 0.01
3064.20/979.24	c  N dy   745    158486    165444    301269   4695223     36455   9696912   5247375     23.75   no data
3064.62/979.40	c Finding binary XORs  T:     0.15 s  found:      19
3131.45/996.80	c  N dy   777    168647    164432    301269   4696176     24710   9696911   4236404     23.51     29.36
3191.94/1012.83	c  N dy   845    179421    164432    301269   4699403     35257   9696909   4956270     23.84     35.59
3254.23/1028.85	c  N dy   930    190933    164430    301269   4699703     46467   9696907   5756548     24.42     55.75
3393.66/1101.93	c Finding binary XORs  T:     0.13 s  found:      61
3457.02/1132.94	c  N dy  1034    203191    163543    292620   4967810     34123   9533588   5417002     24.92     39.36
3459.82/1133.68	c Finding binary XORs  T:     0.15 s  found:      10
3528.52/1150.86	c  N dy  1136    216378    163018    292402   4950203     46940   9522039   6337807     25.51     27.16
3603.63/1169.67	c  N dy  1244    230233    163018    292402   4950544     34961   9522035   5336020     26.15     34.39
3647.16/1180.55	c  S st  1302    237729    163015    292402   4950770     42284   9522035   5842710     26.41   no data
3655.14/1182.57	c  S st  1302    238229    163015    292402   4950868     42685   9522035   5852768     26.41   no data
3655.95/1182.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
3723.85/1199.75	c Flit:    81 Blit:    252 bXBeca:    0 bXProp:   54 Bins: 247191 BRemL:   2476 BRemN:    195 P: 200.0M T: 17.00
3723.85/1199.76	c Cleaning up after failed var search:     0.00 s 
3725.84/1200.26	c Replacing      144 vars Replaced   205318 lits Time:     0.49 s 
3727.06/1200.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3730.64/1201.46	c bin-w-bin subsume rem        27171 bins  time:  0.95 s
3746.22/1205.30	c subs with bin:     4011  lits-rem:      9506  v-fix:    0  time:  3.84 s
3753.80/1207.21	c Subs w/ non-existent bins:      0 l-rem:      8 v-fix:     0 done:  24071 time:  1.88 s
3755.40/1207.64	c Removed useless bin:    5484  fixed:     0  props:  20.00M  time:  0.43 s
3765.39/1210.13	c lits-rem:      1278  cl-subs:     6195  v-elim:   3827  v-fix:    0  time:  2.49 s
3772.57/1211.92	c subs with bin:      870  lits-rem:     23052  v-fix:    0  time:  1.65 s
3777.77/1213.25	c lits-rem:     19710  cl-subs:     1736  v-elim:      0  v-fix:    0  time:  1.19 s
3780.97/1214.00	c asymm  cl-useful: 116/690/280577 lits-rem:3737 time: 0.75
3781.36/1214.11	c calculated reachability. Time: 0.01
3781.36/1214.12	c  N dy  1302    238229    158705    280554   3794516     36476   9320726   3292302     26.41   no data
3781.76/1214.25	c Finding binary XORs  T:     0.14 s  found:       4
3874.43/1237.49	c  N dy  1413    253531    158560    280554   3807773     26436   9320726   2464948     26.84     33.39
3969.46/1261.22	c  N dy  1522    269781    158560    280554   3808672     42259   9320726   3560147     27.15     43.39
4070.93/1286.62	c  N dy  1635    287020    158558    280554   3809506     31975   9320722   2738418     27.39     54.74

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-3293520-1304130800/watcher-3293520-1304130800 -o /tmp/evaluation-result-3293520-1304130800/solver-3293520-1304130800 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3293520-1304130800.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: 8.24 8.11 7.93 5/180 24126
/proc/meminfo: memFree=21474748/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 505495664 52441088 347 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395040178 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 12803 347 299 106 0 7774 0
[pid=24126/tid=24127] ppid=24124 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 505495664 52441088 347 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 505495664 52441088 347 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395040178 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 505495664 52441088 347 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395040178 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.060211 s]
/proc/loadavg: 8.24 8.11 7.93 5/180 24126
/proc/meminfo: memFree=21474748/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=360128 CPUtime=0.2 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 9137 0 0 0 12 8 0 0 18 0 4 0 505495664 368771072 8124 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726102119 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 90067 8150 339 106 0 85038 0
[pid=24126/tid=24127] ppid=24124 vsize=360268 CPUtime=0.03 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 2160 0 0 0 2 1 0 0 18 0 4 0 505495664 368914432 8151 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=360268 CPUtime=0.04 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 2220 0 0 0 3 1 0 0 18 0 4 0 505495664 368914432 8151 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=360552 CPUtime=0.04 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 2219 0 0 0 2 2 0 0 18 0 4 0 505495664 369205248 8160 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 360128

[startup+0.102392 s]
/proc/loadavg: 8.24 8.11 7.93 5/180 24126
/proc/meminfo: memFree=21474748/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=371312 CPUtime=0.37 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 15113 0 0 0 24 13 0 0 18 0 4 0 505495664 380223488 13027 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726102078 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 92968 13027 339 106 0 87939 0
[pid=24126/tid=24127] ppid=24124 vsize=372192 CPUtime=0.07 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 3627 0 0 0 5 2 0 0 18 0 4 0 505495664 381124608 13027 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=372192 CPUtime=0.08 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 3636 0 0 0 6 2 0 0 18 0 4 0 505495664 381124608 13040 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=372192 CPUtime=0.07 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 3737 0 0 0 4 3 0 0 18 0 4 0 505495664 381124608 13053 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510062 0 0 4096 2 18446604471099040896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 371312

[startup+0.301162 s]
/proc/loadavg: 8.24 8.11 7.93 5/180 24126
/proc/meminfo: memFree=21474748/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=406428 CPUtime=1.08 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 39892 0 0 0 73 35 0 0 18 0 4 0 505495664 416182272 35562 33554432000 4194304 4627427 140735337190880 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 101607 35563 339 106 0 96578 0
[pid=24126/tid=24127] ppid=24124 vsize=406428 CPUtime=0.26 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 9824 0 0 0 17 9 0 0 18 0 4 0 505495664 416182272 35565 33554432000 4194304 4627427 140735337190880 18446744073709551615 4531682 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=406428 CPUtime=0.27 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 9834 0 0 0 19 8 0 0 18 0 4 0 505495664 416182272 35565 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=406428 CPUtime=0.26 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 9891 0 0 0 17 9 0 0 18 0 4 0 505495664 416182272 35566 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 406428

[startup+0.701094 s]
/proc/loadavg: 8.24 8.11 7.93 5/180 24126
/proc/meminfo: memFree=21474748/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=670560 CPUtime=2.54 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 92509 0 0 0 177 77 0 0 18 0 4 0 505495664 686653440 83721 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 167640 83758 339 106 0 162611 0
[pid=24126/tid=24127] ppid=24124 vsize=670560 CPUtime=0.62 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 23670 0 0 0 42 20 0 0 18 0 4 0 505495664 686653440 83775 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=670560 CPUtime=0.64 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 23925 0 0 0 44 20 0 0 18 0 4 0 505495664 686653440 83790 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=670560 CPUtime=0.62 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 22299 0 0 0 45 17 0 0 18 0 4 0 505495664 686653440 83805 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 670560

[startup+1.50094 s]
/proc/loadavg: 8.24 8.11 7.93 9/184 24130
/proc/meminfo: memFree=21015668/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=1095720 CPUtime=5.37 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 206077 0 0 0 385 152 0 0 17 0 4 0 505495664 1122017280 171805 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 273930 171806 339 106 0 268901 0
[pid=24126/tid=24127] ppid=24124 vsize=1095720 CPUtime=1.32 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 50843 0 0 0 95 37 0 0 17 0 4 0 505495664 1122017280 171808 33554432000 4194304 4627427 140735337190880 18446744073709551615 4507060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=1095720 CPUtime=1.36 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 51609 0 0 0 95 41 0 0 17 0 4 0 505495664 1122017280 171811 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726073728 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=1095720 CPUtime=1.31 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 52120 0 0 0 96 35 0 0 17 0 4 0 505495664 1122017280 171811 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 1095720

[startup+3.10064 s]
/proc/loadavg: 8.24 8.11 7.93 9/184 24130
/proc/meminfo: memFree=20531696/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=2424912 CPUtime=11.07 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 406221 0 0 0 827 280 0 0 17 0 4 0 505495664 2483109888 362161 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358525 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24126/statm: 606228 362180 339 106 0 601199 0
[pid=24126/tid=24127] ppid=24124 vsize=2424912 CPUtime=2.74 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 95776 0 0 0 206 68 0 0 17 0 4 0 505495664 2483109888 362188 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358062 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=2424912 CPUtime=2.78 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 105260 0 0 0 207 71 0 0 17 0 4 0 505495664 2483109888 362196 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726102465 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=2424912 CPUtime=2.74 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 104519 0 0 0 205 69 0 0 17 0 4 0 505495664 2483109888 362205 33554432000 4194304 4627427 140735337190880 18446744073709551615 4358528 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 2424912

[startup+6.30103 s]
/proc/loadavg: 8.30 8.12 7.93 9/184 24130
/proc/meminfo: memFree=19600348/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=2792136 CPUtime=23.49 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 537574 0 0 0 1974 375 0 0 21 0 4 0 505495664 2859147264 468181 33554432000 4194304 4627427 140735337190880 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 698034 468182 367 106 0 693005 0
[pid=24126/tid=24127] ppid=24124 vsize=2792136 CPUtime=5.84 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 134379 0 0 0 493 91 0 0 18 0 4 0 505495664 2859147264 468182 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=2792136 CPUtime=5.9 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 134654 0 0 0 495 95 0 0 19 0 4 0 505495664 2859147264 468182 33554432000 4194304 4627427 140735337190880 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=2792136 CPUtime=5.85 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 135137 0 0 0 491 94 0 0 21 0 4 0 505495664 2859147264 468182 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 2792136

[startup+12.7008 s]
/proc/loadavg: 8.25 8.12 7.93 9/184 24130
/proc/meminfo: memFree=19570024/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=2792676 CPUtime=49.05 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 542284 0 0 0 4528 377 0 0 25 0 4 0 505495664 2859700224 471650 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 698169 471650 367 106 0 693140 0
[pid=24126/tid=24127] ppid=24124 vsize=2792676 CPUtime=12.24 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 134996 0 0 0 1132 92 0 0 25 0 4 0 505495664 2859700224 471651 33554432000 4194304 4627427 140735337190880 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=2792676 CPUtime=12.29 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 135222 0 0 0 1134 95 0 0 25 0 4 0 505495664 2859700224 471651 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=2792676 CPUtime=12.2 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 138247 0 0 0 1126 94 0 0 25 0 4 0 505495664 2859700224 471651 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (KiB) 2792676

[startup+25.5004 s]
/proc/loadavg: 8.21 8.12 7.93 9/184 24130
/proc/meminfo: memFree=18877600/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=3459512 CPUtime=100.13 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 711279 0 0 0 9597 416 0 0 25 0 4 0 505495664 3542540288 640645 33554432000 4194304 4627427 140735337190880 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 864878 640645 377 106 0 859849 0
[pid=24126/tid=24127] ppid=24124 vsize=3459512 CPUtime=25.02 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 192360 0 0 0 2396 106 0 0 23 0 4 0 505495664 3542540288 640645 33554432000 4194304 4627427 140735337190880 18446744073709551615 4424714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=3459512 CPUtime=25.08 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 189339 0 0 0 2400 108 0 0 25 0 4 0 505495664 3542540288 640645 33554432000 4194304 4627427 140735337190880 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=3459512 CPUtime=24.94 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 138372 0 0 0 2400 94 0 0 25 0 4 0 505495664 3542540288 640645 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.13
Current children cumulated vsize (KiB) 3459512

[startup+51.1006 s]
/proc/loadavg: 8.21 8.12 7.94 9/184 24131
/proc/meminfo: memFree=18346916/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=4042360 CPUtime=202.25 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 859013 0 0 0 19735 490 0 0 25 0 4 0 505495664 4139376640 774687 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 1010590 774687 387 106 0 1005561 0
[pid=24126/tid=24127] ppid=24124 vsize=4042360 CPUtime=50.58 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 240911 0 0 0 4927 131 0 0 25 0 4 0 505495664 4139376640 774687 33554432000 4194304 4627427 140735337190880 18446744073709551615 4305808 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=4042360 CPUtime=50.65 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 238403 0 0 0 4933 132 0 0 25 0 4 0 505495664 4139376640 774687 33554432000 4194304 4627427 140735337190880 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=4042360 CPUtime=50.39 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 140587 0 0 0 4944 95 0 0 25 0 4 0 505495664 4139376640 774687 33554432000 4194304 4627427 140735337190880 18446744073709551615 4305696 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.25
Current children cumulated vsize (KiB) 4042360

[startup+102.301 s]
/proc/loadavg: 8.09 8.10 7.94 9/184 24132
/proc/meminfo: memFree=18278064/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=4072920 CPUtime=406.78 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 878414 0 0 0 40182 496 0 0 25 0 4 0 505495664 4170670080 788461 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 1018230 788461 387 106 0 1013201 0
[pid=24126/tid=24127] ppid=24124 vsize=4072920 CPUtime=101.78 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 244908 0 0 0 10045 133 0 0 25 0 4 0 505495664 4170670080 788461 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=4072920 CPUtime=101.85 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 243792 0 0 0 10051 134 0 0 25 0 4 0 505495664 4170670080 788461 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=4072920 CPUtime=101.31 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 148615 0 0 0 10035 96 0 0 25 0 4 0 505495664 4170670080 788461 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.78
Current children cumulated vsize (KiB) 4072920

[startup+162.301 s]

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

[pid=24126/tid=24129] ppid=24124 vsize=5133016 CPUtime=580.56 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 358405 0 0 0 57911 145 0 0 25 0 4 0 505495664 5256208384 1098464 33554432000 4194304 4627427 140735337190880 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2319.42
Current children cumulated vsize (KiB) 5133016

[startup+822.301 s]
/proc/loadavg: 7.71 7.28 7.45 9/184 24183
/proc/meminfo: memFree=17115248/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5092816 CPUtime=2556.7 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 1616064 0 0 0 254990 680 0 0 25 0 4 0 505495664 5215043584 1105425 33554432000 4194304 4627427 140735337190880 18446744073709551615 4223691 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24126/statm: 1273204 1105425 391 106 0 1268175 0
[pid=24126/tid=24127] ppid=24124 vsize=5092816 CPUtime=647.12 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 410313 0 0 0 64535 177 0 0 25 0 4 0 505495664 5215043584 1105425 33554432000 4194304 4627427 140735337190880 18446744073709551615 4409429 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5092816 CPUtime=651.82 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 443812 0 0 0 65001 181 0 0 20 0 4 0 505495664 5215043584 1105425 33554432000 4194304 4627427 140735337190880 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5092816 CPUtime=640.57 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 370873 0 0 0 63908 149 0 0 25 0 4 0 505495664 5215043584 1105425 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2556.7
Current children cumulated vsize (KiB) 5092816

[startup+882.301 s]
/proc/loadavg: 6.71 7.09 7.37 6/184 24184
/proc/meminfo: memFree=16815560/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5153152 CPUtime=2684.32 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) S 24124 24126 21275 0 -1 4202496 1631228 0 0 0 267748 684 0 0 25 0 4 0 505495664 5276827648 1109443 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1288288 1109443 391 106 0 1283259 0
[pid=24126/tid=24127] ppid=24124 vsize=5153152 CPUtime=678.15 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 415302 0 0 0 67637 178 0 0 25 0 4 0 505495664 5276827648 1109443 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5153152 CPUtime=683.08 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 445785 0 0 0 68126 182 0 0 25 0 4 0 505495664 5276827648 1109443 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 1 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5153152 CPUtime=679.09 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 372565 0 0 0 67760 149 0 0 25 0 4 0 505495664 5276827648 1109443 33554432000 4194304 4627427 140735337190880 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2684.32
Current children cumulated vsize (KiB) 5153152

[startup+942.3 s]
/proc/loadavg: 7.43 7.21 7.39 9/184 24186
/proc/meminfo: memFree=16517196/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5278476 CPUtime=2916.8 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 2279914 0 0 0 290906 774 0 0 25 0 4 0 505495664 5405159424 1151027 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1319619 1151027 391 106 0 1314590 0
[pid=24126/tid=24127] ppid=24124 vsize=5278476 CPUtime=735.85 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 424330 0 0 0 73403 182 0 0 25 0 4 0 505495664 5405159424 1151027 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5278476 CPUtime=740.59 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 455052 0 0 0 73873 186 0 0 25 0 4 0 505495664 5405159424 1151027 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5278476 CPUtime=738.77 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1000087 0 0 0 73647 230 0 0 25 0 4 0 505495664 5405159424 1151027 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2916.8
Current children cumulated vsize (KiB) 5278476

[startup+1002.3 s]
/proc/loadavg: 7.87 7.37 7.43 8/184 24187
/proc/meminfo: memFree=16447644/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5357104 CPUtime=3150 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 2309028 0 0 0 314216 784 0 0 19 0 4 0 505495664 5485674496 1160370 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1339276 1160370 391 106 0 1334247 0
[pid=24126/tid=24127] ppid=24124 vsize=5357104 CPUtime=795.85 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 433695 0 0 0 79400 185 0 0 25 0 4 0 505495664 5485674496 1160370 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5357104 CPUtime=800.59 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 458358 0 0 0 79871 188 0 0 25 0 4 0 505495664 5485674496 1160370 33554432000 4194304 4627427 140735337190880 18446744073709551615 4425016 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5357104 CPUtime=795.36 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1001606 0 0 0 79305 231 0 0 25 0 4 0 505495664 5485674496 1160370 33554432000 4194304 4627427 140735337190880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3150
Current children cumulated vsize (KiB) 5357104

[startup+1062.3 s]
/proc/loadavg: 7.41 7.35 7.43 6/184 24189
/proc/meminfo: memFree=16406692/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5546560 CPUtime=3331.36 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) S 24124 24126 21275 0 -1 4202496 2344963 0 0 0 332344 792 0 0 25 0 4 0 505495664 5679677440 1174345 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1386640 1174345 391 106 0 1381611 0
[pid=24126/tid=24127] ppid=24124 vsize=5546560 CPUtime=854.31 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 457222 0 0 0 85242 189 0 0 25 0 4 0 505495664 5679677440 1174345 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5546560 CPUtime=860 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 466085 0 0 0 85810 190 0 0 25 0 4 0 505495664 5679677440 1174345 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5546560 CPUtime=827.75 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1004633 0 0 0 82544 231 0 0 25 0 4 0 505495664 5679677440 1174345 33554432000 4194304 4627427 140735337190880 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3331.36
Current children cumulated vsize (KiB) 5546560

[startup+1122.3 s]
/proc/loadavg: 6.37 7.04 7.31 6/184 24191
/proc/meminfo: memFree=16312792/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5546560 CPUtime=3427.27 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) S 24124 24126 21275 0 -1 4202496 2352914 0 0 0 341933 794 0 0 25 0 4 0 505495664 5679677440 1182234 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1386640 1182234 391 106 0 1381611 0
[pid=24126/tid=24127] ppid=24124 vsize=5546560 CPUtime=875.5 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 459080 0 0 0 87360 190 0 0 25 0 4 0 505495664 5679677440 1182234 33554432000 4194304 4627427 140735337190880 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5546560 CPUtime=860 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 466085 0 0 0 85810 190 0 0 25 0 4 0 505495664 5679677440 1182234 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 5 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5546560 CPUtime=874.62 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) S 24124 24126 21275 0 -1 4202560 1008798 0 0 0 87230 232 0 0 25 0 4 0 505495664 5679677440 1182234 33554432000 4194304 4627427 140735337190880 18446744073709551615 47317395038750 0 0 4096 2 18446604471099040896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3427.27
Current children cumulated vsize (KiB) 5546560

[startup+1182.3 s]
/proc/loadavg: 7.31 7.19 7.34 9/184 24192
/proc/meminfo: memFree=15953952/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=5848376 CPUtime=3654.34 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 2466328 0 0 0 364616 818 0 0 25 0 4 0 505495664 5988737024 1263022 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1462094 1263022 391 106 0 1457065 0
[pid=24126/tid=24127] ppid=24124 vsize=5848376 CPUtime=935.5 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 467643 0 0 0 93357 193 0 0 25 0 4 0 505495664 5988737024 1263022 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308783 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=5848376 CPUtime=917.37 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 467866 0 0 0 91546 191 0 0 25 0 4 0 505495664 5988737024 1263022 33554432000 4194304 4627427 140735337190880 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=5848376 CPUtime=928.6 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1101804 0 0 0 92610 250 0 0 25 0 4 0 505495664 5988737024 1263022 33554432000 4194304 4627427 140735337190880 18446744073709551615 4420796 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3654.34
Current children cumulated vsize (KiB) 5848376

[startup+1242.31 s]
/proc/loadavg: 7.77 7.34 7.38 9/184 24194
/proc/meminfo: memFree=15832552/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=6014936 CPUtime=3894.03 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 2522743 0 0 0 388567 836 0 0 25 0 4 0 505495664 6159294464 1288315 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1503734 1288315 391 106 0 1498705 0
[pid=24126/tid=24127] ppid=24124 vsize=6014936 CPUtime=995.51 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 476534 0 0 0 99355 196 0 0 25 0 4 0 505495664 6159294464 1288315 33554432000 4194304 4627427 140735337190880 18446744073709551615 4324742 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=6014936 CPUtime=977.05 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 469454 0 0 0 97513 192 0 0 25 0 4 0 505495664 6159294464 1288315 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=6014936 CPUtime=988.6 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1126105 0 0 0 98600 260 0 0 25 0 4 0 505495664 6159294464 1288315 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3894.03
Current children cumulated vsize (KiB) 6014936



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 7.90 7.45 7.42 10/184 24195
/proc/meminfo: memFree=15156276/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=6522456 CPUtime=4124.3 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) R 24124 24126 21275 0 -1 4202496 2978943 0 0 0 411529 901 0 0 25 0 4 0 505495664 6678994944 1419202 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 1630614 1419202 391 106 0 1625585 0
[pid=24126/tid=24127] ppid=24124 vsize=6522456 CPUtime=1053.06 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 605016 0 0 0 105093 213 0 0 25 0 4 0 505495664 6678994944 1419202 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24126/tid=24128] ppid=24124 vsize=6522456 CPUtime=1034.49 cores=1,3,5,7
/proc/24126/task/24128/stat : 24128 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 782858 0 0 0 103213 236 0 0 25 0 4 0 505495664 6678994944 1419202 33554432000 4194304 4627427 140735337190880 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24126/tid=24129] ppid=24124 vsize=6522456 CPUtime=1046.23 cores=1,3,5,7
/proc/24126/task/24129/stat : 24129 (strangenight2-m) R 24124 24126 21275 0 -1 4202560 1137632 0 0 0 104361 262 0 0 25 0 4 0 505495664 6678994944 1419202 33554432000 4194304 4627427 140735337190880 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4124.3
Current children cumulated vsize (KiB) 6522456

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

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

[startup+1300.11 s]
/proc/loadavg: 7.90 7.45 7.42 10/184 24195
/proc/meminfo: memFree=15156276/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=0 CPUtime=4124.42 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) Z 24124 24126 21275 0 -1 4203548 2978944 0 0 0 411531 911 0 0 25 0 2 0 505495664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 0 0 0 0 0 0 0
[pid=24126/tid=24127] ppid=24124 vsize=0 CPUtime=1053.16 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4203588 605017 0 0 0 105093 223 0 0 25 0 2 0 505495664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4124.42
Current children cumulated vsize (KiB) 0

[startup+1300.2 s]
/proc/loadavg: 7.90 7.45 7.42 10/184 24195
/proc/meminfo: memFree=15156276/32951124 swapFree=67111524/67111528
[pid=24126] ppid=24124 vsize=0 CPUtime=4124.51 cores=1,3,5,7
/proc/24126/stat : 24126 (strangenight2-m) Z 24124 24126 21275 0 -1 4203548 2978944 0 0 0 411531 920 0 0 25 0 2 0 505495664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24126/statm: 0 0 0 0 0 0 0
[pid=24126/tid=24127] ppid=24124 vsize=0 CPUtime=1053.25 cores=1,3,5,7
/proc/24126/task/24127/stat : 24127 (strangenight2-m) R 24124 24126 21275 0 -1 4203588 605017 0 0 0 105093 232 0 0 25 0 2 0 505495664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4124.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.26
CPU time (s): 4124.58
CPU user time (s): 4115.32
CPU system time (s): 9.26159
CPU usage (%): 317.212
Max. virtual memory (cumulated for all children) (KiB): 6719556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4115.32
system time used= 9.26159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2978944
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= 257860
involuntary context switches= 26203

runsolver used 1.69574 second user time and 5.20121 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 04:33:21
IDJOB=3293520
IDBENCH=88158
IDSOLVER=1586
FILE ID=node141/3293520-1304130800
RUNJOBID= node141-1304128529-21294
PBS_JOBID= 13170777
Free space on /tmp= 72372 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293520-1304130800/watcher-3293520-1304130800 -o /tmp/evaluation-result-3293520-1304130800/solver-3293520-1304130800 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3293520-1304130800.cnf

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

MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=27391734

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.806
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.806
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:     32951124 kB
MemFree:      21474904 kB
Buffers:       1402892 kB
Cached:        9145164 kB
SwapCached:          4 kB
Active:        3082112 kB
Inactive:      7813936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21474904 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          230592 kB
Writeback:           0 kB
AnonPages:      347828 kB
Mapped:          15504 kB
Slab:           516564 kB
PageTables:       5356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   593516 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= 72364 MiB
End job on node141 at 2011-04-30 04:55:03