Trace number 3400669

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 5011.7

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22271.7
Satisfiable
(Un)Satisfiability was proved
Number of variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400669-1306321800.cnf'
16.48/1.01	c -- clauses added:            0 learnts,        96161 normals,            0 xors
16.48/1.01	c -- vars added      31951
16.48/1.01	c Parsing time:  0.15 s
16.48/1.01	c  N st     0         0     31951     34439     61522         0    226361         0   no data   no data
37.24/1.62	c asymm  cl-useful: 15/34199/34199 lits-rem:45 time: 0.61
119.75/9.10	c Flit:    75 Blit:    312 bXBeca:    0 bXProp: 1890 Bins:      0 BRemL:      0 BRemN:      0 P: 18.7M T:  2.03
119.75/9.11	c Cleaning up after failed var search:     0.01 s 
121.58/9.22	c Replacing     1890 vars Replaced    47731 lits Time:     0.02 s 
126.00/9.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.00/9.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
126.00/9.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
131.27/9.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28403 time:  0.23 s
137.62/9.90	c Removed useless bin:       0  fixed:     0  props:  14.00M  time:  0.22 s
147.78/10.29	c lits-rem:         0  cl-subs:        0  v-elim:   9467  v-fix:    0  time:  0.24 s
154.18/10.40	c Finding binary XORs  T:     0.11 s  found:      12
154.18/10.42	c Replacing       12 vars Replaced      311 lits Time:     0.01 s 
154.18/10.44	c Finding non-binary XORs:     0.01 s (found:     710, avg size: 3.0)
154.18/10.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     0 time:   0.01
154.18/10.47	c calculated reachability. Time: 0.02
154.18/10.47	c Calc default polars -  time:   0.01 s pos:    4897 undec:   13074 neg:   13980
154.18/10.47	c =========================================================================================
154.18/10.47	c types(t): F = full restart, N = normal restart
154.18/10.47	c types(t): S = simplification begin/end, E = solution found
154.18/10.47	c restart types(rt): st = static, dy = dynamic
154.18/10.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
154.18/10.47	c  B st     0         0     18918     18263     45990         0    158345         0   no data   no data
387.49/17.71	c Decided on static restart strategy
739.07/28.70	c  N st     8      4918     18918     18263     46057      4812    158345    264245   no data   no data
1071.53/39.19	c Finding binary XORs  T:     0.05 s  found:       8
1542.03/53.85	c  N st    10     11301     18918     18263     48295      8360    158345    409053   no data   no data
2311.79/77.92	c  N st    11     17044     18918     18263     48297      9352    158345    402477   no data   no data
3341.04/110.13	c  F st    12     25000     18918     18263     48551     11055    158345    455684   no data   no data
3341.04/110.16	c Replacing        8 vars Replaced    14826 lits Time:     0.04 s 
3341.04/110.19	c  N st    12     25000     18910     18263     48528     11055    158345    455596   no data   no data
3344.23/110.24	c Finding binary XORs  T:     0.05 s  found:       1
3993.15/130.56	c  N dy    18     30001     18910     18263     49137      8623    158345    283594   no data   no data
3993.15/130.56	c  S st    18     30001     18910     18263     49137      8623    158345    283594   no data   no data
3999.55/130.82	c  S st    18     30501     18910     18263     49159      9099    158345    301840   no data   no data
4003.33/130.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4089.04/133.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins: 111766 BRemL:  35988 BRemN:      5 P: 17.5M T:  2.72
4089.04/133.57	c Replacing        3 vars Replaced       88 lits Time:     0.02 s 
4089.04/133.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4092.24/133.60	c bin-w-bin subsume rem         1889 bins  time:  0.01 s
4092.24/133.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4095.44/133.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18907 time:  0.12 s
4098.63/133.81	c Removed useless bin:       5  fixed:     0  props:   3.67M  time:  0.06 s
4105.03/134.08	c lits-rem:        23  cl-subs:     1869  v-elim:   6265  v-fix:    0  time:  0.26 s
4105.03/134.10	c subs with bin:        5  lits-rem:       454  v-fix:    0  time:  0.01 s
4112.05/134.22	c lits-rem:      1021  cl-subs:     1559  v-elim:      0  v-fix:    0  time:  0.11 s
4121.00/134.54	c asymm  cl-useful: 1025/14836/14836 lits-rem:10973 time: 0.32
4121.00/134.57	c calculated reachability. Time: 0.02
4121.00/134.57	c  N dy    18     30501     12642     14835     57348      3413    146730    112381   no data   no data
4124.20/134.62	c Finding binary XORs  T:     0.05 s  found:       0
4351.13/141.73	c  N dy    32     34540     12642     14835     57464      7429    146730    389313     10.67     14.51
4536.52/147.59	c Finding binary XORs  T:     0.04 s  found:       0
4622.83/150.28	c  N dy    49     38929     12642     14835     78066     11797    146730    738138     10.52     11.12
4862.56/157.78	c  N dy    64     42970     12642     14835     78067      9261    146730    459509     10.55     11.13
5058.19/163.91	c  S st    74     45751     12642     14835     79918     12026    146730    641797     10.54      8.26
5061.39/163.95	c Finding binary XORs  T:     0.04 s  found:       0
5070.34/164.20	c  S st    74     46254     12642     14835     79920     12526    146730    661265     10.54   no data
5070.34/164.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5115.07/165.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2312 BRemL:  25579 BRemN:      3 P: 17.7M T:  1.45
5115.07/165.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5115.07/165.68	c bin-w-bin subsume rem         1030 bins  time:  0.01 s
5118.26/165.72	c subs with bin:      173  lits-rem:      1940  v-fix:    0  time:  0.03 s
5121.46/165.81	c Subs w/ non-existent bins:      0 l-rem:     14 v-fix:     0 done:  12642 time:  0.09 s
5121.46/165.86	c Removed useless bin:     103  fixed:     0  props:   2.19M  time:  0.05 s
5124.66/165.92	c lits-rem:        54  cl-subs:      108  v-elim:     66  v-fix:    0  time:  0.06 s
5134.27/166.24	c subs with bin:        3  lits-rem:       477  v-fix:    0  time:  0.27 s
5140.63/166.47	c lits-rem:      2960  cl-subs:      540  v-elim:      0  v-fix:    0  time:  0.23 s
5140.63/166.49	c vivif2 --  cl tried    14791 cl shrink       96 lits rem         97 time: 0.02
5143.83/166.56	c vivif2 --  cl tried    11399 cl shrink     4489 lits rem     151363 time: 0.06
5156.62/166.93	c asymm  cl-useful: 1/14768/14768 lits-rem:1 time: 0.37
5156.62/166.95	c calculated reachability. Time: 0.02
5156.62/166.95	c  N dy    74     46254     12576     14768     55267     11399    145183    378089     10.54   no data
5492.25/177.41	c  N dy    89     51578     12576     14768     56018      8374    145183    199780     10.55     11.16
5492.25/177.45	c Finding binary XORs  T:     0.04 s  found:       0
5735.18/185.01	c  N dy   104     55838     12576     14768     56018     12617    145183    421793     10.51     11.14
6048.45/194.83	c  N dy   122     60657     12576     14768     57179     17418    145183    709714     10.40     10.97
6112.96/196.88	c Finding binary XORs  T:     0.04 s  found:       2
6384.06/205.39	c  N dy   129     65050     12576     14768     57255     11768    145183    301888     10.17     10.72
6671.77/214.35	c  N dy   146     69381     12576     14768     57259     16079    145183    561587     10.14      9.62
6671.77/214.35	c  S st   146     69381     12576     14768     57259     16079    145183    561587     10.14      9.62
6681.34/214.61	c  S st   146     69882     12576     14768     57262     16577    145183    584960     10.14   no data
6681.34/214.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6726.10/216.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     19 BRemL:   1626 BRemN:     69 P: 19.0M T:  1.39
6726.10/216.03	c Replacing        2 vars Replaced       30 lits Time:     0.01 s 
6726.10/216.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6726.10/216.05	c bin-w-bin subsume rem          137 bins  time:  0.01 s
6726.10/216.08	c subs with bin:       31  lits-rem:         0  v-fix:    0  time:  0.03 s
6729.30/216.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12574 time:  0.10 s
6732.50/216.24	c Removed useless bin:      27  fixed:     0  props:   2.14M  time:  0.05 s
6732.50/216.30	c lits-rem:         9  cl-subs:       12  v-elim:     23  v-fix:    0  time:  0.06 s
6742.09/216.58	c subs with bin:       94  lits-rem:        22  v-fix:    0  time:  0.24 s
6749.11/216.79	c lits-rem:      1139  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.20 s
6751.67/216.81	c vivif2 --  cl tried    14745 cl shrink        1 lits rem          1 time: 0.02
6751.67/216.88	c vivif2 --  cl tried    16007 cl shrink     4138 lits rem     122759 time: 0.07
6767.66/217.32	c asymm  cl-useful: 4/14745/14745 lits-rem:12 time: 0.44
6767.66/217.34	c calculated reachability. Time: 0.02
6767.66/217.35	c  N dy   146     69882     12551     14741     55358     16007    144940    438926     10.14   no data
7077.74/227.07	c  N dy   178     74401     12551     14741     55861     20506    144940    696886     10.27     14.78
7298.28/233.93	c Finding binary XORs  T:     0.04 s  found:       4
7406.96/237.39	c  N dy   191     79417     12551     14741     55862     14164    144940    355687     10.18     10.84
7819.28/250.20	c  N dy   200     84728     12551     14741     55919     19426    144940    623315     10.06     10.66
8036.65/257.00	c  F st   203     87501     12551     14741     55919     22175    144940    762133     10.00      7.73
8036.65/257.05	c Replacing        4 vars Replaced    13286 lits Time:     0.05 s 
8270.00/264.31	c  N st   208     90798     12547     14737     55916     12988    144917    227894     10.00   no data
8404.26/268.53	c Decided on static restart strategy
9081.91/289.73	c  N st   211     99805     12547     14737     56121     21954    144917    850919     10.00   no data
9558.80/304.65	c  S st   212    104824     12547     14737     56122     26965    144917   1093688     10.00   no data
9558.80/304.70	c Finding binary XORs  T:     0.04 s  found:       0
9570.99/305.07	c  S st   212    105328     12547     14737     56438     14360    144917    335154     10.00   no data
9570.99/305.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
9615.71/306.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    164 BRemL:    922 BRemN:     17 P: 18.6M T:  1.34
9615.71/306.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9615.71/306.44	c bin-w-bin subsume rem           37 bins  time:  0.01 s
9615.71/306.47	c subs with bin:       49  lits-rem:         0  v-fix:    0  time:  0.03 s
9618.91/306.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12547 time:  0.09 s
9622.10/306.61	c Removed useless bin:      28  fixed:     0  props:   2.09M  time:  0.05 s
9622.10/306.67	c lits-rem:         3  cl-subs:       17  v-elim:     12  v-fix:    0  time:  0.06 s
9625.30/306.77	c subs with bin:        1  lits-rem:         7  v-fix:    0  time:  0.08 s
9632.36/306.94	c lits-rem:       440  cl-subs:      971  v-elim:      0  v-fix:    0  time:  0.16 s
9632.36/306.96	c vivif2 --  cl tried    14677 cl shrink        4 lits rem          5 time: 0.02
9632.36/307.00	c vivif2 --  cl tried    13313 cl shrink     2527 lits rem      24926 time: 0.04
9647.68/307.41	c asymm  cl-useful: 2/14675/14675 lits-rem:2 time: 0.41
9647.68/307.44	c calculated reachability. Time: 0.02
9647.68/307.44	c  N st   212    105328     12535     14675     55526     13313    144713    282590     10.00   no data
10539.50/335.31	c  N st   213    114926     12535     14675     55526     22881    144713    939225     10.00   no data
11988.16/380.68	c  N st   214    129323     12535     14675     55566     22901    144713    753869     10.00   no data
11990.72/380.73	c Finding binary XORs  T:     0.04 s  found:       3
14250.67/451.45	c  N st   215    150918     12535     14675     56059     28877    144713    947160     10.00   no data
15044.02/476.23	c  S st   216    157993     12535     14675     56248     19360    144713    413267     10.00   no data
15052.97/476.54	c  S st   216    158494     12535     14675     56381     19858    144713    434504     10.00   no data
15052.97/476.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
15100.90/478.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:    190 BRemL:    462 BRemN:     21 P: 20.4M T:  1.46
15100.90/478.04	c Replacing       10 vars Replaced     6409 lits Time:     0.03 s 
15100.90/478.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15100.90/478.06	c bin-w-bin subsume rem           53 bins  time:  0.01 s
15100.90/478.09	c subs with bin:      109  lits-rem:         0  v-fix:    0  time:  0.03 s
15104.10/478.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.08 s
15107.29/478.23	c Removed useless bin:      88  fixed:     0  props:   2.02M  time:  0.05 s
15107.29/478.29	c lits-rem:         5  cl-subs:       26  v-elim:     28  v-fix:    0  time:  0.06 s
15114.31/478.46	c subs with bin:        1  lits-rem:       127  v-fix:    0  time:  0.15 s
15120.10/478.69	c lits-rem:       127  cl-subs:     2412  v-elim:      0  v-fix:    0  time:  0.22 s
15123.27/478.71	c vivif2 --  cl tried    14556 cl shrink       20 lits rem         28 time: 0.02
15123.27/478.77	c vivif2 --  cl tried    17239 cl shrink     2634 lits rem      29017 time: 0.05
15139.25/479.24	c asymm  cl-useful: 0/14556/14556 lits-rem:0 time: 0.47
15139.25/479.26	c calculated reachability. Time: 0.02
15139.25/479.26	c  N st   216    158494     12497     14556     55770     17239    144337    363106     10.00   no data
15142.45/479.30	c Finding binary XORs  T:     0.04 s  found:       0
20464.63/645.88	c  N st   217    207082     12497     14556     55776     29574    144337    890814     10.00   no data
20467.83/645.92	c Finding binary XORs  T:     0.04 s  found:       9
23936.03/754.43	c  N st   218    237742     12497     14556     56566     40937    144337   1347726     10.00   no data
23936.03/754.43	c  S st   218    237742     12497     14556     56566     40937    144337   1347726     10.00   no data
23952.00/754.95	c  S st   218    238246     12497     14556     56954     41439    144337   1367270     10.00   no data
23952.00/754.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
24010.14/756.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:    657 BRemN:     40 P: 26.4M T:  1.78
24015.92/756.91	c Replacing        9 vars Replaced   129671 lits Time:     0.16 s 
24015.92/756.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24015.92/756.93	c bin-w-bin subsume rem           33 bins  time:  0.01 s
24015.92/756.96	c subs with bin:      105  lits-rem:         0  v-fix:    0  time:  0.03 s
24019.12/757.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12488 time:  0.09 s
24022.32/757.10	c Removed useless bin:      91  fixed:     0  props:   1.96M  time:  0.05 s
24022.32/757.17	c lits-rem:         5  cl-subs:       19  v-elim:     22  v-fix:    0  time:  0.07 s
24038.31/757.62	c subs with bin:        1  lits-rem:       455  v-fix:    0  time:  0.36 s
24169.33/761.72	c lits-rem:      3130  cl-subs:     3054  v-elim:      0  v-fix:    0  time:  4.09 s
24169.33/761.74	c vivif2 --  cl tried    14424 cl shrink        6 lits rem          9 time: 0.02
24182.13/762.19	c vivif2 --  cl tried    38264 cl shrink    12554 lits rem      93426 time: 0.44
24204.50/762.82	c asymm  cl-useful: 10/14424/14424 lits-rem:10 time: 0.63
24204.50/762.85	c calculated reachability. Time: 0.02
24204.50/762.85	c  N st   218    238246     12466     14424     55982     38264    143764   1180776     10.00   no data
31527.65/991.95	c  F st   219    306250     12466     14424     55982     41673    143764   1696733     10.00   no data
31527.65/991.97	c  N st   219    306250     12466     14424     55982     41673    143764   1696733     10.00   no data
31530.85/992.01	c Finding binary XORs  T:     0.04 s  found:       0
32157.37/1011.62	c Decided on static restart strategy
34765.00/1093.23	c  N st   229    334554     12466     14424     56397     46215    143764   1568516     10.00   no data
37529.55/1179.71	c  N st   231    357369     12466     14424     56535     44388    143764   1346269     10.00   no data
37529.55/1179.71	c  S st   231    357369     12466     14424     56535     44388    143764   1346269     10.00   no data
37546.16/1180.25	c  S st   231    357874     12466     14424     56555     44892    143764   1363968     10.00   no data
37546.16/1180.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
37603.07/1182.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      6 BRemL:    183 BRemN:     39 P: 27.1M T:  1.80
37603.07/1182.09	c Replacing        1 vars Replaced       39 lits Time:     0.02 s 
37606.27/1182.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37606.27/1182.11	c bin-w-bin subsume rem            3 bins  time:  0.01 s
37606.27/1182.14	c subs with bin:       68  lits-rem:         0  v-fix:    0  time:  0.03 s
37609.47/1182.25	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  12465 time:  0.11 s
37609.47/1182.30	c Removed useless bin:      38  fixed:     0  props:   1.89M  time:  0.05 s
37612.66/1182.37	c lits-rem:         6  cl-subs:       31  v-elim:     14  v-fix:    0  time:  0.07 s
37628.64/1182.88	c subs with bin:       40  lits-rem:      1511  v-fix:    0  time:  0.42 s
37673.40/1184.23	c lits-rem:      1836  cl-subs:     2021  v-elim:      0  v-fix:    0  time:  1.34 s
37673.40/1184.24	c vivif2 --  cl tried    14325 cl shrink        2 lits rem          4 time: 0.02
37679.79/1184.47	c vivif2 --  cl tried    42677 cl shrink    13069 lits rem     178504 time: 0.23
37702.16/1185.12	c asymm  cl-useful: 1/14325/14325 lits-rem:1 time: 0.64
37702.16/1185.14	c calculated reachability. Time: 0.02
37702.16/1185.14	c  N st   231    357874     12451     14325     56160     42677    143392   1135313     10.00   no data
41413.90/1301.23	c  N st   232    390267     12451     14325     56160     49469    143392   1605233     10.00   no data
47215.51/1482.76	c  N st   233    438855     12451     14325     56179     43703    143392   1414192     10.00   no data
47215.51/1482.80	c Finding binary XORs  T:     0.04 s  found:       0
54976.04/1725.55	c  N st   234    511737     12451     14325     56644     58132    143392   2273545     10.00   no data
58217.26/1826.93	c  N st   235    536812     12451     14325     56695     52552    143392   1962134     10.00   no data
58217.26/1826.93	c  S st   235    536812     12451     14325     56695     52552    143392   1962134     10.00   no data
58236.43/1827.57	c  S st   235    537317     12451     14325     56749     53055    143392   1980510     10.00   no data
58236.43/1827.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
58306.76/1829.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:    230 BRemN:     33 P: 31.1M T:  2.18
58306.76/1829.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
58309.96/1829.80	c bin-w-bin subsume rem          166 bins  time:  0.01 s
58309.96/1829.83	c subs with bin:       13  lits-rem:         0  v-fix:    0  time:  0.03 s
58313.16/1829.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12451 time:  0.09 s
58313.16/1829.97	c Removed useless bin:       7  fixed:     0  props:   1.88M  time:  0.05 s
58316.36/1830.05	c lits-rem:         2  cl-subs:        7  v-elim:      3  v-fix:    0  time:  0.08 s
58357.91/1831.33	c subs with bin:        1  lits-rem:         2  v-fix:    0  time:  1.16 s
58425.05/1833.47	c lits-rem:      4812  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  2.13 s
58425.05/1833.49	c vivif2 --  cl tried    14304 cl shrink        0 lits rem          0 time: 0.02
58437.82/1833.81	c vivif2 --  cl tried    51204 cl shrink    15431 lits rem     386956 time: 0.32
58460.20/1834.60	c asymm  cl-useful: 2/9317/14304 lits-rem:2 time: 0.78
58463.40/1834.62	c calculated reachability. Time: 0.02
58463.40/1834.62	c  N st   235    537317     12448     14304     56285     51204    143253   1521720     10.00   no data
79314.15/2486.92	c  N st   236    701304     12448     14304     56286     47506    143253   1170460     10.00   no data
79314.15/2486.96	c Finding binary XORs  T:     0.04 s  found:       0
92394.19/2896.15	c  N st   237    805975     12448     14304     56765     77513    143253   2661254     10.00   no data
92394.19/2896.15	c  S st   237    805975     12448     14304     56765     77513    143253   2661254     10.00   no data
92394.19/2896.19	c Finding binary XORs  T:     0.04 s  found:       0
92419.75/2896.92	c  S st   237    806480     12448     14304     57355     78017    143253   2683227     10.00   no data
92419.75/2896.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
92490.08/2899.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:    448 BRemN:      6 P: 36.1M T:  2.25
92493.27/2899.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92493.27/2899.21	c bin-w-bin subsume rem            5 bins  time:  0.01 s
92493.27/2899.24	c subs with bin:      105  lits-rem:         0  v-fix:    0  time:  0.03 s
92496.48/2899.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12448 time:  0.10 s
92496.48/2899.39	c Removed useless bin:      47  fixed:     0  props:   1.80M  time:  0.05 s
92499.68/2899.48	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.09 s
92544.42/2900.81	c subs with bin:       16  lits-rem:        21  v-fix:    0  time:  1.15 s
92828.91/2909.70	c lits-rem:      1218  cl-subs:    11737  v-elim:      0  v-fix:    0  time:  8.88 s
92828.91/2909.72	c vivif2 --  cl tried    14197 cl shrink        0 lits rem          0 time: 0.02
92844.90/2910.22	c vivif2 --  cl tried    66264 cl shrink    23309 lits rem     371052 time: 0.49
92848.10/2910.38	c asymm  cl-useful: 0/4880/14197 lits-rem:0 time: 0.16
92851.29/2910.41	c calculated reachability. Time: 0.02
92851.29/2910.41	c  N st   237    806480     12448     14197     56854     66264    143036   2137725     10.00   no data
127879.07/4006.28	c  F st   238   1071875     12448     14197     56854     84070    143036   2287179     10.00   no data
127881.60/4006.31	c  N st   238   1071875     12448     14197     56854     84070    143036   2287179     10.00   no data
128460.20/4024.43	c Decided on static restart strategy
131324.89/4114.09	c  N st   248   1100177     12448     14197     57147     67878    143036   2089750     10.00   no data
136209.12/4266.92	c  N st   250   1136169     12448     14197     57154     58342    143036   1519981     10.00   no data
140689.95/4407.01	c  N st   251   1168561     12448     14197     57170     90621    143036   3484410     10.00   no data
146344.53/4583.94	c  N st   252   1209720     12448     14197     57185     85044    143036   3184629     10.00   no data
146344.53/4583.94	c  S st   252   1209720     12448     14197     57185     85044    143036   3184629     10.00   no data
146370.75/4584.74	c  S st   252   1210222     12448     14197     57252     85545    143036   3204155     10.00   no data
146370.75/4584.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
146446.83/4587.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    123 BRemN:     58 P: 38.8M T:  2.41
146446.83/4587.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146450.03/4587.20	c bin-w-bin subsume rem            1 bins  time:  0.01 s
146450.03/4587.24	c subs with bin:       44  lits-rem:         0  v-fix:    0  time:  0.03 s
146453.23/4587.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12448 time:  0.11 s
146456.42/4587.40	c Removed useless bin:      22  fixed:     0  props:   1.77M  time:  0.05 s
146456.42/4587.49	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.10 s
146517.16/4589.38	c subs with bin:        7  lits-rem:        13  v-fix:    0  time:  1.68 s
146747.34/4596.57	c lits-rem:      2352  cl-subs:     9782  v-elim:      0  v-fix:    0  time:  7.18 s
146747.34/4596.59	c vivif2 --  cl tried    14161 cl shrink        0 lits rem          0 time: 0.02
146766.50/4597.17	c vivif2 --  cl tried    75756 cl shrink    24914 lits rem     819001 time: 0.58
146792.70/4597.93	c asymm  cl-useful: 1/7376/14161 lits-rem:1 time: 0.76
146792.70/4597.96	c calculated reachability. Time: 0.02
146792.70/4597.96	c  N st   252   1210222     12444     14161     57037     75756    142891   2231772     10.00   no data
157054.86/4919.01	c  N st   253   1283105     12444     14161     57037     52326    142891    832033     10.00   no data
157054.86/4919.05	c Finding binary XORs  T:     0.04 s  found:       0

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=338000 CPUtime=0.8 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 464 0 0 0 80 0 0 0 25 0 32 0 743666441 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 84500 405 300 95 0 79482 0
[pid=14758/tid=14759] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936151 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936556 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936151 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0626459 s]
/proc/loadavg: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=666852 CPUtime=1.46 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) D 14756 14758 14732 0 -1 4202496 1163 0 0 0 142 4 0 0 18 0 32 0 743666441 682856448 1005 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 166713 1005 322 95 0 161695 0
[pid=14758/tid=14759] ppid=14756 vsize=666852 CPUtime=0.04 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 16 0 0 0 4 0 0 0 24 0 32 0 743666442 682856448 1005 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=666856 CPUtime=0.04 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 55 0 0 0 4 0 0 0 18 0 32 0 743666442 682860544 1006 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=797928 CPUtime=0.04 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 24 0 32 0 743666442 817078272 1016 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=797928 CPUtime=0.04 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 24 0 32 0 743666442 817078272 1021 268435456000 4194304 4580107 140734434781712 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=797936 CPUtime=0.04 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 34 0 0 0 4 0 0 0 18 0 32 0 743666442 817086464 1030 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=797936 CPUtime=0.04 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 16 0 0 0 4 0 0 0 18 0 32 0 743666442 817086464 1034 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 24 0 32 0 743666442 749993984 1038 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 10 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604492070518240 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 45 0 0 0 4 0 0 0 18 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1057 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 14 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1059 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 26 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1067 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1081 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604476584238560 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1081 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505914228192 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 76 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1087 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1097 268435456000 4194304 4580107 140734434781712 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 49 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1097 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 32 0 743666442 749981696 1108 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 18 0 0 0 4 0 0 0 25 0 32 0 743666442 749981696 1128 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 73 0 0 0 4 0 0 0 18 0 32 0 743666442 749981696 1170 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 90 0 0 0 4 0 0 0 18 0 32 0 743666442 749981696 1226 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=732404 CPUtime=0.03 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 55 0 0 0 3 0 0 0 18 0 32 0 743666442 749981696 1250 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=732404 CPUtime=0 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 32 0 743666442 749981696 1250 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=732408 CPUtime=0.01 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 5 0 0 0 1 0 0 0 25 0 32 0 743666442 749985792 1257 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=732408 CPUtime=0.02 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 33 0 0 0 2 0 0 0 25 0 32 0 743666442 749985792 1261 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1269 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 12 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1270 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 25 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 17 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1270 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=732412 CPUtime=0.04 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 32 0 0 0 4 0 0 0 25 0 32 0 743666442 749989888 1280 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=732412 CPUtime=0.04 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 20 0 0 0 4 0 0 0 25 0 32 0 743666442 749989888 1291 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 666852

