Trace number 3400803

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 (fixed)? (TO) 160004 5029.06

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
MD5SUMc40bd543dad558d19995fef4fd742233
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 variables67777
Number of clauses227761
Sum of the clauses size582177
Maximum clause length2084
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2115213
Number of clauses of size 3111398
Number of clauses of size 4324
Number of clauses of size 523
Number of clauses of size over 5802

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.06	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400803-1306801549.cnf'
0.00/0.09	c -- header says num vars:          67777
0.00/0.09	c -- header says num clauses:      227761
34.62/1.87	c -- clauses added:            0 learnts,       227761 normals,            0 xors
34.62/1.87	c -- vars added      67777
34.62/1.87	c Parsing time:  0.33 s
34.62/1.87	c  N st     0         0     67777    111162    102291         0    549195         0   no data   no data
66.02/2.89	c asymm  cl-useful: 8/18120/111162 lits-rem:89 time: 1.01
404.19/13.43	c Flit:    95 Blit:   5804 bXBeca:    0 bXProp: 10991 Bins:      0 BRemL:      0 BRemN:      0 P: 113.4M T: 10.53
404.19/13.45	c Cleaning up after failed var search:     0.02 s 
409.75/13.60	c Replacing    10991 vars Replaced   313815 lits Time:     0.08 s 
416.35/13.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
416.35/13.93	c bin-w-bin subsume rem         1085 bins  time:  0.02 s
416.35/13.98	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.04 s
421.01/14.11	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  48051 time:  0.11 s
423.74/14.20	c Removed useless bin:      50  fixed:     0  props:   7.97M  time:  0.10 s
447.48/15.14	c lits-rem:         0  cl-subs:      330  v-elim:  16017  v-fix:    0  time:  0.52 s
447.48/15.16	c Finding binary XORs  T:     0.02 s  found:       0
452.98/15.38	c Finding non-binary XORs:     0.11 s (found:   15851, avg size: 3.0)
452.98/15.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   2591 locsubst: 10152 time:   0.07
452.98/15.40	c Replacing     5076 vars Replaced    30456 lits Time:     0.02 s 
452.98/15.41	c calculated reachability. Time: 0.00
452.98/15.42	c Calc default polars -  time:   0.01 s pos:    2606 undec:   43485 neg:   21686
452.98/15.42	c =========================================================================================
452.98/15.42	c types(t): F = full restart, N = normal restart
452.98/15.42	c types(t): S = simplification begin/end, E = solution found
452.98/15.42	c restart types(rt): st = static, dy = dynamic
452.98/15.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
452.98/15.42	c  B st     0         0     24367     40283     30611         0    265275         0   no data   no data
477.79/16.15	c Decided on static restart strategy
506.55/17.00	c  N st     8      4914     24366     40283     30629      4752    265275    313392   no data   no data
573.65/19.15	c  N st    10     11296     24355     40283     31132     11018    265275    772720   no data   no data
612.00/20.39	c  N st    11     17039     24355     40283     31137     16633    265275   1057857   no data   no data
758.92/24.92	c  F st    12     25000     24355     40283     31283     14793    265275   1841207   no data   no data
758.92/24.98	c  N st    12     25000     24355     40281     31126     14793    264937   1841165   no data   no data
762.11/25.02	c Finding binary XORs  T:     0.02 s  found:       2
822.84/26.98	c Decided on static restart strategy
822.84/26.98	c  N st    18     30000     24351     40280     31423     19701    264830   2188603   no data   no data
822.84/26.98	c  S st    18     30000     24351     40280     31423     19701    264830   2188603   no data   no data
835.63/27.33	c  S st    18     30501     24349     40280     31472     20146    264830   2197377   no data   no data
835.63/27.38	c x-sub:  5076 x-cut:      0 vfix:      0 v-elim:   1296 locsubst:     0 time:   0.05
934.59/30.43	c Flit:    53 Blit:      0 bXBeca:    0 bXProp:   31 Bins: 322084 BRemL:  58316 BRemN:      5 P: 19.5M T:  3.00
934.59/30.49	c Replacing       33 vars Replaced     1371 lits Time:     0.05 s 
937.78/30.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
937.78/30.57	c bin-w-bin subsume rem          277 bins  time:  0.05 s
940.98/30.63	c subs with bin:      239  lits-rem:       368  v-fix:    0  time:  0.06 s
944.18/30.71	c Subs w/ non-existent bins:     30 l-rem:     35 v-fix:     0 done:  22967 time:  0.08 s
944.18/30.75	c Removed useless bin:       7  fixed:     0  props:   0.99M  time:  0.03 s
947.95/30.90	c lits-rem:       560  cl-subs:      100  v-elim:   2723  v-fix:    0  time:  0.15 s
953.72/31.01	c subs with bin:       85  lits-rem:       550  v-fix:    0  time:  0.07 s
953.72/31.09	c lits-rem:       211  cl-subs:      301  v-elim:      0  v-fix:    0  time:  0.06 s
969.71/31.55	c asymm  cl-useful: 11/11887/40400 lits-rem:11 time: 0.46
969.71/31.58	c calculated reachability. Time: 0.01
969.71/31.58	c  N st    18     30501     20244     40400    259781      5539    240603    618141   no data   no data
972.90/31.62	c Finding binary XORs  T:     0.04 s  found:       0
1037.91/33.89	c  N st    20     37613     20242     40400    260126     12321    240602   1062853   no data   no data
1065.83/35.43	c  N st    21     44012     20239     40400    260211     10739    240601    842769   no data   no data
1179.13/47.42	c Finding binary XORs  T:     0.04 s  found:       2
1181.38/47.75	c  S st    22     45752     20227     40367    388429     12416    240137   1160198   no data   no data
1182.98/47.93	c  S st    22     46256     20227     40367    388443     12904    240137   1169212   no data   no data
1182.98/47.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    648 locsubst:     0 time:   0.04
1195.27/49.32	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  72115 BRemL:  55727 BRemN:      0 P: 12.1M T:  1.34
1195.27/49.38	c Replacing        2 vars Replaced      403 lits Time:     0.05 s 
1196.14/49.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1196.14/49.50	c bin-w-bin subsume rem        67587 bins  time:  0.08 s
1197.20/49.55	c subs with bin:      111  lits-rem:       212  v-fix:    0  time:  0.05 s
1197.20/49.60	c Subs w/ non-existent bins:      8 l-rem:     18 v-fix:     0 done:  19576 time:  0.05 s
1198.11/49.63	c Removed useless bin:      75  fixed:     0  props:   0.80M  time:  0.02 s
1198.11/49.68	c lits-rem:         2  cl-subs:       38  v-elim:     11  v-fix:    0  time:  0.05 s
1199.74/49.84	c subs with bin:       39  lits-rem:       445  v-fix:    0  time:  0.13 s
1200.63/49.91	c lits-rem:       224  cl-subs:      234  v-elim:      0  v-fix:    0  time:  0.05 s
1200.63/49.93	c vivif2 --  cl tried    40198 cl shrink      160 lits rem        450 time: 0.02
1200.63/49.94	c vivif2 --  cl tried     8306 cl shrink      858 lits rem       8083 time: 0.01
1203.55/50.20	c asymm  cl-useful: 0/10054/40061 lits-rem:0 time: 0.26
1203.55/50.23	c calculated reachability. Time: 0.01
1203.55/50.23	c  N st    22     46256     19565     40061    331105      8298    237408    794477   no data   no data
1203.55/50.27	c Finding binary XORs  T:     0.04 s  found:       0
1233.48/53.11	c  N st    23     60653     19565     40061    331128     22417    237408   1933773   no data   no data
1327.55/58.71	c Finding binary XORs  T:     0.05 s  found:      17
1399.96/61.59	c  N st    24     69386     19539     40013    370071     18776    236850   1539528   no data   no data
1399.96/61.59	c  S st    24     69386     19539     40013    370071     18776    236850   1539528   no data   no data
1412.49/61.96	c  S st    24     69888     19534     40013    370567     19263    236850   1551002   no data   no data
1415.69/62.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    288 locsubst:     0 time:   0.05
1477.03/63.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      2 BRemL:  55992 BRemN:      0 P: 12.7M T:  1.92
1477.03/63.98	c Replacing       19 vars Replaced     1386 lits Time:     0.06 s 
1479.59/64.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1479.59/64.06	c bin-w-bin subsume rem        21503 bins  time:  0.04 s
1482.79/64.12	c subs with bin:      100  lits-rem:        81  v-fix:    0  time:  0.06 s
1482.79/64.19	c Subs w/ non-existent bins:     12 l-rem:     18 v-fix:     0 done:  19227 time:  0.07 s
1485.97/64.22	c Removed useless bin:       3  fixed:     0  props:   0.80M  time:  0.03 s
1485.97/64.30	c lits-rem:         0  cl-subs:       26  v-elim:     28  v-fix:    0  time:  0.07 s
1495.56/64.58	c subs with bin:        7  lits-rem:        34  v-fix:    0  time:  0.20 s
1508.95/64.92	c lits-rem:      1162  cl-subs:      510  v-elim:      0  v-fix:    0  time:  0.32 s
1508.95/64.94	c vivif2 --  cl tried    39846 cl shrink       26 lits rem        104 time: 0.02
1508.95/64.99	c vivif2 --  cl tried    15267 cl shrink     1390 lits rem      14962 time: 0.05
1530.72/65.67	c asymm  cl-useful: 417/23043/39845 lits-rem:1732 time: 0.68
1533.93/65.70	c calculated reachability. Time: 0.01
1533.93/65.71	c  N st    24     69888     19199     39804    288960     15267    233802   1126639   no data   no data
1684.73/70.50	c  F st    25     87500     19198     39804    288975     16971    233802    964735   no data   no data
1687.96/70.56	c  N st    25     87500     19198     39797    288836     16971    233713    964514   no data   no data
1744.86/72.40	c  N dy    35     93189     19191     39797    289010     22560    233713   1372596     11.05     11.78
1811.95/74.43	c  N dy    47    100959     19190     39797    289137     30215    233713   1698982      9.26      9.79
1856.68/75.81	c  S st    72    104832     19188     39797    289425     34028    233712   1858545      9.80      8.47
1869.45/76.26	c  S st    72    105333     19188     39797    289430     34520    233712   1873750      9.80   no data
1872.65/76.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    144 locsubst:     0 time:   0.04
1946.13/78.66	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   94 Bins:    129 BRemL:  45428 BRemN:      0 P: 16.5M T:  2.29
1949.32/78.73	c Replacing       94 vars Replaced     2312 lits Time:     0.06 s 
1949.32/78.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1949.32/78.79	c bin-w-bin subsume rem          399 bins  time:  0.03 s
1952.51/78.85	c subs with bin:      267  lits-rem:       173  v-fix:    0  time:  0.05 s
1955.70/78.91	c Subs w/ non-existent bins:     23 l-rem:     31 v-fix:     0 done:  18949 time:  0.06 s
1955.70/78.94	c Removed useless bin:      10  fixed:     0  props:   0.74M  time:  0.03 s
1958.90/79.03	c lits-rem:        26  cl-subs:      190  v-elim:    116  v-fix:    0  time:  0.09 s
1987.65/79.98	c subs with bin:        2  lits-rem:       181  v-fix:    0  time:  0.80 s
2016.41/80.83	c lits-rem:      1736  cl-subs:      854  v-elim:      0  v-fix:    0  time:  0.79 s
2016.41/80.85	c vivif2 --  cl tried    39213 cl shrink       46 lits rem        138 time: 0.02
2019.61/80.96	c vivif2 --  cl tried    32169 cl shrink     4019 lits rem      23213 time: 0.11
2039.41/81.55	c asymm  cl-useful: 29/11940/39210 lits-rem:87 time: 0.56
2039.41/81.57	c calculated reachability. Time: 0.01
2039.41/81.57	c  N dy    72    105333     18833     39181    221979     32169    231177   1545969      9.80   no data
2112.27/83.88	c  N dy   101    112127     18822     39181    222949     19490    231176    762584      9.80     10.45
2125.06/84.26	c Finding binary XORs  T:     0.04 s  found:       7
2195.37/86.43	c  N dy   144    119574     18821     39172    209203     26748    230840   1198202     10.24     10.97
2278.45/89.01	c  N dy   186    127288     18815     39172    211495     34310    230840   1579243     10.41     19.83
2380.74/92.25	c  N dy   240    136049     18813     39172    212125     42912    230840   2036409     10.66     11.49
2473.42/95.20	c  N dy   280    144869     18813     39172    212447     29700    230840   1135084     10.69     11.26
2528.35/96.90	c Finding binary XORs  T:     0.04 s  found:       4
2591.68/98.82	c  N dy   327    154435     18812     39165    199954     39081    230650   1553374     10.80     11.61
2637.05/100.24	c  S st   343    158000     18812     39165    200828     42605    230650   1726382     10.78      9.82
2649.19/100.69	c  S st   343    158503     18812     39165    200836     43099    230650   1745167     10.78   no data
2652.40/100.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2725.88/103.06	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   17 Bins:   9049 BRemL:  49180 BRemN:      2 P: 15.5M T:  2.26
2729.07/103.12	c Replacing       28 vars Replaced      710 lits Time:     0.06 s 
2729.07/103.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2729.07/103.17	c bin-w-bin subsume rem         1532 bins  time:  0.02 s
2732.28/103.22	c subs with bin:      250  lits-rem:       164  v-fix:    0  time:  0.04 s
2732.28/103.27	c Subs w/ non-existent bins:      9 l-rem:     36 v-fix:     0 done:  18781 time:  0.05 s
2732.28/103.30	c Removed useless bin:      72  fixed:     0  props:   0.58M  time:  0.03 s
2735.47/103.38	c lits-rem:        16  cl-subs:       95  v-elim:     92  v-fix:    0  time:  0.09 s
2783.40/104.88	c subs with bin:       37  lits-rem:       727  v-fix:    0  time:  1.30 s
2821.76/106.05	c lits-rem:      2279  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  1.12 s
2821.76/106.08	c vivif2 --  cl tried    38816 cl shrink       92 lits rem        208 time: 0.02
2828.15/106.22	c vivif2 --  cl tried    41550 cl shrink     5388 lits rem      45705 time: 0.14
2834.55/106.41	c asymm  cl-useful: 8/3827/38810 lits-rem:24 time: 0.19
2834.55/106.44	c calculated reachability. Time: 0.01
2834.55/106.44	c  N dy   343    158503     18689     38802    147778     41549    229270   1543290     10.78   no data
2834.55/106.48	c Finding binary XORs  T:     0.04 s  found:       2
2955.99/110.22	c  N dy   377    169173     18683     38802    148556     28521    229269    911007     10.62     11.21
3087.02/114.38	c  N dy   432    180065     18682     38802    151651     39275    229268   1411263     10.67     11.45
3106.19/114.90	c Finding binary XORs  T:     0.04 s  found:       3
3231.41/118.89	c  N dy   497    191637     18681     38795    145351     25509    229162    612020     10.80     13.53
3381.03/123.51	c  N dy   567    203903     18680     38795    145815     37647    229161   1287565     10.95     16.42
3508.88/127.60	c Finding binary XORs  T:     0.04 s  found:      21
3534.45/128.38	c  N dy   632    216953     18678     38792    146194     50490    229065   2124906     11.04     27.71
3729.42/134.44	c  N dy   702    232281     18677     38792    147921     39300    229065   1242901     11.06     11.72
3797.18/136.56	c  S st   744    237754     18674     38792    148028     44707    229065   1560252     11.14   no data
3809.34/136.95	c  S st   744    238258     18674     38792    148031     45206    229065   1581870     11.14   no data
3809.34/136.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3886.05/139.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  16815 BRemL:  74237 BRemN:     13 P: 20.0M T:  2.26
3886.05/139.38	c Replacing       26 vars Replaced     1975 lits Time:     0.05 s 
3889.25/139.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3889.25/139.42	c bin-w-bin subsume rem         2816 bins  time:  0.01 s
3889.25/139.46	c subs with bin:      323  lits-rem:       266  v-fix:    0  time:  0.03 s
3892.44/139.51	c Subs w/ non-existent bins:      0 l-rem:     86 v-fix:     0 done:  18648 time:  0.05 s
3892.44/139.54	c Removed useless bin:       6  fixed:     0  props:   0.66M  time:  0.03 s
3895.65/139.61	c lits-rem:        27  cl-subs:      150  v-elim:     93  v-fix:    0  time:  0.08 s
3930.80/140.74	c subs with bin:       76  lits-rem:      1136  v-fix:    0  time:  1.00 s
3956.37/141.59	c lits-rem:      1492  cl-subs:     1018  v-elim:      0  v-fix:    0  time:  0.83 s
3959.57/141.61	c vivif2 --  cl tried    38343 cl shrink       61 lits rem         79 time: 0.02
3962.76/141.75	c vivif2 --  cl tried    42888 cl shrink     5756 lits rem      56824 time: 0.13
3985.13/142.47	c asymm  cl-useful: 153/17694/38341 lits-rem:282 time: 0.72
3985.13/142.49	c calculated reachability. Time: 0.01
3985.13/142.49	c  N dy   744    238258     18555     38340     80591     42888    226998   1320563     11.14   no data
3988.32/142.53	c Finding binary XORs  T:     0.04 s  found:       0
4071.40/145.21	c Finding binary XORs  T:     0.04 s  found:       0
4157.69/147.87	c  N dy   777    253571     18554     38339     93359     31153    226986    974326     10.96     11.58
4384.63/154.92	c  N dy   828    270050     18551     38339     93596     47458    226986   4444350     10.86     11.47
4633.96/162.78	c  N dy   899    287582     18551     38339     93738     36526    226986   2013699     10.82     11.55
4688.29/164.49	c Finding binary XORs  T:     0.04 s  found:       1
4912.04/171.46	c  F st   954    306251     18551     38335     94580     54931    226837   5938828     10.78      7.95
4915.25/171.51	c Replacing        1 vars Replaced      237 lits Time:     0.05 s 
4915.25/171.55	c  N st   954    306251     18550     38334     94578     54929    226834   5938817     10.78      7.95
4985.52/173.72	c Decided on static restart strategy
5292.39/183.34	c  N st   964    334551     18549     38334     95014     53421    226833   4237022     10.78   no data
5555.11/191.54	c Finding binary XORs  T:     0.04 s  found:       2
5647.22/194.42	c  N st   966    357390     18546     38330     94710     46721    226702   5068827     10.78   no data
5647.22/194.42	c  S st   966    357390     18546     38330     94710     46721    226702   5068827     10.78   no data
5660.59/194.88	c  S st   966    357893     18546     38330     94737     47221    226702   5084268     10.78   no data
5663.19/194.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
5727.72/196.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   1700 BRemL:  16935 BRemN:      5 P: 18.9M T:  2.02
5727.72/197.01	c Replacing       11 vars Replaced     1158 lits Time:     0.06 s 
5730.91/197.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5730.91/197.05	c bin-w-bin subsume rem         2784 bins  time:  0.01 s
5730.91/197.08	c subs with bin:       57  lits-rem:        27  v-fix:    0  time:  0.03 s
5733.50/197.13	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:  18535 time:  0.05 s
5733.50/197.16	c Removed useless bin:       1  fixed:     0  props:   0.57M  time:  0.03 s
5736.71/197.27	c lits-rem:         1  cl-subs:      111  v-elim:     20  v-fix:    0  time:  0.11 s
5816.61/199.70	c subs with bin:       17  lits-rem:       651  v-fix:    0  time:  2.09 s
5970.02/204.51	c lits-rem:      2724  cl-subs:     1308  v-elim:      0  v-fix:    0  time:  4.79 s
5970.02/204.54	c vivif2 --  cl tried    38132 cl shrink        2 lits rem          2 time: 0.02
5979.62/204.86	c vivif2 --  cl tried    43043 cl shrink     9030 lits rem     149958 time: 0.31
6001.97/205.51	c asymm  cl-useful: 1/10336/38132 lits-rem:3 time: 0.65
6001.97/205.53	c calculated reachability. Time: 0.01
6001.97/205.53	c  N st   966    357893     18515     38131     76292     43042    225802   3790293     10.78   no data
6551.77/222.76	c  N st   967    390285     18515     38131     76292     45959    225802   6939129     10.78   no data
6554.97/222.86	c Finding binary XORs  T:     0.04 s  found:       4
7216.63/243.55	c  N st   968    438875     18513     38129     75371     62021    225776   3864438     10.78   no data
8881.93/295.63	c  N st   969    511757     18513     38129     75611     67512    225776  12536102     10.78   no data
8885.12/295.77	c Finding binary XORs  T:     0.04 s  found:       6
9600.13/318.13	c  N st   970    536841     18512     38128     75903     57101    225761  13803530     10.78   no data
9600.13/318.13	c  S st   970    536841     18512     38128     75903     57101    225761  13803530     10.78   no data
9619.25/318.74	c  S st   970    537342     18512     38128     76804     57601    225761  13817032     10.78   no data
9622.45/318.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
9689.47/320.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    308 BRemL:   4248 BRemN:      0 P: 19.2M T:  1.99
9692.67/321.04	c Replacing       12 vars Replaced     1462 lits Time:     0.12 s 
9692.67/321.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9692.67/321.09	c bin-w-bin subsume rem          178 bins  time:  0.01 s
9695.86/321.13	c subs with bin:       46  lits-rem:        30  v-fix:    0  time:  0.03 s
9695.86/321.18	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  18500 time:  0.05 s
9695.86/321.21	c Removed useless bin:       0  fixed:     0  props:   0.56M  time:  0.03 s
9702.86/321.39	c lits-rem:         0  cl-subs:       26  v-elim:      5  v-fix:    0  time:  0.17 s
9808.29/324.64	c subs with bin:        8  lits-rem:      2756  v-fix:    0  time:  2.18 s
10213.61/337.30	c lits-rem:      6256  cl-subs:     1214  v-elim:      0  v-fix:    0  time: 12.63 s
10213.61/337.32	c vivif2 --  cl tried    38036 cl shrink        1 lits rem          1 time: 0.02
10239.18/338.18	c vivif2 --  cl tried    53506 cl shrink    11605 lits rem     503792 time: 0.84
10255.17/338.66	c asymm  cl-useful: 0/10006/38036 lits-rem:0 time: 0.48
10255.17/338.68	c calculated reachability. Time: 0.01
10255.17/338.68	c  N st   970    537342     18495     38036     72686     53503    225445  10949925     10.78   no data
15305.18/496.67	c  N st   971    701326     18495     38036     72688     66879    225444  11698662     10.78   no data
15311.57/496.82	c Finding binary XORs  T:     0.04 s  found:       8
18625.73/600.56	c  N st   972    806018     18491     38033     75348     88714    225363  25306292     10.78   no data
18625.73/600.56	c  S st   972    806018     18491     38033     75348     88714    225363  25306292     10.78   no data
18625.73/600.61	c Finding binary XORs  T:     0.04 s  found:       0
18651.29/601.33	c  S st   972    806520     18491     38033     76676     89215    225363  25324025     10.78   no data
18654.46/601.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
18724.78/603.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     99 BRemL:   8838 BRemN:      0 P: 23.4M T:  2.24
18731.18/603.81	c Replacing        8 vars Replaced     1482 lits Time:     0.13 s 
18731.18/603.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18731.18/603.85	c bin-w-bin subsume rem          228 bins  time:  0.01 s
18731.18/603.88	c subs with bin:       30  lits-rem:        10  v-fix:    0  time:  0.03 s
18734.99/603.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18483 time:  0.05 s
18734.99/603.96	c Removed useless bin:       0  fixed:     0  props:   0.54M  time:  0.03 s
18743.95/604.25	c lits-rem:         0  cl-subs:       10  v-elim:      5  v-fix:    0  time:  0.28 s
18878.83/608.44	c subs with bin:       18  lits-rem:       634  v-fix:    0  time:  2.07 s
20511.27/659.52	c lits-rem:       654  cl-subs:     1510  v-elim:      0  v-fix:    0  time: 51.05 s
20511.27/659.54	c vivif2 --  cl tried    37971 cl shrink        0 lits rem          0 time: 0.02
20578.36/661.60	c vivif2 --  cl tried    86419 cl shrink    27537 lits rem    1091341 time: 2.00
20601.38/662.39	c asymm  cl-useful: 21/2407/37971 lits-rem:30 time: 0.79
20603.93/662.42	c calculated reachability. Time: 0.01
20603.93/662.42	c  N st   972    806520     18478     37971     67700     86415    225087  22985920     10.78   no data
27915.98/891.25	c  F st   973   1071875     18478     37971     67701     80240    225086   9829724     10.78   no data
27915.98/891.29	c  N st   973   1071875     18478     37971     67701     80240    225086   9829724     10.78   no data
27922.37/891.42	c Finding binary XORs  T:     0.04 s  found:       1
28053.98/895.59	c Decided on static restart strategy
28603.08/912.72	c  N st   983   1100177     18476     37969     71022     59734    225061   6859595     10.78   no data
29782.25/949.61	c  N st   985   1136174     18476     37969     71044     95359    225061  24975214     10.78   no data
30762.99/980.37	c  N st   986   1168566     18476     37969     71155     77827    225061  15407794     10.78   no data
31865.51/1014.80	c  N st   987   1209780     18476     37969     71196     68256    225060   6865156     10.78   no data
31865.51/1014.80	c  S st   987   1209780     18476     37969     71196     68256    225060   6865156     10.78   no data
31887.88/1015.50	c  S st   987   1210283     18476     37969     71220     68757    225060   6882241     10.78   no data
31887.88/1015.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
31958.20/1017.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    197 BRemL:   4867 BRemN:      1 P: 20.6M T:  2.13
31961.40/1017.81	c Replacing        1 vars Replaced       51 lits Time:     0.06 s 
31961.40/1017.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31961.40/1017.85	c bin-w-bin subsume rem          208 bins  time:  0.01 s
31961.40/1017.89	c subs with bin:        8  lits-rem:         4  v-fix:    0  time:  0.03 s
31964.59/1017.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18475 time:  0.05 s
31964.59/1017.98	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.03 s
31970.98/1018.14	c lits-rem:         0  cl-subs:        5  v-elim:      2  v-fix:    0  time:  0.16 s
32061.01/1020.95	c subs with bin:       21  lits-rem:       286  v-fix:    0  time:  2.18 s
32293.63/1028.28	c lits-rem:      3234  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  7.12 s
32296.82/1028.30	c vivif2 --  cl tried    37953 cl shrink        0 lits rem          0 time: 0.02
32312.80/1028.88	c vivif2 --  cl tried    67506 cl shrink    10494 lits rem     227103 time: 0.55
32344.73/1029.80	c asymm  cl-useful: 55/19851/37953 lits-rem:55 time: 0.89
32344.73/1029.83	c calculated reachability. Time: 0.01
32344.73/1029.83	c  N st   987   1210283     18473     37953     66343     67505    224933   6528786     10.78   no data
34073.39/1083.95	c  N st   988   1283165     18473     37953     66343     86969    224933   7839656     10.78   no data
34076.59/1084.08	c Finding binary XORs  T:     0.04 s  found:       0
36898.05/1172.33	c  N st   989   1392488     18472     37952     66246     89725    224921  16651900     10.78   no data
36898.05/1172.37	c Finding binary XORs  T:     0.04 s  found:       0
41355.43/1311.82	c  N st   990   1556473     18472     37952     67033     86389    224921   7104674     10.78   no data
47404.62/1501.18	c  N st   991   1710284     18471     37952     67250    123927    224921  28993790     10.78   no data
47404.62/1501.18	c  S st   991   1710284     18471     37952     67250    123927    224921  28993790     10.78   no data
47414.21/1501.43	c Finding binary XORs  T:     0.04 s  found:       0
47449.29/1502.59	c  S st   991   1710788     18470     37950     66101     64807    224892   3797831     10.78   no data
47453.07/1502.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
47509.89/1504.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:   1115 BRemN:      0 P: 19.5M T:  1.82
47513.09/1504.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47513.09/1504.51	c bin-w-bin subsume rem           53 bins  time:  0.01 s
47513.09/1504.55	c subs with bin:       12  lits-rem:         6  v-fix:    0  time:  0.03 s
47513.09/1504.60	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  18470 time:  0.05 s
47516.30/1504.63	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.03 s
47519.49/1504.76	c lits-rem:         1  cl-subs:        7  v-elim:      1  v-fix:    0  time:  0.13 s
47593.61/1507.03	c subs with bin:       48  lits-rem:       392  v-fix:    0  time:  1.97 s
47756.03/1512.11	c lits-rem:      4070  cl-subs:      835  v-elim:      0  v-fix:    0  time:  5.06 s
47756.03/1512.13	c vivif2 --  cl tried    37930 cl shrink        0 lits rem          0 time: 0.02
47762.43/1512.31	c vivif2 --  cl tried    63651 cl shrink     1103 lits rem       9171 time: 0.18
47784.80/1513.06	c asymm  cl-useful: 0/10976/37930 lits-rem:0 time: 0.74
47784.80/1513.08	c calculated reachability. Time: 0.01
47784.80/1513.08	c  N st   991   1710788     18469     37930     64943     63649    224839   3718059     10.78   no data
63410.19/2002.09	c  N st   992   2079752     18469     37930     64944    117531    224838  18225970     10.78   no data
63413.39/2002.14	c Finding binary XORs  T:     0.04 s  found:       0
67947.95/2144.08	c  N st   993   2210788     18469     37930     65566    115106    224838  11360148     10.78   no data
67947.95/2144.08	c  S st   993   2210788     18469     37930     65566    115106    224838  11360148     10.78   no data
67950.55/2144.12	c Finding binary XORs  T:     0.04 s  found:       0
67972.91/2144.87	c  S st   993   2211288     18469     37930     66179    115604    224838  11377444     10.78   no data
67976.10/2144.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
68053.44/2147.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     24 BRemL:   1068 BRemN:      0 P: 27.7M T:  2.41
68053.44/2147.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
68056.00/2147.40	c bin-w-bin subsume rem          186 bins  time:  0.01 s
68056.00/2147.43	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.03 s
68056.00/2147.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18469 time:  0.05 s
68059.20/2147.52	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.03 s
68065.59/2147.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
68171.08/2151.01	c subs with bin:        1  lits-rem:        64  v-fix:    0  time:  2.33 s
69037.55/2178.13	c lits-rem:      8523  cl-subs:     3501  v-elim:      0  v-fix:    0  time: 27.09 s
69037.55/2178.15	c vivif2 --  cl tried    37928 cl shrink        0 lits rem          0 time: 0.02
69072.72/2179.26	c vivif2 --  cl tried   112102 cl shrink    32119 lits rem     662808 time: 1.09
69084.79/2179.66	c asymm  cl-useful: 0/4694/37928 lits-rem:0 time: 0.41
69084.79/2179.69	c calculated reachability. Time: 0.01
69084.79/2179.69	c  N st   993   2211288     18469     37928     64949    112102    224832  10423743     10.78   no data
92342.29/2907.94	c  N st   994   2711288     18469     37928     64949    116435    224832  30933156     10.78   no data
92342.29/2907.94	c  S st   994   2711288     18469     37928     64949    116435    224832  30933156     10.78   no data
92367.86/2908.76	c  S st   994   2711791     18466     37928     65165    116936    224832  30953344     10.78   no data
92371.05/2908.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
92460.45/2911.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    138 BRemL:    354 BRemN:      0 P: 25.4M T:  2.73
92470.03/2911.99	c Replacing        1 vars Replaced      133 lits Time:     0.38 s 
92473.23/2912.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92473.23/2912.04	c bin-w-bin subsume rem            7 bins  time:  0.01 s
92473.23/2912.07	c subs with bin:       11  lits-rem:         4  v-fix:    0  time:  0.03 s
92476.43/2912.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18465 time:  0.05 s
92476.43/2912.15	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.03 s
92489.23/2912.52	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.37 s
92645.72/2917.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.23 s
94137.10/2964.11	c lits-rem:      5109  cl-subs:      643  v-elim:      0  v-fix:    0  time: 46.65 s
94137.10/2964.13	c vivif2 --  cl tried    37909 cl shrink        0 lits rem          0 time: 0.02
94207.40/2966.38	c vivif2 --  cl tried   115453 cl shrink    26575 lits rem    5164162 time: 2.22
94242.43/2967.43	c asymm  cl-useful: 13/2334/37909 lits-rem:23 time: 1.05
94242.43/2967.46	c calculated reachability. Time: 0.01
94242.43/2967.46	c  N st   994   2711791     18465     37909     63989    115453    224688  24751310     10.78   no data
117878.84/3707.67	c  N st   995   3211791     18465     37909     63989    151327    224687  45465368     10.78   no data
117878.84/3707.68	c  S st   995   3211791     18465     37909     63989    151327    224687  45465368     10.78   no data
117891.64/3708.01	c Finding binary XORs  T:     0.04 s  found:       0
117926.80/3709.20	c  S st   995   3212292     18464     37908     63826    151741    224674  45469129     10.78   no data
117933.79/3709.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
118032.29/3712.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    564 BRemN:      0 P: 29.8M T:  3.06
118032.29/3712.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118032.29/3712.48	c bin-w-bin subsume rem           39 bins  time:  0.01 s
118032.29/3712.52	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.03 s
118036.09/3712.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18464 time:  0.05 s
118036.09/3712.61	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.03 s
118051.46/3713.10	c lits-rem:         1  cl-subs:        2  v-elim:      3  v-fix:    0  time:  0.49 s
118250.09/3719.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.09 s
121366.11/3816.81	c lits-rem:      4043  cl-subs:     1060  v-elim:      0  v-fix:    0  time: 97.47 s
121366.11/3816.83	c vivif2 --  cl tried    37902 cl shrink        0 lits rem          0 time: 0.02
121490.53/3820.73	c vivif2 --  cl tried   150619 cl shrink    45454 lits rem    3443038 time: 3.81
121525.70/3821.81	c asymm  cl-useful: 22/12481/37902 lits-rem:26 time: 1.08
121525.70/3821.84	c calculated reachability. Time: 0.01
121525.70/3821.84	c  N st   995   3212292     18461     37902     62915    150618    224629  41634148     10.78   no data
147852.36/4646.40	c  N st   996   3712292     18461     37902     62916    149922    224629  43621390     10.78   no data
147852.36/4646.40	c  S st   996   3712292     18461     37902     62916    149922    224629  43621390     10.78   no data
147881.12/4647.27	c  S st   996   3712794     18460     37902     63220    150420    224629  43635308     10.78   no data
147887.53/4647.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
147970.62/4650.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     28 BRemL:    439 BRemN:      0 P: 27.4M T:  2.62
147970.62/4650.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147970.62/4650.09	c bin-w-bin subsume rem            7 bins  time:  0.01 s
147973.81/4650.13	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.03 s
147973.81/4650.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18460 time:  0.05 s
147976.97/4650.21	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.03 s
147992.89/4650.72	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.51 s
148181.36/4656.61	c subs with bin:        4  lits-rem:        97  v-fix:    0  time:  2.17 s
151439.66/4758.71	c lits-rem:      3883  cl-subs:     1122  v-elim:      0  v-fix:    0  time: 102.06 s
151442.89/4758.73	c vivif2 --  cl tried    37897 cl shrink        0 lits rem          0 time: 0.02
151554.11/4762.23	c vivif2 --  cl tried   149290 cl shrink    45875 lits rem    6718260 time: 3.44
151580.28/4763.10	c asymm  cl-useful: 7/8219/37897 lits-rem:7 time: 0.87
151583.52/4763.13	c calculated reachability. Time: 0.01
151583.52/4763.13	c  N st   996   3712794     18460     37897     62449    149290    224602  36534455     10.78   no data
153661.41/4828.28	c  F st   997   3751562     18460     37897     62449    101172    224602  11968571     10.78   no data
153664.59/4828.32	c  N st   997   3751562     18460     37897     62449    101172    224602  11968571     10.78   no data
153875.55/4834.91	c Decided on static restart strategy
154721.70/4861.43	c  N st  1007   3779872     18460     37897     62522    129323    224602  23886097     10.78   no data
155884.83/4897.87	c  N st  1009   3815865     18460     37897     62522    165168    224602  36194896     10.78   no data
156564.14/4919.17	c  N st  1010   3848257     18460     37897     62524    109443    224602   8292688     10.78   no data
158630.52/4983.83	c  N st  1011   3896846     18460     37897     62524    157643    224602  26683447     10.78   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400803-1306801549/watcher-3400803-1306801549 -o /tmp/evaluation-result-3400803-1306801549/solver-3400803-1306801549 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400803-1306801549.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 27.45 31.07 31.69 1/413 21024
/proc/meminfo: memFree=263610640/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=338000 CPUtime=0.8 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) R 21022 21024 20998 0 -1 4202496 436 0 0 0 80 0 0 0 25 0 32 0 6120915 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/21024/statm: 84500 376 297 95 0 79482 0
[pid=21024/tid=21025] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21025/stat : 21025 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21024/tid=21026] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21026/stat : 21026 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21024/tid=21027] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21027/stat : 21027 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21024/tid=21028] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21028/stat : 21028 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339756 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21024/tid=21029] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21029/stat : 21029 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21024/tid=21030] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21030/stat : 21030 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339766 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21024/tid=21031] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21031/stat : 21031 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21024/tid=21032] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21032/stat : 21032 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339756 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21024/tid=21033] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21033/stat : 21033 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21024/tid=21034] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21034/stat : 21034 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21024/tid=21035] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21035/stat : 21035 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339760 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339756 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21024/tid=21037] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21037/stat : 21037 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21024/tid=21038] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21038/stat : 21038 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21024/tid=21039] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21039/stat : 21039 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339756 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21024/tid=21040] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21040/stat : 21040 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21024/tid=21041] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21041/stat : 21041 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21024/tid=21042] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21042/stat : 21042 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21024/tid=21043] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21043/stat : 21043 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21024/tid=21044] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21044/stat : 21044 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21024/tid=21045] ppid=21022 vsize=338000 CPUtime=0 cores=0-31
/proc/21024/task/21045/stat : 21045 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21024/tid=21046] ppid=21022 vsize=338000 CPUtime=0 cores=0-31
/proc/21024/task/21046/stat : 21046 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21024/tid=21047] ppid=21022 vsize=338000 CPUtime=0.01 cores=0-31
/proc/21024/task/21047/stat : 21047 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21024/tid=21048] ppid=21022 vsize=338000 CPUtime=0 cores=0-31
/proc/21024/task/21048/stat : 21048 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339766 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21024/tid=21049] ppid=21022 vsize=338000 CPUtime=0.01 cores=0-31
/proc/21024/task/21049/stat : 21049 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21024/tid=21050] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21050/stat : 21050 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339752 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21024/tid=21051] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21051/stat : 21051 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21024/tid=21052] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21052/stat : 21052 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339752 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21024/tid=21053] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21053/stat : 21053 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339762 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21024/tid=21054] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21054/stat : 21054 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339756 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21024/tid=21055] ppid=21022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21024/task/21055/stat : 21055 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 6120916 346112000 376 268435456000 4194304 4580107 140735830272432 18446744073709551615 47516562339760 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.117288 s]
/proc/loadavg: 27.45 31.07 31.69 1/413 21024
/proc/meminfo: memFree=263610640/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=1062568 CPUtime=2.4 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) D 21022 21024 20998 0 -1 4202496 10913 0 0 0 164 76 0 0 17 0 32 0 6120915 1088069632 10763 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/21024/statm: 265642 10771 331 95 0 260624 0
[pid=21024/tid=21025] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21025/stat : 21025 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 342 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10775 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21024/tid=21026] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21026/stat : 21026 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10783 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604451324001760 0 0 -1 24 0 0 0
[pid=21024/tid=21027] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21027/stat : 21027 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 268 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10803 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604454269263328 0 0 -1 12 0 0 0
[pid=21024/tid=21028] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21028/stat : 21028 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 287 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10803 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21024/tid=21029] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21029/stat : 21029 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 360 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10812 268435456000 4194304 4580107 140735830272432 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21024/tid=21030] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21030/stat : 21030 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 316 0 0 0 5 2 0 0 24 0 32 0 6120916 1088069632 10812 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21024/tid=21031] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21031/stat : 21031 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 281 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10824 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604442804395488 0 0 -1 2 0 0 0
[pid=21024/tid=21032] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21032/stat : 21032 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 364 0 0 0 5 2 0 0 25 0 32 0 6120916 1088069632 10841 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21024/tid=21033] ppid=21022 vsize=1062568 CPUtime=0.07 cores=0-31
/proc/21024/task/21033/stat : 21033 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 277 0 0 0 5 2 0 0 17 0 32 0 6120916 1088069632 10850 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21024/tid=21034] ppid=21022 vsize=1062728 CPUtime=0.07 cores=0-31
/proc/21024/task/21034/stat : 21034 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 317 0 0 0 5 2 0 0 17 0 32 0 6120916 1088233472 10857 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604480211213792 0 0 -1 3 0 0 0
[pid=21024/tid=21035] ppid=21022 vsize=1062728 CPUtime=0.07 cores=0-31
/proc/21024/task/21035/stat : 21035 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 391 0 0 0 5 2 0 0 17 0 32 0 6120916 1088233472 10862 268435456000 4194304 4580107 140735830272432 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=1062728 CPUtime=0.07 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 268 0 0 0 5 2 0 0 18 0 32 0 6120916 1088233472 10868 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604506252008928 0 0 -1 10 0 0 0
[pid=21024/tid=21037] ppid=21022 vsize=1062728 CPUtime=0.07 cores=0-31
/proc/21024/task/21037/stat : 21037 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 338 0 0 0 5 2 0 0 17 0 32 0 6120916 1088233472 10878 268435456000 4194304 4580107 140735830272432 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21024/tid=21038] ppid=21022 vsize=1062728 CPUtime=0.06 cores=0-31
/proc/21024/task/21038/stat : 21038 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 273 0 0 0 5 1 0 0 17 0 32 0 6120916 1088233472 10895 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604501857328608 0 0 -1 13 0 0 0
[pid=21024/tid=21039] ppid=21022 vsize=1062728 CPUtime=0.07 cores=0-31
/proc/21024/task/21039/stat : 21039 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 382 0 0 0 5 2 0 0 17 0 32 0 6120916 1088233472 10895 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21024/tid=21040] ppid=21022 vsize=1062992 CPUtime=0.06 cores=0-31
/proc/21024/task/21040/stat : 21040 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 268 0 0 0 5 1 0 0 17 0 32 0 6120916 1088503808 10907 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604491594030560 0 0 -1 11 0 0 0
[pid=21024/tid=21041] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21041/stat : 21041 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 417 0 0 0 5 2 0 0 18 0 32 0 6120916 1088503808 10923 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21024/tid=21042] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21042/stat : 21042 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 278 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 10930 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 18 0 0 0
[pid=21024/tid=21043] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21043/stat : 21043 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 367 0 0 0 5 2 0 0 25 0 32 0 6120916 1088503808 10934 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21024/tid=21044] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21044/stat : 21044 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 353 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 10938 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=21024/tid=21045] ppid=21022 vsize=1062992 CPUtime=0.02 cores=0-31
/proc/21024/task/21045/stat : 21045 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 344 0 0 0 0 2 0 0 17 0 32 0 6120916 1088503808 10942 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604491594030560 0 0 -1 0 0 0 0
[pid=21024/tid=21046] ppid=21022 vsize=1062992 CPUtime=0.01 cores=0-31
/proc/21024/task/21046/stat : 21046 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 285 0 0 0 0 1 0 0 17 0 32 0 6120916 1088503808 10956 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21024/tid=21047] ppid=21022 vsize=1062992 CPUtime=0.06 cores=0-31
/proc/21024/task/21047/stat : 21047 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 386 0 0 0 4 2 0 0 25 0 32 0 6120916 1088503808 10987 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21024/tid=21048] ppid=21022 vsize=1062992 CPUtime=0.04 cores=0-31
/proc/21024/task/21048/stat : 21048 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 328 0 0 0 2 2 0 0 17 0 32 0 6120916 1088503808 11009 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 31 0 0 0
[pid=21024/tid=21049] ppid=21022 vsize=1062992 CPUtime=0.06 cores=0-31
/proc/21024/task/21049/stat : 21049 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 376 0 0 0 4 2 0 0 17 0 32 0 6120916 1088503808 11009 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21024/tid=21050] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21050/stat : 21050 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 314 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 11014 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21024/tid=21051] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21051/stat : 21051 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 387 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 11031 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604451324001760 0 0 -1 21 0 0 0
[pid=21024/tid=21052] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21052/stat : 21052 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 327 0 0 0 5 2 0 0 25 0 32 0 6120916 1088503808 11042 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 22 0 0 0
[pid=21024/tid=21053] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21053/stat : 21053 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 397 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 11051 268435456000 4194304 4580107 140735830272432 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21024/tid=21054] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21054/stat : 21054 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 364 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 11063 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604487715438048 0 0 -1 25 0 0 0
[pid=21024/tid=21055] ppid=21022 vsize=1062992 CPUtime=0.07 cores=0-31
/proc/21024/task/21055/stat : 21055 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 6120916 1088503808 11063 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604459057470944 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 1062568

