Trace number 3400848

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) 160006 5021.96

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	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-3400848-1306905541.cnf'
0.00/0.08	c -- header says num vars:          15364
0.00/0.08	c -- header says num clauses:     2133873
125.41/5.66	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
125.41/5.66	c -- vars added      15364
125.41/5.66	c Parsing time:  2.46 s
125.41/5.66	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data
150.86/6.56	c asymm  cl-useful: 0/5431/2092294 lits-rem:0 time: 0.64
448.12/15.91	c Flit:    84 Blit:      0 bXBeca:    0 bXProp:   92 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.13
520.40/18.26	c Replacing       92 vars Replaced  1174400 lits Time:     2.25 s 
723.51/32.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
723.51/32.72	c bin-w-bin subsume rem          404 bins  time:  0.01 s
1021.59/42.60	c subs with bin:    20077  lits-rem:        20  v-fix:    0  time:  9.86 s
1021.59/42.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3818 time:  0.04 s
1023.52/42.73	c Removed useless bin:       0  fixed:     0  props:   4.22M  time:  0.05 s
18625.60/595.00	c lits-rem:         0  cl-subs:     1287  v-elim:   1150  v-fix:    0  time: 548.89 s
18628.80/595.05	c Finding binary XORs  T:     0.05 s  found:       0
18632.71/595.19	c calculated reachability. Time: 0.01
18638.37/595.31	c Calc default polars -  time:   0.12 s pos:     466 undec:    1833 neg:   13065
18638.37/595.31	c =========================================================================================
18638.37/595.31	c types(t): F = full restart, N = normal restart
18638.37/595.31	c types(t): S = simplification begin/end, E = solution found
18638.37/595.31	c restart types(rt): st = static, dy = dynamic
18638.37/595.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
18638.37/595.31	c  B st     0         0     13531   2050179     35387         0  17652550         0   no data   no data
18727.88/598.14	c  N dy    19      4090     13526   2050179     35561      3838  17652550    152995      8.59      9.33
18899.62/603.50	c Finding binary XORs  T:     0.06 s  found:       9
18921.78/604.20	c  N dy    49      8105     13247   1945336     37582      6631  16651278    282912      9.65     10.55
19033.65/607.79	c  N dy    74     12120     13247   1945336     37647     10535  16651278    442893     10.12     13.72
19167.90/611.94	c  N dy   106     16203     13245   1945336     37941     14493  16651277    628180     10.54     17.81
19292.54/615.86	c  N dy   123     20228     13239   1945336     38368      9320  16651274    195680     10.43     11.07
19346.86/617.52	c Finding binary XORs  T:     0.05 s  found:       1
19398.01/619.15	c  N dy   144     24267     13237   1945325     38341     13282  16651161    415941     10.49     14.63
19420.38/619.88	c  F st   150     25003     13236   1945325     38644     14005  16651161    456005     10.51   no data
19449.18/620.77	c Replacing       10 vars Replaced    17147 lits Time:     0.36 s 
19541.84/623.61	c  N st   155     28297     13217   1909447     38617     17199  16337821    598614     10.51   no data
19586.58/625.09	c  S st   156     30001     13217   1909447     38650     18854  16337821    662080     10.51   no data
19711.24/628.92	c  S st   156     30502     13217   1909447     38671     19333  16337821    675223     10.51   no data
19714.44/629.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
20302.54/647.42	c Flit:    26 Blit:     24 bXBeca:    0 bXProp:   10 Bins: 582897 BRemL: 104248 BRemN:      6 P: 200.0M T: 18.32
20344.11/648.76	c Replacing       10 vars Replaced    62324 lits Time:     1.34 s 
20392.74/650.23	c blocked clauses removed:        0 vars:      0 tried:       13157 T: 0.02 s
20392.74/650.29	c bin-w-bin subsume rem          401 bins  time:  0.06 s
21258.23/677.35	c subs with bin:    39109  lits-rem:     57098  v-fix:    0  time: 27.05 s
21261.43/677.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1697 time:  0.09 s
21264.62/677.57	c Removed useless bin:       9  fixed:     0  props:   1.37M  time:  0.07 s
32354.90/1026.03	c lits-rem:         0  cl-subs:    58343  v-elim:    283  v-fix:    0  time: 348.03 s
32365.16/1026.42	c subs with bin:      180  lits-rem:      4215  v-fix:    0  time:  0.31 s
46712.98/1475.24	c lits-rem:         1  cl-subs:      507  v-elim:      0  v-fix:    0  time: 447.64 s
46737.86/1476.07	c asymm  cl-useful: 0/1355/1807416 lits-rem:0 time: 0.83
46741.06/1476.21	c calculated reachability. Time: 0.02
46741.06/1476.21	c  N dy   156     30502     12874   1807416    477285      9686  15595472   1068314     10.51   no data
46744.92/1476.29	c Finding binary XORs  T:     0.08 s  found:       0
46894.45/1480.90	c  N dy   177     34750     12617   1790205    450363     13427  15424431   1220825     10.43     11.10
46974.37/1483.46	c Finding binary XORs  T:     0.07 s  found:      13
47026.17/1485.06	c  N dy   200     38889     12617   1790205    538106     17539  15424430   1595130     10.42     10.98
47156.57/1489.20	c  N dy   215     43371     12617   1790205    538109     11833  15424430   1233593     10.27     11.02
47233.29/1491.55	c  S st   225     45753     12617   1790205    538115     14200  15424429   1368250     10.26      9.49
47325.96/1494.48	c  S st   225     46253     12617   1790205    538118     14696  15424428   1386541     10.26   no data
47332.33/1494.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
47821.18/1509.96	c Flit:     4 Blit:      6 bXBeca:    0 bXProp:    7 Bins:  25759 BRemL:  48557 BRemN:      0 P: 200.0M T: 15.28
47873.01/1511.54	c Replacing       20 vars Replaced    67962 lits Time:     1.58 s 
47913.87/1512.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47917.07/1512.94	c bin-w-bin subsume rem         1323 bins  time:  0.06 s
48773.65/1539.76	c subs with bin:    34822  lits-rem:     39585  v-fix:    0  time: 26.82 s
49534.34/1563.53	c Subs w/ non-existent bins:  29015 l-rem:   4511 v-fix:     0 done:     46 time: 23.76 s
49553.53/1564.20	c Removed useless bin:      27  fixed:     0  props:   1.23M  time:  0.06 s
61628.66/1941.93	c lits-rem:         0  cl-subs:    37750  v-elim:     73  v-fix:    0  time: 377.61 s
61654.91/1942.74	c subs with bin:      296  lits-rem:      2936  v-fix:    0  time:  0.74 s
70738.90/2227.04	c lits-rem:        20  cl-subs:     1344  v-elim:      0  v-fix:    0  time: 283.42 s
70774.06/2228.11	c vivif2 --  cl tried   915225 cl shrink     7765 lits rem       8679 time: 1.07
70777.26/2228.20	c vivif2 --  cl tried    12303 cl shrink     2928 lits rem      14919 time: 0.08
70786.85/2228.54	c asymm  cl-useful: 0/600/1686465 lits-rem:0 time: 0.34
70790.70/2228.67	c calculated reachability. Time: 0.02
70790.70/2228.67	c  N dy   225     46253     12514   1686465    505067     12261  14445988   1208017     10.26   no data
70793.90/2228.74	c Finding binary XORs  T:     0.07 s  found:       0
70892.30/2231.86	c Finding binary XORs  T:     0.07 s  found:      26
70908.28/2232.36	c  N dy   232     50306     12139   1654558    587810     14820  14154272   1497742     10.06     16.59
71007.38/2235.42	c  N dy   258     54396     12139   1654558    587815     18876  14154272   1706466     10.12     23.17
71107.03/2238.55	c  N dy   292     59223     12138   1654558    589736     23683  14154271   1976635     10.23     11.07
71199.08/2241.48	c  N dy   320     63491     12138   1654558    589820     27925  14154271   2173991     10.31     10.93
71298.13/2244.59	c  N dy   345     67706     12138   1654558    589823     17792  14154271   1486527     10.34     10.90
71336.49/2245.70	c  S st   358     69380     12138   1654558    589933     19456  14154271   1563283     10.39   no data
71391.46/2247.47	c  S st   358     69884     12138   1654558    589938     19955  14154271   1578255     10.39   no data
71394.02/2247.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
71770.96/2259.33	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:    7 Bins:  35484 BRemL: 139184 BRemN:      2 P: 200.0M T: 11.73
71825.27/2261.03	c Replacing       33 vars Replaced   109165 lits Time:     1.70 s 
71857.22/2262.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71857.22/2262.08	c bin-w-bin subsume rem         6926 bins  time:  0.06 s
72192.86/2272.52	c subs with bin:    23719  lits-rem:     10614  v-fix:    0  time: 10.43 s
72506.11/2282.37	c Subs w/ non-existent bins:  20537 l-rem:      3 v-fix:     0 done:     79 time:  9.85 s
72522.09/2282.83	c Removed useless bin:      14  fixed:     0  props:   0.88M  time:  0.03 s
80851.75/2543.59	c lits-rem:         0  cl-subs:    52812  v-elim:     65  v-fix:    0  time: 260.66 s
80896.51/2544.94	c subs with bin:      645  lits-rem:      7760  v-fix:    0  time:  1.26 s
92543.43/2909.35	c lits-rem:        19  cl-subs:     2148  v-elim:      0  v-fix:    0  time: 363.43 s
92581.78/2910.61	c vivif2 --  cl tried   728160 cl shrink    13322 lits rem      13996 time: 1.26
92588.84/2910.76	c vivif2 --  cl tried    17629 cl shrink     3723 lits rem      15293 time: 0.14
92610.55/2911.41	c asymm  cl-useful: 8/2203/1550699 lits-rem:24 time: 0.66
92613.75/2911.55	c calculated reachability. Time: 0.03
92613.75/2911.55	c  N dy   358     69884     12028   1550691    470062     17548  13147919   1221677     10.39   no data
92616.95/2911.63	c Finding binary XORs  T:     0.08 s  found:       0
92792.70/2917.10	c Finding binary XORs  T:     0.09 s  found:      13
92811.88/2917.76	c  N dy   361     75054     11881   1540051    510322     22032  13070723   2084485     10.21     11.02
92962.14/2922.43	c  N dy   388     79896     11881   1540051    510326     26842  13070721   2412471     10.20     14.09
93102.70/2926.87	c Finding binary XORs  T:     0.09 s  found:       0
93121.86/2927.49	c  N dy   421     85001     11881   1540051    517684     31903  13070712   2724426     10.24     10.88
93201.77/2929.97	c  F st   433     87500     11881   1540051    517724     34380  13070709   2851104     10.23      5.87
93224.12/2930.69	c Replacing       13 vars Replaced    39549 lits Time:     0.72 s 
93359.05/2934.84	c  N st   438     90797     11868   1540044    517694     20012  13070649   1472817     10.23   no data
93499.70/2939.27	c  N dy   460     96668     11867   1540044    517731     25837  13070649   1733959     10.24     10.89
93675.50/2944.78	c  N dy   492    102840     11867   1540044    517768     31959  13070647   1986985     10.25     14.12
93735.55/2946.67	c  S st   508    104826     11867   1540044    517770     33933  13070645   2110730     10.28   no data
93802.68/2948.73	c  S st   508    105327     11867   1540044    517797     34433  13070645   2130623     10.28   no data
93805.87/2948.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
94333.27/2965.38	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   5616 BRemL: 103558 BRemN:      0 P: 200.0M T: 16.51
94362.03/2966.26	c Replacing        5 vars Replaced    33448 lits Time:     0.88 s 
94397.19/2967.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
94400.38/2967.41	c bin-w-bin subsume rem         3240 bins  time:  0.05 s
94911.72/2983.42	c subs with bin:    67696  lits-rem:     43829  v-fix:    0  time: 16.01 s
96104.63/3020.76	c Subs w/ non-existent bins:  30799 l-rem:      4 v-fix:     0 done:    384 time: 37.33 s
96107.09/3020.90	c Removed useless bin:      23  fixed:     0  props:   0.96M  time:  0.05 s
105228.70/3306.28	c lits-rem:         0  cl-subs:    52530  v-elim:    149  v-fix:    0  time: 285.33 s
105289.42/3308.16	c subs with bin:      224  lits-rem:      4628  v-fix:    0  time:  1.77 s
112137.87/3522.46	c lits-rem:      2349  cl-subs:     1291  v-elim:      0  v-fix:    0  time: 213.58 s
112249.69/3525.91	c vivif2 --  cl tried  1388103 cl shrink    41705 lits rem      56402 time: 3.45
112256.09/3526.14	c vivif2 --  cl tried    27489 cl shrink     5457 lits rem      36020 time: 0.22
112278.45/3526.89	c asymm  cl-useful: 0/1657/1388011 lits-rem:0 time: 0.75
112284.86/3527.00	c calculated reachability. Time: 0.03
112284.86/3527.00	c  N dy   508    105327     11709   1388011    400523     27466  11807255   1432016     10.28   no data
112284.86/3527.08	c Finding binary XORs  T:     0.08 s  found:       0
112460.63/3532.58	c Finding binary XORs  T:     0.08 s  found:      13
112463.84/3532.65	c  N dy   526    112173     11552   1372506    426418     33767  11661085   1943169     10.19     10.76
112652.44/3538.56	c  N dy   579    119707     11552   1372506    426933     23833  11661082   1390243     10.28     11.28
112838.46/3544.36	c  N dy   630    127366     11550   1372506    427077     31438  11661082   1884227     10.32     11.01
113046.20/3550.84	c  N dy   662    136016     11547   1372506    427207     40031  11661081   2307950     10.26     11.10
113246.84/3557.10	c  N dy   716    144719     11545   1372506    427323     27520  11661079   1372313     10.33     11.38
113471.03/3564.20	c  N dy   769    154012     11540   1372506    427372     36765  11661077   1838248     10.35     11.00
113573.28/3567.34	c  S st   797    157990     11540   1372506    427449     40723  11661076   2056855     10.39   no data
113630.15/3569.12	c  S st   797    158492     11540   1372506    427449     41225  11661076   2073916     10.39   no data
113633.35/3569.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
114026.47/3581.62	c Flit:     1 Blit:      3 bXBeca:    0 bXProp:    3 Bins:  15139 BRemL:  61029 BRemN:      2 P: 200.1M T: 12.38
114071.21/3582.94	c Replacing       16 vars Replaced    64570 lits Time:     1.32 s 
114096.79/3583.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114096.79/3583.81	c bin-w-bin subsume rem         2930 bins  time:  0.05 s
114704.08/3602.72	c subs with bin:    50178  lits-rem:      7363  v-fix:    0  time: 18.91 s
114723.24/3603.31	c Subs w/ non-existent bins:   3506 l-rem:      0 v-fix:     0 done:    142 time:  0.58 s
114736.68/3603.78	c Removed useless bin:       9  fixed:     0  props:   0.85M  time:  0.04 s
120959.12/3798.47	c lits-rem:         0  cl-subs:    48727  v-elim:    287  v-fix:    0  time: 194.62 s
121019.21/3800.37	c subs with bin:      445  lits-rem:      4234  v-fix:    0  time:  1.81 s
127360.38/3998.76	c lits-rem:        20  cl-subs:     1213  v-elim:      0  v-fix:    0  time: 197.77 s
127456.27/4001.73	c vivif2 --  cl tried  1268696 cl shrink    13420 lits rem      14014 time: 2.96
127463.34/4001.99	c vivif2 --  cl tried    29592 cl shrink     5143 lits rem      34631 time: 0.26
127481.83/4002.56	c asymm  cl-useful: 39/1765/1268658 lits-rem:117 time: 0.57
127485.02/4002.68	c calculated reachability. Time: 0.03
127485.02/4002.68	c  N dy   797    158492     11233   1268619    348205     29554  10738039   1272447     10.39   no data
127488.23/4002.77	c Finding binary XORs  T:     0.10 s  found:       0
127606.48/4006.41	c Finding binary XORs  T:     0.09 s  found:       8
127807.88/4012.80	c  N dy   836    168641     11130   1258933    357484     21324  10648133   1000716     10.35     11.06
128089.15/4021.54	c  N dy   879    179422     11130   1258933    357521     32012  10648132   1582705     10.33     10.89
128447.79/4032.74	c  N dy   941    190908     11130   1258933    357556     43432  10648130   2327908     10.35     10.95
128824.27/4044.53	c  N dy  1008    203213     11129   1258933    357570     33192  10648128   1508702     10.36     10.98
129230.16/4057.24	c  N dy  1080    216994     11128   1258933    357599     46845  10648124   2266759     10.38     11.21
129243.00/4057.70	c Finding binary XORs  T:     0.09 s  found:       3
129629.73/4069.71	c  N dy  1150    230858     11126   1258931    365296     35416  10648102   1498051     10.38     11.10
129815.77/4075.55	c Finding binary XORs  T:     0.09 s  found:       0
129847.09/4076.60	c  S st  1181    237738     11125   1258928    371638     42226  10648053   1878701     10.37     10.28
129917.40/4078.79	c  S st  1181    238239     11125   1258928    371641     42722  10648053   1890631     10.37   no data
129924.45/4078.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
130419.20/4094.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   7823 BRemL:  49500 BRemN:     79 P: 200.0M T: 15.48
130422.39/4094.58	c Replacing       13 vars Replaced     6039 lits Time:     0.17 s 
130451.82/4095.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130451.82/4095.47	c bin-w-bin subsume rem         1840 bins  time:  0.04 s
131061.65/4114.56	c subs with bin:    43377  lits-rem:      1339  v-fix:    0  time: 19.09 s
131087.25/4115.31	c Subs w/ non-existent bins:   3527 l-rem:      1 v-fix:     0 done:    329 time:  0.75 s
131215.09/4119.33	c Removed useless bin:      25  fixed:     0  props:   0.93M  time:  0.04 s
137105.73/4303.62	c lits-rem:         0  cl-subs:    32060  v-elim:     97  v-fix:    0  time: 184.21 s
137167.14/4305.60	c subs with bin:       79  lits-rem:      1959  v-fix:    0  time:  1.83 s
143193.16/4494.16	c lits-rem:        29  cl-subs:     2299  v-elim:      0  v-fix:    0  time: 187.92 s
143292.23/4497.24	c vivif2 --  cl tried  1173257 cl shrink    21420 lits rem      21887 time: 3.08
143305.00/4497.60	c vivif2 --  cl tried    38604 cl shrink     8641 lits rem      62442 time: 0.35
143320.97/4498.19	c asymm  cl-useful: 0/810/1173206 lits-rem:0 time: 0.59
143324.17/4498.29	c calculated reachability. Time: 0.03
143324.17/4498.29	c  N dy  1181    238239     11015   1173206    318302     38509   9946771   1530426     10.37   no data
143471.22/4502.87	c Finding binary XORs  T:     0.09 s  found:       8
143726.84/4510.81	c  N dy  1240    253483     10949   1173075    339413     26715   9944322    967926     10.33     11.20
144081.66/4521.98	c  N dy  1321    269709     10945   1173075    339760     42828   9944318   1900843     10.32     11.84
144346.95/4530.23	c Finding binary XORs  T:     0.08 s  found:       0
144497.19/4534.99	c  N dy  1414    286925     10937   1173053    339027     32775   9944092   1155285     10.34     11.04
144909.42/4547.89	c  N dy  1502    305269     10932   1173053    342376     50996   9944088   2158179     10.34     12.12
144925.41/4548.34	c Finding binary XORs  T:     0.08 s  found:       0
144941.38/4548.85	c  F st  1511    306252     10931   1173046    340732     51950   9944016   2221127     10.36      9.82
144947.78/4549.00	c Replacing        8 vars Replaced     3726 lits Time:     0.15 s 
145360.00/4561.92	c  N dy  1594    324863     10905   1173040    341051     41677   9943975   1503246     10.39     10.95
145832.97/4576.75	c  N dy  1698    345201     10896   1173040    342922     31635   9943972    962464     10.39     10.97
146053.50/4583.65	c Finding binary XORs  T:     0.08 s  found:       1
146101.44/4585.14	c  S st  1757    357358     10886   1172872    337937     43549   9938904   1519566     10.40   no data
146146.14/4586.56	c  S st  1757    357860     10886   1172872    337938     44050   9938904   1536652     10.40   no data
146149.34/4586.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
146507.25/4597.85	c Flit:     2 Blit:     10 bXBeca:    0 bXProp:    5 Bins:   6533 BRemL: 144266 BRemN:     13 P: 200.0M T: 11.18
146555.11/4599.37	c Replacing        6 vars Replaced    59717 lits Time:     1.52 s 
146577.52/4600.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146580.72/4600.11	c bin-w-bin subsume rem         3217 bins  time:  0.03 s
147006.34/4613.47	c subs with bin:    39833  lits-rem:      8752  v-fix:    0  time: 13.36 s
147389.12/4625.45	c Subs w/ non-existent bins:  26811 l-rem:      1 v-fix:     0 done:    250 time: 11.98 s
147443.47/4627.14	c Removed useless bin:      13  fixed:     0  props:   0.98M  time:  0.04 s
151220.56/4745.30	c lits-rem:         0  cl-subs:    25452  v-elim:    110  v-fix:    0  time: 118.12 s
151268.50/4746.86	c subs with bin:      765  lits-rem:      7751  v-fix:    0  time:  1.48 s
154751.97/4855.81	c lits-rem:      2523  cl-subs:     1048  v-elim:      0  v-fix:    0  time: 108.43 s
154838.28/4858.60	c vivif2 --  cl tried  1074543 cl shrink    28991 lits rem      31712 time: 2.78
154848.52/4858.82	c vivif2 --  cl tried    38668 cl shrink     5631 lits rem      43281 time: 0.22
154863.86/4859.39	c asymm  cl-useful: 43/909/1074468 lits-rem:129 time: 0.57
154867.05/4859.48	c calculated reachability. Time: 0.03
154867.05/4859.48	c  N dy  1757    357860     10758   1074425    189087     38610   9084109    953464     10.40   no data
155010.89/4863.95	c Finding binary XORs  T:     0.08 s  found:      64
155327.36/4873.86	c  N dy  1843    378111     10128    925962    180571     52186   7784150   1997053     10.36     10.97
155736.41/4886.67	c  N dy  1957    398190     10115    925962    180858     45777   7784132   1727590     10.40     11.01
156040.64/4896.15	c Finding binary XORs  T:     0.07 s  found:      34
156158.25/4899.83	c  N dy  2068    418260     10100    924697    184711     35534   7776748    857411     10.42     11.41
156554.56/4912.27	c  N dy  2187    438524     10092    924697    185307     55681   7776738   2041147     10.46     11.23
156957.94/4924.89	c  N dy  2309    458696     10086    924697    185450     43388   7776732   1189377     10.50     11.34
157407.78/4938.99	c  N dy  2442    478848     10072    924697    185619     63387   7776712   2320461     10.55     11.20
157545.20/4943.27	c Finding binary XORs  T:     0.07 s  found:       7
157593.12/4944.71	c Replacing      105 vars Replaced   282660 lits Time:     1.44 s 
157906.97/4954.53	c  N dy  2562    499173      9954    923083    182951     49300   7765600   1515012     10.58     11.15
157986.25/4957.07	c Finding binary XORs  T:     0.07 s  found:       0
158130.09/4961.50	c Finding binary XORs  T:     0.07 s  found:       2
158379.34/4969.34	c  N dy  2679    519551      9940    923045    200112     69237   7758682   2737915     10.63     11.31
158414.50/4970.46	c Finding binary XORs  T:     0.07 s  found:      16
158737.25/4980.57	c  S st  2768    536790      9926    923035    202449     51230   7758568   1524324     10.64   no data
158775.61/4981.76	c  S st  2768    537290      9926    923035    202451     51725   7758567   1542559     10.64   no data
158778.81/4981.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
159095.23/4991.77	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:   13 Bins:  15688 BRemL:  87413 BRemN:     23 P: 200.0M T:  9.92
159104.80/4992.06	c Replacing       31 vars Replaced    38303 lits Time:     0.29 s 
159123.98/4992.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159123.98/4992.62	c bin-w-bin subsume rem         4948 bins  time:  0.02 s
159395.64/5001.17	c subs with bin:    76898  lits-rem:     47943  v-fix:    0  time:  8.55 s
159545.83/5005.80	c Subs w/ non-existent bins:  28873 l-rem:      7 v-fix:     0 done:    123 time:  4.63 s
159549.03/5005.95	c Removed useless bin:     342  fixed:     0  props:   0.93M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400848-1306905541/watcher-3400848-1306905541 -o /tmp/evaluation-result-3400848-1306905541/solver-3400848-1306905541 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400848-1306905541.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: 28.31 27.72 26.59 1/413 28347
/proc/meminfo: memFree=263335868/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=338000 CPUtime=0.8 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) R 28345 28347 28205 0 -1 4202496 470 0 0 0 80 0 0 0 25 0 32 0 16520527 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764409266 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/28347/statm: 84500 409 300 95 0 79482 0
[pid=28347/tid=28348] ppid=28345 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28347/task/28348/stat : 28348 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 258650955947 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28347/tid=28349] ppid=28345 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28347/task/28349/stat : 28349 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28350/stat : 28350 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764409264 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=338000 CPUtime=0 cores=0-31
/proc/28347/task/28351/stat : 28351 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28347/task/28352/stat : 28352 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28347/task/28353/stat : 28353 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28347/task/28354/stat : 28354 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28355/stat : 28355 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28356/stat : 28356 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28357/stat : 28357 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28358/stat : 28358 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28359/stat : 28359 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28360/stat : 28360 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408851 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408851 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28362/stat : 28362 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408861 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28363/stat : 28363 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28364/stat : 28364 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28365/stat : 28365 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28366/stat : 28366 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28347/tid=28367] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28367/stat : 28367 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408851 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28347/tid=28368] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28368/stat : 28368 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28347/tid=28369] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28369/stat : 28369 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28347/tid=28370] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28370/stat : 28370 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28347/tid=28371] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28371/stat : 28371 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28347/tid=28372] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28372/stat : 28372 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28347/tid=28373] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28373/stat : 28373 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28347/tid=28374] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28374/stat : 28374 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28347/tid=28375] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28375/stat : 28375 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28347/tid=28376] ppid=28345 vsize=338000 CPUtime=0 cores=0-31
/proc/28347/task/28376/stat : 28376 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408861 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28347/tid=28377] ppid=28345 vsize=338000 CPUtime=0 cores=0-31
/proc/28347/task/28377/stat : 28377 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408851 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28347/tid=28378] ppid=28345 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28347/task/28378/stat : 28378 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16520528 346112000 409 268435456000 4194304 4580107 140733337435440 18446744073709551615 47517764408857 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.137043 s]
/proc/loadavg: 28.31 27.72 26.59 1/413 28347
/proc/meminfo: memFree=263335868/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=1329228 CPUtime=2.6 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) S 28345 28347 28205 0 -1 4202496 14766 0 0 0 127 133 0 0 17 0 32 0 16520527 1361129472 14577 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/28347/statm: 332307 14599 334 95 0 327289 0
[pid=28347/tid=28348] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28348/stat : 28348 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 458 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14603 268435456000 4194304 4580107 140733337435440 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28347/tid=28349] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28349/stat : 28349 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 427 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14611 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604453114306016 0 0 -1 2 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=1329228 CPUtime=0.06 cores=0-31
/proc/28347/task/28350/stat : 28350 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 444 0 0 0 3 3 0 0 17 0 32 0 16520528 1361129472 14641 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=1329228 CPUtime=0.03 cores=0-31
/proc/28347/task/28351/stat : 28351 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 407 0 0 0 1 2 0 0 17 0 32 0 16520528 1361129472 14648 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506314137056 0 0 -1 31 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=1329228 CPUtime=0.06 cores=0-31
/proc/28347/task/28352/stat : 28352 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 462 0 0 0 3 3 0 0 17 0 32 0 16520528 1361129472 14661 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=1329228 CPUtime=0.06 cores=0-31
/proc/28347/task/28353/stat : 28353 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 444 0 0 0 3 3 0 0 17 0 32 0 16520528 1361129472 14662 268435456000 4194304 4580107 140733337435440 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28354/stat : 28354 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 476 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14666 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506292403680 0 0 -1 20 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28355/stat : 28355 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 459 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14690 268435456000 4194304 4580107 140733337435440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28356/stat : 28356 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 397 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14691 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 6 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28357/stat : 28357 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 470 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14704 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506296761824 0 0 -1 3 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28358/stat : 28358 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 433 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14722 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604499186367968 0 0 -1 9 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28359/stat : 28359 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 483 0 0 0 3 4 0 0 17 0 32 0 16520528 1361129472 14725 268435456000 4194304 4580107 140733337435440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28360/stat : 28360 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 479 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14726 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604462411980256 0 0 -1 7 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 490 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14737 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506292403680 0 0 -1 13 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28362/stat : 28362 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 479 0 0 0 3 5 0 0 17 0 32 0 16520528 1361129472 14768 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604448539663840 0 0 -1 14 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28363/stat : 28363 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 451 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14774 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604449009655264 0 0 -1 11 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=1329228 CPUtime=0.09 cores=0-31
/proc/28347/task/28364/stat : 28364 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 500 0 0 0 4 5 0 0 17 0 32 0 16520528 1361129472 14786 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604453607570912 0 0 -1 17 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=1329228 CPUtime=0.09 cores=0-31
/proc/28347/task/28365/stat : 28365 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 525 0 0 0 4 5 0 0 17 0 32 0 16520528 1361129472 14789 268435456000 4194304 4580107 140733337435440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28366/stat : 28366 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 430 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14790 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506314145248 0 0 -1 15 0 0 0
[pid=28347/tid=28367] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28367/stat : 28367 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 436 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14792 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604491799272928 0 0 -1 21 0 0 0
[pid=28347/tid=28368] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28368/stat : 28368 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 475 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14797 268435456000 4194304 4580107 140733337435440 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28347/tid=28369] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28369/stat : 28369 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 487 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14819 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28347/tid=28370] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28370/stat : 28370 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 431 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14835 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28347/tid=28371] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28371/stat : 28371 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 392 0 0 0 4 3 0 0 17 0 32 0 16520528 1361129472 14849 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604449009663456 0 0 -1 24 0 0 0
[pid=28347/tid=28372] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28372/stat : 28372 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 441 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14859 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28347/tid=28373] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28373/stat : 28373 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 432 0 0 0 3 4 0 0 17 0 32 0 16520528 1361129472 14862 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604491799272928 0 0 -1 12 0 0 0
[pid=28347/tid=28374] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28374/stat : 28374 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 407 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14865 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28347/tid=28375] ppid=28345 vsize=1329228 CPUtime=0.07 cores=0-31
/proc/28347/task/28375/stat : 28375 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 464 0 0 0 3 4 0 0 17 0 32 0 16520528 1361129472 14866 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28347/tid=28376] ppid=28345 vsize=1329228 CPUtime=0.05 cores=0-31
/proc/28347/task/28376/stat : 28376 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 458 0 0 0 1 4 0 0 17 0 32 0 16520528 1361129472 14874 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604506314145248 0 0 -1 27 0 0 0
[pid=28347/tid=28377] ppid=28345 vsize=1329228 CPUtime=0.06 cores=0-31
/proc/28347/task/28377/stat : 28377 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 507 0 0 0 2 4 0 0 17 0 32 0 16520528 1361129472 14898 268435456000 4194304 4580107 140733337435440 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28347/tid=28378] ppid=28345 vsize=1329228 CPUtime=0.08 cores=0-31
/proc/28347/task/28378/stat : 28378 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 405 0 0 0 4 4 0 0 17 0 32 0 16520528 1361129472 14898 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446604484372159968 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 1329228