[startup+0.103664 s]
/proc/loadavg: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=995256 CPUtime=2.25 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) S 14756 14758 14732 0 -1 4202496 9682 0 0 0 143 82 0 0 17 0 32 0 743666441 1019142144 9524 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 248814 9528 331 95 0 243796 0
[pid=14758/tid=14759] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 280 0 0 0 4 2 0 0 24 0 32 0 743666442 1019142144 9534 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604481090936288 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=995256 CPUtime=0.07 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 370 0 0 0 5 2 0 0 18 0 32 0 743666442 1019142144 9544 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 268 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9549 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=995256 CPUtime=0.07 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 272 0 0 0 4 3 0 0 17 0 32 0 743666442 1019142144 9557 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9561 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604499388169696 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 280 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9581 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 269 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9581 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604499060481504 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 268 0 0 0 4 2 0 0 25 0 32 0 743666442 1019142144 9591 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505536257504 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 292 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9602 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566928584 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 307 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9604 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9622 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505855557088 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=995444 CPUtime=0.07 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 316 0 0 0 5 2 0 0 18 0 32 0 743666442 1019334656 9631 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=995444 CPUtime=0.07 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 297 0 0 0 5 2 0 0 17 0 32 0 743666442 1019334656 9634 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 284 0 0 0 4 2 0 0 25 0 32 0 743666442 1019334656 9640 268435456000 4194304 4580107 140734434781712 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 301 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9644 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 320 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9653 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31

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