[startup+0.203308 s]
/proc/loadavg: 27.45 31.07 31.69 1/413 21024
/proc/meminfo: memFree=263610640/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=1155812 CPUtime=3.37 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) D 21022 21024 20998 0 -1 4202496 26694 0 0 0 178 159 0 0 17 0 32 0 6120915 1183551488 23670 268435456000 4194304 4580107 140735830272432 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/21024/statm: 288953 23771 332 95 0 283935 0
[pid=21024/tid=21025] ppid=21022 vsize=1155812 CPUtime=0.1 cores=0-31
/proc/21024/task/21025/stat : 21025 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 1094 0 0 0 5 5 0 0 17 0 32 0 6120916 1183551488 23771 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21024/tid=21026] ppid=21022 vsize=1155812 CPUtime=0.1 cores=0-31
/proc/21024/task/21026/stat : 21026 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 655 0 0 0 6 4 0 0 17 0 32 0 6120916 1183551488 23786 268435456000 4194304 4580107 140735830272432 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21024/tid=21027] ppid=21022 vsize=1156000 CPUtime=0.07 cores=0-31
/proc/21024/task/21027/stat : 21027 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 331 0 0 0 5 2 0 0 17 0 32 0 6120916 1183744000 23947 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21024/tid=21028] ppid=21022 vsize=1156000 CPUtime=0.11 cores=0-31
/proc/21024/task/21028/stat : 21028 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 877 0 0 0 6 5 0 0 17 0 32 0 6120916 1183744000 23989 268435456000 4194304 4580107 140735830272432 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21024/tid=21029] ppid=21022 vsize=1156000 CPUtime=0.1 cores=0-31
/proc/21024/task/21029/stat : 21029 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 961 0 0 0 6 4 0 0 17 0 32 0 6120916 1183744000 24029 268435456000 4194304 4580107 140735830272432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21024/tid=21030] ppid=21022 vsize=1156000 CPUtime=0.11 cores=0-31
/proc/21024/task/21030/stat : 21030 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 967 0 0 0 6 5 0 0 17 0 32 0 6120916 1183744000 24055 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21024/tid=21031] ppid=21022 vsize=1156000 CPUtime=0.07 cores=0-31
/proc/21024/task/21031/stat : 21031 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 384 0 0 0 5 2 0 0 17 0 32 0 6120916 1183744000 24055 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604506252008928 0 0 -1 2 0 0 0
[pid=21024/tid=21032] ppid=21022 vsize=1156000 CPUtime=0.11 cores=0-31
/proc/21024/task/21032/stat : 21032 (strangenight2-m) D 21022 21024 20998 0 -1 4202560 887 0 0 0 6 5 0 0 17 0 32 0 6120916 1183744000 24055 268435456000 4194304 4580107 140735830272432 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21024/tid=21033] ppid=21022 vsize=1156000 CPUtime=0.07 cores=0-31
/proc/21024/task/21033/stat : 21033 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 420 0 0 0 5 2 0 0 17 0 32 0 6120916 1183744000 24055 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446744071566929224 0 0 -1 6 0 0 0
[pid=21024/tid=21034] ppid=21022 vsize=1156000 CPUtime=0.1 cores=0-31
/proc/21024/task/21034/stat : 21034 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 581 0 0 0 6 4 0 0 17 0 32 0 6120916 1183744000 24072 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21024/tid=21035] ppid=21022 vsize=1156000 CPUtime=0.11 cores=0-31
/proc/21024/task/21035/stat : 21035 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1066 0 0 0 6 5 0 0 17 0 32 0 6120916 1183744000 24105 268435456000 4194304 4580107 140735830272432 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=1156000 CPUtime=0.07 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 285 0 0 0 5 2 0 0 17 0 32 0 6120916 1183744000 24144 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604459057470944 0 0 -1 10 0 0 0
[pid=21024/tid=21037] ppid=21022 vsize=1156000 CPUtime=0.11 cores=0-31
/proc/21024/task/21037/stat : 21037 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 821 0 0 0 6 5 0 0 17 0 32 0 6120916 1183744000 24144 268435456000 4194304 4580107 140735830272432 18446744073709551615 258650653289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21024/tid=21038] ppid=21022 vsize=1156000 CPUtime=0.07 cores=0-31
/proc/21024/task/21038/stat : 21038 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 439 0 0 0 5 2 0 0 17 0 32 0 6120916 1183744000 24144 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 13 0 0 0
[pid=21024/tid=21039] ppid=21022 vsize=1156000 CPUtime=0.12 cores=0-31
/proc/21024/task/21039/stat : 21039 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1323 0 0 0 6 6 0 0 17 0 32 0 6120916 1183744000 24158 268435456000 4194304 4580107 140735830272432 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21024/tid=21040] ppid=21022 vsize=1156000 CPUtime=0.09 cores=0-31
/proc/21024/task/21040/stat : 21040 (strangenight2-m) S 21022 21024 20998 0 -1 4202560 467 0 0 0 6 3 0 0 17 0 32 0 6120916 1183744000 24191 268435456000 4194304 4580107 140735830272432 18446744073709551615 258651060958 0 0 4096 2 18446604480211213792 0 0 -1 11 0 0 0
[pid=21024/tid=21041] ppid=21022 vsize=1156000 CPUtime=0.12 cores=0-31

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