[startup+0.208061 s]
/proc/loadavg: 28.31 27.72 26.59 1/413 28347
/proc/meminfo: memFree=263335868/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=1332600 CPUtime=3.97 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) R 28345 28347 28205 0 -1 4202496 21616 0 0 0 187 210 0 0 17 0 32 0 16520527 1364582400 21427 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/28347/statm: 333150 21427 334 95 0 328132 0
[pid=28347/tid=28348] ppid=28345 vsize=1332600 CPUtime=0.11 cores=0-31
/proc/28347/task/28348/stat : 28348 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 606 0 0 0 5 6 0 0 17 0 32 0 16520528 1364582400 21427 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489474 0 0 4096 2 6 0 0 -1 1 0 0 0
[pid=28347/tid=28349] ppid=28345 vsize=1333032 CPUtime=0.12 cores=0-31
/proc/28347/task/28349/stat : 28349 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 581 0 0 0 5 7 0 0 17 0 32 0 16520528 1365024768 21919 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 2 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=1333176 CPUtime=0.11 cores=0-31
/proc/28347/task/28350/stat : 28350 (strangenight2-m) S 28345 28347 28205 0 -1 4202560 834 0 0 0 6 5 0 0 17 0 32 0 16520528 1365172224 22236 268435456000 4194304 4580107 140733337435440 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 8 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=1333896 CPUtime=0.09 cores=0-31
/proc/28347/task/28351/stat : 28351 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 655 0 0 0 4 5 0 0 17 0 32 0 16520528 1365909504 23280 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=1334328 CPUtime=0.12 cores=0-31
/proc/28347/task/28352/stat : 28352 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 724 0 0 0 6 6 0 0 17 0 32 0 16520528 1366351872 24097 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=1334328 CPUtime=0.11 cores=0-31
/proc/28347/task/28353/stat : 28353 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 832 0 0 0 6 5 0 0 17 0 32 0 16520528 1366351872 24103 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=1334328 CPUtime=0.12 cores=0-31
/proc/28347/task/28354/stat : 28354 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 745 0 0 0 6 6 0 0 17 0 32 0 16520528 1366351872 24919 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=1334328 CPUtime=0.14 cores=0-31
/proc/28347/task/28355/stat : 28355 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 782 0 0 0 7 7 0 0 17 0 32 0 16520528 1366351872 25917 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=1334464 CPUtime=0.12 cores=0-31
/proc/28347/task/28356/stat : 28356 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 757 0 0 0 6 6 0 0 17 0 32 0 16520528 1366491136 26571 268435456000 4194304 4580107 140733337435440 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=1334464 CPUtime=0.13 cores=0-31
/proc/28347/task/28357/stat : 28357 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 853 0 0 0 7 6 0 0 17 0 32 0 16520528 1366491136 26869 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=1334464 CPUtime=0.13 cores=0-31
/proc/28347/task/28358/stat : 28358 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 761 0 0 0 7 6 0 0 17 0 32 0 16520528 1366491136 26891 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=1334464 CPUtime=0.14 cores=0-31
/proc/28347/task/28359/stat : 28359 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 915 0 0 0 7 7 0 0 17 0 32 0 16520528 1366491136 26924 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=1334464 CPUtime=0.13 cores=0-31
/proc/28347/task/28360/stat : 28360 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 813 0 0 0 7 6 0 0 17 0 32 0 16520528 1366491136 26924 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=1334464 CPUtime=0.15 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 893 0 0 0 8 7 0 0 17 0 32 0 16520528 1366491136 26924 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=1334536 CPUtime=0.13 cores=0-31
/proc/28347/task/28362/stat : 28362 (strangenight2-m) D 28345 28347 28205 0 -1 4202560 829 0 0 0 6 7 0 0 17 0 32 0 16520528 1366564864 27497 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=1334536 CPUtime=0.13 cores=0-31
/proc/28347/task/28363/stat : 28363 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 848 0 0 0 7 6 0 0 17 0 32 0 16520528 1366564864 27497 268435456000 4194304 4580107 140733337435440 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=1334536 CPUtime=0.15 cores=0-31

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