/proc/meminfo: memFree=250026048/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=7421128 CPUtime=158439 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 2988861 0 0 0 15839424 4471 0 0 25 0 32 0 743666441 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 1855282 1282600 381 95 0 1850264 0
[pid=14758/tid=14759] ppid=14756 vsize=7421128 CPUtime=4953.33 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 89615 0 0 0 495159 174 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=7421128 CPUtime=4954 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 91547 0 0 0 495262 138 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=7421128 CPUtime=4955.43 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 96190 0 0 0 495404 139 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=7421128 CPUtime=4955.93 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92318 0 0 0 495453 140 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=7421128 CPUtime=4955.55 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94139 0 0 0 495420 135 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=7421128 CPUtime=4955.58 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80421 0 0 0 495439 119 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=7421128 CPUtime=4955.56 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 97474 0 0 0 495413 143 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=7421128 CPUtime=4955.6 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 87967 0 0 0 495429 131 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=7421128 CPUtime=4955.8 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 86341 0 0 0 495438 142 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=7421128 CPUtime=4955.44 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92396 0 0 0 495391 153 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=7421128 CPUtime=4953.21 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93601 0 0 0 495206 115 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=7421128 CPUtime=4955.62 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 122991 0 0 0 495380 182 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=7421128 CPUtime=4955.35 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 119627 0 0 0 495365 170 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=7421128 CPUtime=4956.08 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85005 0 0 0 495489 119 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=7421128 CPUtime=4955.36 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88047 0 0 0 495400 136 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=7421128 CPUtime=4955.53 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 100738 0 0 0 495400 153 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=7421128 CPUtime=4899.56 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80798 0 0 0 489827 129 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=7421128 CPUtime=4955.47 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84082 0 0 0 495417 130 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=7421128 CPUtime=4955.64 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 78499 0 0 0 495440 124 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=7421128 CPUtime=4955.97 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93234 0 0 0 495468 129 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294295 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=7421128 CPUtime=4956.32 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 102316 0 0 0 495489 143 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=7421128 CPUtime=4901.2 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 98187 0 0 0 489969 151 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=7421128 CPUtime=4954.7 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84610 0 0 0 495334 136 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=7421128 CPUtime=4955.37 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94179 0 0 0 495387 150 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=7421128 CPUtime=4955.45 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93955 0 0 0 495399 146 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=7421128 CPUtime=4955.38 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101689 0 0 0 495384 154 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=7421128 CPUtime=4955.69 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93833 0 0 0 495431 138 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=7421128 CPUtime=4955.78 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 99625 0 0 0 495431 147 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=7421128 CPUtime=4955.25 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88299 0 0 0 495404 121 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=7421128 CPUtime=4955.44 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 82715 0 0 0 495407 137 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=7421128 CPUtime=4932.62 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 65319 0 0 0 493185 77 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 158439
Current children cumulated vsize (KiB) 7421128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011.2 s]
/proc/loadavg: 32.06 32.07 32.04 33/445 14940
/proc/meminfo: memFree=250100848/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=6926556 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 3011456 0 0 0 15995773 4495 0 0 25 0 32 0 743666441 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 1731639 1263202 381 95 0 1726621 0
[pid=14758/tid=14759] ppid=14756 vsize=6926556 CPUtime=5002.21 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 90033 0 0 0 500046 175 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=6926556 CPUtime=5002.89 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92070 0 0 0 500151 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=6926556 CPUtime=5004.34 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 96190 0 0 0 500295 139 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=6926556 CPUtime=5004.84 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92629 0 0 0 500344 140 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=6926556 CPUtime=5004.46 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94957 0 0 0 500310 136 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=6926556 CPUtime=5004.49 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 81146 0 0 0 500329 120 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=6926556 CPUtime=5004.48 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 98146 0 0 0 500304 144 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=6926556 CPUtime=5004.51 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88176 0 0 0 500320 131 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=6926556 CPUtime=5004.72 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88028 0 0 0 500329 143 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92632 0 0 0 500282 154 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=6926556 CPUtime=5002.13 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94270 0 0 0 500097 116 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=6926556 CPUtime=5004.53 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 123144 0 0 0 500271 182 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=6926556 CPUtime=5004.25 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 121538 0 0 0 500254 171 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=6926556 CPUtime=5004.99 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85568 0 0 0 500379 120 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=6926556 CPUtime=5004.26 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88868 0 0 0 500290 136 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=6926556 CPUtime=5004.44 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101245 0 0 0 500291 153 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=6926556 CPUtime=4947.09 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80798 0 0 0 494580 129 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=6926556 CPUtime=5004.39 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84502 0 0 0 500308 131 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=6926556 CPUtime=5004.54 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80742 0 0 0 500329 125 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=6926556 CPUtime=5004.89 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94454 0 0 0 500359 130 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=6926556 CPUtime=5005.23 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 103852 0 0 0 500379 144 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320717 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=6926556 CPUtime=4950.11 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 99941 0 0 0 494859 152 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=6926556 CPUtime=5003.62 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85090 0 0 0 500225 137 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=6926556 CPUtime=5004.28 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94731 0 0 0 500278 150 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94643 0 0 0 500288 148 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=6926556 CPUtime=5004.29 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101689 0 0 0 500275 154 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=6926556 CPUtime=5004.6 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94592 0 0 0 500322 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=6926556 CPUtime=5004.69 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 100446 0 0 0 500320 149 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=6926556 CPUtime=5004.16 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88299 0 0 0 500295 121 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 82832 0 0 0 500298 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=6926556 CPUtime=4981.54 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 67101 0 0 0 498075 79 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 6926556

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

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