/proc/21024/task/21041/stat : 21041 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1045679 0 0 0 498591 611 0 0 25 0 32 0 6120916 39961812992 8005997 268435456000 4194304 4580107 140735830272432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21024/tid=21042] ppid=21022 vsize=39025208 CPUtime=4991.15 cores=0-31
/proc/21024/task/21042/stat : 21042 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1131553 0 0 0 498454 661 0 0 25 0 32 0 6120916 39961812992 8005997 268435456000 4194304 4580107 140735830272432 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21024/tid=21043] ppid=21022 vsize=39025208 CPUtime=4999.4 cores=0-31
/proc/21024/task/21043/stat : 21043 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1087332 0 0 0 499309 631 0 0 25 0 32 0 6120916 39961812992 8005997 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21024/tid=21044] ppid=21022 vsize=39025208 CPUtime=4998.75 cores=0-31
/proc/21024/task/21044/stat : 21044 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1136230 0 0 0 499264 611 0 0 25 0 32 0 6120916 39961812992 8005997 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21024/tid=21045] ppid=21022 vsize=39025208 CPUtime=5001.09 cores=0-31
/proc/21024/task/21045/stat : 21045 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1059367 0 0 0 499516 593 0 0 25 0 32 0 6120916 39961812992 8005998 268435456000 4194304 4580107 140735830272432 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21024/tid=21046] ppid=21022 vsize=39025208 CPUtime=5002.08 cores=0-31
/proc/21024/task/21046/stat : 21046 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1038884 0 0 0 499548 660 0 0 25 0 32 0 6120916 39961812992 8005998 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21024/tid=21047] ppid=21022 vsize=39025208 CPUtime=4991.64 cores=0-31
/proc/21024/task/21047/stat : 21047 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1103759 0 0 0 498540 624 0 0 25 0 32 0 6120916 39961812992 8005999 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21024/tid=21048] ppid=21022 vsize=39025208 CPUtime=4998.89 cores=0-31
/proc/21024/task/21048/stat : 21048 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 994701 0 0 0 499282 607 0 0 25 0 32 0 6120916 39961812992 8006000 268435456000 4194304 4580107 140735830272432 18446744073709551615 4401342 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21024/tid=21049] ppid=21022 vsize=39025208 CPUtime=4999.09 cores=0-31
/proc/21024/task/21049/stat : 21049 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1003158 0 0 0 499286 623 0 0 25 0 32 0 6120916 39961812992 8006000 268435456000 4194304 4580107 140735830272432 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21024/tid=21050] ppid=21022 vsize=39025208 CPUtime=4996.11 cores=0-31
/proc/21024/task/21050/stat : 21050 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 946270 0 0 0 499037 574 0 0 25 0 32 0 6120916 39961812992 8006001 268435456000 4194304 4580107 140735830272432 18446744073709551615 4317443 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21024/tid=21051] ppid=21022 vsize=39025208 CPUtime=4998.43 cores=0-31
/proc/21024/task/21051/stat : 21051 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 959697 0 0 0 499279 564 0 0 25 0 32 0 6120916 39961812992 8006002 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21024/tid=21052] ppid=21022 vsize=39025208 CPUtime=4997.91 cores=0-31
/proc/21024/task/21052/stat : 21052 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1022712 0 0 0 499171 620 0 0 25 0 32 0 6120916 39961812992 8006002 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21024/tid=21053] ppid=21022 vsize=39025208 CPUtime=4996.7 cores=0-31
/proc/21024/task/21053/stat : 21053 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1022043 0 0 0 499057 613 0 0 25 0 32 0 6120916 39961812992 8006002 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21024/tid=21054] ppid=21022 vsize=39025208 CPUtime=4999.41 cores=0-31
/proc/21024/task/21054/stat : 21054 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1015009 0 0 0 499317 624 0 0 25 0 32 0 6120916 39961812992 8006003 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21024/tid=21055] ppid=21022 vsize=39025208 CPUtime=4998.96 cores=0-31
/proc/21024/task/21055/stat : 21055 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 419855 0 0 0 499610 286 0 0 25 0 32 0 6120916 39961812992 8006005 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 159860
Current children cumulated vsize (KiB) 39025208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5026.7 s]
/proc/loadavg: 32.07 32.09 32.08 33/445 21205
/proc/meminfo: memFree=231029872/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=39757936 CPUtime=160002 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) R 21022 21024 20998 0 -1 4202496 39829440 0 0 0 15977716 22434 0 0 25 0 32 0 6120915 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 9939484 8131319 537 95 0 9934466 0
[pid=21024/tid=21025] ppid=21022 vsize=39757936 CPUtime=5002.58 cores=0-31
/proc/21024/task/21025/stat : 21025 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1612593 0 0 0 499435 823 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21024/tid=21026] ppid=21022 vsize=39757936 CPUtime=4991.87 cores=0-31
/proc/21024/task/21026/stat : 21026 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1742087 0 0 0 498315 872 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=21024/tid=21027] ppid=21022 vsize=39757936 CPUtime=5008.47 cores=0-31
/proc/21024/task/21027/stat : 21027 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1649517 0 0 0 499985 862 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21024/tid=21028] ppid=21022 vsize=39757936 CPUtime=4993.39 cores=0-31
/proc/21024/task/21028/stat : 21028 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1526720 0 0 0 498491 848 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21024/tid=21029] ppid=21022 vsize=39757936 CPUtime=4996.23 cores=0-31
/proc/21024/task/21029/stat : 21029 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1298137 0 0 0 498901 722 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21024/tid=21030] ppid=21022 vsize=39757936 CPUtime=4995.55 cores=0-31
/proc/21024/task/21030/stat : 21030 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1498750 0 0 0 498741 814 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21024/tid=21031] ppid=21022 vsize=39757936 CPUtime=4986.95 cores=0-31
/proc/21024/task/21031/stat : 21031 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1710056 0 0 0 497802 893 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21024/tid=21032] ppid=21022 vsize=39757936 CPUtime=5000.89 cores=0-31
/proc/21024/task/21032/stat : 21032 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1526740 0 0 0 499250 839 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21024/tid=21033] ppid=21022 vsize=39757936 CPUtime=4998.4 cores=0-31
/proc/21024/task/21033/stat : 21033 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1497322 0 0 0 499023 817 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21024/tid=21034] ppid=21022 vsize=39757936 CPUtime=5008.6 cores=0-31
/proc/21024/task/21034/stat : 21034 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1656254 0 0 0 499978 882 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21024/tid=21035] ppid=21022 vsize=39757936 CPUtime=4997.58 cores=0-31
/proc/21024/task/21035/stat : 21035 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1315078 0 0 0 498981 777 0 0 19 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4412649 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=39757936 CPUtime=4997.78 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1381423 0 0 0 498987 791 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21024/tid=21037] ppid=21022 vsize=39757936 CPUtime=4994.18 cores=0-31
/proc/21024/task/21037/stat : 21037 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1031687 0 0 0 498807 611 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21024/tid=21038] ppid=21022 vsize=39757936 CPUtime=5001.89 cores=0-31
/proc/21024/task/21038/stat : 21038 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1010372 0 0 0 499584 605 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21024/tid=21039] ppid=21022 vsize=39757936 CPUtime=5005.15 cores=0-31
/proc/21024/task/21039/stat : 21039 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1176446 0 0 0 499892 623 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21024/tid=21040] ppid=21022 vsize=39757936 CPUtime=5003.45 cores=0-31
/proc/21024/task/21040/stat : 21040 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 947203 0 0 0 499737 608 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4296104 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21024/tid=21041] ppid=21022 vsize=39757936 CPUtime=4996.43 cores=0-31
/proc/21024/task/21041/stat : 21041 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1046016 0 0 0 499032 611 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21024/tid=21042] ppid=21022 vsize=39757936 CPUtime=4995.56 cores=0-31
/proc/21024/task/21042/stat : 21042 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1132354 0 0 0 498894 662 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21024/tid=21043] ppid=21022 vsize=39757936 CPUtime=5003.82 cores=0-31
/proc/21024/task/21043/stat : 21043 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1088228 0 0 0 499750 632 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21024/tid=21044] ppid=21022 vsize=39757936 CPUtime=5003.17 cores=0-31
/proc/21024/task/21044/stat : 21044 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1137080 0 0 0 499705 612 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21024/tid=21045] ppid=21022 vsize=39757936 CPUtime=5005.51 cores=0-31
/proc/21024/task/21045/stat : 21045 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1059367 0 0 0 499958 593 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4451559 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21024/tid=21046] ppid=21022 vsize=39757936 CPUtime=5006.51 cores=0-31
/proc/21024/task/21046/stat : 21046 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1039941 0 0 0 499990 661 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21024/tid=21047] ppid=21022 vsize=39757936 CPUtime=4996.06 cores=0-31
/proc/21024/task/21047/stat : 21047 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1104049 0 0 0 498982 624 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4316813 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21024/tid=21048] ppid=21022 vsize=39757936 CPUtime=5003.31 cores=0-31
/proc/21024/task/21048/stat : 21048 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1060504 0 0 0 499709 622 0 0 25 0 32 0 6120916 40712126464 8131319 268435456000 4194304 4580107 140735830272432 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21024/tid=21049] ppid=21022 vsize=39757936 CPUtime=5003.51 cores=0-31
/proc/21024/task/21049/stat : 21049 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1003394 0 0 0 499728 623 0 0 25 0 32 0 6120916 40712126464 8131320 268435456000 4194304 4580107 140735830272432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21024/tid=21050] ppid=21022 vsize=39757936 CPUtime=5000.52 cores=0-31
/proc/21024/task/21050/stat : 21050 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 946822 0 0 0 499478 574 0 0 25 0 32 0 6120916 40712126464 8131321 268435456000 4194304 4580107 140735830272432 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21024/tid=21051] ppid=21022 vsize=39757936 CPUtime=5002.84 cores=0-31
/proc/21024/task/21051/stat : 21051 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 960220 0 0 0 499720 564 0 0 25 0 32 0 6120916 40712126464 8131321 268435456000 4194304 4580107 140735830272432 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21024/tid=21052] ppid=21022 vsize=39757936 CPUtime=5002.32 cores=0-31
/proc/21024/task/21052/stat : 21052 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1023806 0 0 0 499612 620 0 0 25 0 32 0 6120916 40712126464 8131321 268435456000 4194304 4580107 140735830272432 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21024/tid=21053] ppid=21022 vsize=39757936 CPUtime=5001.12 cores=0-31
/proc/21024/task/21053/stat : 21053 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1023186 0 0 0 499498 614 0 0 25 0 32 0 6120916 40712126464 8131322 268435456000 4194304 4580107 140735830272432 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21024/tid=21054] ppid=21022 vsize=39757936 CPUtime=5003.82 cores=0-31
/proc/21024/task/21054/stat : 21054 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 1045694 0 0 0 499751 631 0 0 18 0 32 0 6120916 40712126464 8131322 268435456000 4194304 4580107 140735830272432 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21024/tid=21055] ppid=21022 vsize=39757936 CPUtime=5003.38 cores=0-31
/proc/21024/task/21055/stat : 21055 (strangenight2-m) R 21022 21024 20998 0 -1 4202560 420041 0 0 0 500052 286 0 0 25 0 32 0 6120916 40712126464 8131322 268435456000 4194304 4580107 140735830272432 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 39757936

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21024

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

