Trace number 3400713

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 160005 5071.62

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark24553.6
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400713-1306361686.cnf'
0.00/0.08	c -- header says num vars:         153284
0.00/0.08	c -- header says num clauses:     2473656
183.36/13.18	c -- clauses added:            0 learnts,      2473656 normals,            0 xors
183.36/13.18	c -- vars added     153284
183.36/13.18	c Parsing time:  2.67 s
183.36/13.18	c  N st     0         0    153284     73962   2026036         0   4799185         0   no data   no data
218.80/15.14	c asymm  cl-useful: 683/1183/61968 lits-rem:28657 time: 1.13
689.16/29.85	c Flit:   262 Blit:   9074 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 14.70
691.68/29.94	c Cleaning up after failed var search:     0.09 s 
694.81/30.10	c Replacing      503 vars Replaced    29207 lits Time:     0.15 s 
740.23/32.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
745.89/32.84	c bin-w-bin subsume rem          734 bins  time:  0.27 s
772.33/33.88	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.80 s
892.55/38.76	c Subs w/ non-existent bins:      0 l-rem:    345 v-fix:     0 done:  28605 time:  3.96 s
902.12/39.04	c Removed useless bin:    3998  fixed:     0  props:  20.02M  time:  0.28 s
918.08/39.58	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.53 s
921.87/39.68	c Finding binary XORs  T:     0.10 s  found:     192
927.66/39.82	c Replacing      192 vars Replaced    15185 lits Time:     0.15 s 
930.85/39.95	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
930.85/39.95	c calculated reachability. Time: 0.00
934.05/40.01	c Calc default polars -  time:   0.06 s pos:    3041 undec:   56053 neg:   94190
934.05/40.01	c =========================================================================================
934.05/40.01	c types(t): F = full restart, N = normal restart
934.05/40.01	c types(t): S = simplification begin/end, E = solution found
934.05/40.01	c restart types(rt): st = static, dy = dynamic
934.05/40.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
934.05/40.01	c  B st     0         0     97237     56981   1295586         0   3120648         0   no data   no data
1336.49/52.68	c  N dy    12      4462     97215     56981   1295650      4369   3120648   3655946     38.21     40.79
1675.33/63.29	c  N dy    27      8671     96498     56981   1297702      8475   3120648   6425605     36.95     46.13
1994.96/73.23	c  N dy    40     12939     95948     56310   1277617     12556   3067535   9129976     33.24     35.75
2292.81/82.58	c  N dy    56     17018     95935     56310   1277668     16554   3067535  11439074     32.02     35.03
2579.50/91.54	c  N dy    77     21025     95639     56310   1279326     10761   3067535   2113847     31.50     33.21
2866.76/100.58	c  F st    97     25000     95362     56310   1280966     14668   3067535   4339672     31.42     16.41
2905.13/101.77	c  N st    98     25254     95362     56057   1271561     14855   3045384   4513565     31.42   no data
3413.36/117.69	c  N dy   103     30000     95361     56057   1271608     19533   3045384   9387823     31.42   no data
3413.36/117.69	c  S st   103     30000     95361     56057   1271608     19533   3045384   9387823     31.42   no data
3467.70/119.39	c  S st   103     30501     95356     56057   1273599     20018   3045384   9503352     31.42   no data
3474.10/119.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
4240.95/143.55	c Flit:   343 Blit:    982 bXBeca:    0 bXProp:  144 Bins: 554017 BRemL:     50 BRemN:    936 P: 200.0M T: 24.03
4244.15/143.68	c Cleaning up after failed var search:     0.13 s 
4256.95/144.03	c Replacing      144 vars Replaced    46050 lits Time:     0.34 s 
4263.96/144.28	c blocked clauses removed:        0 vars:      0 tried:       93415 T: 0.10 s
4269.71/144.47	c bin-w-bin subsume rem         6020 bins  time:  0.18 s
4285.59/144.96	c subs with bin:       32  lits-rem:        16  v-fix:    0  time:  0.49 s
4451.51/150.15	c Subs w/ non-existent bins:      9 l-rem:    247 v-fix:    33 done:  29438 time:  5.12 s
4464.22/150.51	c Removed useless bin:    9294  fixed:     0  props:  20.00M  time:  0.36 s
4483.18/151.14	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.62 s
4617.04/155.38	c subs with bin:       12  lits-rem:      2127  v-fix:    0  time:  1.86 s
4696.94/157.83	c lits-rem:      2194  cl-subs:      764  v-elim:      0  v-fix:    0  time:  2.30 s
4725.70/158.75	c asymm  cl-useful: 39/907/55216 lits-rem:77 time: 0.93
4728.90/158.83	c calculated reachability. Time: 0.01
4728.90/158.83	c  N dy   103     30501     93381     55216   1725454     18847   2958587  10005866     31.42   no data
4732.10/158.93	c Finding binary XORs  T:     0.10 s  found:     156
5057.93/169.12	c  N dy   118     34940     93375     55216   1725492     23226   2958587  12295058     30.61     33.63
5377.00/182.23	c  N dy   133     39003     93150     55216   1729794     27239   2958587  16067449     30.55     35.16
5987.90/224.25	c  N dy   146     43009     93148     55216   1874161     16192   2958587   2979082     30.69     36.13
6007.90/225.08	c Finding binary XORs  T:     0.11 s  found:     118
6147.96/230.49	c  S st   158     45751     93050     55057   1856920     18824   2947173   4680646     30.44     19.51
6180.71/231.87	c  S st   158     46253     93050     55057   1856928     19317   2947173   4856606     30.44   no data
6185.29/232.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
6689.97/249.65	c Flit:   277 Blit:    318 bXBeca:    0 bXProp:   39 Bins: 394379 BRemL:   3087 BRemN:    271 P: 200.1M T: 17.62
6689.97/249.65	c Cleaning up after failed var search:     0.00 s 
6702.74/250.05	c Replacing      313 vars Replaced    74808 lits Time:     0.39 s 
6709.10/250.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6718.70/250.53	c bin-w-bin subsume rem        38716 bins  time:  0.31 s
6737.86/251.18	c subs with bin:       37  lits-rem:         6  v-fix:    0  time:  0.65 s
6907.86/256.46	c Subs w/ non-existent bins:      3 l-rem:    318 v-fix:    32 done:  29638 time:  5.22 s
6920.01/256.85	c Removed useless bin:    8643  fixed:     0  props:  20.00M  time:  0.39 s
6939.77/257.50	c lits-rem:         0  cl-subs:       43  v-elim:     15  v-fix:    0  time:  0.66 s
7019.08/259.96	c subs with bin:        2  lits-rem:        14  v-fix:    0  time:  1.90 s
7045.26/260.79	c lits-rem:       566  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.74 s
7076.60/261.78	c asymm  cl-useful: 113/436/54685 lits-rem:1582 time: 0.99
7080.39/261.86	c calculated reachability. Time: 0.01
7080.39/261.87	c  N dy   158     46253     92061     54685   2135949     18752   2895744   5345269     30.44   no data
7083.62/261.98	c Finding binary XORs  T:     0.11 s  found:      41
7370.91/271.06	c  N dy   173     50443     91609     54685   2220848     22888   2895744   7390399     30.13     31.80
7578.06/277.72	c Finding binary XORs  T:     0.12 s  found:      94
7638.53/279.66	c  N dy   176     54510     91601     54472   2161453     26308   2877731   8907335     28.88     31.22
7975.72/290.33	c  N dy   195     58662     91386     54472   2198869     30424   2877731  12009003     28.82     30.57
8295.84/300.36	c  N dy   207     62784     91342     54472   2200948     34501   2877731  14295932     28.41     30.14
8608.29/310.11	c  N dy   218     67274     91341     54472   2200972     21060   2877731   4413247     27.83     30.43
8745.71/314.43	c  S st   226     69380     91318     54472   2202038     23141   2877731   5390899     27.76     13.68
8780.87/315.51	c Finding binary XORs  T:     0.12 s  found:      60
8800.04/316.15	c  S st   226     69881     91318     54332   2179641     23594   2866976   5461005     27.76   no data
8806.44/316.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
9331.80/332.93	c Flit:   189 Blit:    153 bXBeca:    0 bXProp:    6 Bins: 536938 BRemL:   6848 BRemN:    484 P: 200.0M T: 16.62
9331.80/332.94	c Cleaning up after failed var search:     0.00 s 
9345.10/333.37	c Replacing      201 vars Replaced   107510 lits Time:     0.43 s 
9350.90/333.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
9363.66/333.99	c bin-w-bin subsume rem        48201 bins  time:  0.45 s
9392.42/334.80	c subs with bin:       36  lits-rem:         5  v-fix:    0  time:  0.80 s
9559.06/340.06	c Subs w/ non-existent bins:      6 l-rem:    258 v-fix:     7 done:  31142 time:  5.26 s
9571.22/340.48	c Removed useless bin:   11466  fixed:     0  props:  20.00M  time:  0.42 s
9596.78/341.20	c lits-rem:         4  cl-subs:        9  v-elim:      8  v-fix:    0  time:  0.72 s
9676.69/343.77	c subs with bin:        2  lits-rem:        59  v-fix:    0  time:  2.00 s
9708.66/344.80	c lits-rem:       903  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.94 s
9743.82/345.87	c asymm  cl-useful: 314/427/54147 lits-rem:4428 time: 1.08
9747.02/345.97	c calculated reachability. Time: 0.01
9747.02/345.97	c  N dy   226     69881     90792     54147   2623091     22869   2825912   6221850     27.76   no data
9753.41/346.10	c Finding binary XORs  T:     0.12 s  found:      15
10085.19/356.68	c  N dy   241     74370     90559     54147   2842131     27316   2825912   9142026     27.41     29.30
10109.11/357.58	c Finding binary XORs  T:     0.13 s  found:      85
10357.65/367.03	c  N dy   261     79188     90466     53967   2726949     31953   2812256  11443161     27.40     29.73
11008.50/392.66	c Finding binary XORs  T:     0.13 s  found:      50
11305.52/401.90	c  N dy   288     84530     90452     53962   2838267     37226   2811737  14979860     27.35     29.37
11612.04/411.56	c  F st   298     87500     90226     53962   2840207     40168   2811737  18033804     27.19     13.38
11636.99/412.32	c Replacing      150 vars Replaced    67153 lits Time:     0.59 s 
12074.76/426.03	c  N st   303     90802     90098     53846   2788520     23281   2802580   7821116     27.19   no data
12646.57/443.95	c  N dy   320     98157     89986     53846   2806832     30583   2802580  12906623     26.85     28.50
13074.72/457.36	c  N dy   341    104798     89964     53846   2808273     37165   2802580  15447357     26.62     28.36
13077.92/457.42	c  S st   342    104822     89964     53846   2808273     37189   2802580  15448965     26.62   no data
13129.06/459.07	c  S st   342    105323     89964     53846   2808284     37678   2802580  15538312     26.62   no data
13135.45/459.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
13717.73/477.48	c Flit:    54 Blit:     42 bXBeca:    0 bXProp:   14 Bins: 317198 BRemL:   7726 BRemN:   1729 P: 200.0M T: 18.20
13739.52/478.16	c Replacing       15 vars Replaced    12040 lits Time:     0.67 s 
13745.91/478.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
13761.88/478.88	c bin-w-bin subsume rem        60281 bins  time:  0.54 s
13791.28/479.75	c subs with bin:       24  lits-rem:        11  v-fix:    0  time:  0.87 s
13967.07/485.23	c Subs w/ non-existent bins:      0 l-rem:    155 v-fix:     1 done:  30934 time:  5.48 s
13985.61/485.85	c Removed useless bin:   39090  fixed:     0  props:  20.00M  time:  0.61 s
14011.15/486.66	c lits-rem:         1  cl-subs:       26  v-elim:     46  v-fix:    0  time:  0.81 s
14129.40/490.30	c subs with bin:       22  lits-rem:       278  v-fix:    0  time:  1.96 s
14213.09/492.98	c lits-rem:      2873  cl-subs:      837  v-elim:      0  v-fix:    0  time:  2.55 s
14244.94/493.96	c asymm  cl-useful: 3/813/53783 lits-rem:32 time: 0.97
14248.14/494.06	c calculated reachability. Time: 0.01
14248.14/494.07	c  N dy   342    105323     89806     53783   2955604     34703   2710660  14657885     26.62   no data
14253.89/494.20	c Finding binary XORs  T:     0.13 s  found:      46
14722.88/509.84	c  N dy   363    112127     89679     53783   3010468     41452   2710660  17912329     26.25     27.98
15291.31/527.60	c  N dy   382    119744     89631     53783   3020671     28237   2710660   8063445     25.81     29.05
15297.70/527.85	c Finding binary XORs  T:     0.13 s  found:      62
15680.95/539.98	c Finding binary XORs  T:     0.14 s  found:      10
15863.67/545.63	c  N dy   409    127426     89548     53633   3140913     35760   2699708  12337815     25.70     27.25
16516.93/566.18	c  N dy   433    135583     89545     53633   3145448     43833   2699708  16879786     25.47     26.94
17119.21/585.45	c  N dy   443    144307     89497     53633   3153890     29671   2699708   9207703     24.94     27.78
17462.31/598.28	c Finding binary XORs  T:     0.15 s  found:      33
17959.45/613.86	c  N dy   466    153724     89468     53594   3552366     38962   2696705  15526050     24.53     25.93
18395.35/627.50	c  S st   476    157984     89440     53594   3553428     43192   2696705  18427720     24.37     21.96
18456.06/629.43	c  S st   476    158484     89440     53594   3553439     43681   2696705  18544506     24.37   no data
18462.45/629.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
19158.45/651.42	c Flit:    59 Blit:     45 bXBeca:    0 bXProp:    3 Bins: 207452 BRemL:   6392 BRemN:    233 P: 200.0M T: 21.77
19158.45/651.43	c Cleaning up after failed var search:     0.00 s 
19184.04/652.26	c Replacing      154 vars Replaced   100069 lits Time:     0.83 s 
19191.05/652.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
19209.61/653.06	c bin-w-bin subsume rem        49522 bins  time:  0.59 s
19247.97/654.22	c subs with bin:       61  lits-rem:        99  v-fix:    0  time:  1.16 s
19417.26/659.52	c Subs w/ non-existent bins:      0 l-rem:    318 v-fix:     0 done:  31554 time:  5.29 s
19437.08/660.13	c Removed useless bin:   22907  fixed:     0  props:  20.01M  time:  0.61 s
19462.02/660.90	c lits-rem:         2  cl-subs:       81  v-elim:     33  v-fix:    0  time:  0.77 s
19589.87/664.92	c subs with bin:        1  lits-rem:        22  v-fix:    0  time:  1.96 s
19688.95/668.05	c lits-rem:      2553  cl-subs:     1002  v-elim:      0  v-fix:    0  time:  3.02 s
19727.31/669.25	c asymm  cl-useful: 3/340/53494 lits-rem:3 time: 1.20
19730.51/669.38	c calculated reachability. Time: 0.01
19730.51/669.39	c  N dy   476    158484     89165     53494   3644080     40463   2643217  16235830     24.37   no data
19736.91/669.54	c Finding binary XORs  T:     0.15 s  found:      18
20557.09/695.26	c  N dy   502    169020     89075     53494   3661888     28833   2643217   8306326     23.98     25.72
20872.31/705.17	c Finding binary XORs  T:     0.16 s  found:      89
21396.28/722.08	c Finding binary XORs  T:     0.16 s  found:       7
21613.31/728.82	c  N dy   534    181814     88969     53376   4050743     41419   2634472  14776550     23.58     25.45
22666.18/761.86	c  N dy   573    194282     88882     53376   4057132     30207   2634472   8003166     23.33     29.93
23615.31/791.58	c  N dy   621    206712     88842     53376   4083543     42545   2634472  13666980     23.16     24.63
23794.09/797.13	c Finding binary XORs  T:     0.16 s  found:      36
24479.76/818.69	c Finding binary XORs  T:     0.15 s  found:      12
24837.10/829.89	c  N dy   665    221344     88805     53303   4190821     32454   2627872   7397086     22.97     25.24
25332.28/845.38	c Finding binary XORs  T:     0.16 s  found:       9
25853.13/861.68	c  N dy   698    235509     88748     53288   4279681     46524   2626781  13429097     22.70     27.50
26102.41/869.44	c  S st   709    237730     88748     53288   4279694     48724   2626781  15527451     22.68     16.12
26160.55/871.23	c  S st   709    238230     88748     53288   4279701     49217   2626781  15613465     22.68   no data
26166.31/871.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
26814.97/891.74	c Flit:    23 Blit:     26 bXBeca:    0 bXProp:    5 Bins: 230821 BRemL:   6647 BRemN:    197 P: 200.0M T: 20.28
26837.34/892.50	c Replacing      176 vars Replaced   113973 lits Time:     0.75 s 
26846.93/892.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
26869.25/893.44	c bin-w-bin subsume rem        55063 bins  time:  0.73 s
26910.73/894.79	c subs with bin:       61  lits-rem:       120  v-fix:    0  time:  1.35 s
27074.29/899.91	c Subs w/ non-existent bins:      0 l-rem:    230 v-fix:     0 done:  30814 time:  5.12 s
27089.68/900.38	c Removed useless bin:    9282  fixed:     0  props:  20.02M  time:  0.47 s
27115.19/901.12	c lits-rem:         5  cl-subs:      130  v-elim:     52  v-fix:    0  time:  0.74 s
27211.02/904.21	c subs with bin:        9  lits-rem:        64  v-fix:    0  time:  1.99 s
27300.50/906.93	c lits-rem:      1938  cl-subs:      953  v-elim:      0  v-fix:    0  time:  2.62 s
27332.47/907.98	c asymm  cl-useful: 4/320/53222 lits-rem:100 time: 1.05
27338.87/908.13	c calculated reachability. Time: 0.01
27338.87/908.13	c  N dy   709    238230     88490     53222   4418684     46031   2602459  13958505     22.68   no data
27342.06/908.29	c Finding binary XORs  T:     0.16 s  found:       6
28656.32/949.61	c  N dy   758    254769     88463     53222   4423874     38516   2602459   9590892     22.42     25.07
29177.05/965.92	c Finding binary XORs  T:     0.16 s  found:      27
29962.19/990.56	c  N dy   790    272023     88431     53190   4491100     55617   2600250  17140063     22.00     26.85
30179.25/997.33	c Finding binary XORs  T:     0.16 s  found:       8
31422.49/1036.28	c  N dy   859    289432     88417     53180   4672271     46479   2599572  13329322     21.98     31.80
32708.38/1076.53	c Finding binary XORs  T:     0.16 s  found:      15
32845.75/1080.82	c  F st   909    306250     88379     53163   4686931     63160   2598263  21533205     21.86   no data
32865.56/1081.45	c Replacing       56 vars Replaced    81661 lits Time:     0.63 s 
33076.36/1088.05	c  N st   913    308283     88323     53162   4686803     65177   2598090  23501126     21.86   no data
34641.37/1137.08	c  N dy   957    328291     88310     53162   4688638     57587   2598090  16770368     21.69     22.98
36187.81/1185.40	c  N dy  1010    348664     88297     53162   4690037     49355   2598090  11053403     21.50     24.63
36807.57/1204.81	c  S st  1036    357345     88296     53162   4690955     57997   2598090  15087193     21.43   no data
36868.88/1206.73	c  S st  1036    357847     88296     53162   4690965     58489   2598090  15232305     21.43   no data
36874.67/1206.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
37466.55/1225.52	c Flit:    18 Blit:      6 bXBeca:    0 bXProp:    0 Bins: 376817 BRemL:   8606 BRemN:    603 P: 200.0M T: 18.55
37485.11/1226.08	c Replacing        1 vars Replaced      797 lits Time:     0.55 s 
37491.50/1226.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
37517.07/1227.01	c bin-w-bin subsume rem        29939 bins  time:  0.72 s
37564.92/1228.52	c subs with bin:       91  lits-rem:       241  v-fix:    0  time:  1.51 s
37727.89/1233.78	c Subs w/ non-existent bins:      0 l-rem:    119 v-fix:     0 done:  30768 time:  5.26 s
37746.42/1234.34	c Removed useless bin:   21875  fixed:     0  props:  20.00M  time:  0.56 s
37770.37/1235.12	c lits-rem:         8  cl-subs:       87  v-elim:     56  v-fix:    0  time:  0.78 s
37852.68/1237.93	c subs with bin:        6  lits-rem:        83  v-fix:    0  time:  1.98 s
37915.39/1240.14	c lits-rem:      1655  cl-subs:     1139  v-elim:      0  v-fix:    0  time:  2.13 s
37937.57/1241.08	c asymm  cl-useful: 2/582/53126 lits-rem:31 time: 0.93
37942.57/1241.24	c calculated reachability. Time: 0.01
37942.57/1241.25	c  N dy  1036    357847     88215     53126   4984447     54839   2550159  13330584     21.43   no data
37947.69/1241.42	c Finding binary XORs  T:     0.17 s  found:      26
38496.18/1260.48	c Finding binary XORs  T:     0.17 s  found:       7
39451.44/1291.89	c  N dy  1094    377929     88203     53114   5285365     46759   2549542  10341982     21.29     34.23
39547.94/1294.83	c Finding binary XORs  T:     0.17 s  found:       9
41044.45/1341.77	c  N dy  1162    398221     88189     53109   5426682     66935   2549179  20510243     21.31     22.59
41057.86/1342.13	c Finding binary XORs  T:     0.18 s  found:       7
42530.62/1388.22	c Finding binary XORs  T:     0.18 s  found:       7
42686.61/1393.14	c  N dy  1214    418421     88134     53084   5516780     56275   2547303  13597351     21.16     22.41
44408.91/1447.01	c  N dy  1301    439343     88104     53084   5523131     77086   2547303  23191436     21.21     23.49
46467.19/1511.46	c  N dy  1386    461387     88102     53084   5524532     67832   2547303  18241610     21.26     22.47
48230.44/1566.62	c  N dy  1441    481532     88070     53084   5532320     87874   2547303  28417915     21.16     22.37
50067.55/1624.11	c  N dy  1528    501879     88065     53084   5533592     75872   2547303  21641323     21.14     23.18
52013.42/1685.05	c  N dy  1621    521909     88056     53084   5534926     63007   2547303  12433004     21.23     40.85
53314.01/1725.71	c  S st  1686    536770     88039     53084   5544666     77787   2547303  19769200     21.26   no data
53371.54/1727.52	c  S st  1686    537270     88039     53084   5544675     78278   2547303  19880635     21.26   no data
53377.93/1727.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
54036.17/1748.36	c Flit:     8 Blit:     12 bXBeca:    0 bXProp:    7 Bins: 192664 BRemL:  31576 BRemN:   1870 P: 200.1M T: 20.57
54062.34/1749.15	c Replacing       64 vars Replaced    68033 lits Time:     0.77 s 
54068.10/1749.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
54097.50/1750.23	c bin-w-bin subsume rem        55432 bins  time:  0.85 s
54154.38/1752.01	c subs with bin:      101  lits-rem:       392  v-fix:    0  time:  1.78 s
54317.31/1757.17	c Subs w/ non-existent bins:      4 l-rem:    222 v-fix:     0 done:  31431 time:  5.16 s
54336.50/1757.70	c Removed useless bin:    8651  fixed:     0  props:  20.00M  time:  0.53 s
54362.07/1758.56	c lits-rem:         4  cl-subs:      106  v-elim:     86  v-fix:    0  time:  0.86 s
54470.73/1761.94	c subs with bin:       14  lits-rem:       137  v-fix:    0  time:  2.11 s
54563.43/1764.90	c lits-rem:      1711  cl-subs:     1602  v-elim:      0  v-fix:    0  time:  2.86 s
54598.57/1765.98	c asymm  cl-useful: 34/371/53053 lits-rem:498 time: 1.09
54604.96/1766.17	c calculated reachability. Time: 0.01
54604.96/1766.17	c  N dy  1686    537270     87870     53053   5584268     72137   2520222  17048599     21.26   no data
54611.36/1766.35	c Finding binary XORs  T:     0.18 s  found:      46
56437.40/1823.70	c Finding binary XORs  T:     0.18 s  found:      17
56517.18/1826.28	c  N dy  1760    557369     87838     53033   5739405     92116   2518426  27815502     21.21     40.70
57854.63/1868.17	c Finding binary XORs  T:     0.18 s  found:       9
58381.88/1884.60	c  N dy  1822    578668     87810     53020   5806116     81771   2516738  22953124     21.12     23.96
60314.83/1945.10	c  N dy  1911    598987     87777     53020   5807630     66803   2516738  11774970     21.17     23.21
60330.82/1945.70	c Finding binary XORs  T:     0.18 s  found:      13
61362.94/1978.02	c Finding binary XORs  T:     0.19 s  found:      13
62066.71/2000.11	c  N dy  1988    619106     87713     52979   6115675     86743   2512956  22168908     21.19     22.59
63510.44/2045.38	c Finding binary XORs  T:     0.19 s  found:      15
64012.15/2061.07	c  N dy  2031    640767     87696     52968   6157661     72253   2512251  12815789     21.06     22.49
65932.53/2121.12	c  N dy  2088    661642     87653     52968   6174567     93034   2512251  25696881     21.00     22.69
65948.53/2121.65	c Finding binary XORs  T:     0.19 s  found:      30
67904.09/2182.81	c  N dy  2183    681664     87607     52927   6222589     75618   2509138  13960463     21.05     22.59
68130.76/2189.93	c Finding binary XORs  T:     0.19 s  found:      14
69508.68/2233.12	c Finding binary XORs  T:     0.19 s  found:       6
69725.37/2239.89	c  N dy  2253    701805     87590     52910   6271387     95633   2507926  24723063     21.03     22.82
70907.50/2276.87	c Finding binary XORs  T:     0.19 s  found:       7
71678.62/2301.00	c Finding binary XORs  T:     0.20 s  found:      12
71777.68/2304.12	c  N dy  2324    721941     87563     52902   6515957     77715   2507056  13472454     21.02     24.53
73645.97/2362.66	c  N dy  2392    742259     87558     52902   6600148     97919   2507056  26075148     21.02     22.21
73958.78/2372.41	c Finding binary XORs  T:     0.20 s  found:       4
74980.75/2404.93	c Finding binary XORs  T:     0.20 s  found:       4
75530.37/2422.16	c  N dy  2450    762668     87541     52894   6698155    118221   2506383  37201444     20.95     22.49
77546.50/2485.27	c  N dy  2559    784019     87517     52894   6699120     99980   2506383  25812238     21.00     22.18
79517.90/2546.96	c  N dy  2663    804134     87495     52894   6704036    119995   2506383  37540661     21.05     22.41
79671.34/2551.71	c  S st  2673    805905     87495     52894   6704039    121761   2506383  38198441     21.06   no data
79728.77/2553.59	c  S st  2673    806405     87495     52894   6704040    122260   2506383  38282241     21.06   no data
79741.55/2553.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.33
80380.55/2573.96	c Flit:     6 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 390568 BRemL:   7626 BRemN:    847 P: 200.0M T: 20.03
80428.43/2575.48	c Replacing      190 vars Replaced   139460 lits Time:     1.52 s 
80438.03/2575.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
80476.38/2576.92	c bin-w-bin subsume rem        78083 bins  time:  1.18 s
80546.71/2579.16	c subs with bin:      171  lits-rem:       523  v-fix:    0  time:  2.24 s
80763.99/2585.92	c Subs w/ non-existent bins:      2 l-rem:    204 v-fix:     0 done:  31888 time:  6.77 s
80779.93/2586.50	c Removed useless bin:    9591  fixed:     0  props:  20.00M  time:  0.57 s
80815.06/2587.50	c lits-rem:         4  cl-subs:      245  v-elim:    172  v-fix:    0  time:  1.00 s
80942.86/2591.50	c subs with bin:       45  lits-rem:       508  v-fix:    0  time:  2.00 s
81070.64/2595.56	c lits-rem:      1287  cl-subs:     2627  v-elim:      0  v-fix:    0  time:  3.96 s
81109.00/2596.72	c asymm  cl-useful: 75/597/52878 lits-rem:913 time: 1.16
81115.40/2596.95	c calculated reachability. Time: 0.01
81115.40/2596.95	c  N dy  2673    806405     87147     52878   6955497    107511   2479015  23959394     21.06   no data
81122.38/2597.16	c Finding binary XORs  T:     0.20 s  found:      18
82888.15/2654.84	c  N dy  2729    826466     87136     52878   6998809     96324   2479015  20468833     20.99     32.27
84836.97/2715.87	c  N dy  2786    846917     87136     52878   6999817    116704   2479015  31365382     20.95     22.36
86699.71/2774.21	c  N dy  2856    867025     87129     52878   7000875     95784   2479015  20024424     20.95     22.61
87552.69/2800.84	c Finding binary XORs  T:     0.21 s  found:      21
88571.71/2832.72	c  N dy  2936    887093     87117     52861   7068968    115708   2478037  30778014     20.95     28.39
88817.82/2840.51	c Finding binary XORs  T:     0.21 s  found:       5
90475.13/2892.78	c  N dy  3015    907251     87110     52855   7233579     94123   2477837  17568573     20.94     22.14
92401.91/2953.05	c  N dy  3094    928200     87108     52855   7235064    114963   2477837  28727600     20.95     22.35
94386.35/3015.20	c  N dy  3179    948263     87089     52855   7246513     92139   2477837  14815332     20.98     22.68
95993.09/3065.47	c Finding binary XORs  T:     0.21 s  found:      17
96328.69/3075.90	c  N dy  3262    968313     87081     52841   7309188    112073   2476753  27077808     20.97     22.08
98609.55/3147.37	c  N dy  3320    988850     87078     52841   7310416    132515   2476753  40955364     20.92     22.09
99960.45/3189.75	c Finding binary XORs  T:     0.21 s  found:       8
100642.34/3211.14	c  N dy  3396   1008889     87071     52837   7439616    108942   2476501  22178915     20.91     22.16
102789.72/3278.40	c  N dy  3483   1029537     87058     52837   7443919    129520   2476501  34598352     20.93     22.31
105080.05/3350.06	c  N dy  3551   1049781     87050     52837   7454360    104902   2476501  18407767     20.92     22.55
107201.89/3416.41	c  N dy  3616   1069837     87043     52837   7455331    124875   2476501  28717533     20.91     22.06
107454.78/3424.38	c Finding binary XORs  T:     0.23 s  found:      24
107470.16/3424.82	c  F st  3633   1071879     87039     52818   7522132    126874   2475384  30267016     20.93   no data
107502.13/3425.81	c Replacing       93 vars Replaced   114766 lits Time:     0.99 s 
109735.05/3495.77	c  N dy  3698   1090069     86942     52765   7522974    144965   2474695  43203522     20.95     22.09
111956.14/3565.26	c  N dy  3769   1110665     86925     52765   7559740    119399   2474695  24540195     20.93     22.23
114259.45/3637.32	c  N dy  3851   1130740     86913     52765   7560699    139397   2474695  36561716     20.95     23.28
114403.02/3641.89	c Finding binary XORs  T:     0.23 s  found:      29
116745.08/3715.11	c  N dy  3959   1151279     86875     52731   7596890    113008   2472526  17775151     21.02     22.28
117355.30/3734.23	c Finding binary XORs  T:     0.22 s  found:      12
118572.22/3772.32	c Finding binary XORs  T:     0.23 s  found:      10
118881.91/3782.02	c  N dy  4029   1171351     86853     52707   7715162    132969   2470740  28319644     21.03    128.51
121313.38/3858.14	c  N dy  4135   1191384     86837     52707   7768252    152916   2470740  40346730     21.10     22.31
121639.36/3868.36	c Finding binary XORs  T:     0.23 s  found:       9
123297.68/3920.24	c Finding binary XORs  T:     0.23 s  found:       8
123604.47/3929.84	c  S st  4217   1209607     86826     52695   7844276    123408   2469293  23271553     21.13     10.98
123677.93/3932.18	c  S st  4217   1210110     86826     52695   7844279    123908   2469293  23426295     21.13   no data
123687.52/3932.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.33
124406.48/3954.92	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 204372 BRemL:   7956 BRemN:    195 P: 200.0M T: 22.41
124432.65/3955.80	c Replacing       69 vars Replaced    94357 lits Time:     0.87 s 
124441.65/3956.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
124486.37/3957.40	c bin-w-bin subsume rem        78130 bins  time:  1.33 s
124570.09/3960.11	c subs with bin:      341  lits-rem:       704  v-fix:    0  time:  2.71 s
124777.26/3966.54	c Subs w/ non-existent bins:      0 l-rem:    115 v-fix:     0 done:  30995 time:  6.42 s
124799.62/3967.30	c Removed useless bin:   16594  fixed:     0  props:  20.00M  time:  0.76 s
124837.98/3968.42	c lits-rem:         4  cl-subs:      222  v-elim:    217  v-fix:    0  time:  1.12 s
124940.20/3971.60	c subs with bin:       27  lits-rem:       100  v-fix:    0  time:  2.08 s
125023.31/3974.29	c lits-rem:      1554  cl-subs:     2968  v-elim:      0  v-fix:    0  time:  2.59 s
125062.26/3975.49	c asymm  cl-useful: 52/462/52678 lits-rem:506 time: 1.19
125071.25/3975.75	c calculated reachability. Time: 0.01
125071.25/3975.75	c  N dy  4217   1210110     86534     52677   7928461    115151   2431662  19433791     21.13   no data
125308.09/3983.16	c Finding binary XORs  T:     0.23 s  found:      12
127336.79/4047.20	c Finding binary XORs  T:     0.24 s  found:       7
127509.21/4052.56	c  N dy  4289   1230175     86500     52665   8192016    135091   2430273  33618132     21.12     25.19
128457.62/4082.23	c Finding binary XORs  T:     0.22 s  found:      12
129684.61/4120.63	c  N dy  4380   1250192     86490     52654   8262853    154991   2429529  45259317     21.16     23.00
131693.86/4183.50	c  N dy  4434   1270245     86478     52654   8266075    127004   2429529  24656781     21.11     25.41
133783.36/4248.93	c  N dy  4522   1290342     86478     52654   8266785    147022   2429529  34980834     21.12     34.00
136029.39/4319.25	c  N dy  4607   1311625     86469     52654   8295005    118909   2429529  18224701     21.11     22.54
136955.47/4348.31	c Finding binary XORs  T:     0.23 s  found:      11
138224.75/4387.95	c  N dy  4684   1331789     86464     52634   8364595    138970   2428162  31884516     21.08     22.89
140513.75/4459.62	c  N dy  4750   1352192     86463     52634   8365480    159329   2428162  43208531     21.08     22.36
143161.94/4542.54	c  N dy  4840   1372198     86461     52634   8366547    128588   2428162  24880215     21.11     22.57
144175.09/4574.26	c Finding binary XORs  T:     0.24 s  found:      14
145478.50/4615.09	c  N dy  4917   1392199     86452     52626   8448862    148505   2427726  35349735     21.10     38.13
147727.78/4685.47	c  N dy  4997   1412300     86437     52626   8493805    168543   2427726  45195335     21.10     22.30
149941.45/4754.71	c  N dy  5068   1432576     86437     52626   8496550    136807   2427726  24749999     21.08     22.55
151059.92/4789.75	c Finding binary XORs  T:     0.24 s  found:      15
152280.98/4827.93	c  N dy  5136   1453161     86428     52612   8523736    157305   2427077  35698669     21.05     22.17
154775.94/4906.08	c  N dy  5234   1473347     86411     52612   8575487    177409   2427077  48468592     21.07     23.07
157053.45/4977.36	c  N dy  5295   1493451     86409     52612   8576709    144829   2427077  27697702     21.04     22.42
157791.59/5000.41	c Finding binary XORs  T:     0.24 s  found:      11
159491.20/5053.63	c  N dy  5372   1513604     86400     52594   8646769    164868   2425922  38718253     21.03     22.74

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3400713-1306361686/watcher-3400713-1306361686 -o /tmp/evaluation-result-3400713-1306361686/solver-3400713-1306361686 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400713-1306361686.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: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=338000 CPUtime=0.83 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 466 0 0 0 83 0 0 0 25 0 32 0 747655287 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 84500 407 300 95 0 79482 0
[pid=18910/tid=18911] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 4 0 0 0 2 0 0 0 21 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456144 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=338000 CPUtime=0 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456556 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.122705 s]
/proc/loadavg: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=1110416 CPUtime=2.26 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 15521 0 0 0 153 73 0 0 17 0 32 0 747655287 1137065984 14911 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 283981 15543 335 95 0 278963 0
[pid=18910/tid=18911] ppid=18908 vsize=1136440 CPUtime=0.05 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 275 0 0 0 4 1 0 0 17 0 32 0 747655288 1163714560 15719 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604504401247712 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=1144900 CPUtime=0.06 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 779 0 0 0 4 2 0 0 17 0 32 0 747655288 1172377600 15738 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=1153104 CPUtime=0.06 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 646 0 0 0 4 2 0 0 18 0 32 0 747655288 1180778496 15753 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=1153104 CPUtime=0.07 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 456 0 0 0 5 2 0 0 17 0 32 0 747655288 1180778496 15925 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512098 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=1161308 CPUtime=0.06 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 442 0 0 0 5 1 0 0 18 0 32 0 747655288 1189179392 15962 268435456000 4194304 4580107 140734659523200 18446744073709551615 4252939 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=1161308 CPUtime=0.05 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 289 0 0 0 4 1 0 0 17 0 32 0 747655288 1189179392 15974 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=1161308 CPUtime=0.05 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 333 0 0 0 4 1 0 0 17 0 32 0 747655288 1189179392 15978 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=1169512 CPUtime=0.05 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 270 0 0 0 4 1 0 0 17 0 32 0 747655288 1197580288 15987 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604477946232288 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=1169512 CPUtime=0.07 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 467 0 0 0 5 2 0 0 17 0 32 0 747655288 1197580288 16010 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=1177716 CPUtime=0.07 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 648 0 0 0 5 2 0 0 17 0 32 0 747655288 1205981184 16066 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=1177716 CPUtime=0.06 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 473 0 0 0 4 2 0 0 17 0 32 0 747655288 1205981184 16111 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=1177716 CPUtime=0.07 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 573 0 0 0 5 2 0 0 17 0 32 0 747655288 1205981184 16154 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510869 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=1177972 CPUtime=0.07 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 580 0 0 0 5 2 0 0 17 0 32 0 747655288 1206243328 16134 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=1177712 CPUtime=0.05 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 747655288 1205977088 16073 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604482478816736 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=1177712 CPUtime=0.03 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 543 0 0 0 1 2 0 0 17 0 32 0 747655288 1205977088 16120 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=1177712 CPUtime=0.07 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 542 0 0 0 5 2 0 0 17 0 32 0 747655288 1205977088 16214 268435456000 4194304 4580107 140734659523200 18446744073709551615 4354880 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=1177712 CPUtime=0.07 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 570 0 0 0 5 2 0 0 18 0 32 0 747655288 1205977088 16219 268435456000 4194304 4580107 140734659523200 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 608 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16231 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 323 0 0 0 4 1 0 0 17 0 32 0 747655288 1214377984 16279 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604483775233504 0 0 -1 14 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 634 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16309 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 568 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16324 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604480593739232 0 0 -1 21 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 412 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16377 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 22 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 457 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16378 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 514 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16383 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510902 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 543 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16409 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=1185916 CPUtime=0.08 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 715 0 0 0 5 3 0 0 17 0 32 0 747655288 1214377984 16432 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 851 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16448 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353262 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 442 0 0 0 3 2 0 0 17 0 32 0 747655288 1214377984 16452 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 286 0 0 0 4 1 0 0 17 0 32 0 747655288 1214377984 16492 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 16 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 531 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16497 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604485784206816 0 0 -1 29 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=1185916 CPUtime=0.08 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 746 0 0 0 5 3 0 0 17 0 32 0 747655288 1214377984 16529 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 1110416