/proc/28347/task/28351/stat : 28351 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 489193 0 0 0 492280 579 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=27248196 CPUtime=4946.38 cores=0-31
/proc/28347/task/28352/stat : 28352 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 522899 0 0 0 493943 695 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=27248196 CPUtime=4947.9 cores=0-31
/proc/28347/task/28353/stat : 28353 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 506562 0 0 0 494106 684 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=27248196 CPUtime=4942.54 cores=0-31
/proc/28347/task/28354/stat : 28354 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 483426 0 0 0 493477 777 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4397296 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=27248196 CPUtime=4937.18 cores=0-31
/proc/28347/task/28355/stat : 28355 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 473010 0 0 0 493207 511 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=27248196 CPUtime=4931.14 cores=0-31
/proc/28347/task/28356/stat : 28356 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 507941 0 0 0 492351 763 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=27248196 CPUtime=4949.73 cores=0-31
/proc/28347/task/28357/stat : 28357 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 509093 0 0 0 494252 721 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=27248196 CPUtime=4940.21 cores=0-31
/proc/28347/task/28358/stat : 28358 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 482616 0 0 0 493444 577 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=27248196 CPUtime=4945.8 cores=0-31
/proc/28347/task/28359/stat : 28359 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 510803 0 0 0 493947 633 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=27248196 CPUtime=4939.65 cores=0-31
/proc/28347/task/28360/stat : 28360 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 485518 0 0 0 493349 616 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=27248196 CPUtime=4935.5 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 545674 0 0 0 492741 809 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=27248196 CPUtime=4943.49 cores=0-31
/proc/28347/task/28362/stat : 28362 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 465320 0 0 0 493711 638 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=27248196 CPUtime=4943.87 cores=0-31
/proc/28347/task/28363/stat : 28363 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 520079 0 0 0 493674 713 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=27248196 CPUtime=4946.65 cores=0-31
/proc/28347/task/28364/stat : 28364 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 561553 0 0 0 493896 769 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=27248196 CPUtime=4948.48 cores=0-31
/proc/28347/task/28365/stat : 28365 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 564724 0 0 0 494022 826 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=27248196 CPUtime=4947.14 cores=0-31
/proc/28347/task/28366/stat : 28366 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 514208 0 0 0 494245 469 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28347/tid=28367] ppid=28345 vsize=27248196 CPUtime=4925.6 cores=0-31
/proc/28347/task/28367/stat : 28367 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 539052 0 0 0 491945 615 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28347/tid=28368] ppid=28345 vsize=27248196 CPUtime=4949.59 cores=0-31
/proc/28347/task/28368/stat : 28368 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 540713 0 0 0 494205 754 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28347/tid=28369] ppid=28345 vsize=27248196 CPUtime=4943.81 cores=0-31
/proc/28347/task/28369/stat : 28369 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 562325 0 0 0 493638 743 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28347/tid=28370] ppid=28345 vsize=27248196 CPUtime=4951.27 cores=0-31
/proc/28347/task/28370/stat : 28370 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 544365 0 0 0 494486 641 0 0 25 0 32 0 16520528 27902152704 5667246 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28347/tid=28371] ppid=28345 vsize=27248196 CPUtime=4945.03 cores=0-31
/proc/28347/task/28371/stat : 28371 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 539082 0 0 0 493914 589 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28347/tid=28372] ppid=28345 vsize=27248196 CPUtime=4936.15 cores=0-31
/proc/28347/task/28372/stat : 28372 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 536879 0 0 0 492852 763 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28347/tid=28373] ppid=28345 vsize=27248196 CPUtime=4945.55 cores=0-31
/proc/28347/task/28373/stat : 28373 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 545847 0 0 0 493883 672 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28347/tid=28374] ppid=28345 vsize=27248196 CPUtime=4915.81 cores=0-31
/proc/28347/task/28374/stat : 28374 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 518352 0 0 0 490912 669 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28347/tid=28375] ppid=28345 vsize=27248196 CPUtime=4945.76 cores=0-31
/proc/28347/task/28375/stat : 28375 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 572608 0 0 0 493732 844 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28347/tid=28376] ppid=28345 vsize=27248196 CPUtime=4944.79 cores=0-31
/proc/28347/task/28376/stat : 28376 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 569166 0 0 0 493700 779 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28347/tid=28377] ppid=28345 vsize=27248196 CPUtime=4946.13 cores=0-31
/proc/28347/task/28377/stat : 28377 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 537321 0 0 0 493834 779 0 0 18 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28347/tid=28378] ppid=28345 vsize=27248196 CPUtime=4948.99 cores=0-31
/proc/28347/task/28378/stat : 28378 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 563001 0 0 0 494456 443 0 0 25 0 32 0 16520528 27902152704 5667247 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 158156
Current children cumulated vsize (KiB) 27248196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5020.1 s]
/proc/loadavg: 32.15 32.14 32.04 33/445 28528
/proc/meminfo: memFree=240667008/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=26654492 CPUtime=160004 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) R 28345 28347 28205 0 -1 4202496 16657752 0 0 0 15978894 21460 0 0 25 0 32 0 16520527 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451678 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/28347/statm: 6663623 5662930 375 95 0 6658605 0
[pid=28347/tid=28348] ppid=28345 vsize=26654492 CPUtime=5004.1 cores=0-31
/proc/28347/task/28348/stat : 28348 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 455234 0 0 0 499715 695 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28347/tid=28349] ppid=28345 vsize=26654492 CPUtime=5006.33 cores=0-31
/proc/28347/task/28349/stat : 28349 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 402040 0 0 0 500090 543 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28347/tid=28350] ppid=28345 vsize=26654492 CPUtime=5000.24 cores=0-31
/proc/28347/task/28350/stat : 28350 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 461943 0 0 0 499529 495 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28347/tid=28351] ppid=28345 vsize=26654492 CPUtime=4986.38 cores=0-31
/proc/28347/task/28351/stat : 28351 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 492012 0 0 0 498056 582 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28347/tid=28352] ppid=28345 vsize=26654492 CPUtime=5004.18 cores=0-31
/proc/28347/task/28352/stat : 28352 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 538200 0 0 0 499716 702 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28347/tid=28353] ppid=28345 vsize=26654492 CPUtime=5005.72 cores=0-31
/proc/28347/task/28353/stat : 28353 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 521799 0 0 0 499879 693 0 0 25 0 32 0 16520528 27294199808 5662930 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28347/tid=28354] ppid=28345 vsize=26654492 CPUtime=5000.33 cores=0-31
/proc/28347/task/28354/stat : 28354 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 498978 0 0 0 499249 784 0 0 25 0 32 0 16520528 27294199808 5662931 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28347/tid=28355] ppid=28345 vsize=26654492 CPUtime=4994.97 cores=0-31
/proc/28347/task/28355/stat : 28355 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 487958 0 0 0 498979 518 0 0 25 0 32 0 16520528 27294199808 5662931 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28347/tid=28356] ppid=28345 vsize=26654492 CPUtime=4988.94 cores=0-31
/proc/28347/task/28356/stat : 28356 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 510105 0 0 0 498127 767 0 0 25 0 32 0 16520528 27294199808 5662931 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28347/tid=28357] ppid=28345 vsize=26654492 CPUtime=5007.55 cores=0-31
/proc/28347/task/28357/stat : 28357 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 509093 0 0 0 500034 721 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28347/tid=28358] ppid=28345 vsize=26654492 CPUtime=4998.03 cores=0-31
/proc/28347/task/28358/stat : 28358 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 497588 0 0 0 499219 584 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4497315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28347/tid=28359] ppid=28345 vsize=26654492 CPUtime=5003.61 cores=0-31
/proc/28347/task/28359/stat : 28359 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 515545 0 0 0 499727 634 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28347/tid=28360] ppid=28345 vsize=26654492 CPUtime=4997.45 cores=0-31
/proc/28347/task/28360/stat : 28360 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 488252 0 0 0 499127 618 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=26654492 CPUtime=4991.62 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 548199 0 0 0 498349 813 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28347/tid=28362] ppid=28345 vsize=26654492 CPUtime=5001.28 cores=0-31
/proc/28347/task/28362/stat : 28362 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 480790 0 0 0 499483 645 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28347/tid=28363] ppid=28345 vsize=26654492 CPUtime=5001.66 cores=0-31
/proc/28347/task/28363/stat : 28363 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 535460 0 0 0 499446 720 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28347/tid=28364] ppid=28345 vsize=26654492 CPUtime=5004.42 cores=0-31
/proc/28347/task/28364/stat : 28364 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 563541 0 0 0 499672 770 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28347/tid=28365] ppid=28345 vsize=26654492 CPUtime=5006.3 cores=0-31
/proc/28347/task/28365/stat : 28365 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 564863 0 0 0 499804 826 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28347/tid=28366] ppid=28345 vsize=26654492 CPUtime=5004.94 cores=0-31
/proc/28347/task/28366/stat : 28366 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 529652 0 0 0 500018 476 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28347/tid=28367] ppid=28345 vsize=26654492 CPUtime=4983.38 cores=0-31
/proc/28347/task/28367/stat : 28367 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 541982 0 0 0 497720 618 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28347/tid=28368] ppid=28345 vsize=26654492 CPUtime=5007.38 cores=0-31
/proc/28347/task/28368/stat : 28368 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 543832 0 0 0 499980 758 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28347/tid=28369] ppid=28345 vsize=26654492 CPUtime=5001.61 cores=0-31
/proc/28347/task/28369/stat : 28369 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 563538 0 0 0 499417 744 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28347/tid=28370] ppid=28345 vsize=26654492 CPUtime=5009.06 cores=0-31
/proc/28347/task/28370/stat : 28370 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 557749 0 0 0 500258 648 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28347/tid=28371] ppid=28345 vsize=26654492 CPUtime=5002.84 cores=0-31
/proc/28347/task/28371/stat : 28371 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 539082 0 0 0 499695 589 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28347/tid=28372] ppid=28345 vsize=26654492 CPUtime=4993.94 cores=0-31
/proc/28347/task/28372/stat : 28372 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 552042 0 0 0 498625 769 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28347/tid=28373] ppid=28345 vsize=26654492 CPUtime=5003.36 cores=0-31
/proc/28347/task/28373/stat : 28373 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 548561 0 0 0 499661 675 0 0 19 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28347/tid=28374] ppid=28345 vsize=26654492 CPUtime=4973.61 cores=0-31
/proc/28347/task/28374/stat : 28374 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 520536 0 0 0 496689 672 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28347/tid=28375] ppid=28345 vsize=26654492 CPUtime=5003.55 cores=0-31
/proc/28347/task/28375/stat : 28375 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 575542 0 0 0 499508 847 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28347/tid=28376] ppid=28345 vsize=26654492 CPUtime=5002.59 cores=0-31
/proc/28347/task/28376/stat : 28376 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 583990 0 0 0 499474 785 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28347/tid=28377] ppid=28345 vsize=26654492 CPUtime=5003.91 cores=0-31
/proc/28347/task/28377/stat : 28377 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 552352 0 0 0 499605 786 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28347/tid=28378] ppid=28345 vsize=26654492 CPUtime=5006.78 cores=0-31
/proc/28347/task/28378/stat : 28378 (strangenight2-m) R 28345 28347 28205 0 -1 4202560 565874 0 0 0 500232 446 0 0 25 0 32 0 16520528 27294199808 5662932 268435456000 4194304 4580107 140733337435440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 26654492

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

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