[startup+5027.12 s]
/proc/loadavg: 32.07 32.09 32.08 2/416 21206
/proc/meminfo: memFree=234984040/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=0 CPUtime=160002 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) Z 21022 21024 20998 0 -1 4203548 39829465 0 0 0 15977739 22473 0 0 25 0 2 0 6120915 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 0 0 0 0 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=0 CPUtime=4998.17 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4203588 1381424 0 0 0 498987 830 0 0 25 0 2 0 6120916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5027.9 s]
/proc/loadavg: 32.07 32.09 32.08 2/416 21206
/proc/meminfo: memFree=234984040/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=0 CPUtime=160003 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) Z 21022 21024 20998 0 -1 4203548 39829465 0 0 0 15977739 22551 0 0 25 0 2 0 6120915 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 0 0 0 0 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=0 CPUtime=4998.95 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4203588 1381424 0 0 0 498987 908 0 0 25 0 2 0 6120916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5028.7 s]
/proc/loadavg: 29.58 31.57 31.91 2/416 21206
/proc/meminfo: memFree=251699320/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=0 CPUtime=160004 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) Z 21022 21024 20998 0 -1 4203548 39829465 0 0 0 15977739 22631 0 0 25 0 2 0 6120915 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 0 0 0 0 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=0 CPUtime=4999.75 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4203588 1381424 0 0 0 498987 988 0 0 25 0 2 0 6120916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5028.9 s]
/proc/loadavg: 29.58 31.57 31.91 2/416 21206
/proc/meminfo: memFree=251699320/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=0 CPUtime=160004 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) Z 21022 21024 20998 0 -1 4203548 39829465 0 0 0 15977739 22651 0 0 25 0 2 0 6120915 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 0 0 0 0 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=0 CPUtime=4999.95 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4203588 1381424 0 0 0 498987 1008 0 0 25 0 2 0 6120916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5029 s]
/proc/loadavg: 29.58 31.57 31.91 2/416 21206
/proc/meminfo: memFree=251699320/264257624 swapFree=67044764/67111528
[pid=21024] ppid=21022 vsize=0 CPUtime=160004 cores=0-31
/proc/21024/stat : 21024 (strangenight2-m) Z 21022 21024 20998 0 -1 4203548 39829465 0 0 0 15977739 22661 0 0 25 0 2 0 6120915 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21024/statm: 0 0 0 0 0 0 0
[pid=21024/tid=21036] ppid=21022 vsize=0 CPUtime=5000.05 cores=0-31
/proc/21024/task/21036/stat : 21036 (strangenight2-m) R 21022 21024 20998 0 -1 4203588 1381424 0 0 0 498987 1018 0 0 25 0 2 0 6120916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5029.06
CPU time (s): 160004
CPU user time (s): 159777
CPU system time (s): 226.682
CPU usage (%): 3181.59
Max. virtual memory (cumulated for all children) (KiB): 39802088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159777
system time used= 226.682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39829465
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= 923042
involuntary context switches= 304024

runsolver used 26.6589 second user time and 113.523 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 02:25:49
IDJOB=3400803
IDBENCH=83109
IDSOLVER=1886
FILE ID=node200/3400803-1306801549
RUNJOBID= node200-1306801549-21012
PBS_JOBID= 13470333
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400803-1306801549/watcher-3400803-1306801549 -o /tmp/evaluation-result-3400803-1306801549/solver-3400803-1306801549 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400803-1306801549.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= c40bd543dad558d19995fef4fd742233
RANDOM SEED=1458136221

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263611052 kB
Buffers:         74520 kB
Cached:         386716 kB
SwapCached:      29944 kB
Active:         121944 kB
Inactive:       371240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263611052 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            9420 kB
Writeback:           0 kB
AnonPages:       29392 kB
Mapped:           8248 kB
Slab:            61136 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61568 MiB
End job on node200 at 2011-05-31 03:49:39