Trace number 3400660

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 42567.9 1396.32

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26416.7
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400660-1306301982.cnf'
0.00/0.08	c -- header says num vars:         200308
0.00/0.08	c -- header says num clauses:      598619
83.77/5.44	c -- clauses added:            0 learnts,       598619 normals,            0 xors
83.77/5.44	c -- vars added     200308
83.77/5.44	c Parsing time:  0.86 s
83.77/5.44	c  N st     0         0    200308    199539    399078         0   1396773         0   no data   no data
146.41/7.58	c asymm  cl-useful: 0/452/199522 lits-rem:0 time: 2.12
1391.89/46.58	c Flit:    11 Blit:     55 bXBeca:    0 bXProp:  171 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 38.99
1396.99/46.74	c Replacing      171 vars Replaced     3396 lits Time:     0.15 s 
1428.72/48.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1430.49/48.52	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1434.85/48.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
1652.66/55.74	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:    15 done:  37169 time:  6.84 s
1668.22/56.26	c Removed useless bin:       0  fixed:     0  props:  20.07M  time:  0.52 s
1801.93/60.85	c lits-rem:         0  cl-subs:     1430  v-elim:  66681  v-fix:    0  time:  3.16 s
1805.08/60.93	c Finding binary XORs  T:     0.08 s  found:      12
1808.20/61.01	c Replacing       12 vars Replaced      192 lits Time:     0.08 s 
1814.44/61.21	c Finding non-binary XORs:     0.12 s (found:    7993, avg size: 3.0)
1814.44/61.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1814.44/61.25	c calculated reachability. Time: 0.00
1817.62/61.30	c Calc default polars -  time:   0.05 s pos:    1981 undec:   80072 neg:  118255
1817.62/61.30	c =========================================================================================
1817.62/61.30	c types(t): F = full restart, N = normal restart
1817.62/61.30	c types(t): S = simplification begin/end, E = solution found
1817.62/61.30	c restart types(rt): st = static, dy = dynamic
1817.62/61.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1817.62/61.30	c  B st     0         0    133337    178626    248652         0   1156172         0   no data   no data
2060.81/69.40	c  N dy    11      5596    133337    178626    248690      5452   1156172    337097     24.65     26.71
2239.23/83.81	c  N dy    16     12652    133274    178626    249610     12390   1156172    616336     17.19     18.65
2434.68/114.44	c  N dy    21     17479    133272    178626    250945     17110   1156172    824216     15.30     16.12
2575.32/118.86	c  N dy    28     21560    133267    178626    251840     11335   1156172    297575     14.71     15.77
2728.07/123.66	c  F st    43     25000    133266    178626    251865     14684   1156172    477645     14.82   no data
2766.36/124.82	c Finding binary XORs  T:     0.09 s  found:     217
2827.09/126.77	c  N st    45     25626    133266    177928    251064     15262   1151462    509218     14.82   no data
3044.43/133.56	c  N dy    49     30001    133234    177928    252022     19455   1151462    721066     14.82   no data
3044.43/133.56	c  S st    49     30001    133234    177928    252022     19455   1151462    721066     14.82   no data
3095.59/135.21	c  S st    49     30502    133234    177928    252029     19945   1151462    747473     14.82   no data
3099.40/135.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3958.59/162.12	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  118 Bins:  84534 BRemL:     60 BRemN:      0 P: 200.0M T: 26.83
3964.98/162.30	c Replacing      335 vars Replaced    11273 lits Time:     0.16 s 
3968.21/162.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3971.38/162.52	c bin-w-bin subsume rem          635 bins  time:  0.07 s
3974.58/162.70	c subs with bin:      826  lits-rem:       768  v-fix:    0  time:  0.18 s
4089.64/166.25	c Subs w/ non-existent bins:    499 l-rem:   2312 v-fix:     0 done:  55215 time:  3.55 s
4099.23/166.53	c Removed useless bin:       4  fixed:     0  props:  20.04M  time:  0.28 s
4150.35/168.11	c lits-rem:       291  cl-subs:     1628  v-elim:  55935  v-fix:    0  time:  1.49 s
4154.17/168.23	c subs with bin:       58  lits-rem:       541  v-fix:    0  time:  0.08 s
4159.93/168.48	c lits-rem:       337  cl-subs:      266  v-elim:      0  v-fix:    0  time:  0.15 s
4198.29/169.68	c asymm  cl-useful: 569/18585/207664 lits-rem:569 time: 1.19
4201.48/169.73	c calculated reachability. Time: 0.01
4201.48/169.73	c  N dy    49     30502     76963    207664    155434      6990   1057764    228282     14.82   no data
4204.68/169.80	c Finding binary XORs  T:     0.07 s  found:      29
4372.88/175.63	c  N dy    56     36022     76917    207664    158761     12278   1057764    445946     14.09     15.04
4602.87/191.56	c  N dy    69     40071     76916    207664    159971     16190   1057764    594392     14.15     34.50
4647.68/195.19	c  N dy    92     44459     76916    207664    159997     11724   1057764    400630     14.67     15.67
4812.18/204.91	c  S st   101     45754     76916    207664    166792     12965   1057764    467143     14.78   no data
4840.95/205.84	c Finding binary XORs  T:     0.07 s  found:     349
4860.13/206.44	c  S st   101     46259     76913    206458    165090     13342   1046310    492556     14.78   no data
4863.33/206.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
5431.14/224.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3962 BRemL:     46 BRemN:      0 P: 200.0M T: 17.89
5436.90/224.50	c Replacing      378 vars Replaced    15082 lits Time:     0.09 s 
5440.09/224.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5443.30/224.70	c bin-w-bin subsume rem         1407 bins  time:  0.05 s
5446.49/224.85	c subs with bin:     1866  lits-rem:       222  v-fix:    0  time:  0.14 s
5472.05/225.64	c Subs w/ non-existent bins:   1503 l-rem:   7845 v-fix:     0 done:  76537 time:  0.79 s
5484.85/226.02	c Removed useless bin:     342  fixed:     0  props:  20.00M  time:  0.38 s
5497.65/226.44	c lits-rem:         0  cl-subs:      293  v-elim:    854  v-fix:    0  time:  0.41 s
5501.46/226.60	c subs with bin:      159  lits-rem:       793  v-fix:    0  time:  0.11 s
5510.42/226.89	c lits-rem:       422  cl-subs:      237  v-elim:      0  v-fix:    0  time:  0.18 s
5558.37/228.39	c asymm  cl-useful: 48/13819/203801 lits-rem:48 time: 1.50
5561.57/228.44	c calculated reachability. Time: 0.01
5561.57/228.44	c  N dy   101     46259     75683    203801    160447     10200   1046302    329862     14.78   no data
5564.76/228.51	c Finding binary XORs  T:     0.07 s  found:       0
5718.17/233.32	c  N dy   119     50521     75683    203801    160463     14285   1046302    492731     14.93     16.11
5900.37/239.05	c  N dy   133     54546     75669    203801    164221     18044   1046300    655353     15.10     17.24
6034.63/243.21	c  N dy   142     58880     75656    203801    165538     22279   1046300    818883     15.03     15.83
6159.28/247.11	c  N dy   150     63464     75656    203801    165548     26760   1046300   1069838     14.79     15.59
6162.47/247.22	c Finding binary XORs  T:     0.07 s  found:     327
6351.05/253.14	c  N dy   178     67560     75656    202773    148932     17124   1039549    510704     15.13     15.95
6392.61/254.44	c  S st   181     69392     75656    202773    148933     18916   1039549    567327     15.03     11.11
6434.17/255.70	c  S st   181     69893     75656    202773    148966     19379   1039549    589196     15.03   no data
6434.17/255.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
7095.78/276.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  10348 BRemL:      0 BRemN:      0 P: 200.0M T: 20.62
7098.98/276.51	c Replacing      332 vars Replaced    46567 lits Time:     0.09 s 
7102.18/276.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7105.38/276.71	c bin-w-bin subsume rem          943 bins  time:  0.04 s
7108.58/276.85	c subs with bin:     1303  lits-rem:         7  v-fix:    0  time:  0.13 s
7137.34/277.73	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  75324 time:  0.88 s
7150.13/278.20	c Removed useless bin:      12  fixed:     0  props:  16.04M  time:  0.47 s
7162.90/278.54	c lits-rem:         4  cl-subs:       11  v-elim:     42  v-fix:    0  time:  0.33 s
7169.30/278.76	c subs with bin:      139  lits-rem:      1161  v-fix:    0  time:  0.14 s
7182.10/279.15	c lits-rem:       940  cl-subs:      633  v-elim:      0  v-fix:    0  time:  0.28 s
7233.23/280.78	c asymm  cl-useful: 199/6601/201069 lits-rem:227 time: 1.63
7236.43/280.82	c calculated reachability. Time: 0.01
7236.43/280.83	c  N dy   181     69893     75282    201068    156172     18069   1035063    551300     15.03   no data
7316.35/283.34	c Finding binary XORs  T:     0.07 s  found:     189
7440.99/287.26	c  N dy   200     76130     75262    200566    174163     23636   1032078    833126     14.96     16.21
7649.41/293.74	c  N dy   219     81046     75257    200566    174845     28322   1032077   1061599     15.05     32.51
7825.20/299.29	c  N dy   236     86283     75255    200566    175819     33406   1032076   1266886     14.96     26.09
7907.71/301.88	c  F st   240     87500     75253    200566    175827     17295   1032076    406956     14.91   no data
7914.06/302.01	c Replacing      189 vars Replaced     4554 lits Time:     0.09 s 
8169.75/310.04	c  N dy   246     92698     75061    200326    175550     21880   1030680    616567     14.91   no data
8393.43/317.10	c Finding binary XORs  T:     0.07 s  found:      89
8412.62/317.65	c  N dy   269     99207     75056    200190    162534     27877   1029811    830790     14.96     16.18
8614.00/323.94	c  S st   292    104841     75056    200190    170842     33421   1029811   1071495     14.98      9.15
8671.50/325.71	c  S st   292    105344     75056    200190    170880     33881   1029811   1090747     14.98   no data
8671.50/325.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
9393.93/348.37	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    7 Bins:   4336 BRemL:     13 BRemN:      0 P: 200.1M T: 22.58
9400.32/348.52	c Replacing       96 vars Replaced     2969 lits Time:     0.14 s 
9404.14/348.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
9407.33/348.74	c bin-w-bin subsume rem         1814 bins  time:  0.05 s
9409.89/348.87	c subs with bin:     1505  lits-rem:         0  v-fix:    0  time:  0.13 s
9442.50/349.89	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  74958 time:  1.01 s
9454.64/350.27	c Removed useless bin:       2  fixed:     0  props:  11.59M  time:  0.38 s
9467.43/350.62	c lits-rem:         0  cl-subs:       90  v-elim:     35  v-fix:    0  time:  0.35 s
9477.62/350.96	c subs with bin:      259  lits-rem:      1787  v-fix:    0  time:  0.23 s
9499.40/351.63	c lits-rem:      1840  cl-subs:     1012  v-elim:      0  v-fix:    0  time:  0.54 s
9553.72/353.30	c asymm  cl-useful: 183/2240/198413 lits-rem:184 time: 1.67
9553.72/353.35	c calculated reachability. Time: 0.01
9553.72/353.35	c  N dy   292    105344     74923    198413    172964     30460   1026311    942528     14.98   no data
9556.92/353.42	c Finding binary XORs  T:     0.07 s  found:       4
9844.57/362.43	c  N dy   309    112754     74917    198413    189657     18913   1026311    389297     14.89     15.82
9847.77/362.55	c Finding binary XORs  T:     0.07 s  found:      99
10154.64/372.11	c  N dy   336    120101     74910    198387    190510     25972   1026147    738603     15.18     15.98
10499.80/382.90	c  N dy   371    127930     74905    198387    191628     33587   1026147   1124911     15.51     16.38
10822.67/393.06	c  N dy   396    136262     74902    198387    192277     41737   1026146   1475099     15.50     16.32
11071.99/400.85	c Finding binary XORs  T:     0.07 s  found:     322
11247.80/406.32	c  N dy   423    147604     74884    197724    171515     30886   1022054    743968     15.29     16.15
11532.26/415.27	c Finding binary XORs  T:     0.07 s  found:      63
11695.28/420.36	c  N dy   464    157179     74873    197720    180990     40115   1022019   1198072     15.48     16.62
11720.87/421.14	c  S st   466    158016     74873    197720    180992     40931   1022019   1231671     15.46     11.72
11778.40/422.90	c  S st   466    158518     74873    197720    181004     41416   1022019   1256039     15.46   no data
11778.40/422.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
12574.29/447.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   60 Bins:   4493 BRemL:      7 BRemN:      0 P: 200.0M T: 24.86
12580.69/448.04	c Replacing      549 vars Replaced    19441 lits Time:     0.16 s 
12583.88/448.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
12587.09/448.25	c bin-w-bin subsume rem         1435 bins  time:  0.05 s
12590.28/448.38	c subs with bin:     2029  lits-rem:        55  v-fix:    0  time:  0.13 s
12625.44/449.43	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  74324 time:  1.05 s
12635.03/449.80	c Removed useless bin:       0  fixed:     0  props:   9.61M  time:  0.37 s
12647.79/450.19	c lits-rem:         0  cl-subs:      124  v-elim:     75  v-fix:    0  time:  0.38 s
12660.57/450.56	c subs with bin:      304  lits-rem:      2009  v-fix:    0  time:  0.23 s
12686.12/451.31	c lits-rem:      1573  cl-subs:     1147  v-elim:      0  v-fix:    0  time:  0.62 s
12737.28/452.92	c asymm  cl-useful: 5/2389/194407 lits-rem:5 time: 1.60
12737.28/452.97	c calculated reachability. Time: 0.01
12737.28/452.97	c  N dy   466    158518     74249    194407    182250     36796   1013448    999016     15.46   no data
12836.37/456.10	c Finding binary XORs  T:     0.07 s  found:     437
13184.68/466.99	c  N dy   500    168727     74220    193893    207305     24910   1010314    593310     15.46     16.56
13651.38/481.52	c  N dy   534    180208     74215    193893    208180     36154   1010314   1108522     15.47     16.32
13654.58/481.66	c Finding binary XORs  T:     0.07 s  found:     289
14175.57/497.96	c  N dy   584    191924     74193    193477    209573     47343   1008018   1607866     15.52     16.44
14498.43/508.10	c Finding binary XORs  T:     0.08 s  found:     387
14505.44/508.22	c Replacing     1113 vars Replaced    33927 lits Time:     0.12 s 
14850.05/519.07	c  N dy   615    206790     73055    191039    215779     39643    996401   1095120     15.27     16.33
15396.62/536.10	c  N dy   648    221266     73033    191039    218843     31171    996400    587804     15.14     16.06
15399.82/536.24	c Finding binary XORs  T:     0.08 s  found:     469
16093.44/557.95	c  N dy   698    236686     73007    190151    224360     45932    991801   1274426     15.09     16.29
16141.40/559.40	c  S st   703    237778     73007    190151    224361     47012    991801   1330196     15.09     13.92
16166.97/560.20	c Finding binary XORs  T:     0.08 s  found:     209
16193.17/561.03	c  S st   703    238280     73007    189818    224170     47350    990056   1341033     15.09   no data
16195.73/561.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
17068.95/588.48	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:   24 Bins:  10383 BRemL:      1 BRemN:      0 P: 200.0M T: 27.35
17074.78/588.68	c Replacing      703 vars Replaced    26781 lits Time:     0.18 s 
17081.14/588.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
17084.34/588.90	c bin-w-bin subsume rem         9534 bins  time:  0.06 s
17087.53/589.05	c subs with bin:     3133  lits-rem:        53  v-fix:    0  time:  0.15 s
17119.50/590.02	c Subs w/ non-existent bins:     13 l-rem:      2 v-fix:     0 done:  72302 time:  0.95 s
17129.10/590.33	c Removed useless bin:       2  fixed:     0  props:   7.94M  time:  0.31 s
17142.51/590.74	c lits-rem:         4  cl-subs:       52  v-elim:    136  v-fix:    0  time:  0.41 s
17154.67/591.16	c subs with bin:      343  lits-rem:      3387  v-fix:    0  time:  0.29 s
17174.44/591.81	c lits-rem:      1082  cl-subs:      971  v-elim:      0  v-fix:    0  time:  0.53 s
17234.59/593.64	c asymm  cl-useful: 18/3478/185178 lits-rem:48 time: 1.83
17234.59/593.69	c calculated reachability. Time: 0.01
17234.59/593.69	c  N dy   703    238280     72166    185168    221707     42276    978671   1054083     15.09   no data
17237.78/593.77	c Finding binary XORs  T:     0.07 s  found:      20
17397.60/598.76	c Finding binary XORs  T:     0.08 s  found:     807
17400.80/598.89	c Replacing      830 vars Replaced    28785 lits Time:     0.13 s 
17960.17/616.35	c Finding binary XORs  T:     0.08 s  found:     158
18030.48/618.52	c  N dy   741    253647     71262    181902    253016     36152    962301    719600     14.92     15.90
18740.02/640.71	c Finding binary XORs  T:     0.08 s  found:     351
18743.22/640.90	c  N dy   787    269906     71237    181341    258253     51870    959653   1333941     14.80     48.71
19590.29/667.37	c  N dy   850    287156     71200    181341    261787     44886    959653    900955     14.82     23.49
19852.39/675.52	c Finding binary XORs  T:     0.08 s  found:     756
19855.59/675.65	c Replacing     1273 vars Replaced    45033 lits Time:     0.13 s 
20475.75/695.10	c  N dy   903    305492     69902    177679    260082     62194    942868   1609669     14.74     60.10
20514.67/696.26	c  F st   905    306250     69902    177679    260083     62941    942868   1636363     14.73      5.72
20520.49/696.42	c Replacing        2 vars Replaced      499 lits Time:     0.11 s 
20820.94/705.84	c Finding binary XORs  T:     0.08 s  found:     455
21389.90/723.66	c  N dy   959    325027     69873    176698    263009     57476    938677   1234295     14.73     15.84
21693.57/733.13	c Finding binary XORs  T:     0.08 s  found:     548
21696.77/733.26	c Replacing     1006 vars Replaced    32901 lits Time:     0.13 s 
22486.93/757.95	c  N dy  1021    345046     68834    173935    268501     51528    926604    813937     14.67     15.65
22933.82/771.97	c Finding binary XORs  T:     0.08 s  found:     504
23096.84/777.07	c  S st  1066    357422     68810    172465    270065     63032    920766   1248438     14.61   no data
23138.40/778.37	c  S st  1066    357923     68810    172465    270067     63530    920766   1265650     14.61   no data
23141.60/778.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
23969.47/804.35	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   75 Bins:   4962 BRemL:     56 BRemN:      0 P: 200.0M T: 25.88
23975.87/804.55	c Replacing      584 vars Replaced    31900 lits Time:     0.19 s 
23982.26/804.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
23982.26/804.80	c bin-w-bin subsume rem        14064 bins  time:  0.08 s
23988.66/804.95	c subs with bin:     2766  lits-rem:       118  v-fix:    0  time:  0.15 s
24030.81/806.24	c Subs w/ non-existent bins:      6 l-rem:      1 v-fix:     0 done:  68224 time:  1.29 s
24039.80/806.51	c Removed useless bin:       3  fixed:     0  props:   6.30M  time:  0.28 s
24052.59/806.97	c lits-rem:         5  cl-subs:       86  v-elim:    245  v-fix:    0  time:  0.45 s
24066.00/807.37	c subs with bin:      438  lits-rem:      6974  v-fix:    0  time:  0.26 s
24084.55/807.93	c lits-rem:      1064  cl-subs:     1144  v-elim:      0  v-fix:    0  time:  0.45 s
24136.30/809.56	c asymm  cl-useful: 1/345/168442 lits-rem:3 time: 1.63
24136.30/809.61	c calculated reachability. Time: 0.01
24136.30/809.61	c  N dy  1066    357923     67979    168441    243083     58336    909830   1034933     14.61   no data
24298.70/814.62	c Finding binary XORs  T:     0.08 s  found:     583
25370.14/848.17	c  N dy  1139    379327     67929    167210    251728     55114    904960    772127     14.55     15.34
25446.22/850.59	c Finding binary XORs  T:     0.08 s  found:     486
25452.62/850.72	c Replacing     1070 vars Replaced    35187 lits Time:     0.13 s 
26123.88/871.73	c Finding binary XORs  T:     0.08 s  found:     417
26492.09/883.30	c  N dy  1226    399366     66748    163677    261382     74119    889915   1504463     14.56     19.01
27578.31/917.28	c Finding binary XORs  T:     0.08 s  found:     734
27582.13/917.41	c Replacing     1161 vars Replaced    33991 lits Time:     0.13 s 
27629.44/918.81	c  N dy  1287    419773     65546    159732    249843     67307    872630   1015560     14.47     15.33
27894.75/927.21	c Finding binary XORs  T:     0.08 s  found:     403
28316.67/940.33	c Finding binary XORs  T:     0.08 s  found:     252
28773.76/954.65	c  N dy  1331    439935     65502    157768    322669     86738    865866   1823045     14.34     15.44
29026.91/962.59	c Finding binary XORs  T:     0.08 s  found:     152
29032.66/962.75	c Replacing      808 vars Replaced    33131 lits Time:     0.16 s 
29732.70/984.68	c Finding binary XORs  T:     0.08 s  found:     468
29982.01/992.48	c  N dy  1412    460028     64655    154836    329854     80104    853994   1410546     14.34     15.35
31001.70/1024.39	c Finding binary XORs  T:     0.08 s  found:     473
31008.10/1024.57	c Replacing      942 vars Replaced    50458 lits Time:     0.18 s 
31263.83/1032.59	c  N dy  1492    480407     63685    152053    331358     99416    841984   2126003     14.36     15.42
32526.43/1072.05	c  N dy  1544    500617     63668    152053    333533     91950    841982   1720268     14.23     15.08
32711.83/1077.90	c Finding binary XORs  T:     0.08 s  found:     605
33849.77/1113.43	c  N dy  1617    520946     63489    150011    337694     83099    835156   1088607     14.22     15.08
33923.30/1115.77	c Finding binary XORs  T:     0.08 s  found:     571
33929.70/1115.90	c Replacing     1176 vars Replaced    34542 lits Time:     0.13 s 
34901.42/1146.35	c  S st  1687    536884     62231    146277    338589     98295    820100   1669591     14.21     10.74
34946.17/1147.73	c  S st  1687    537387     62231    146277    338595     98788    820100   1689057     14.21   no data
34949.37/1147.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
35559.89/1166.92	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  177 Bins:   1104 BRemL:   3023 BRemN:      0 P: 200.0M T: 19.08
35566.91/1167.15	c Replacing      180 vars Replaced    79941 lits Time:     0.22 s 
35572.66/1167.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
35575.86/1167.49	c bin-w-bin subsume rem        72357 bins  time:  0.18 s
35582.26/1167.63	c subs with bin:     1584  lits-rem:       132  v-fix:    0  time:  0.14 s
35630.22/1169.22	c Subs w/ non-existent bins:     31 l-rem:      8 v-fix:     0 done:  62050 time:  1.58 s
35639.76/1169.44	c Removed useless bin:      33  fixed:     0  props:   4.78M  time:  0.23 s
35655.76/1169.92	c lits-rem:         5  cl-subs:      275  v-elim:    479  v-fix:    0  time:  0.47 s
35669.17/1170.39	c subs with bin:      522  lits-rem:     12160  v-fix:    0  time:  0.29 s
35690.92/1171.01	c lits-rem:      1170  cl-subs:     1911  v-elim:      0  v-fix:    0  time:  0.51 s
35735.68/1172.50	c asymm  cl-useful: 0/511/142424 lits-rem:0 time: 1.49
35739.50/1172.55	c calculated reachability. Time: 0.01
35739.50/1172.55	c  N dy  1687    537387     61571    142424    258772     89163    807303   1151905     14.21   no data
35742.69/1172.63	c Finding binary XORs  T:     0.07 s  found:     298
36445.87/1194.70	c Finding binary XORs  T:     0.08 s  found:     646
36451.63/1194.84	c Replacing      944 vars Replaced    38764 lits Time:     0.14 s 
36812.86/1206.20	c  N dy  1732    557573     60564    139235    264050    107987    794212   1745903     14.12     15.68
37439.34/1225.79	c Finding binary XORs  T:     0.08 s  found:     601
37957.78/1241.99	c  N dy  1780    577579     60491    137127    269445    100896    787812   1423177     14.02     21.67
38283.19/1252.16	c Finding binary XORs  T:     0.08 s  found:     372
38289.59/1252.30	c Replacing      973 vars Replaced    40714 lits Time:     0.14 s 
39235.70/1281.98	c Finding binary XORs  T:     0.08 s  found:     378
39309.22/1284.29	c  N dy  1841    597793     59465    133476    279787    116908    773210   2110741     13.97     14.85
40137.72/1310.17	c Finding binary XORs  T:     0.08 s  found:     750
40143.47/1310.32	c Replacing     1128 vars Replaced    50032 lits Time:     0.15 s 
40654.92/1326.37	c Finding binary XORs  T:     0.08 s  found:     391
40785.98/1330.49	c  N dy  1883    618253     58153    129011    299512    105672    756340   1553899     13.86     14.79
41377.32/1348.95	c Finding binary XORs  T:     0.08 s  found:     564
41383.72/1349.13	c Replacing      955 vars Replaced    67860 lits Time:     0.18 s 
41971.86/1367.56	c  N dy  1956    639185     57035    126405    313907    121878    746212   2330129     13.80     16.62
41978.26/1367.72	c Finding binary XORs  T:     0.08 s  found:     591
41981.45/1367.90	c Replacing      591 vars Replaced    42247 lits Time:     0.18 s 
42285.09/1377.32	c Finding binary XORs  T:     0.08 s  found:     600
42288.32/1377.47	c Replacing      600 vars Replaced    29910 lits Time:     0.15 s 
42566.95/1395.42	c Following stats are for *FIRST FINISHED THREAD ONLY*
42566.95/1395.42	c num threads              : 32         
42566.95/1395.42	c restarts                 : 2463       
42566.95/1395.42	c dynamic restarts         : 2439       
42566.95/1395.42	c static restarts          : 24         
42566.95/1395.42	c full restarts            : 3          
42566.95/1395.42	c total simplify time      : 11.78      
42566.95/1395.42	c learnts DL2              : 0          
42566.95/1395.42	c learnts size 2           : 1708463    
42566.95/1395.42	c learnts size 1           : 10909       (5.45      % of vars)
42566.95/1395.42	c filedLit time            : 81.70       (6.11      % time)
42566.95/1395.42	c v-elim SatELite          : 124215      (62.01     % vars)
42566.95/1395.42	c SatELite time            : 19.06       (1.43      % time)
42566.95/1395.42	c v-elim xor               : 0           (0.00      % vars)
42566.95/1395.42	c xor elim time            : 0.28        (0.02      % time)
42566.95/1395.42	c num binary xor trees     : 2067       
42566.95/1395.42	c binxor trees' crown      : 18718       (9.06      leafs/tree)
42566.95/1395.42	c bin xor find time        : 4.23       
42566.95/1395.42	c OTF clause improved      : 12247       (0.02      clauses/conflict)
42566.95/1395.42	c OTF impr. size diff      : 15993       (1.31       lits/clause)
42566.95/1395.42	c OTF cl watch-shrink      : 245811      (0.31      clauses/conflict)
42566.95/1395.42	c OTF cl watch-sh-lit      : 864969      (3.52       lits/clause)
42566.95/1395.42	c tried to recurMin cls    : 0           (0.00       % of conflicts)
42566.95/1395.42	c updated cache            : 0           (nan        lits/tried recurMin)
42566.95/1395.42	c unit cls recevied        : 903         (8.28      % of units)
42566.95/1395.42	c unit cls sent            : 92          (0.84      % of units)
42566.95/1395.42	c bin cls recevied         : 632006     
42566.95/1395.42	c bin cls sent             : 16405      
42566.95/1395.42	c clauses over max glue    : 0           (0.00      % of all clauses)
42566.95/1395.42	c conflicts                : 791659      (592.13    / sec)
42566.95/1395.42	c decisions                : 5792558     (1.71      % random)
42566.95/1395.42	c bogo-props               : 19912921425 (14894048.02 / sec)
42566.95/1395.42	c conflict literals        : 34895419    (37.57     % deleted)
42566.95/1395.42	c Memory used              : 12228.57    MB
42566.95/1395.42	c single-thread CPU time   : 1336.97     s
42566.95/1395.42	c all-threads sum CPU time : 42465.89    s
42566.95/1395.42	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400660-1306301982/watcher-3400660-1306301982 -o /tmp/evaluation-result-3400660-1306301982/solver-3400660-1306301982 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400660-1306301982.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: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=338000 CPUtime=0.89 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) R 13481 13483 13457 0 -1 4202496 437 0 0 0 89 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 84500 377 297 95 0 79482 0
[pid=13483/tid=13484] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=338000 CPUtime=0 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=338000 CPUtime=0 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.0982021 s]
/proc/loadavg: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=1127256 CPUtime=2.05 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) D 13481 13483 13457 0 -1 4202496 10704 0 0 0 145 60 0 0 18 0 32 0 741684705 1154310144 10543 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 281814 10558 334 95 0 276796 0
[pid=13483/tid=13484] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 268 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10566 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604498640199136 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 286 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10570 268435456000 4194304 4580107 140733376124448 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 433 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10583 268435456000 4194304 4580107 140733376124448 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10591 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10604 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 268 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10607 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 270 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10617 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10626 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477324221920 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=1135460 CPUtime=0.07 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 363 0 0 0 5 2 0 0 17 0 32 0 741684705 1162711040 10628 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 296 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10637 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 266 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10647 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=1135592 CPUtime=0.06 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 353 0 0 0 5 1 0 0 17 0 32 0 741684705 1162846208 10658 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604474772446688 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=1135592 CPUtime=0.05 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 402 0 0 0 4 1 0 0 17 0 32 0 741684705 1162846208 10668 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604498324495840 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=1135592 CPUtime=0.01 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 375 0 0 0 0 1 0 0 17 0 32 0 741684705 1162846208 10671 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=1143796 CPUtime=0.02 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 323 0 0 0 1 1 0 0 17 0 32 0 741684705 1171247104 10691 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604476730752480 0 0 -1 31 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=1143796 CPUtime=0.03 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 298 0 0 0 2 1 0 0 17 0 32 0 741684705 1171247104 10767 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=1143796 CPUtime=0.05 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 301 0 0 0 4 1 0 0 17 0 32 0 741684705 1171247104 10804 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 27 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=1143928 CPUtime=0.05 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 365 0 0 0 4 1 0 0 17 0 32 0 741684705 1171382272 10808 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 0 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=1144060 CPUtime=0.05 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 351 0 0 0 4 1 0 0 17 0 32 0 741684705 1171517440 10816 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=1152264 CPUtime=0.06 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 371 0 0 0 4 2 0 0 17 0 32 0 741684705 1179918336 10834 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604489895411168 0 0 -1 13 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=1152264 CPUtime=0.05 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 741684705 1179918336 10846 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 14 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 4 2 0 0 17 0 32 0 741684705 1180053504 10850 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477794008544 0 0 -1 11 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 319 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10852 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 352 0 0 0 5 1 0 0 17 0 32 0 741684705 1180053504 10858 268435456000 4194304 4580107 140733376124448 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 364 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10867 268435456000 4194304 4580107 140733376124448 18446744073709551615 4510902 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 356 0 0 0 4 2 0 0 17 0 32 0 741684705 1180053504 10898 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 21 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 267 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10902 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604504906513888 0 0 -1 22 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 358 0 0 0 4 2 0 0 17 0 32 0 741684705 1188454400 10931 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477547019744 0 0 -1 19 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=1160600 CPUtime=0.05 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 311 0 0 0 4 1 0 0 17 0 32 0 741684705 1188454400 10933 268435456000 4194304 4580107 140733376124448 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 291 0 0 0 4 2 0 0 17 0 32 0 741684705 1188454400 10942 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604489895411168 0 0 -1 26 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 285 0 0 0 4 2 0 0 24 0 32 0 741684705 1188454400 10965 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 1127256