[startup+5011.4 s]
/proc/loadavg: 32.06 32.07 32.04 33/445 14940
/proc/meminfo: memFree=250100848/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=0 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) Z 14756 14758 14732 0 -1 4203548 3011457 0 0 0 15995796 4512 0 0 25 0 2 0 743666441 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 0 0 0 0 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=0 CPUtime=5004.34 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4203588 88299 0 0 0 500296 138 0 0 25 0 2 0 743666442 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5011.64 s]
/proc/loadavg: 32.06 32.07 32.04 2/416 14941
/proc/meminfo: memFree=252875828/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=0 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) Z 14756 14758 14732 0 -1 4203548 3011457 0 0 0 15995796 4535 0 0 25 0 2 0 743666441 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 0 0 0 0 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=0 CPUtime=5004.58 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4203588 88299 0 0 0 500296 162 0 0 25 0 2 0 743666442 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 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): 5011.7
CPU time (s): 160003
CPU user time (s): 159958
CPU system time (s): 45.4201
CPU usage (%): 3192.6
Max. virtual memory (cumulated for all children) (KiB): 7472408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159958
system time used= 45.4201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3011457
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= 831262
involuntary context switches= 327288

runsolver used 29.8225 second user time and 111.776 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 13:10:00
IDJOB=3400669
IDBENCH=70849
IDSOLVER=1886
FILE ID=node200/3400669-1306321800
RUNJOBID= node200-1306321800-14746
PBS_JOBID= 13411786
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400669-1306321800/watcher-3400669-1306321800 -o /tmp/evaluation-result-3400669-1306321800/solver-3400669-1306321800 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400669-1306321800.cnf

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=1869436264

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255161516 kB
Buffers:        466380 kB
Cached:        8222480 kB
SwapCached:          0 kB
Active:        7773580 kB
Inactive:       984052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255161516 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7252 kB
Writeback:           0 kB
AnonPages:       69824 kB
Mapped:          14152 kB
Slab:           255684 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188884 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= 62040 MiB
End job on node200 at 2011-05-25 14:33:34