Trace number 3400858

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) 160003 5013.09

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400858-1307054225.cnf'
0.00/0.09	c -- header says num vars:          28147
0.00/0.09	c -- header says num clauses:      108436
20.16/1.15	c -- clauses added:            0 learnts,       108436 normals,            0 xors
20.16/1.15	c -- vars added      28147
20.16/1.15	c Parsing time:  0.30 s
20.16/1.15	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data
36.40/1.98	c asymm  cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.62
46.08/2.29	c Flit:    11 Blit:      0 bXBeca:    0 bXProp: 4694 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.29
50.83/2.43	c Replacing     4694 vars Replaced    77987 lits Time:     0.09 s 
81.60/4.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.60/4.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
81.60/4.18	c subs with bin:      246  lits-rem:       220  v-fix:    0  time:  0.04 s
83.45/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    16 done:  23417 time:  0.03 s
83.45/4.23	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
112.68/5.44	c lits-rem:      4096  cl-subs:     1951  v-elim:    662  v-fix:    0  time:  0.90 s
112.68/5.46	c Finding binary XORs  T:     0.03 s  found:       0
115.69/5.60	c Finding non-binary XORs:     0.10 s (found:    7758, avg size: 3.5)
115.69/5.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
117.66/5.61	c calculated reachability. Time: 0.00
117.66/5.63	c Calc default polars -  time:   0.01 s pos:    4737 undec:    5932 neg:   17478
117.66/5.63	c =========================================================================================
117.66/5.63	c types(t): F = full restart, N = normal restart
117.66/5.63	c types(t): S = simplification begin/end, E = solution found
117.66/5.63	c restart types(rt): st = static, dy = dynamic
117.66/5.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
117.66/5.63	c  B st     0         0     22743     41139      9807         0    220846         0   no data   no data
155.77/6.83	c Decided on static restart strategy
190.93/7.97	c  N st     8      4911     22527     41139     11284      3348    220846     16965   no data   no data
222.90/8.96	c Finding binary XORs  T:     0.02 s  found:       0
318.80/11.95	c  N st    10     11293     22386     39786     17085      9073    216972     55863   no data   no data
357.75/13.21	c Finding binary XORs  T:     0.02 s  found:       0
488.18/17.28	c  N st    11     17036     22347     39561     28631     14639    216413    109297   no data   no data
775.88/26.25	c  F st    12     25001     22347     39561     28656     19180    216413    737871   no data   no data
775.88/26.28	c Replacing        4 vars Replaced        9 lits Time:     0.02 s 
779.69/26.34	c  N st    12     25001     22346     39549     28659     19180    216330    737871   no data   no data
779.69/26.37	c Finding binary XORs  T:     0.02 s  found:       0
881.34/29.56	c Decided on static restart strategy
881.34/29.56	c  N st    18     30004     22346     39549     30734     24134    216330   1474052   no data   no data
881.34/29.56	c  S st    18     30004     22346     39549     30734     24134    216330   1474052   no data   no data
894.11/29.96	c  S st    18     30504     22346     39549     30738     24627    216330   1482533   no data   no data
894.11/29.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
920.29/30.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  23303 BRemL:  12920 BRemN:     43 P:  8.2M T:  0.76
920.29/30.79	c blocked clauses removed:        0 vars:      0 tried:        3698 T: 0.01 s
920.29/30.80	c bin-w-bin subsume rem         4502 bins  time:  0.01 s
923.52/30.85	c subs with bin:    11453  lits-rem:      2382  v-fix:    0  time:  0.05 s
923.52/30.90	c Subs w/ non-existent bins:    711 l-rem:    184 v-fix:     0 done:  11495 time:  0.04 s
926.07/30.92	c Removed useless bin:     181  fixed:     0  props:   0.30M  time:  0.02 s
929.28/31.05	c lits-rem:         3  cl-subs:       99  v-elim:   1081  v-fix:    0  time:  0.12 s
932.47/31.10	c subs with bin:     1127  lits-rem:      1597  v-fix:    0  time:  0.03 s
932.47/31.18	c lits-rem:       159  cl-subs:      169  v-elim:      0  v-fix:    0  time:  0.06 s
942.07/31.44	c asymm  cl-useful: 288/29162/29162 lits-rem:292 time: 0.26
942.07/31.46	c calculated reachability. Time: 0.01
942.07/31.46	c  N st    18     30504     21265     29160     32354     15821    194586    129198   no data   no data
1005.99/33.47	c Finding binary XORs  T:     0.03 s  found:       0
1096.10/36.28	c  N st    20     37617     21265     29160     32824     22804    194586   1024392   no data   no data
1328.66/43.51	c  N st    21     44023     21265     29160     32824     25568    194586   1456946   no data   no data
1328.66/43.57	c Finding binary XORs  T:     0.03 s  found:       0
1360.62/44.56	c  S st    22     45756     21265     29160     57227     27283    194586   1657011   no data   no data
1373.42/44.96	c  S st    22     46258     21265     29160     57228     27782    194586   1667234   no data   no data
1373.42/44.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1398.98/45.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   9391 BRemL:  23260 BRemN:      1 P:  7.4M T:  0.75
1398.98/45.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1398.98/45.79	c bin-w-bin subsume rem         8004 bins  time:  0.01 s
1402.17/45.83	c subs with bin:     2198  lits-rem:       150  v-fix:    0  time:  0.03 s
1402.17/45.87	c Subs w/ non-existent bins:     72 l-rem:     20 v-fix:     0 done:  11442 time:  0.04 s
1402.17/45.89	c Removed useless bin:       1  fixed:     0  props:   0.24M  time:  0.02 s
1405.36/45.96	c lits-rem:         0  cl-subs:       11  v-elim:    164  v-fix:    0  time:  0.06 s
1412.34/46.16	c subs with bin:       97  lits-rem:      1479  v-fix:    0  time:  0.13 s
1421.33/46.42	c lits-rem:       411  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.24 s
1421.33/46.44	c vivif2 --  cl tried    27060 cl shrink      641 lits rem        641 time: 0.02
1421.33/46.48	c vivif2 --  cl tried    21298 cl shrink     2790 lits rem       5058 time: 0.05
1430.92/46.74	c asymm  cl-useful: 0/27017/27017 lits-rem:0 time: 0.25
1430.92/46.75	c calculated reachability. Time: 0.01
1430.92/46.75	c  N st    22     46258     21101     27017     34817     21289    190594    591645   no data   no data
1747.28/56.63	c  N st    23     60658     21101     27017     34817     35524    190594   2936651   no data   no data
1747.28/56.68	c Finding binary XORs  T:     0.03 s  found:       0
1894.25/61.26	c  N st    24     69388     21101     27017     46782     34508    190594   2610527   no data   no data
1894.25/61.26	c  S st    24     69388     21101     27017     46782     34508    190594   2610527   no data   no data
1904.42/61.59	c  S st    24     69892     21101     27017     47534     35008    190594   2619405   no data   no data
1907.65/61.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1929.35/62.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    665 BRemL:  11385 BRemN:      2 P:  5.9M T:  0.68
1929.35/62.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1929.35/62.35	c bin-w-bin subsume rem         2186 bins  time:  0.01 s
1929.35/62.38	c subs with bin:      633  lits-rem:         2  v-fix:    0  time:  0.03 s
1932.55/62.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9867 time:  0.04 s
1932.55/62.44	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
1935.74/62.52	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.08 s
1961.30/63.39	c subs with bin:        8  lits-rem:        44  v-fix:    0  time:  0.64 s
2063.51/66.59	c lits-rem:      2282  cl-subs:      287  v-elim:      0  v-fix:    0  time:  3.18 s
2066.70/66.61	c vivif2 --  cl tried    26384 cl shrink        3 lits rem          3 time: 0.02
2073.09/66.81	c vivif2 --  cl tried    34714 cl shrink     5556 lits rem      14226 time: 0.20
2080.11/67.08	c asymm  cl-useful: 4/26382/26382 lits-rem:231 time: 0.27
2080.11/67.10	c calculated reachability. Time: 0.01
2080.11/67.10	c  N st    24     69892     21100     26381     34629     34714    189287   2540952   no data   no data
2443.60/78.43	c  F st    25     87500     21100     26381     34629     52105    189287   6399268   no data   no data
2446.80/78.56	c  N st    25     87500     21100     26381     34629     52105    189287   6399268   no data   no data
2446.80/78.60	c Finding binary XORs  T:     0.03 s  found:       0
2593.80/83.15	c Decided on static restart strategy
2712.57/86.82	c  N st    32     95535     21100     26381     35827     43916    189287   3670545   no data   no data
2891.49/92.44	c  N st    34    104839     21100     26381     35861     53091    189287   5855832   no data   no data
2891.49/92.44	c  S st    34    104839     21100     26381     35861     53091    189287   5855832   no data   no data
2903.67/92.87	c  S st    34    105344     21100     26381     35873     53595    189287   5867274   no data   no data
2906.87/92.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2929.23/93.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    912 BRemN:      0 P:  6.3M T:  0.71
2929.23/93.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2929.23/93.66	c bin-w-bin subsume rem          172 bins  time:  0.01 s
2929.23/93.69	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.03 s
2932.44/93.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4318 time:  0.03 s
2932.44/93.75	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
2935.64/93.87	c lits-rem:         1  cl-subs:        6  v-elim:      3  v-fix:    0  time:  0.12 s
3015.55/96.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.02 s
3278.09/104.60	c lits-rem:      4247  cl-subs:      609  v-elim:      0  v-fix:    0  time:  8.21 s
3280.65/104.61	c vivif2 --  cl tried    26371 cl shrink        1 lits rem          1 time: 0.02
3293.44/105.09	c vivif2 --  cl tried    52985 cl shrink    11012 lits rem      43257 time: 0.47
3306.23/105.41	c asymm  cl-useful: 2/26370/26370 lits-rem:2 time: 0.31
3306.23/105.43	c calculated reachability. Time: 0.01
3306.23/105.43	c  N st    34    105344     21097     26370     34787     52985    188953   5683624   no data   no data
3485.74/111.11	c  N st    35    114943     21097     26370     34787     43319    188953   3428636   no data   no data
3977.78/126.49	c  N st    36    129340     21097     26370     34799     57390    188953   5636877   no data   no data
4446.88/141.15	c  N st    37    150936     21097     26370     34804     56848    188953   7002923   no data   no data
4689.74/148.71	c  S st    38    158016     21097     26370     34829     63842    188953   8065185   no data   no data
4705.74/149.20	c  S st    38    158516     21097     26370     34837     64342    188953   8073553   no data   no data
4705.74/149.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4728.11/149.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     46 BRemN:      0 P:  6.5M T:  0.73
4731.31/150.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4731.31/150.02	c bin-w-bin subsume rem            5 bins  time:  0.01 s
4731.31/150.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4731.31/150.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7017 time:  0.03 s
4734.50/150.11	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
4737.70/150.26	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
4830.40/153.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.25 s
5296.79/167.75	c lits-rem:     13883  cl-subs:      980  v-elim:      0  v-fix:    0  time: 14.63 s
5296.79/167.77	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
5319.14/168.46	c vivif2 --  cl tried    63362 cl shrink    14360 lits rem      65353 time: 0.68
5331.91/168.80	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
5331.91/168.82	c calculated reachability. Time: 0.01
5331.91/168.82	c  N st    38    158516     21097     26370     34786     63362    188948   7780475   no data   no data
7022.01/221.73	c  N st    39    207105     21097     26370     34786     62632    188948   6422661   no data   no data
8038.14/253.54	c  N st    40    237777     21097     26370     34860     66736    188948   8973905   no data   no data
8038.14/253.54	c  S st    40    237777     21097     26370     34860     66736    188948   8973905   no data   no data
8050.94/253.94	c  S st    40    238278     21097     26370     34865     67233    188948   8980269   no data   no data
8050.94/254.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
8076.50/254.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     58 BRemN:      0 P:  6.6M T:  0.79
8079.69/254.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8079.69/254.83	c bin-w-bin subsume rem           14 bins  time:  0.01 s
8079.69/254.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
8079.69/254.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6010 time:  0.03 s
8082.89/254.92	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
8086.09/255.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
8185.13/258.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.38 s
8632.47/272.11	c lits-rem:      6582  cl-subs:      575  v-elim:      0  v-fix:    0  time: 13.95 s
8632.47/272.13	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
8658.03/272.94	c vivif2 --  cl tried    66658 cl shrink    14153 lits rem      77358 time: 0.79
8670.82/273.31	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.37
8670.82/273.33	c calculated reachability. Time: 0.01
8670.82/273.33	c  N st    40    238278     21097     26370     34793     66658    188948   8770659   no data   no data
10936.78/344.31	c  F st    41    306253     21097     26370     34793     77857    188948  13810639   no data   no data
10942.57/344.45	c  N st    41    306253     21097     26370     34793     77857    188948  13810639   no data   no data
11083.13/348.87	c Decided on static restart strategy
11811.71/371.69	c  N st    51    334565     21097     26370     34834     76215    188948   7923083   no data   no data
12329.40/387.86	c  N st    53    357418     21097     26370     34838     68242    188948   6737037   no data   no data
12329.40/387.86	c  S st    53    357418     21097     26370     34838     68242    188948   6737037   no data   no data
12345.99/388.33	c  S st    53    357921     21097     26370     34838     68744    188948   6745955   no data   no data
12345.99/388.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
12370.94/389.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     40 BRemN:      0 P:  6.6M T:  0.75
12370.94/389.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12370.94/389.17	c bin-w-bin subsume rem            1 bins  time:  0.01 s
12370.94/389.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
12374.13/389.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11014 time:  0.04 s
12374.13/389.26	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
12377.95/389.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
12460.40/391.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.07 s
12680.78/398.87	c lits-rem:      4340  cl-subs:      441  v-elim:      0  v-fix:    0  time:  6.89 s
12680.78/398.89	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
12699.95/399.43	c vivif2 --  cl tried    68303 cl shrink    11298 lits rem      47840 time: 0.52
12709.53/399.77	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
12709.53/399.79	c calculated reachability. Time: 0.01
12709.53/399.79	c  N st    53    357921     21097     26370     34797     68303    188948   6624897   no data   no data
13588.09/427.21	c  N st    54    390314     21097     26370     34797     68795    188948   7604588   no data   no data
15517.91/487.61	c  N st    55    438903     21097     26370     34804     83950    188948   7845178   no data   no data
17907.77/562.49	c  N st    56    511785     21097     26370     34815     88358    188948  15476798   no data   no data
18677.58/586.52	c  N st    57    536881     21097     26370     34819     77431    188948   7606284   no data   no data
18677.58/586.52	c  S st    57    536881     21097     26370     34819     77431    188948   7606284   no data   no data
18693.57/587.08	c  S st    57    537382     21097     26370     34819     77931    188948   7618341   no data   no data
18696.77/587.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
18722.34/587.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     20 BRemN:      0 P:  6.8M T:  0.81
18722.34/587.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18722.34/587.99	c bin-w-bin subsume rem            1 bins  time:  0.01 s
18725.53/588.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
18725.53/588.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8132 time:  0.04 s
18725.53/588.09	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
18731.94/588.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
18818.22/590.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.13 s
19284.62/605.59	c lits-rem:      6526  cl-subs:      852  v-elim:      0  v-fix:    0  time: 14.63 s
19287.82/605.61	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
19306.98/606.21	c vivif2 --  cl tried    77079 cl shrink    14355 lits rem      54013 time: 0.59
19316.58/606.57	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.36
19316.58/606.59	c calculated reachability. Time: 0.01
19316.58/606.59	c  N st    57    537382     21097     26370     34798     77079    188948   7409939   no data   no data
25997.19/815.65	c  N st    58    701370     21097     26370     34798     87224    188948  12861844   no data   no data
30025.78/941.70	c  N st    59    806073     21097     26370     34812     65788    188948   4082155   no data   no data
30025.78/941.70	c  S st    59    806073     21097     26370     34812     65788    188948   4082155   no data   no data
30041.74/942.20	c  S st    59    806579     21097     26370     34840     66290    188948   4097456   no data   no data
30041.74/942.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
30064.11/943.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     38 BRemN:      0 P:  6.5M T:  0.75
30067.27/943.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30067.27/943.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
30067.27/943.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
30070.48/943.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10477 time:  0.04 s
30070.48/943.13	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
30073.68/943.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
30115.21/944.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.95 s
30214.27/947.62	c lits-rem:      3094  cl-subs:      286  v-elim:      0  v-fix:    0  time:  3.08 s
30214.27/947.64	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
30220.67/947.85	c vivif2 --  cl tried    66004 cl shrink     1819 lits rem       5614 time: 0.21
30230.85/948.19	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
30230.85/948.21	c calculated reachability. Time: 0.01
30230.85/948.21	c  N st    59    806579     21097     26370     34802     66004    188948   4068231   no data   no data
39246.76/1230.47	c  F st    60   1071876     21097     26370     34802    101415    188948  17809956   no data   no data
39253.16/1230.61	c  N st    60   1071876     21097     26370     34802    101415    188948  17809956   no data   no data
39486.28/1237.93	c Decided on static restart strategy
40370.81/1265.61	c  N st    70   1100176     21097     26370     34851     80724    188948   6354342   no data   no data
41568.66/1303.15	c  N st    72   1136170     21097     26370     34851    116489    188948  16101739   no data   no data
43376.51/1359.77	c  N st    73   1168565     21097     26370     34851     98994    188948  11149791   no data   no data
45152.48/1415.33	c  N st    74   1209873     21097     26370     34851     89330    188948   7881643   no data   no data
45152.48/1415.33	c  S st    74   1209873     21097     26370     34851     89330    188948   7881643   no data   no data
45171.64/1415.98	c  S st    74   1210377     21097     26370     34851     89834    188948   7893667   no data   no data
45174.83/1416.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
45203.60/1416.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     43 BRemN:      0 P:  7.0M T:  0.86
45203.60/1416.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45203.60/1416.94	c bin-w-bin subsume rem            2 bins  time:  0.01 s
45203.60/1416.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
45206.80/1417.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11342 time:  0.04 s
45206.80/1417.04	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
45213.20/1417.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
45303.30/1420.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.24 s
45650.83/1430.96	c lits-rem:      5299  cl-subs:      652  v-elim:      0  v-fix:    0  time: 10.83 s
45650.83/1430.98	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
45670.00/1431.58	c vivif2 --  cl tried    89182 cl shrink    11587 lits rem      45125 time: 0.59
45686.00/1432.01	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.43
45686.00/1432.03	c calculated reachability. Time: 0.01
45686.00/1432.03	c  N st    74   1210377     21097     26370     34806     89182    188948   7773474   no data   no data
48072.34/1506.70	c  N st    75   1283259     21097     26370     34806    110081    188948  15676801   no data   no data
48072.34/1506.74	c Finding binary XORs  T:     0.04 s  found:       0
53209.17/1667.62	c  N st    76   1392582     21097     26370     34812    111887    188948  14035328   no data   no data
58683.55/1838.92	c  N st    77   1556566     21097     26370     34812    108391    188948  14158368   no data   no data
65851.48/2063.37	c  N st    78   1710377     21097     26370     34812     85342    188948   5666367   no data   no data
65851.48/2063.37	c  S st    78   1710377     21097     26370     34812     85342    188948   5666367   no data   no data
65870.56/2063.98	c  S st    78   1710878     21097     26370     34812     85842    188948   5678974   no data   no data
65873.76/2064.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
65899.33/2064.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      6 BRemN:      0 P:  6.9M T:  0.84
65902.52/2064.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65902.52/2064.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65902.52/2064.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
65902.52/2064.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11202 time:  0.04 s
65905.73/2065.02	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
65908.92/2065.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
65969.52/2067.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.36 s
66129.36/2072.08	c lits-rem:      4208  cl-subs:      412  v-elim:      0  v-fix:    0  time:  5.06 s
66132.55/2072.10	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
66142.77/2072.43	c vivif2 --  cl tried    85430 cl shrink     2709 lits rem       7764 time: 0.32
66154.93/2072.82	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.39
66154.93/2072.84	c calculated reachability. Time: 0.01
66154.93/2072.84	c  N st    78   1710878     21097     26370     34806     85430    188948   5638916   no data   no data
82251.34/2576.76	c  N st    79   2079842     21097     26370     34806    138757    188948  22996585   no data   no data
87210.33/2732.01	c  N st    80   2210881     21097     26370     34806    137230    188948  23991291   no data   no data
87210.33/2732.01	c  S st    80   2210881     21097     26370     34806    137230    188948  23991291   no data   no data
87235.91/2732.88	c  S st    80   2211382     21097     26370     34806    137729    188948  24000033   no data   no data
87239.10/2732.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
87274.20/2734.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  1.07
87277.40/2734.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87277.40/2734.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
87277.40/2734.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
87280.60/2734.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10996 time:  0.04 s
87280.60/2734.24	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
87294.01/2734.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.38 s
87443.52/2739.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.37 s
89098.02/2791.12	c lits-rem:     16615  cl-subs:      967  v-elim:      0  v-fix:    0  time: 50.40 s
89098.02/2791.14	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
89174.57/2793.59	c vivif2 --  cl tried   136762 cl shrink    36958 lits rem     343339 time: 2.39
89193.75/2794.15	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.56
89193.75/2794.18	c calculated reachability. Time: 0.01
89193.75/2794.18	c  N st    80   2211382     21097     26370     34806    136762    188948  23380277   no data   no data
108810.60/3408.37	c  N st    81   2711384     21097     26370     34806    138790    188948  18170163   no data   no data
108810.60/3408.37	c  S st    81   2711384     21097     26370     34806    138790    188948  18170163   no data   no data
108836.16/3409.13	c  S st    81   2711884     21097     26370     34806    139284    188948  18178756   no data   no data
108839.36/3409.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
108871.33/3410.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.2M T:  1.00
108871.33/3410.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
108871.33/3410.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
108871.33/3410.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
108874.49/3410.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11663 time:  0.04 s
108874.49/3410.36	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
108884.12/3410.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.30 s
109006.11/3414.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.32 s
111100.45/3480.08	c lits-rem:      2781  cl-subs:     2147  v-elim:      0  v-fix:    0  time: 65.62 s
111103.65/3480.10	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
111157.95/3481.84	c vivif2 --  cl tried   137137 cl shrink    32798 lits rem     177421 time: 1.70
111173.94/3482.37	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.53
111173.94/3482.39	c calculated reachability. Time: 0.01
111173.94/3482.39	c  N st    81   2711884     21097     26370     34806    137137    188948  17457761   no data   no data
130207.79/4078.27	c  N st    82   3211885     21097     26370     34806    172218    188948  27288058   no data   no data
130207.79/4078.27	c  S st    82   3211885     21097     26370     34806    172218    188948  27288058   no data   no data
130239.75/4079.29	c  S st    82   3212388     21097     26370     34806    172719    188948  27296636   no data   no data
130246.15/4079.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
130281.30/4080.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.9M T:  1.10
130281.30/4080.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130281.30/4080.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
130281.30/4080.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
130284.51/4080.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11339 time:  0.04 s
130284.51/4080.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
130297.92/4081.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.40 s
130447.34/4085.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.30 s
134255.20/4204.91	c lits-rem:      8816  cl-subs:     2554  v-elim:      0  v-fix:    0  time: 119.14 s
134255.20/4204.93	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.02
134347.66/4207.87	c vivif2 --  cl tried   170165 cl shrink    53688 lits rem     393389 time: 2.86
134366.84/4208.48	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.61
134366.84/4208.51	c calculated reachability. Time: 0.01
134366.84/4208.51	c  N st    82   3212388     21097     26370     34806    170165    188948  26300534   no data   no data
157659.48/4937.76	c  N st    83   3712389     21097     26370     34806    169715    188948  23946328   no data   no data
157659.48/4937.76	c  S st    83   3712389     21097     26370     34806    169715    188948  23946328   no data   no data
157688.25/4938.62	c  S st    83   3712892     21097     26370     34806    170216    188948  23952448   no data   no data
157691.45/4938.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
157729.58/4939.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.7M T:  1.21
157729.58/4939.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157729.58/4940.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
157733.36/4940.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
157733.36/4940.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4901 time:  0.04 s
157733.36/4940.11	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.03 s
157745.56/4940.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.38 s
157888.89/4944.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.37 s

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: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400858-1307054225/watcher-3400858-1307054225 -o /tmp/evaluation-result-3400858-1307054225/solver-3400858-1307054225 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400858-1307054225.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=338000 CPUtime=0.85 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) R 9229 9231 9205 0 -1 4202496 437 0 0 0 85 0 0 0 25 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 84500 376 297 95 0 79482 0
[pid=9231/tid=9232] ppid=9229 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=338000 CPUtime=0 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603504 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.0978231 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=1191456 CPUtime=2.13 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) S 9229 9231 9205 0 -1 4202496 9723 0 0 0 141 72 0 0 17 0 32 0 11334917 1220050944 9571 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 297864 9580 331 95 0 292846 0
[pid=9231/tid=9232] ppid=9229 vsize=1191456 CPUtime=0.06 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 11334917 1220050944 9582 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=1191456 CPUtime=0.06 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 299 0 0 0 4 2 0 0 17 0 32 0 11334917 1220050944 9589 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=1322528 CPUtime=0.06 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 278 0 0 0 4 2 0 0 23 0 32 0 11334917 1354268672 9594 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 276 0 0 0 4 2 0 0 17 0 32 0 11334917 1287159808 9601 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604499193298400 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 302 0 0 0 4 2 0 0 18 0 32 0 11334917 1287159808 9613 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 277 0 0 0 4 2 0 0 18 0 32 0 11334917 1287159808 9613 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604498665725408 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 277 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9619 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929584 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 276 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9625 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929584 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 300 0 0 0 4 2 0 0 18 0 32 0 11334918 1287159808 9631 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 309 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9637 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 269 0 0 0 4 2 0 0 24 0 32 0 11334918 1287159808 9643 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 274 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9650 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604487742537184 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 286 0 0 0 4 2 0 0 24 0 32 0 11334918 1287159808 9665 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 312 0 0 0 4 2 0 0 18 0 32 0 11334918 1287159808 9668 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 267 0 0 0 4 2 0 0 25 0 32 0 11334918 1287159808 9672 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 311 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9680 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 319 0 0 0 4 2 0 0 25 0 32 0 11334918 1287159808 9688 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604499987955168 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 287 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 275 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 16 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 297 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9706 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 12 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=1256992 CPUtime=0.02 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 272 0 0 0 0 2 0 0 17 0 32 0 11334918 1287159808 9727 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 31 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=1256992 CPUtime=0.04 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 300 0 0 0 2 2 0 0 25 0 32 0 11334918 1287159808 9729 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 11334918 1287159808 9731 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 11334918 1287159808 9733 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 23 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 268 0 0 0 3 2 0 0 18 0 32 0 11334918 1287159808 9737 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604470607298016 0 0 -1 27 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 332 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9743 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 296 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9755 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 21 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 320 0 0 0 4 2 0 0 25 0 32 0 11334918 1287299072 9768 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 11334918 1287299072 9770 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 333 0 0 0 4 2 0 0 18 0 32 0 11334918 1287299072 9770 268435456000 4194304 4580107 140733195832848 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1191456

