Trace number 3400842

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)UNSAT 10532 337.491

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.11	c This is CryptoMiniSat 3.0.0
0.00/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11	c Reading file 'HOME/instance-3400842-1306902737.cnf'
3.04/0.14	c -- header says num vars:           7794
3.04/0.14	c -- header says num clauses:      186934
17.62/1.04	c -- clauses added:            0 learnts,       186934 normals,            0 xors
17.62/1.04	c -- vars added       7794
17.62/1.04	c Parsing time:  0.22 s
17.62/1.04	c  N st     0         0      7794    166829     19877         0   1284511         0   no data   no data
32.81/1.57	c asymm  cl-useful: 0/2271/166721 lits-rem:0 time: 0.50
69.27/3.27	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  1.06
73.72/3.50	c Replacing       72 vars Replaced   120192 lits Time:     0.08 s 
94.37/5.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
94.37/5.46	c bin-w-bin subsume rem          138 bins  time:  0.00 s
94.37/5.48	c subs with bin:       56  lits-rem:         4  v-fix:    0  time:  0.01 s
94.37/5.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6293 time:  0.04 s
96.83/5.55	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.03 s
383.90/14.84	c lits-rem:         0  cl-subs:       21  v-elim:    736  v-fix:    0  time:  8.86 s
383.90/14.85	c Finding binary XORs  T:     0.01 s  found:       0
398.24/15.35	c Finding non-binary XORs:     0.45 s (found:       0, avg size: nan)
398.24/15.35	c calculated reachability. Time: 0.00
398.24/15.36	c Calc default polars -  time:   0.01 s pos:     294 undec:     938 neg:    6562
398.24/15.36	c =========================================================================================
398.24/15.36	c types(t): F = full restart, N = normal restart
398.24/15.36	c types(t): S = simplification begin/end, E = solution found
398.24/15.36	c restart types(rt): st = static, dy = dynamic
398.24/15.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
398.24/15.36	c  B st     0         0      6856    167594     17333         0   1299072         0   no data   no data
410.74/15.72	c  N dy    16      4177      6856    167594     17430      4028   1299071    160448     10.93     11.56
429.09/16.37	c  N dy    31      9246      6856    167594     19374      8981   1299069    372529      9.33      9.85
444.86/16.88	c  N dy    45     13314      6847    167594     20845     12982   1299069    518466      9.02      9.54
451.21/17.08	c Finding binary XORs  T:     0.01 s  found:       0
467.20/17.53	c  N dy    62     17395      6845    167585     20799     16937   1298894    667219      8.77      9.24
489.55/18.27	c  N dy    80     21525      6844    167585     22977     11273   1298894    279479      8.68      9.14
509.35/18.86	c  F st    90     25001      6844    167585     24239     14704   1298894    427686      8.53      8.22
515.11/19.02	c  N st    92     25627      6844    167583     24212     15315   1298876    449647      8.53   no data
515.11/19.03	c Finding binary XORs  T:     0.01 s  found:       0
537.49/19.77	c  N dy    96     30003      6843    167583     24220     19661   1298876    644060      8.53   no data
537.49/19.77	c  S st    96     30003      6843    167583     24220     19661   1298876    644060      8.53   no data
550.26/20.15	c  S st    96     30504      6843    167583     24259     20123   1298876    657419      8.53   no data
550.26/20.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
598.15/21.69	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 154642 BRemL: 140967 BRemN:      0 P: 28.5M T:  1.52
601.35/21.79	c blocked clauses removed:        0 vars:      0 tried:        6841 T: 0.00 s
601.35/21.79	c bin-w-bin subsume rem          279 bins  time:  0.00 s
604.55/21.82	c subs with bin:      162  lits-rem:      1573  v-fix:    0  time:  0.03 s
604.55/21.84	c Subs w/ non-existent bins:      2 l-rem:     23 v-fix:     0 done:   2376 time:  0.02 s
604.55/21.86	c Removed useless bin:       1  fixed:     0  props:   0.69M  time:  0.01 s
815.38/28.44	c lits-rem:         0  cl-subs:     1785  v-elim:    120  v-fix:    0  time:  6.58 s
818.57/28.53	c subs with bin:       73  lits-rem:      1245  v-fix:    0  time:  0.07 s
898.44/31.09	c lits-rem:        77  cl-subs:      464  v-elim:      0  v-fix:    0  time:  2.48 s
908.03/31.37	c asymm  cl-useful: 0/3043/165867 lits-rem:0 time: 0.28
908.03/31.38	c calculated reachability. Time: 0.01
908.03/31.38	c  N dy    96     30504      6721    165867     36687      9662   1285306    234890      8.53   no data
908.03/31.40	c Finding binary XORs  T:     0.01 s  found:       0
930.95/32.07	c  N dy   126     34519      6719    165867     37041     13646   1285305    404003      8.68     11.09
952.46/32.79	c  N dy   150     38646      6710    165867    170409     17749   1285305    824166      8.73      9.26
955.66/32.83	c Finding binary XORs  T:     0.02 s  found:       0
981.21/33.62	c  N dy   164     42681      6710    165858    169844     11360   1285120    504904      8.69      9.18
997.81/34.15	c  S st   185     45757      6709    165858    170866     14414   1285120    609541      8.71      8.51
1003.57/34.38	c  S st   185     46259      6709    165858    170866     14915   1285120    624747      8.71   no data
1006.76/34.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1045.12/35.63	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    795 BRemL: 134167 BRemN:      0 P: 25.8M T:  1.23
1048.32/35.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1048.32/35.72	c bin-w-bin subsume rem         1119 bins  time:  0.00 s
1048.32/35.75	c subs with bin:       99  lits-rem:       141  v-fix:    0  time:  0.02 s
1048.32/35.77	c Subs w/ non-existent bins:      5 l-rem:     32 v-fix:     0 done:   1265 time:  0.03 s
1048.32/35.79	c Removed useless bin:       1  fixed:     0  props:   0.66M  time:  0.01 s
1153.80/39.10	c lits-rem:         0  cl-subs:      137  v-elim:     34  v-fix:    0  time:  3.31 s
1160.19/39.22	c subs with bin:       86  lits-rem:       642  v-fix:    0  time:  0.10 s
1230.51/41.45	c lits-rem:       293  cl-subs:      316  v-elim:      0  v-fix:    0  time:  2.17 s
1233.71/41.52	c vivif2 --  cl tried   165671 cl shrink       64 lits rem         70 time: 0.07
1233.71/41.54	c vivif2 --  cl tried    11908 cl shrink      968 lits rem       2936 time: 0.02
1247.12/41.99	c asymm  cl-useful: 22/3645/165670 lits-rem:26 time: 0.45
1249.68/42.01	c calculated reachability. Time: 0.01
1249.68/42.01	c  N dy   185     46259      6674    165670     36089     11907   1282947    258626      8.71   no data
1275.23/42.91	c  N dy   199     50264      6674    165670     38019     15867   1282947    416329      8.63     13.03
1282.28/43.08	c Finding binary XORs  T:     0.01 s  found:       0
1303.99/43.72	c  N dy   222     54449      6669    165666     37850     19873   1282863    625967      8.63      9.11
1339.19/44.82	c  N dy   238     58806      6669    165666     38096     24198   1282863    775455      8.58      9.08
1374.32/45.98	c  N dy   252     63167      6668    165666     38106     28523   1282863    939981      8.52      9.01
1412.67/47.12	c  N dy   268     67491      6668    165666     38108     18180   1282863    387680      8.49      8.98
1428.64/47.64	c  S st   284     69389      6668    165666     38309     20073   1282863    459061      8.51      7.11
1441.43/48.02	c  S st   284     69893      6668    165666     38309     20575   1282863    476542      8.51   no data
1441.43/48.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1495.76/49.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    302 BRemL:   1665 BRemN:      1 P: 28.3M T:  1.74
1498.96/49.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1498.96/49.89	c bin-w-bin subsume rem           14 bins  time:  0.01 s
1502.15/49.91	c subs with bin:       61  lits-rem:       707  v-fix:    0  time:  0.03 s
1502.15/49.94	c Subs w/ non-existent bins:      2 l-rem:     15 v-fix:     0 done:   1742 time:  0.03 s
1502.15/49.96	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
1530.92/50.85	c lits-rem:         0  cl-subs:      874  v-elim:     16  v-fix:    0  time:  0.89 s
1540.55/51.11	c subs with bin:       73  lits-rem:       389  v-fix:    0  time:  0.23 s
1550.11/51.49	c lits-rem:       319  cl-subs:      536  v-elim:      0  v-fix:    0  time:  0.31 s
1553.31/51.57	c vivif2 --  cl tried   164728 cl shrink        8 lits rem          8 time: 0.08
1556.51/51.60	c vivif2 --  cl tried    19031 cl shrink     1567 lits rem      13692 time: 0.03
1572.48/52.17	c asymm  cl-useful: 14/490/164728 lits-rem:28 time: 0.57
1572.48/52.19	c calculated reachability. Time: 0.01
1572.48/52.19	c  N dy   284     69893      6652    164728     36825     19030   1274261    413624      8.51   no data
1626.82/53.87	c  N dy   302     74436      6652    164728     36826     23523   1274261    558123      8.48      9.51
1642.80/54.39	c Finding binary XORs  T:     0.01 s  found:       0
1684.33/55.70	c  N dy   312     80157      6650    164728     37373     29192   1274214    915569      8.37      8.83
1748.26/57.67	c  N dy   342     85344      6650    164728     37490     34327   1274214   1096899      8.40      8.85
1774.47/58.48	c  F st   357     87501      6650    164728     37558     36479   1274214   1185219      8.42      8.63
1802.62/59.39	c  N st   362     90798      6650    164728     37540     21511   1274168    446685      8.42   no data
1850.55/60.89	c  N dy   389     96666      6650    164728     37553     27350   1274168    712948      8.43     13.29
1920.87/63.01	c  N dy   417    102914      6650    164728     37639     33546   1274168    958225      8.45      9.00
1943.26/63.79	c  S st   425    104839      6650    164728     37641     35459   1274168   1038124      8.45   no data
1956.03/64.19	c  S st   425    105341      6650    164728     37641     35960   1274168   1054372      8.45   no data
1959.23/64.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2007.18/65.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    157 BRemL:    396 BRemN:      0 P: 29.3M T:  1.52
2010.38/65.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2010.38/65.82	c bin-w-bin subsume rem            7 bins  time:  0.00 s
2010.38/65.84	c subs with bin:        3  lits-rem:        23  v-fix:    0  time:  0.02 s
2010.38/65.87	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:   3227 time:  0.03 s
2010.38/65.89	c Removed useless bin:       1  fixed:     0  props:   0.59M  time:  0.01 s
2013.58/65.96	c lits-rem:         0  cl-subs:       13  v-elim:     10  v-fix:    0  time:  0.07 s
2032.74/66.55	c subs with bin:      154  lits-rem:       441  v-fix:    0  time:  0.52 s
2067.89/67.62	c lits-rem:       800  cl-subs:      862  v-elim:      0  v-fix:    0  time:  1.00 s
2067.89/67.69	c vivif2 --  cl tried   164717 cl shrink        0 lits rem          0 time: 0.07
2071.09/67.77	c vivif2 --  cl tried    32597 cl shrink     3795 lits rem      25224 time: 0.08
2087.68/68.29	c asymm  cl-useful: 12/461/164717 lits-rem:24 time: 0.52
2087.68/68.31	c calculated reachability. Time: 0.01
2087.68/68.31	c  N dy   425    105341      6640    164717     37361     32597   1274095    889445      8.45   no data
2106.26/68.89	c Finding binary XORs  T:     0.01 s  found:       0
2182.95/71.28	c  N dy   470    112148      6638    164715     37688     38742   1274075   1164031      8.48     11.50
2256.47/73.57	c  N dy   515    119921      6637    164715     38069     26904   1274075    633385      8.49      8.95
2337.01/76.04	c  N dy   536    127752      6637    164715     38086     34676   1274075    958442      8.46      8.97
2425.88/78.86	c  N dy   585    136069      6636    164715     38158     42955   1274075   1347334      8.48      8.97
2457.85/79.86	c Finding binary XORs  T:     0.01 s  found:       0
2521.77/81.85	c  N dy   628    144974      6636    164713     38167     29271   1274055    658002      8.48      8.96
2627.26/85.15	c  N dy   666    154241      6636    164713     38251     38482   1274055   1094249      8.48      9.83
2672.01/86.56	c  S st   685    158013      6636    164713     38534     42235   1274055   1292688      8.49      8.20
2685.42/86.96	c  S st   685    158518      6636    164713     38534     42739   1274055   1311599      8.49   no data
2685.42/86.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2735.94/88.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     58 BRemL:    527 BRemN:      0 P: 30.5M T:  1.53
2739.14/88.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2739.14/88.60	c bin-w-bin subsume rem           10 bins  time:  0.00 s
2739.14/88.63	c subs with bin:       34  lits-rem:        66  v-fix:    0  time:  0.02 s
2739.14/88.66	c Subs w/ non-existent bins:      5 l-rem:     12 v-fix:     0 done:   4572 time:  0.03 s
2739.14/88.67	c Removed useless bin:       1  fixed:     0  props:   0.56M  time:  0.01 s
2742.34/88.74	c lits-rem:         0  cl-subs:       55  v-elim:     25  v-fix:    0  time:  0.07 s
2767.91/89.51	c subs with bin:      271  lits-rem:      1969  v-fix:    0  time:  0.69 s
2819.05/91.12	c lits-rem:      1045  cl-subs:     1111  v-elim:      0  v-fix:    0  time:  1.55 s
2819.05/91.19	c vivif2 --  cl tried   164659 cl shrink       12 lits rem         12 time: 0.07
2822.25/91.28	c vivif2 --  cl tried    35733 cl shrink     4842 lits rem      43260 time: 0.09
2838.22/91.76	c asymm  cl-useful: 38/471/164659 lits-rem:76 time: 0.48
2838.22/91.78	c calculated reachability. Time: 0.01
2838.22/91.78	c  N dy   685    158518      6611    164659     37937     35733   1273638    954080      8.49   no data
2889.37/93.34	c Finding binary XORs  T:     0.01 s  found:       0
2972.47/95.92	c  N dy   730    168705      6608    164658     38576     24474   1273583    429274      8.48      8.94
3103.49/100.09	c  N dy   797    179511      6608    164658     38751     35221   1273583    820687      8.53      9.27
3266.51/105.17	c  N dy   857    191255      6608    164658     38898     46901   1273582   1272846      8.54      9.07
3292.07/105.96	c Finding binary XORs  T:     0.01 s  found:       0
3397.56/109.24	c  N dy   919    203615      6605    164656     38738     35119   1273516    760316      8.55      9.02
3560.59/114.34	c  N dy   996    216687      6603    164656     38802     48122   1273515   1271305      8.59     10.41
3730.01/119.68	c  N dy  1078    230612      6602    164656     38847     36328   1273515    768586      8.62     10.77
3825.89/122.69	c  S st  1112    237777      6602    164656     38862     43447   1273515   1029259      8.62   no data
3841.89/123.11	c  S st  1112    238279      6602    164656     38862     43948   1273515   1044837      8.62   no data
3841.89/123.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3905.81/125.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    509 BRemL:    703 BRemN:      0 P: 32.8M T:  2.02
3909.00/125.21	c Replacing        1 vars Replaced     1843 lits Time:     0.06 s 
3909.00/125.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3909.00/125.29	c bin-w-bin subsume rem           11 bins  time:  0.00 s
3912.20/125.32	c subs with bin:       69  lits-rem:       779  v-fix:    0  time:  0.03 s
3912.20/125.35	c Subs w/ non-existent bins:      3 l-rem:      4 v-fix:     0 done:   1324 time:  0.03 s
3912.20/125.36	c Removed useless bin:       0  fixed:     0  props:   0.52M  time:  0.01 s
3934.57/126.07	c lits-rem:         0  cl-subs:      841  v-elim:     22  v-fix:    0  time:  0.71 s
3947.37/126.51	c subs with bin:      286  lits-rem:      1499  v-fix:    0  time:  0.38 s
3982.53/127.59	c lits-rem:      1045  cl-subs:      926  v-elim:      0  v-fix:    0  time:  1.02 s
3986.28/127.67	c vivif2 --  cl tried   163755 cl shrink        4 lits rem          4 time: 0.08
3989.52/127.75	c vivif2 --  cl tried    36698 cl shrink     4393 lits rem      20426 time: 0.07
4008.06/128.38	c asymm  cl-useful: 22/448/163755 lits-rem:39 time: 0.63
4008.06/128.40	c calculated reachability. Time: 0.01
4008.06/128.40	c  N dy  1112    238279      6579    163755     38320     36696   1265291    787814      8.62   no data
4011.25/128.41	c Finding binary XORs  T:     0.01 s  found:       0
4222.22/135.05	c  N dy  1170    253537      6575    163755     38803     27653   1265291    447390      8.61     12.32
4401.24/140.62	c Finding binary XORs  T:     0.01 s  found:       0
4436.40/141.72	c  N dy  1232    269722      6575    163751     38647     43293   1265253   1063677      8.59      9.05
4685.71/149.51	c  N dy  1310    287007      6575    163751     38700     33652   1265253    586825      8.58     10.52
4950.98/157.88	c  N dy  1399    305452      6573    163751     38761     51942   1265253   1306811      8.58      9.05
4966.97/158.32	c  F st  1404    306250      6573    163751     38761     52734   1265253   1336712      8.58      5.82
5232.27/166.64	c  N dy  1488    325009      6571    163750     38723     42185   1265196    872994      8.60     10.61
5322.40/169.43	c Finding binary XORs  T:     0.01 s  found:       0
5568.53/177.15	c  N dy  1602    345495      6569    163747     38817     32288   1265165    441996      8.62      9.08
5709.19/181.60	c  S st  1666    357418      6568    163747     38849     44138   1265165    912650      8.63      7.20
5724.54/182.01	c  S st  1666    357923      6568    163747     38849     44641   1265165    931688      8.63   no data
5724.54/182.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5772.50/183.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    201 BRemL:    677 BRemN:      0 P: 30.3M T:  1.50
5775.69/183.60	c Replacing        1 vars Replaced     4929 lits Time:     0.06 s 
5775.69/183.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5775.69/183.68	c bin-w-bin subsume rem           21 bins  time:  0.00 s
5775.69/183.71	c subs with bin:       59  lits-rem:       102  v-fix:    0  time:  0.02 s
5779.51/183.74	c Subs w/ non-existent bins:     14 l-rem:      3 v-fix:     0 done:   3529 time:  0.03 s
5779.51/183.75	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.01 s
5807.65/184.60	c lits-rem:         2  cl-subs:       43  v-elim:     43  v-fix:    0  time:  0.85 s
5817.87/184.98	c subs with bin:      529  lits-rem:      1146  v-fix:    0  time:  0.33 s
5842.78/185.71	c lits-rem:       913  cl-subs:      806  v-elim:      0  v-fix:    0  time:  0.66 s
5842.78/185.78	c vivif2 --  cl tried   163709 cl shrink       33 lits rem         33 time: 0.07
5845.98/185.84	c vivif2 --  cl tried    35409 cl shrink     3369 lits rem      12359 time: 0.06
5861.96/186.34	c asymm  cl-useful: 11/405/163706 lits-rem:11 time: 0.50
5861.96/186.36	c calculated reachability. Time: 0.01
5861.96/186.36	c  N dy  1666    357923      6524    163706     38050     35408   1265386    642934      8.63   no data
5920.13/188.19	c Finding binary XORs  T:     0.01 s  found:       0
6149.63/195.34	c  N dy  1757    378161      6523    163705     38204     28102   1265377    338979      8.63      9.12
6418.12/203.77	c  N dy  1830    398324      6521    163705     38399     48097   1265377   1259269      8.61      9.15
6421.32/203.80	c Finding binary XORs  T:     0.01 s  found:       0
6696.86/212.49	c  N dy  1919    418330      6520    163703     38310     37289   1265359    603195      8.61      9.07
6961.52/220.78	c  N dy  2033    438340      6518    163703     38379     57199   1265359   1385601      8.62      9.90
7134.13/226.20	c Finding binary XORs  T:     0.01 s  found:       0
7236.42/229.38	c  N dy  2145    458350      6516    163699     38838     43631   1265277    847663      8.63     10.17
7540.71/238.86	c  N dy  2254    478355      6512    163699     38900     63532   1265276   1629865      8.65     11.83
7843.73/248.33	c  N dy  2370    498417      6512    163699     38952     49691   1265275    964590      8.67     10.19
8243.94/260.87	c  N dy  2488    518991      6512    163699     39601     70160   1265274   1730771      8.69      9.27
8246.50/260.91	c Finding binary XORs  T:     0.01 s  found:       0
8527.80/269.76	c  S st  2582    536885      6510    163695     39254     52401   1265234   1060491      8.69      7.98
8546.99/270.39	c  S st  2582    537388      6509    163695     39264     52904   1265234   1076202      8.69   no data
8550.16/270.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8617.28/272.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    533 BRemL:   1078 BRemN:      1 P: 33.7M T:  2.08
8617.28/272.56	c Replacing        1 vars Replaced     1857 lits Time:     0.06 s 
8620.48/272.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8620.48/272.65	c bin-w-bin subsume rem           27 bins  time:  0.00 s
8627.46/272.84	c subs with bin:     3740  lits-rem:       834  v-fix:    0  time:  0.18 s
8627.46/272.87	c Subs w/ non-existent bins:     22 l-rem:      8 v-fix:     0 done:   3893 time:  0.04 s
8627.46/272.88	c Removed useless bin:       3  fixed:     0  props:   0.49M  time:  0.01 s
8649.25/273.55	c lits-rem:         0  cl-subs:      867  v-elim:     49  v-fix:    0  time:  0.66 s
8662.66/273.92	c subs with bin:      689  lits-rem:      3538  v-fix:    0  time:  0.32 s
8703.58/275.26	c lits-rem:      1166  cl-subs:     1564  v-elim:      0  v-fix:    0  time:  1.28 s
8706.78/275.34	c vivif2 --  cl tried   159135 cl shrink       35 lits rem         35 time: 0.08
8709.98/275.42	c vivif2 --  cl tried    41308 cl shrink     5220 lits rem      17036 time: 0.08
8729.16/276.09	c asymm  cl-useful: 44/359/159132 lits-rem:52 time: 0.67
8729.16/276.11	c calculated reachability. Time: 0.01
8729.16/276.11	c  N dy  2582    537388      6459    159132     38099     41294   1231919    719279      8.69   no data
8751.53/276.75	c Finding binary XORs  T:     0.01 s  found:       0
8972.09/283.64	c Finding binary XORs  T:     0.01 s  found:       0
9093.55/287.46	c  N dy  2648    557452      6456    159131     39135     61021   1231910   1499254      8.67      9.13
9358.88/295.78	c Finding binary XORs  T:     0.01 s  found:       0
9406.83/297.23	c  N dy  2721    578366      6453    159127     39652     49546   1231872   1062818      8.66      9.13
9803.18/309.62	c  N dy  2817    598416      6449    159127     40389     69430   1231872   1788047      8.66      9.18
9803.18/309.67	c Finding binary XORs  T:     0.01 s  found:       4
10084.47/318.46	c  N dy  2862    618455      6423    159117     40355     52653   1231768   1081265      8.63     10.81
10113.24/319.37	c Finding binary XORs  T:     0.01 s  found:      33
10391.33/328.06	c Finding binary XORs  T:     0.01 s  found:       6
10442.46/329.66	c  N dy  2914    639107      6389    157194     46576     30804   1192594    388650      8.60      9.07
10448.85/329.89	c Finding binary XORs  T:     0.01 s  found:      35
10455.87/330.06	c Replacing       78 vars Replaced   116678 lits Time:     0.18 s 
10531.71/337.20	c Following stats are for *FIRST FINISHED THREAD ONLY*
10531.71/337.20	c num threads              : 32         
10531.71/337.20	c restarts                 : 2816       
10531.71/337.20	c dynamic restarts         : 2792       
10531.71/337.20	c static restarts          : 24         
10531.71/337.21	c full restarts            : 3          
10531.71/337.21	c total simplify time      : 1.15       
10531.71/337.21	c learnts DL2              : 0          
10531.71/337.21	c learnts size 2           : 205389     
10531.71/337.21	c learnts size 1           : 704         (9.03      % of vars)
10531.71/337.21	c filedLit time            : 4.91        (1.47      % time)
10531.71/337.21	c v-elim SatELite          : 1013        (13.00     % vars)
10531.71/337.21	c SatELite time            : 30.87       (9.25      % time)
10531.71/337.21	c v-elim xor               : 0           (0.00      % vars)
10531.71/337.21	c xor elim time            : 0.05        (0.01      % time)
10531.71/337.21	c num binary xor trees     : 117        
10531.71/337.21	c binxor trees' crown      : 156         (1.33      leafs/tree)
10531.71/337.21	c bin xor find time        : 0.36       
10531.71/337.21	c OTF clause improved      : 4284        (0.01      clauses/conflict)
10531.71/337.21	c OTF impr. size diff      : 5466        (1.28       lits/clause)
10531.71/337.21	c OTF cl watch-shrink      : 509306      (0.70      clauses/conflict)
10531.71/337.21	c OTF cl watch-sh-lit      : 2349636     (4.61       lits/clause)
10531.71/337.21	c tried to recurMin cls    : 260071      (35.95      % of conflicts)
10531.71/337.21	c updated cache            : 9744        (0.04       lits/tried recurMin)
10531.71/337.21	c unit cls recevied        : 125         (17.76     % of units)
10531.71/337.21	c unit cls sent            : 4           (0.57      % of units)
10531.71/337.21	c bin cls recevied         : 182498     
10531.71/337.21	c bin cls sent             : 1151       
10531.71/337.21	c clauses over max glue    : 0           (0.00      % of all clauses)
10531.71/337.21	c conflicts                : 723445      (2168.47   / sec)
10531.71/337.21	c decisions                : 1145117     (2.74      % random)
10531.71/337.21	c bogo-props               : 13715474132 (41111155.36 / sec)
10531.71/337.21	c conflict literals        : 28624237    (39.09     % deleted)
10531.71/337.21	c Memory used              : 6014.52     MB
10531.71/337.21	c single-thread CPU time   : 333.62      s
10531.71/337.21	c all-threads sum CPU time : 10506.59    s
10531.71/337.21	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400842-1306902737/watcher-3400842-1306902737 -o /tmp/evaluation-result-3400842-1306902737/solver-3400842-1306902737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400842-1306902737.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: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=338000 CPUtime=0.66 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) R 27848 27850 27585 0 -1 4202496 437 0 0 0 66 0 0 0 25 0 32 0 16239705 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 84500 376 297 95 0 79482 0
[pid=27850/tid=27851] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434614 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434600 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434600 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.112901 s]
/proc/loadavg: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=403544 CPUtime=3.04 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 632 0 0 0 304 0 0 0 25 0 32 0 16239705 413229056 467 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 133654 474 315 95 0 128636 0
[pid=27850/tid=27851] ppid=27848 vsize=469088 CPUtime=0.1 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 10 0 0 0 23 0 32 0 16239706 480346112 476 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604457664175584 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=469080 CPUtime=0.1 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 16239706 480337920 484 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604488554847712 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=469084 CPUtime=0.1 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 16 0 0 0 10 0 0 0 18 0 32 0 16239706 480342016 486 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=469088 CPUtime=0.1 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 24 0 32 0 16239706 480346112 507 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604646281764320 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 36 0 0 0 10 0 0 0 18 0 32 0 16239706 480350208 531 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 16239706 480350208 559 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604450480635360 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 7 0 0 0 10 0 0 0 24 0 32 0 16239706 480350208 612 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650954027 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=469096 CPUtime=0.1 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 24 0 32 0 16239706 480354304 622 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604651253734880 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=469096 CPUtime=0.1 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 44 0 0 0 10 0 0 0 25 0 32 0 16239706 480354304 660 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=469100 CPUtime=0.1 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 480358400 661 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604450636094944 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=469100 CPUtime=0.1 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 480358400 666 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=469104 CPUtime=0.1 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 8 0 0 0 10 0 0 0 18 0 32 0 16239706 480362496 668 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 669 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604465177837024 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 24 0 32 0 16239706 614580224 669 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604489064037856 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 671 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604499982663136 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 680 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604502318185952 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=534640 CPUtime=0.1 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 547471360 688 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 4 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=534644 CPUtime=0.1 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 4 0 0 0 10 0 0 0 25 0 32 0 16239706 547475456 688 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604712474893792 0 0 -1 13 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=534644 CPUtime=0.1 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 547475456 689 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=534644 CPUtime=0.09 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 38 0 0 0 9 0 0 0 18 0 32 0 16239706 547475456 693 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=534644 CPUtime=0 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 32 0 16239706 547475456 721 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604703882599904 0 0 -1 29 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 12 0 0 0 9 0 0 0 18 0 32 0 16239706 547479552 727 268435456000 4194304 4580107 140734132643424 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 728 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604506194664928 0 0 -1 26 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 15 0 0 0 9 0 0 0 18 0 32 0 16239706 547479552 737 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 4 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 765 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 8 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 765 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=534652 CPUtime=0.09 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 32 0 16239706 547483648 774 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604499580157408 0 0 -1 22 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 774 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604506187808224 0 0 -1 19 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 776 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604467661250016 0 0 -1 25 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 779 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604455042792928 0 0 -1 23 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=600188 CPUtime=0.09 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 55 0 0 0 9 0 0 0 18 0 32 0 16239706 614592512 782 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 403544