[startup+0.105013 s]
/proc/loadavg: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=1210388 CPUtime=2.16 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 11606 0 0 0 149 67 0 0 17 0 32 0 741684705 1239437312 11445 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 302597 11457 334 95 0 297579 0
[pid=13483/tid=13484] ppid=13481 vsize=1210520 CPUtime=0.07 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 292 0 0 0 5 2 0 0 17 0 32 0 741684705 1239572480 11468 268435456000 4194304 4580107 140733376124448 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=1210520 CPUtime=0.05 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 339 0 0 0 4 1 0 0 17 0 32 0 741684705 1239572480 11487 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=1218724 CPUtime=0.06 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 442 0 0 0 4 2 0 0 17 0 32 0 741684705 1247973376 11488 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604504411299296 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=1218724 CPUtime=0.05 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 370 0 0 0 4 1 0 0 17 0 32 0 741684705 1247973376 11493 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=1218724 CPUtime=0.07 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 364 0 0 0 5 2 0 0 17 0 32 0 741684705 1247973376 11521 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604484481261024 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=1218724 CPUtime=0.07 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 319 0 0 0 5 2 0 0 17 0 32 0 741684705 1247973376 11558 268435456000 4194304 4580107 140733376124448 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=1218856 CPUtime=0.06 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 301 0 0 0 5 1 0 0 17 0 32 0 741684705 1248108544 11585 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=1235264 CPUtime=0.05 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 302 0 0 0 4 1 0 0 17 0 32 0 741684705 1264910336 11622 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=1235264 CPUtime=0.07 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 393 0 0 0 5 2 0 0 17 0 32 0 741684705 1264910336 11642 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=1235396 CPUtime=0.06 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 330 0 0 0 5 1 0 0 17 0 32 0 741684705 1265045504 11666 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=1235396 CPUtime=0.06 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 312 0 0 0 4 2 0 0 17 0 32 0 741684705 1265045504 11694 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604505913753056 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=1235396 CPUtime=0.07 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 377 0 0 0 5 2 0 0 17 0 32 0 741684705 1265045504 11696 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=1235528 CPUtime=0.06 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430 0 0 0 5 1 0 0 17 0 32 0 741684705 1265180672 11705 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=1235528 CPUtime=0.02 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 419 0 0 0 0 2 0 0 17 0 32 0 741684705 1265180672 11740 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 30 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=1235528 CPUtime=0.03 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 1 2 0 0 17 0 32 0 741684705 1265180672 11751 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604475951234528 0 0 -1 31 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=1235528 CPUtime=0.03 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 331 0 0 0 2 1 0 0 17 0 32 0 741684705 1265180672 11754 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604478970019296 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=1235528 CPUtime=0.06 cores=0-31

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