[startup+0.209798 s]
/proc/loadavg: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=1373872 CPUtime=3.91 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) D 18908 18910 18704 0 -1 4202496 40955 0 0 0 277 114 0 0 17 0 32 0 747655287 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 343468 35502 336 95 0 338450 0
[pid=18910/tid=18911] ppid=18908 vsize=1373872 CPUtime=0.1 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 709 0 0 0 8 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=1373872 CPUtime=0.1 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1491 0 0 0 7 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=1373872 CPUtime=0.11 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1760 0 0 0 8 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1293 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1034 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353601 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 768 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1284 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 1136 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1171 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512149 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1567 0 0 0 10 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651013786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1032 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353782 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1460 0 0 0 9 4 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1392 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512303 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1075 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512124 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1357 0 0 0 5 4 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1176 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511192 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31

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

[pid=18910/tid=18920] ppid=18908 vsize=28262384 CPUtime=4960.01 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 890280 0 0 0 495057 944 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294562 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=28262384 CPUtime=4945.1 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 933184 0 0 0 493518 992 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=28262384 CPUtime=4955.6 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1023645 0 0 0 494531 1029 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=28262384 CPUtime=4939.85 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 961697 0 0 0 493008 977 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=28262384 CPUtime=4956.27 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 936652 0 0 0 494676 951 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=28262384 CPUtime=4936.95 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 916205 0 0 0 492726 969 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316385 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=28262384 CPUtime=4953.01 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 943754 0 0 0 494348 953 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=28262384 CPUtime=4950.33 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 931778 0 0 0 494058 975 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=28262384 CPUtime=4949.68 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 937586 0 0 0 494033 935 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=28262384 CPUtime=4950.83 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 996498 0 0 0 494062 1021 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4321629 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=28262384 CPUtime=4929.41 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 961560 0 0 0 491908 1033 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=28262384 CPUtime=4945.29 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 934835 0 0 0 493556 973 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=28262384 CPUtime=4956.45 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 935314 0 0 0 494712 933 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=28262384 CPUtime=4949.88 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 868825 0 0 0 494022 966 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=28262384 CPUtime=4957.38 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 916106 0 0 0 494764 974 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=28262384 CPUtime=4959.24 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 899877 0 0 0 495031 893 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=28262384 CPUtime=4943.45 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 883563 0 0 0 493396 949 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=28262384 CPUtime=4960.61 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 937069 0 0 0 495114 947 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=28262384 CPUtime=4957.56 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 946706 0 0 0 494715 1041 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=28262384 CPUtime=4948.14 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 993049 0 0 0 493864 950 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=28262384 CPUtime=4960.53 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 922378 0 0 0 495145 908 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=28262384 CPUtime=4955.33 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 940988 0 0 0 494653 880 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 158491
Current children cumulated vsize (KiB) 28262384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5069.6 s]
/proc/loadavg: 32.13 32.14 32.03 33/445 19091
/proc/meminfo: memFree=231763524/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=29812920 CPUtime=160003 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 30006104 0 0 0 15969401 30916 0 0 25 0 32 0 747655287 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 7453230 5822813 392 95 0 7448212 0
[pid=18910/tid=18911] ppid=18908 vsize=29812920 CPUtime=5012.51 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 962452 0 0 0 500235 1016 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=29812920 CPUtime=5015.77 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 910378 0 0 0 500663 914 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=29812920 CPUtime=5012.21 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 904444 0 0 0 500261 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=29812920 CPUtime=5015.85 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 976355 0 0 0 500527 1058 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=29812920 CPUtime=4990.39 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 952230 0 0 0 498079 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=29812920 CPUtime=4995.9 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 907057 0 0 0 498630 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4321016 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=29812920 CPUtime=5001.9 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 907846 0 0 0 499232 958 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=29812920 CPUtime=4999.67 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 905245 0 0 0 499018 949 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=29812920 CPUtime=5010.84 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 886261 0 0 0 500132 952 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293310 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=29812920 CPUtime=5007.32 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 897378 0 0 0 499784 948 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=29812920 CPUtime=4992.36 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 942599 0 0 0 498240 996 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=29812920 CPUtime=5002.88 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1028776 0 0 0 499257 1031 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=29812920 CPUtime=4987.15 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 968315 0 0 0 497734 981 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=29812920 CPUtime=5003.56 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 944177 0 0 0 499401 955 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=29812920 CPUtime=4984.26 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 923845 0 0 0 497453 973 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=29812920 CPUtime=5000.29 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 951917 0 0 0 499072 957 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=29812920 CPUtime=4997.1 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 939722 0 0 0 498731 979 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=29812920 CPUtime=4996.96 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 944432 0 0 0 498758 938 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=29812920 CPUtime=4998.13 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1004899 0 0 0 498787 1026 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=29812920 CPUtime=4976.71 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 969536 0 0 0 496635 1036 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=29812920 CPUtime=4992.6 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 941818 0 0 0 498283 977 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=29812920 CPUtime=5003.01 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 943404 0 0 0 499365 936 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=29812920 CPUtime=4997.17 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 876061 0 0 0 498748 969 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=29812920 CPUtime=5004.67 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 924312 0 0 0 499488 979 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=29812920 CPUtime=5006.53 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 906749 0 0 0 499757 896 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=29812920 CPUtime=4990.75 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 887134 0 0 0 498123 952 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=29812920 CPUtime=5007.89 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 946262 0 0 0 499837 952 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=29812920 CPUtime=5004.86 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 957836 0 0 0 499438 1048 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=29812920 CPUtime=4995.43 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1000156 0 0 0 498590 953 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=29812920 CPUtime=5007.81 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 928923 0 0 0 499869 912 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=29812920 CPUtime=5002.54 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 947464 0 0 0 499370 884 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 29812920

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

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