[startup+0.202934 s]
/proc/loadavg: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=1389720 CPUtime=4.48 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) R 27848 27850 27585 0 -1 4202496 13478 0 0 0 329 119 0 0 17 0 32 0 16239705 1423073280 13313 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 347430 13323 335 95 0 342412 0
[pid=27850/tid=27851] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 411 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13343 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 390 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13361 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 412 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13390 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604505446260192 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 439 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13392 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=1389720 CPUtime=0.15 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 449 0 0 0 11 4 0 0 17 0 32 0 16239706 1423073280 13398 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 388 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13402 268435456000 4194304 4580107 140734132643424 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 393 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13422 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 397 0 0 0 11 2 0 0 17 0 32 0 16239706 1423073280 13428 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566923704 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 408 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13433 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 406 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13440 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 411 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13446 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 390 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13451 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604461616897504 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 379 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13453 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604666252287456 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 435 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13482 268435456000 4194304 4580107 140734132643424 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 399 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13486 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 379 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13507 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31

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

/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56307 0 0 0 33196 69 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 4502095 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=332.93 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 63880 0 0 0 33207 86 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=326.94 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69897 0 0 0 32624 70 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10527.8
Current children cumulated vsize (KiB) 6158860

[startup+336.802 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=6158860 CPUtime=10530.7 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 1959573 0 0 0 1050551 2514 0 0 25 0 32 0 16239705 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 1539715 1004039 378 95 0 1534697 0
[pid=27850/tid=27851] ppid=27848 vsize=6158860 CPUtime=328.4 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52791 0 0 0 32758 82 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489064037856 0 0 -1 0 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=6158860 CPUtime=329.09 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52690 0 0 0 32829 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604453049286112 0 0 -1 16 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=6158860 CPUtime=328.2 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 51319 0 0 0 32751 69 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461182459360 0 0 -1 8 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=6158860 CPUtime=328.97 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50805 0 0 0 32822 75 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604553994034656 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=6158860 CPUtime=328.32 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60567 0 0 0 32755 77 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744071566929224 0 0 -1 17 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 71692 0 0 0 32755 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450636094944 0 0 -1 20 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=6158860 CPUtime=329.67 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60089 0 0 0 32889 78 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58593 0 0 0 32771 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604448684719584 0 0 -1 26 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50942 0 0 0 32766 75 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604466982026720 0 0 -1 13 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=6158860 CPUtime=328.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 66806 0 0 0 32719 83 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499580157408 0 0 -1 4 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=6158860 CPUtime=328.45 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 78743 0 0 0 32750 95 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604711635705312 0 0 -1 3 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=6158860 CPUtime=327.89 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 47843 0 0 0 32731 58 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604457664175584 0 0 -1 23 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=6158860 CPUtime=328.62 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67774 0 0 0 32773 89 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461616897504 0 0 -1 30 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=6158860 CPUtime=328.42 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60654 0 0 0 32759 83 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450480635360 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=6158860 CPUtime=329.08 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52329 0 0 0 32822 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604467661250016 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=6158860 CPUtime=329 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58125 0 0 0 32820 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604651253734880 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=6158860 CPUtime=333.97 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56128 0 0 0 33321 76 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440409796 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=6158860 CPUtime=328.93 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54841 0 0 0 32812 81 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506187808224 0 0 -1 27 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=6158860 CPUtime=329.47 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 57733 0 0 0 32877 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604505446260192 0 0 -1 10 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=6158860 CPUtime=329.17 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67520 0 0 0 32837 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604465177837024 0 0 -1 1 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=6158860 CPUtime=328.3 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59612 0 0 0 32744 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604455042792928 0 0 -1 21 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=6158860 CPUtime=328.06 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59844 0 0 0 32735 71 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604646281764320 0 0 -1 15 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=6158860 CPUtime=328.16 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 73419 0 0 0 32728 88 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604488554847712 0 0 -1 6 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=6158860 CPUtime=333.13 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 56307 0 0 0 33244 69 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604712474893792 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=333.72 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 64199 0 0 0 33286 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=327.74 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69903 0 0 0 32704 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 4416457 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10530.6
Current children cumulated vsize (KiB) 6158860

[startup+337.202 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=6158860 CPUtime=10531.7 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 1959578 0 0 0 1050657 2514 0 0 25 0 32 0 16239705 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 1539715 1004044 378 95 0 1534697 0
[pid=27850/tid=27851] ppid=27848 vsize=6158860 CPUtime=328.4 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52791 0 0 0 32758 82 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489064037856 0 0 -1 0 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=6158860 CPUtime=329.09 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52690 0 0 0 32829 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604453049286112 0 0 -1 16 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=6158860 CPUtime=328.2 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 51319 0 0 0 32751 69 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461182459360 0 0 -1 8 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=6158860 CPUtime=328.97 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50805 0 0 0 32822 75 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604553994034656 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=6158860 CPUtime=328.32 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60567 0 0 0 32755 77 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744071566929224 0 0 -1 17 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 71692 0 0 0 32755 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450636094944 0 0 -1 20 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=6158860 CPUtime=329.67 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60089 0 0 0 32889 78 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58593 0 0 0 32771 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604448684719584 0 0 -1 26 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50942 0 0 0 32766 75 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604466982026720 0 0 -1 13 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=6158860 CPUtime=328.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 66806 0 0 0 32719 83 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499580157408 0 0 -1 4 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=6158860 CPUtime=328.45 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 78743 0 0 0 32750 95 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604711635705312 0 0 -1 3 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=6158860 CPUtime=327.89 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 47843 0 0 0 32731 58 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604457664175584 0 0 -1 23 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=6158860 CPUtime=328.62 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67774 0 0 0 32773 89 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461616897504 0 0 -1 30 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=6158860 CPUtime=328.42 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60654 0 0 0 32759 83 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450480635360 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=6158860 CPUtime=329.08 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52329 0 0 0 32822 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604467661250016 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=6158860 CPUtime=329 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58125 0 0 0 32820 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604651253734880 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=6158860 CPUtime=334.37 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56128 0 0 0 33361 76 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440409643 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=6158860 CPUtime=328.93 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54841 0 0 0 32812 81 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506187808224 0 0 -1 27 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=6158860 CPUtime=329.47 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 57733 0 0 0 32877 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604505446260192 0 0 -1 10 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=6158860 CPUtime=329.17 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67520 0 0 0 32837 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604465177837024 0 0 -1 1 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=6158860 CPUtime=328.3 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59612 0 0 0 32744 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604455042792928 0 0 -1 21 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=6158860 CPUtime=328.06 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59844 0 0 0 32735 71 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604646281764320 0 0 -1 15 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=6158860 CPUtime=328.16 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 73419 0 0 0 32728 88 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604488554847712 0 0 -1 6 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=6158860 CPUtime=333.13 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 56307 0 0 0 33244 69 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604712474893792 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=333.98 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 64199 0 0 0 33312 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506164370912 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=328.14 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69908 0 0 0 32744 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 4290997 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10531.7
Current children cumulated vsize (KiB) 6158860

[startup+337.401 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=0 CPUtime=10531.9 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) Z 27848 27850 27585 0 -1 4203548 1959582 0 0 0 1050658 2535 0 0 18 0 2 0 16239705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 0 0 0 0 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=0 CPUtime=328.34 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4203588 69908 0 0 0 32745 89 0 0 25 0 2 0 16239706 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 10531.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 337.491
CPU time (s): 10532
CPU user time (s): 10506.6
CPU system time (s): 25.4481
CPU usage (%): 3120.69
Max. virtual memory (cumulated for all children) (KiB): 6553160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10506.6
system time used= 25.4481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1959582
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= 481675
involuntary context switches= 27942

runsolver used 2.12868 second user time and 7.59984 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 06:32:17
IDJOB=3400842
IDBENCH=83446
IDSOLVER=1886
FILE ID=node200/3400842-1306902737
RUNJOBID= node200-1306902580-27599
PBS_JOBID= 13471403
Free space on /tmp= 61572 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400842-1306902737/watcher-3400842-1306902737 -o /tmp/evaluation-result-3400842-1306902737/solver-3400842-1306902737 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400842-1306902737.cnf

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=696079386

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:      263452568 kB
Buffers:        173476 kB
Cached:         419724 kB
SwapCached:      29976 kB
Active:         157760 kB
Inactive:       468124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263452568 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:           12620 kB
Writeback:           0 kB
AnonPages:       29760 kB
Mapped:           8860 kB
Slab:            75912 kB
PageTables:       4900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   201116 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-06-01 06:37:55