[startup+0.103821 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=1257260 CPUtime=2.16 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) D 9229 9231 9205 0 -1 4202496 10302 0 0 0 142 74 0 0 17 0 32 0 11334917 1287434240 10150 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 314315 10155 331 95 0 309297 0
[pid=9231/tid=9232] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 331 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10159 268435456000 4194304 4580107 140733195832848 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 325 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10167 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604459318975968 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 300 0 0 0 4 2 0 0 23 0 32 0 11334917 1287434240 10172 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 286 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10180 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 337 0 0 0 4 2 0 0 18 0 32 0 11334917 1287434240 10200 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 302 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10211 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 289 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10212 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=1257260 CPUtime=0.05 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 281 0 0 0 4 1 0 0 17 0 32 0 11334918 1287434240 10219 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566931744 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 338 0 0 0 4 2 0 0 18 0 32 0 11334918 1287434240 10220 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 325 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10231 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604442556653024 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 270 0 0 0 4 2 0 0 24 0 32 0 11334918 1287434240 10257 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 287 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10260 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 319 0 0 0 4 2 0 0 24 0 32 0 11334918 1287434240 10271 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10273 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 268 0 0 0 4 2 0 0 18 0 32 0 11334918 1287434240 10280 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 337 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10288 268435456000 4194304 4580107 140733195832848 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31

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