[startup+5070.3 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=234379660/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160004 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 30983 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5003.68 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1003 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5071.12 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31065 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.5 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1085 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5071.5 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31103 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.88 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1123 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5071.6 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31113 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.98 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1133 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5071.62
CPU time (s): 160005
CPU user time (s): 159694
CPU system time (s): 311.154
CPU usage (%): 3154.92
Max. virtual memory (cumulated for all children) (KiB): 29812920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159694
system time used= 311.154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30006138
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= 6486934
involuntary context switches= 334670

runsolver used 25.6221 second user time and 116.903 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-26 00:14:49
IDJOB=3400713
IDBENCH=82363
IDSOLVER=1886
FILE ID=node200/3400713-1306361686
RUNJOBID= node200-1306361502-18718
PBS_JOBID= 13457871
Free space on /tmp= 62004 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400713-1306361686/watcher-3400713-1306361686 -o /tmp/evaluation-result-3400713-1306361686/solver-3400713-1306361686 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400713-1306361686.cnf

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=948296927

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:      255088048 kB
Buffers:        469636 kB
Cached:        8284340 kB
SwapCached:          0 kB
Active:        7824932 kB
Inactive:      1002280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255088048 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           49488 kB
Writeback:           0 kB
AnonPages:       73436 kB
Mapped:          14480 kB
Slab:           257784 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   176396 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= 61996 MiB
End job on node200 at 2011-05-26 01:39:20