[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606891 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606891 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42560
Current children cumulated vsize (KiB) 12522048

[startup+1393.5 s]
/proc/loadavg: 27.49 31.04 31.18 3/445 13560
/proc/meminfo: memFree=244720616/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=12522048 CPUtime=42563.1 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 7877720 0 0 0 4246204 10111 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 3130512 2606717 460 95 0 3125494 0
[pid=13483/tid=13484] ppid=13481 vsize=12522048 CPUtime=1336.9 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 214609 0 0 0 133359 331 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 4416496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 219828 0 0 0 133684 327 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502800473568 0 0 -1 8 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=12522048 CPUtime=1341.57 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 197952 0 0 0 133841 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484056194528 0 0 -1 16 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=12522048 CPUtime=1348 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 330222 0 0 0 134523 277 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604476730752480 0 0 -1 27 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 249999 0 0 0 133681 330 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505294355936 0 0 -1 23 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=12522048 CPUtime=1339.2 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 188613 0 0 0 133612 308 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477547019744 0 0 -1 17 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=12522048 CPUtime=1333.48 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 263243 0 0 0 133031 317 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498640199136 0 0 -1 25 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=12522048 CPUtime=1327.73 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195876 0 0 0 132457 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=12522048 CPUtime=1332.2 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190648 0 0 0 132904 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505913753056 0 0 -1 30 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=12522048 CPUtime=1325.97 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 126256 0 0 0 132298 299 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604553568435680 0 0 -1 0 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=12522048 CPUtime=1327.11 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 182203 0 0 0 132385 326 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478913355232 0 0 -1 7 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=12522048 CPUtime=1326.11 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 274610 0 0 0 132270 341 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604493530267104 0 0 -1 3 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=12522048 CPUtime=1326.28 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 193890 0 0 0 132313 315 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489963036128 0 0 -1 29 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=12522048 CPUtime=1324.46 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 501608 0 0 0 132082 364 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504906513888 0 0 -1 11 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=12522048 CPUtime=1330.25 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 211337 0 0 0 132719 306 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478970019296 0 0 -1 22 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=12522048 CPUtime=1329.53 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430982 0 0 0 132601 352 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505949093344 0 0 -1 26 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=12522048 CPUtime=1327.8 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 319966 0 0 0 132441 339 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604480208748000 0 0 -1 1 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=12522048 CPUtime=1332.44 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 241919 0 0 0 132940 304 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604482175811040 0 0 -1 20 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=12522048 CPUtime=1329.51 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354188 0 0 0 132622 329 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505920036320 0 0 -1 13 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=12522048 CPUtime=1338.43 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 207048 0 0 0 133504 339 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262737451 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=12522048 CPUtime=1295.58 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 141911 0 0 0 129247 311 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502045335008 0 0 -1 19 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=12522048 CPUtime=1326.33 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195782 0 0 0 132337 296 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604499772874208 0 0 -1 6 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=12522048 CPUtime=1332.36 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 350851 0 0 0 132929 307 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478703271392 0 0 -1 15 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=12522048 CPUtime=1326.88 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 272167 0 0 0 132385 303 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502100999648 0 0 -1 28 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=12522048 CPUtime=1324.23 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 399293 0 0 0 132091 332 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489895411168 0 0 -1 4 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=12522048 CPUtime=1328.53 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 207993 0 0 0 132534 319 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744071566933624 0 0 -1 12 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=12522048 CPUtime=1332.52 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269138 0 0 0 132946 306 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504241503712 0 0 -1 23 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=12522048 CPUtime=1330.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 297098 0 0 0 132690 313 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478630067680 0 0 -1 5 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=12522048 CPUtime=1326.7 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 133193 0 0 0 132372 298 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604475951234528 0 0 -1 18 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42563.1
Current children cumulated vsize (KiB) 12522048

[startup+1395.1 s]
/proc/loadavg: 27.49 31.04 31.18 3/445 13560
/proc/meminfo: memFree=244715300/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=12522048 CPUtime=42566.4 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 7877820 0 0 0 4246524 10111 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 3130512 2606751 460 95 0 3125494 0
[pid=13483/tid=13484] ppid=13481 vsize=12522048 CPUtime=1338.5 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 214709 0 0 0 133519 331 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 219828 0 0 0 133684 327 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502800473568 0 0 -1 8 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=12522048 CPUtime=1341.57 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 197952 0 0 0 133841 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484056194528 0 0 -1 16 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=12522048 CPUtime=1348 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 330222 0 0 0 134523 277 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604476730752480 0 0 -1 27 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 249999 0 0 0 133681 330 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505294355936 0 0 -1 23 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=12522048 CPUtime=1339.2 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 188613 0 0 0 133612 308 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477547019744 0 0 -1 17 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=12522048 CPUtime=1333.48 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 263243 0 0 0 133031 317 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498640199136 0 0 -1 25 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=12522048 CPUtime=1327.73 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195876 0 0 0 132457 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=12522048 CPUtime=1332.2 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190648 0 0 0 132904 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505913753056 0 0 -1 30 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=12522048 CPUtime=1325.97 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 126256 0 0 0 132298 299 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604553568435680 0 0 -1 0 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=12522048 CPUtime=1327.11 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 182203 0 0 0 132385 326 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478913355232 0 0 -1 7 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=12522048 CPUtime=1326.11 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 274610 0 0 0 132270 341 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604493530267104 0 0 -1 3 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=12522048 CPUtime=1326.28 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 193890 0 0 0 132313 315 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489963036128 0 0 -1 29 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=12522048 CPUtime=1324.46 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 501608 0 0 0 132082 364 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504906513888 0 0 -1 11 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=12522048 CPUtime=1330.25 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 211337 0 0 0 132719 306 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478970019296 0 0 -1 22 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=12522048 CPUtime=1329.53 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430982 0 0 0 132601 352 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505949093344 0 0 -1 26 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=12522048 CPUtime=1327.8 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 319966 0 0 0 132441 339 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604480208748000 0 0 -1 1 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=12522048 CPUtime=1332.44 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 241919 0 0 0 132940 304 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604482175811040 0 0 -1 20 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=12522048 CPUtime=1329.51 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354188 0 0 0 132622 329 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505920036320 0 0 -1 13 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=12522048 CPUtime=1340.03 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 207048 0 0 0 133664 339 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262737604 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=12522048 CPUtime=1295.58 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 141911 0 0 0 129247 311 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502045335008 0 0 -1 19 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=12522048 CPUtime=1326.33 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195782 0 0 0 132337 296 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604499772874208 0 0 -1 6 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=12522048 CPUtime=1332.36 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 350851 0 0 0 132929 307 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478703271392 0 0 -1 15 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=12522048 CPUtime=1326.88 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 272167 0 0 0 132385 303 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502100999648 0 0 -1 28 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=12522048 CPUtime=1324.23 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 399293 0 0 0 132091 332 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489895411168 0 0 -1 4 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=12522048 CPUtime=1328.53 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 207993 0 0 0 132534 319 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744071566933624 0 0 -1 12 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=12522048 CPUtime=1332.52 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269138 0 0 0 132946 306 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504241503712 0 0 -1 23 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=12522048 CPUtime=1330.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 297098 0 0 0 132690 313 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478630067680 0 0 -1 5 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=12522048 CPUtime=1326.7 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 133193 0 0 0 132372 298 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604475951234528 0 0 -1 18 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42566.3
Current children cumulated vsize (KiB) 12522048

[startup+1395.92 s]
/proc/loadavg: 27.49 31.04 31.18 2/415 13560
/proc/meminfo: memFree=248660600/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=0 CPUtime=42567.5 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) Z 13481 13483 13457 0 -1 4203548 7877824 0 0 0 4246589 10163 0 0 18 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 0 0 0 0 0 0 0
[pid=13483/tid=13484] ppid=13481 vsize=0 CPUtime=1339.32 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4203588 214709 0 0 0 133552 380 0 0 25 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42567.5
Current children cumulated vsize (KiB) 0