/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1164014 0 0 0 494828 722 0 0 25 0 32 0 11334917 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=32153116 CPUtime=4955.7 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1408760 0 0 0 494741 829 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=32153116 CPUtime=4944.37 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1286423 0 0 0 493651 786 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=32153116 CPUtime=4950.41 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1221189 0 0 0 494301 740 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=32153116 CPUtime=4955.17 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1282691 0 0 0 494773 744 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=32153116 CPUtime=4955.66 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1257447 0 0 0 494834 732 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=32153116 CPUtime=4951.63 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1125440 0 0 0 494485 678 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=32153116 CPUtime=4956.56 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1270953 0 0 0 494892 764 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=32153116 CPUtime=4949.27 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1193056 0 0 0 494181 746 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=32153116 CPUtime=4944.1 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1191294 0 0 0 493675 735 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=32153116 CPUtime=4952.26 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1325252 0 0 0 494441 785 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4487417 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=32153116 CPUtime=4952.07 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1066542 0 0 0 494528 679 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=32153116 CPUtime=4941.12 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1045714 0 0 0 493456 656 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=32153116 CPUtime=4953.65 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1266050 0 0 0 494645 720 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=32153116 CPUtime=4954.4 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1346825 0 0 0 494643 797 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=32153116 CPUtime=4947.3 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1238624 0 0 0 493983 747 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=32153116 CPUtime=4943.95 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1238432 0 0 0 493639 756 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=32153116 CPUtime=4954.93 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1338519 0 0 0 494699 794 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=32153116 CPUtime=4951.56 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1221092 0 0 0 494394 762 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=32153116 CPUtime=4954.32 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1125597 0 0 0 494717 715 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=32153116 CPUtime=4952.41 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1048293 0 0 0 494574 667 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=32153116 CPUtime=4954.27 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1146011 0 0 0 494699 728 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=32153116 CPUtime=4953.31 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1345006 0 0 0 494547 784 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4321718 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=32153116 CPUtime=4954.86 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1311466 0 0 0 494736 750 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294840 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=32153116 CPUtime=4937.52 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1159495 0 0 0 493030 722 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=32153116 CPUtime=4958.92 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 442876 0 0 0 495576 316 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158445
Current children cumulated vsize (KiB) 32153116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011 s]
/proc/loadavg: 32.07 32.08 32.03 33/445 9409
/proc/meminfo: memFree=237969980/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=32826532 CPUtime=160001 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) R 9229 9231 9205 0 -1 4202496 39464974 0 0 0 15976475 23633 0 0 25 0 32 0 11334917 33614368768 6317663 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 8206633 6317663 402 95 0 8201615 0
[pid=9231/tid=9232] ppid=9229 vsize=32826532 CPUtime=4998.55 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1321488 0 0 0 499085 770 0 0 25 0 32 0 11334917 33614368768 6317663 268435456000 4194304 4580107 140733195832848 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=32826532 CPUtime=5002.93 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1385265 0 0 0 499476 817 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=32826532 CPUtime=5004.04 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1305845 0 0 0 499665 739 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=32826532 CPUtime=5003.56 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1353595 0 0 0 499569 787 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=32826532 CPUtime=5003.38 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1190224 0 0 0 499668 670 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=32826532 CPUtime=5004.17 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1171846 0 0 0 499689 728 0 0 25 0 32 0 11334917 33614368768 6317665 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=32826532 CPUtime=5004.37 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1427030 0 0 0 499598 839 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=32826532 CPUtime=4993.08 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1286423 0 0 0 498522 786 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=32826532 CPUtime=4999.1 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1228665 0 0 0 499164 746 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=32826532 CPUtime=5003.86 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1308191 0 0 0 499634 752 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=32826532 CPUtime=5004.33 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1269470 0 0 0 499695 738 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=32826532 CPUtime=5000.29 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1132455 0 0 0 499346 683 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=32826532 CPUtime=5005.25 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1285691 0 0 0 499754 771 0 0 25 0 32 0 11334918 33614368768 6317667 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=32826532 CPUtime=4997.56 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1201701 0 0 0 499006 750 0 0 25 0 32 0 11334918 33614368768 6317668 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=32826532 CPUtime=4992.79 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1226556 0 0 0 498532 747 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=32826532 CPUtime=5000.93 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1334937 0 0 0 499301 792 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=32826532 CPUtime=5000.76 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1077408 0 0 0 499393 683 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=32826532 CPUtime=4989.79 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1052094 0 0 0 498319 660 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=32826532 CPUtime=5001.32 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1274217 0 0 0 499406 726 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=32826532 CPUtime=5003.05 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1357704 0 0 0 499502 803 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=32826532 CPUtime=4995.97 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1247308 0 0 0 498845 752 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=32826532 CPUtime=4992.61 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1245398 0 0 0 498502 759 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=32826532 CPUtime=5003.6 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1346334 0 0 0 499562 798 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4305590 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=32826532 CPUtime=5000.23 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1236340 0 0 0 499252 771 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=32826532 CPUtime=5003 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1131091 0 0 0 499580 720 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=32826532 CPUtime=5001.08 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1056720 0 0 0 499436 672 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=32826532 CPUtime=5002.91 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1154884 0 0 0 499557 734 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=32826532 CPUtime=5001.98 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1352312 0 0 0 499410 788 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=32826532 CPUtime=5003.53 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1326963 0 0 0 499593 760 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=32826532 CPUtime=4986.21 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1175225 0 0 0 497890 731 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=32826532 CPUtime=5007.61 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 446037 0 0 0 500442 319 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 32826532

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9231

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