[startup+5020.7 s]
/proc/loadavg: 32.15 32.14 32.04 2/416 28529
/proc/meminfo: memFree=244219220/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=0 CPUtime=160004 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) Z 28345 28347 28205 0 -1 4203548 16657763 0 0 0 15978916 21517 0 0 25 0 2 0 16520527 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/28347/statm: 0 0 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=0 CPUtime=4992.2 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4203588 548199 0 0 0 498350 870 0 0 25 0 2 0 16520528 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5021.5 s]
/proc/loadavg: 29.73 31.64 31.88 2/416 28529
/proc/meminfo: memFree=258684000/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=0 CPUtime=160005 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) Z 28345 28347 28205 0 -1 4203548 16657763 0 0 0 15978916 21599 0 0 25 0 2 0 16520527 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/28347/statm: 0 0 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=0 CPUtime=4993.02 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4203588 548199 0 0 0 498350 952 0 0 25 0 2 0 16520528 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5021.9 s]
/proc/loadavg: 29.73 31.64 31.88 2/416 28529
/proc/meminfo: memFree=258684000/264257624 swapFree=67044780/67111528
[pid=28347] ppid=28345 vsize=0 CPUtime=160006 cores=0-31
/proc/28347/stat : 28347 (strangenight2-m) Z 28345 28347 28205 0 -1 4203548 16657763 0 0 0 15978916 21637 0 0 25 0 2 0 16520527 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/28347/statm: 0 0 0 0 0 0 0
[pid=28347/tid=28361] ppid=28345 vsize=0 CPUtime=4993.4 cores=0-31
/proc/28347/task/28361/stat : 28361 (strangenight2-m) R 28345 28347 28205 0 -1 4203588 548199 0 0 0 498350 990 0 0 25 0 2 0 16520528 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5021.96
CPU time (s): 160006
CPU user time (s): 159789
CPU system time (s): 216.432
CPU usage (%): 3186.12
Max. virtual memory (cumulated for all children) (KiB): 30590196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159789
system time used= 216.432
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16657763
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= 1639489
involuntary context switches= 384863

runsolver used 24.5843 second user time and 123.965 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 07:19:06
IDJOB=3400848
IDBENCH=83463
IDSOLVER=1886
FILE ID=node200/3400848-1306905541
RUNJOBID= node200-1306905527-28219
PBS_JOBID= 13471458
Free space on /tmp= 61480 MiB

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

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1935125610

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263336272 kB
Buffers:        175716 kB
Cached:         525252 kB
SwapCached:      29976 kB
Active:         253888 kB
Inactive:       479184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263336272 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:          107064 kB
Writeback:           0 kB
AnonPages:       29900 kB
Mapped:           8748 kB
Slab:            80540 kB
PageTables:       4264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173956 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= 61476 MiB
End job on node200 at 2011-06-01 08:42:48