[startup+1396.3 s]
/proc/loadavg: 27.49 31.04 31.18 2/415 13560
/proc/meminfo: memFree=248660600/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=0 CPUtime=42567.9 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) Z 13481 13483 13457 0 -1 4203548 7877824 0 0 0 4246589 10201 0 0 18 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 0 0 0 0 0 0 0
[pid=13483/tid=13484] ppid=13481 vsize=0 CPUtime=1339.71 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4203588 214709 0 0 0 133552 419 0 0 25 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42567.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1396.32
CPU time (s): 42567.9
CPU user time (s): 42465.9
CPU system time (s): 102.033
CPU usage (%): 3048.57
Max. virtual memory (cumulated for all children) (KiB): 12522048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42465.9
system time used= 102.033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7877824
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= 2674588
involuntary context switches= 163244

runsolver used 8.16276 second user time and 31.2902 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 07:39:43
IDJOB=3400660
IDBENCH=70808
IDSOLVER=1886
FILE ID=node200/3400660-1306301982
RUNJOBID= node200-1306301982-13471
PBS_JOBID= 13411779
Free space on /tmp= 62036 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400660-1306301982/watcher-3400660-1306301982 -o /tmp/evaluation-result-3400660-1306301982/solver-3400660-1306301982 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400660-1306301982.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1078825566

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.049
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.09
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.049
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.049
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.08
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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	: 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255150764 kB
Buffers:        465984 kB
Cached:        8230380 kB
SwapCached:          0 kB
Active:        7781340 kB
Inactive:       984264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255150764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15796 kB
Writeback:           0 kB
AnonPages:       69172 kB
Mapped:          14184 kB
Slab:           256084 kB
PageTables:       5532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188364 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= 62032 MiB
End job on node200 at 2011-05-25 08:02:59