[startup+5011.8 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=243999216/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160002 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23710 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4998.34 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 827 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5012.6 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=257735632/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160003 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23791 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4999.16 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 909 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5013 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=257735632/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160003 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23830 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4999.54 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 947 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5013.09
CPU time (s): 160003
CPU user time (s): 159765
CPU system time (s): 238.394
CPU usage (%): 3191.71
Max. virtual memory (cumulated for all children) (KiB): 32874976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159765
system time used= 238.394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39465000
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= 1340986
involuntary context switches= 289669

runsolver used 27.6308 second user time and 112.503 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 00:37:05
IDJOB=3400858
IDBENCH=84223
IDSOLVER=1886
FILE ID=node200/3400858-1307054225
RUNJOBID= node200-1307054225-9219
PBS_JOBID= 13497798
Free space on /tmp= 61740 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400858-1307054225/watcher-3400858-1307054225 -o /tmp/evaluation-result-3400858-1307054225/solver-3400858-1307054225 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400858-1307054225.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=275653705

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.05
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.043
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.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.043
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.06
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.043
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	: 3989.96
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.043
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.09
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.043
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.05
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.043
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.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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	: 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.35
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.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263285848 kB
Buffers:         37484 kB
Cached:         774984 kB
SwapCached:       7848 kB
Active:          75664 kB
Inactive:       754724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263285848 kB
SwapTotal:    67111528 kB
SwapFree:     67054984 kB
Dirty:            7996 kB
Writeback:           0 kB
AnonPages:       15324 kB
Mapped:           7592 kB
Slab:            53012 kB
PageTables:       4772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185920 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= 61736 MiB
End job on node200 at 2011-06-03 02:00:39