Trace number 3290714

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-mtUNSAT 2379.54 595.723

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark671.532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290714-1304124449.cnf'
0.00/0.00	c -- header says num vars:           7794
0.00/0.00	c -- header says num clauses:      186934
0.03/0.08	c -- clauses added:            0 learnts,       186934 normals,            0 xors
0.03/0.08	c -- vars added       7794
0.03/0.08	c Parsing time:  0.07 s
0.03/0.08	c  N st     0         0      7794    166829     19877         0   1284511         0   no data   no data
0.78/0.28	c asymm  cl-useful: 0/2271/166721 lits-rem:0 time: 0.19
2.78/0.72	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  0.43
2.78/0.76	c Replacing       72 vars Replaced   120192 lits Time:     0.04 s 
3.16/0.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.16/0.83	c bin-w-bin subsume rem          138 bins  time:  0.00 s
3.16/0.84	c subs with bin:       56  lits-rem:         4  v-fix:    0  time:  0.00 s
3.16/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6293 time:  0.01 s
3.16/0.86	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.01 s
30.73/7.71	c lits-rem:         0  cl-subs:       21  v-elim:    736  v-fix:    0  time:  6.84 s
30.73/7.71	c Finding binary XORs  T:     0.01 s  found:       0
32.71/8.24	c Finding non-binary XORs:     0.52 s (found:       0, avg size: nan)
32.71/8.24	c calculated reachability. Time: 0.00
32.71/8.25	c Calc default polars -  time:   0.01 s pos:     294 undec:     938 neg:    6562
32.71/8.25	c =========================================================================================
32.71/8.25	c types(t): F = full restart, N = normal restart
32.71/8.25	c types(t): S = simplification begin/end, E = solution found
32.71/8.25	c restart types(rt): st = static, dy = dynamic
32.71/8.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
32.71/8.25	c  B st     0         0      6856    167594     17333         0   1299072         0   no data   no data
33.50/8.48	c  N dy    16      4177      6856    167594     17430      4028   1299071    160448     10.93     11.56
35.12/8.81	c  N dy    25      8350      6856    167594     17560      8052   1299069    301641      8.86      9.36
37.11/9.30	c  N dy    42     12750      6852    167594     17622     12354   1299068    485722      8.65      9.35
38.70/9.78	c  N dy    60     16824      6852    167594     18312     16329   1299066    632488      8.62     10.01
40.69/10.27	c  N dy    88     21046      6851    167594     18728     10730   1299065    238956      8.64      9.39
40.69/10.29	c Finding binary XORs  T:     0.01 s  found:       0
42.69/10.73	c  F st   108     25000      6849    167589     18713     14552   1298926    374888      8.69   no data
43.09/10.80	c  N st   109     25253      6849    167589     18966     14800   1298926    383572      8.69   no data
45.09/11.38	c  N dy   114     30001      6848    167589     19009     19473   1298926    585570      8.69   no data
45.09/11.38	c  S st   114     30001      6848    167589     19009     19473   1298926    585570      8.69   no data
46.29/11.61	c  S st   114     30503      6848    167589     19038     19945   1298926    600174      8.69   no data
46.29/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
50.68/12.75	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 230135 BRemL: 211318 BRemN:      0 P: 29.9M T:  1.12
50.68/12.80	c blocked clauses removed:        0 vars:      0 tried:        6847 T: 0.00 s
51.09/12.80	c bin-w-bin subsume rem           20 bins  time:  0.00 s
51.09/12.82	c subs with bin:       61  lits-rem:       838  v-fix:    0  time:  0.02 s
51.09/12.84	c Subs w/ non-existent bins:      1 l-rem:     54 v-fix:     0 done:   3061 time:  0.02 s
51.09/12.85	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.01 s
73.45/18.42	c lits-rem:         0  cl-subs:      873  v-elim:     90  v-fix:    0  time:  5.57 s
73.85/18.50	c subs with bin:       56  lits-rem:      2328  v-fix:    0  time:  0.07 s
81.04/20.31	c lits-rem:        39  cl-subs:      662  v-elim:      0  v-fix:    0  time:  1.79 s
81.84/20.51	c asymm  cl-useful: 0/2998/166781 lits-rem:0 time: 0.20
81.84/20.52	c calculated reachability. Time: 0.00
81.84/20.52	c  N dy   114     30503      6757    166781     37001     11151   1292959    272966      8.69   no data
81.84/20.53	c Finding binary XORs  T:     0.01 s  found:       0
83.45/21.00	c Finding binary XORs  T:     0.01 s  found:       0
83.83/21.07	c  N dy   132     34581      6754    166779    266685     15183   1292894    865018      8.60      9.34
85.84/21.57	c  N dy   143     38714      6753    166779    268405     19284   1292894   1024399      8.51      9.04
88.22/22.11	c  N dy   162     42853      6753    166779    268406     12273   1292893    694914      8.51      9.08
89.42/22.46	c  S st   179     45754      6753    166779    268409     15138   1292893    779928      8.53      8.10
89.83/22.59	c  S st   179     46256      6753    166779    268409     15640   1292893    796166      8.53   no data
90.23/22.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.41/23.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    620 BRemL: 229878 BRemN:      0 P: 25.9M T:  0.84
93.41/23.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
93.81/23.50	c bin-w-bin subsume rem         1508 bins  time:  0.00 s
93.81/23.51	c subs with bin:       37  lits-rem:        80  v-fix:    0  time:  0.01 s
93.81/23.53	c Subs w/ non-existent bins:      1 l-rem:      8 v-fix:     0 done:   2088 time:  0.02 s
93.81/23.53	c Removed useless bin:       0  fixed:     0  props:   0.66M  time:  0.01 s
104.21/26.15	c lits-rem:         0  cl-subs:       70  v-elim:     34  v-fix:    0  time:  2.62 s
104.61/26.21	c subs with bin:       17  lits-rem:       285  v-fix:    0  time:  0.05 s
111.40/27.99	c lits-rem:       389  cl-subs:      376  v-elim:      0  v-fix:    0  time:  1.75 s
111.80/28.05	c vivif2 --  cl tried   166755 cl shrink       23 lits rem         23 time: 0.05
111.80/28.06	c vivif2 --  cl tried    12761 cl shrink      444 lits rem       1093 time: 0.01
113.00/28.34	c asymm  cl-useful: 8/3740/166755 lits-rem:9 time: 0.28
113.00/28.35	c calculated reachability. Time: 0.00
113.00/28.35	c  N dy   179     46256      6719    166755     37227     12760   1292825    251301      8.53   no data
114.99/28.80	c Finding binary XORs  T:     0.01 s  found:       0
115.79/29.02	c  N dy   191     50736      6718    166755     37209     17189   1292779    450057      8.41      8.97
117.79/29.60	c  N dy   208     54803      6714    166755     37724     21218   1292779    612263      8.41      8.85
120.98/30.32	c  N dy   234     58962      6714    166755     37772     25342   1292779    754633      8.44      9.00
123.78/31.02	c  N dy   254     63041      6713    166755     37774     29391   1292779    905211      8.47     12.13
126.17/31.60	c  N dy   274     67106      6713    166755     37775     18192   1292779    352034      8.47      9.16
126.99/31.88	c  S st   292     69384      6713    166755     37777     20457   1292779    436680      8.52   no data
127.77/32.05	c  S st   292     69887      6713    166755     37777     20959   1292779    453158      8.52   no data
127.77/32.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
130.57/32.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    253 BRemL:    646 BRemN:      0 P: 26.3M T:  0.73
130.97/32.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.97/32.83	c bin-w-bin subsume rem            9 bins  time:  0.00 s
130.97/32.85	c subs with bin:       53  lits-rem:        74  v-fix:    0  time:  0.01 s
130.97/32.86	c Subs w/ non-existent bins:      1 l-rem:     26 v-fix:     0 done:   1395 time:  0.01 s
130.97/32.87	c Removed useless bin:       2  fixed:     0  props:   0.64M  time:  0.01 s
135.78/34.01	c lits-rem:         0  cl-subs:      118  v-elim:      9  v-fix:    0  time:  1.15 s
136.18/34.13	c subs with bin:       95  lits-rem:       557  v-fix:    0  time:  0.10 s
137.35/34.40	c lits-rem:       315  cl-subs:      617  v-elim:      0  v-fix:    0  time:  0.24 s
137.35/34.45	c vivif2 --  cl tried   166573 cl shrink        0 lits rem          0 time: 0.05
137.35/34.47	c vivif2 --  cl tried    19128 cl shrink      907 lits rem       6436 time: 0.02
138.56/34.74	c asymm  cl-useful: 18/501/166573 lits-rem:36 time: 0.27
138.56/34.75	c calculated reachability. Time: 0.00
138.56/34.75	c  N dy   292     69887      6704    166573     36829     19128   1291062    382218      8.52   no data
142.15/35.61	c  N dy   312     74472      6703    166573     36833     23677   1291062    678027      8.48      8.99
144.16/36.11	c Finding binary XORs  T:     0.01 s  found:       0
145.75/36.50	c  N dy   321     79232      6698    166569     36848     27899   1290978    970006      8.39     10.03
149.74/37.57	c  N dy   343     84313      6698    166569     36856     32947   1290978   1190717      8.38      9.07
152.13/38.14	c  F st   363     87500      6696    166569     36858     36095   1290978   1327302      8.41   no data
154.53/38.76	c  N st   368     90799      6696    166567     36734     21060   1290910    441277      8.41   no data
158.53/39.71	c  N dy   395     96748      6696    166567     36748     26978   1290908    678509      8.44      9.18
162.92/40.89	c  N dy   437    102927      6695    166567     36752     33126   1290908    916049      8.52      9.17
164.51/41.29	c  S st   447    104832      6694    166567     36757     35006   1290908    992910      8.51   no data
165.72/41.51	c  S st   447    105334      6694    166567     36757     35508   1290908   1013413      8.51   no data
165.72/41.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.32/42.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    751 BRemL:    829 BRemN:      0 P: 29.6M T:  0.92
169.32/42.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.32/42.49	c bin-w-bin subsume rem           13 bins  time:  0.00 s
169.72/42.51	c subs with bin:      108  lits-rem:      1413  v-fix:    0  time:  0.02 s
169.72/42.53	c Subs w/ non-existent bins:      5 l-rem:     16 v-fix:     0 done:   1794 time:  0.02 s
169.72/42.53	c Removed useless bin:       0  fixed:     0  props:   0.64M  time:  0.01 s
170.11/42.65	c lits-rem:         0  cl-subs:     1704  v-elim:     11  v-fix:    0  time:  0.11 s
171.71/43.06	c subs with bin:      243  lits-rem:      2287  v-fix:    0  time:  0.38 s
174.50/43.75	c lits-rem:      1048  cl-subs:      811  v-elim:      0  v-fix:    0  time:  0.66 s
174.90/43.80	c vivif2 --  cl tried   164761 cl shrink        9 lits rem          9 time: 0.05
174.90/43.85	c vivif2 --  cl tried    31589 cl shrink     3934 lits rem      22229 time: 0.05
176.11/44.15	c asymm  cl-useful: 12/488/164761 lits-rem:24 time: 0.30
176.11/44.17	c calculated reachability. Time: 0.00
176.11/44.17	c  N dy   447    105334      6683    164761     36563     31587   1274220    838520      8.51   no data
176.11/44.17	c Finding binary XORs  T:     0.01 s  found:       0
182.49/45.70	c  N dy   467    112094      6681    164761     36568     38296   1274219   1169305      8.47      8.95
188.90/47.36	c  N dy   496    120189      6681    164761     36907     26819   1274219    621120      8.45      8.92
195.28/48.98	c  N dy   521    127935      6681    164761     36917     34495   1274219    978528      8.42      8.87
204.47/51.27	c  N dy   565    137627      6681    164761     36921     44080   1274218   1431738      8.44      8.92
210.47/52.70	c Finding binary XORs  T:     0.01 s  found:       0
211.65/53.09	c  N dy   595    146609      6680    164759     36764     30202   1274154    708970      8.41      8.93
220.04/55.16	c  N dy   652    156052      6680    164759     36773     39588   1274154   1067459      8.45     10.40
222.04/55.63	c  S st   666    158001      6680    164759     36773     41528   1274154   1147734      8.46      7.13
222.84/55.87	c  S st   666    158503      6680    164759     36773     42029   1274154   1163540      8.46   no data
222.84/55.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
226.84/56.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    155 BRemL:    253 BRemN:      0 P: 30.8M T:  0.92
226.84/56.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.84/56.84	c bin-w-bin subsume rem            9 bins  time:  0.00 s
226.84/56.85	c subs with bin:       17  lits-rem:        26  v-fix:    0  time:  0.01 s
226.84/56.87	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   4262 time:  0.02 s
226.84/56.88	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
227.24/56.93	c lits-rem:         0  cl-subs:       32  v-elim:     20  v-fix:    0  time:  0.05 s
229.23/57.41	c subs with bin:      597  lits-rem:      1563  v-fix:    0  time:  0.45 s
233.22/58.44	c lits-rem:      1033  cl-subs:     1145  v-elim:      0  v-fix:    0  time:  1.00 s
233.62/58.50	c vivif2 --  cl tried   164705 cl shrink        2 lits rem          2 time: 0.05
233.62/58.55	c vivif2 --  cl tried    35652 cl shrink     4044 lits rem      32037 time: 0.05
234.83/58.85	c asymm  cl-useful: 20/505/164705 lits-rem:40 time: 0.30
234.83/58.86	c calculated reachability. Time: 0.00
234.83/58.86	c  N dy   666    158503      6660    164705     36576     35650   1274033    876438      8.46   no data
245.21/61.47	c  N dy   718    168864      6657    164705     36731     24623   1274032    433128      8.46      8.91
254.82/63.84	c  N dy   782    179760      6656    164705     36734     35440   1274032    908736      8.48      9.12
262.79/65.89	c Finding binary XORs  T:     0.01 s  found:       0
265.98/66.63	c  N dy   854    191358      6655    164700     36561     45859   1273987   1399223      8.52      8.98
276.78/69.35	c  N dy   913    203673      6654    164700     36683     34550   1273987    770239      8.53      8.98
289.15/72.43	c  N dy   985    216675      6654    164700     36753     47468   1273987   1401418      8.55      9.12
301.94/75.60	c  N dy  1064    230632      6654    164700     36763     35684   1273987    767863      8.58      9.04
308.32/77.25	c  S st  1096    237755      6654    164700     36768     42753   1273987   1097680      8.58      9.45
309.52/77.50	c  S st  1096    238255      6654    164700     36768     43251   1273987   1114423      8.58   no data
309.52/77.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
313.12/78.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     90 BRemL:    363 BRemN:      0 P: 29.1M T:  0.91
313.12/78.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
313.12/78.47	c bin-w-bin subsume rem           10 bins  time:  0.00 s
313.12/78.48	c subs with bin:       60  lits-rem:        75  v-fix:    0  time:  0.01 s
313.12/78.50	c Subs w/ non-existent bins:      4 l-rem:      4 v-fix:     0 done:   1123 time:  0.02 s
313.52/78.50	c Removed useless bin:       1  fixed:     0  props:   0.62M  time:  0.01 s
313.52/78.56	c lits-rem:         0  cl-subs:       50  v-elim:     30  v-fix:    0  time:  0.06 s
315.12/78.91	c subs with bin:      607  lits-rem:      1575  v-fix:    0  time:  0.32 s
318.31/79.76	c lits-rem:       821  cl-subs:     1176  v-elim:      0  v-fix:    0  time:  0.82 s
318.71/79.81	c vivif2 --  cl tried   164645 cl shrink        6 lits rem          6 time: 0.05
318.71/79.86	c vivif2 --  cl tried    35051 cl shrink     3428 lits rem      25161 time: 0.05
319.91/80.15	c asymm  cl-useful: 28/473/164645 lits-rem:51 time: 0.30
319.91/80.17	c calculated reachability. Time: 0.00
319.91/80.17	c  N dy  1096    238255      6624    164645     36318     35050   1273827    753606      8.58   no data
319.91/80.17	c Finding binary XORs  T:     0.01 s  found:       0
336.29/84.21	c  N dy  1171    254195      6624    164645     36360     26879   1273827    398051      8.58      9.09
351.49/88.07	c  N dy  1221    271193      6623    164645     36378     43625   1273827   1142519      8.53      9.07
369.07/92.47	c  N dy  1301    288638      6623    164645     36387     34107   1273826    590563      8.53      9.05
387.01/96.97	c  F st  1390    306251      6622    164645     36397     51577   1273826   1261009      8.53   no data
388.62/97.33	c  N st  1393    307439      6622    164644     36343     52266   1273771   1301551      8.53   no data
407.79/102.12	c  N dy  1484    327480      6621    164644     36361     43648   1273770    929245      8.56      9.12
429.77/107.63	c  N dy  1607    347499      6619    164644     36385     33358   1273770    479090      8.59     11.12
438.55/109.89	c  S st  1673    357383      6619    164644     36389     43185   1273769    860512      8.61   no data
439.74/110.14	c  S st  1673    357888      6619    164644     36389     43689   1273769    875716      8.61   no data
439.74/110.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
443.36/111.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    560 BRemL:    562 BRemN:      0 P: 30.2M T:  0.95
443.76/111.13	c Replacing        1 vars Replaced     1827 lits Time:     0.03 s 
443.76/111.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
443.76/111.17	c bin-w-bin subsume rem            7 bins  time:  0.00 s
443.76/111.19	c subs with bin:       68  lits-rem:       710  v-fix:    0  time:  0.02 s
444.14/111.21	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   2463 time:  0.02 s
444.14/111.21	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.01 s
446.14/111.76	c lits-rem:         0  cl-subs:      832  v-elim:     10  v-fix:    0  time:  0.54 s
447.76/112.10	c subs with bin:      174  lits-rem:       912  v-fix:    0  time:  0.32 s
450.13/112.77	c lits-rem:       772  cl-subs:      964  v-elim:      0  v-fix:    0  time:  0.64 s
450.53/112.83	c vivif2 --  cl tried   163737 cl shrink        3 lits rem          3 time: 0.05
450.53/112.88	c vivif2 --  cl tried    38978 cl shrink     3171 lits rem      14918 time: 0.05
451.73/113.19	c asymm  cl-useful: 3/405/163737 lits-rem:5 time: 0.31
452.14/113.20	c calculated reachability. Time: 0.00
452.14/113.20	c  N dy  1673    357888      6608    163737     36149     38977   1265480    733950      8.61   no data
452.14/113.21	c Finding binary XORs  T:     0.01 s  found:       0
474.12/118.75	c  N dy  1767    377963      6607    163737     36564     58895   1265480   1589997      8.60      9.12
480.89/120.43	c Finding binary XORs  T:     0.01 s  found:       0
494.87/123.94	c  N dy  1866    398603      6607    163736     36570     49542   1265469   1228755      8.61      9.12
517.24/129.55	c  N dy  1977    418610      6607    163736     36579     37793   1265469    641176      8.63      9.67
539.61/135.17	c  N dy  2064    438844      6607    163736     36593     57872   1265469   1504853      8.62      9.28
561.58/140.67	c  N dy  2169    458845      6606    163736     36604     44561   1265469    894076      8.63     11.36
587.14/147.07	c  N dy  2277    478944      6605    163736     36626     64516   1265469   1725814      8.64     12.56
609.52/152.61	c  N dy  2364    499380      6604    163736     36646     50300   1265469   1080829      8.64      9.17
636.70/159.43	c  N dy  2478    519578      6604    163736     36662     70296   1265469   1891870      8.65      9.16
655.45/164.11	c  S st  2563    536833      6604    163736     36683     51878   1265469   1115922      8.65      7.50
656.25/164.38	c  S st  2563    537334      6604    163736     36683     52378   1265469   1136218      8.65   no data
656.65/164.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
660.64/165.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    127 BRemL:    361 BRemN:      0 P: 33.0M T:  1.02
660.64/165.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
660.64/165.46	c bin-w-bin subsume rem           13 bins  time:  0.00 s
660.64/165.48	c subs with bin:       18  lits-rem:        56  v-fix:    0  time:  0.01 s
660.64/165.49	c Subs w/ non-existent bins:      9 l-rem:      0 v-fix:     0 done:    902 time:  0.02 s
661.04/165.50	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.01 s
661.04/165.56	c lits-rem:         0  cl-subs:       11  v-elim:     15  v-fix:    0  time:  0.06 s
662.64/165.90	c subs with bin:      426  lits-rem:      1386  v-fix:    0  time:  0.32 s
666.23/166.82	c lits-rem:      1207  cl-subs:     1374  v-elim:      0  v-fix:    0  time:  0.89 s
666.23/166.88	c vivif2 --  cl tried   163684 cl shrink        4 lits rem          4 time: 0.05
666.63/166.94	c vivif2 --  cl tried    44708 cl shrink     4052 lits rem      22364 time: 0.06
667.85/167.25	c asymm  cl-useful: 13/390/163684 lits-rem:17 time: 0.32
667.85/167.26	c calculated reachability. Time: 0.00
667.85/167.26	c  N dy  2563    537334      6589    163684     36190     44706   1265086    856165      8.65   no data
676.25/169.33	c Finding binary XORs  T:     0.01 s  found:       0
695.40/174.15	c  N dy  2663    557403      6588    163684     36239     64622   1265086   1667945      8.65     13.11
717.37/179.63	c  N dy  2756    577480      6587    163684     36252     50847   1265086   1030263      8.65     11.97
744.14/186.39	c  N dy  2864    597694      6585    163684     36281     70890   1265086   1800151      8.66      9.37
766.90/192.06	c  N dy  2975    617715      6585    163684     36408     54606   1265086   1155645      8.68     10.38
795.29/199.16	c  N dy  3107    637824      6585    163684     36423     74591   1265086   1966077      8.70      9.16
819.23/205.15	c  N dy  3225    657890      6585    163684     36433     56551   1265085   1207239      8.72     11.91
848.01/212.31	c  N dy  3344    677895      6584    163684     36442     76411   1265085   1975182      8.74     11.45
872.35/218.49	c  N dy  3464    697900      6583    163684     36451     56943   1265085   1160921      8.75     11.36
883.94/221.35	c Finding binary XORs  T:     0.01 s  found:       0
902.72/226.09	c  N dy  3580    717981      6583    163679     36427     75505   1264992   1954766      8.77      9.26
926.71/232.06	c  N dy  3699    738043      6582    163679     36439     55620   1264992   1086610      8.78      9.80
957.46/239.76	c  N dy  3815    758823      6582    163679     36450     76297   1264992   1958936      8.79      9.33
985.41/246.71	c  N dy  3936    778923      6582    163679     36465     54960   1264992   1041670      8.81     12.79
1015.36/254.25	c  N dy  4055    798928      6581    163679     36479     74859   1264992   1876672      8.83     12.49
1027.36/257.30	c  S st  4110    806001      6581    163679     36481     81891   1264992   2184074      8.84   no data
1028.95/257.69	c  S st  4110    806502      6581    163679     36481     82391   1264992   2207335      8.84   no data
1029.35/257.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1033.74/258.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    138 BRemL:    372 BRemN:      0 P: 35.0M T:  1.11
1033.74/258.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1033.74/258.87	c bin-w-bin subsume rem           16 bins  time:  0.00 s
1033.74/258.88	c subs with bin:       41  lits-rem:        82  v-fix:    0  time:  0.01 s
1034.13/258.90	c Subs w/ non-existent bins:      5 l-rem:      1 v-fix:     0 done:   4546 time:  0.02 s
1034.13/258.91	c Removed useless bin:       2  fixed:     0  props:   0.59M  time:  0.01 s
1034.13/258.98	c lits-rem:         0  cl-subs:       19  v-elim:     21  v-fix:    0  time:  0.07 s
1037.73/259.82	c subs with bin:      545  lits-rem:      2034  v-fix:    0  time:  0.77 s
1050.91/263.17	c lits-rem:      3666  cl-subs:     2086  v-elim:      0  v-fix:    0  time:  3.32 s
1051.31/263.22	c vivif2 --  cl tried   163609 cl shrink        0 lits rem          0 time: 0.05
1051.71/263.35	c vivif2 --  cl tried    67898 cl shrink    11519 lits rem      48051 time: 0.13
1052.91/263.70	c asymm  cl-useful: 19/318/163609 lits-rem:21 time: 0.35
1053.31/263.71	c calculated reachability. Time: 0.00
1053.31/263.71	c  N dy  4110    806502      6560    163609     36026     67889   1264457   1669236      8.84   no data
1067.72/267.37	c Finding binary XORs  T:     0.01 s  found:       0
1080.08/270.46	c  N dy  4196    826504      6560    163609     36171     52252   1264457    990341      8.83     10.30
1109.64/277.82	c  N dy  4306    846966      6560    163609     36181     72542   1264457   1825774      8.83      9.34
1138.03/284.98	c  N dy  4384    867006      6559    163609     36200     51249   1264457    895874      8.82      9.41
1167.56/292.35	c  N dy  4494    887234      6558    163609     36222     71357   1264457   1805817      8.83      9.34
1199.91/300.48	c  N dy  4603    907567      6558    163609     36240     48138   1264457    717276      8.83      9.32
1227.88/307.48	c  N dy  4704    927648      6558    163609     36261     68053   1264457   1629992      8.83     10.24
1262.63/316.14	c  N dy  4807    947722      6557    163609     36295     87987   1264457   2439689      8.83      9.42
1290.60/323.18	c  N dy  4914    967739      6557    163609     36307     62866   1264457   1275574      8.84     10.46
1322.57/331.15	c  N dy  5011    987744      6556    163609     36324     82736   1264457   2103581      8.84     10.42
1354.51/339.17	c  N dy  5113   1007952      6555    163609     36345     56425   1264457    928242      8.84      9.43
1384.86/346.74	c Finding binary XORs  T:     0.01 s  found:       0
1385.66/346.96	c  N dy  5238   1028070      6554    163604     36115     74060   1264362   1705273      8.85      9.32
1422.42/356.17	c  N dy  5332   1048294      6554    163604     36132     47797   1264362    603456      8.85      9.39
1450.38/363.10	c  N dy  5426   1068367      6553    163604     36155     67726   1264362   1369741      8.85      9.37
1455.97/364.53	c  F st  5453   1071875      6553    163604     36160     71208   1264362   1507964      8.85      7.00
1485.16/371.89	c  N dy  5516   1088435      6553    163603     36075     87377   1264350   2154107      8.86      9.59
1501.91/376.05	c Finding binary XORs  T:     0.01 s  found:       0
1518.69/380.26	c  N dy  5641   1108493      6552    163602     37040     59434   1264341   1015971      8.87     12.45
1551.44/388.48	c  N dy  5769   1128581      6552    163602     37050     79422   1264341   1829031      8.88      9.36
1592.18/398.65	c  N dy  5877   1148761      6552    163602     37060     50203   1264341    627579      8.88      9.37
1620.55/405.77	c  N dy  5985   1168800      6552    163602     37071     70106   1264341   1435149      8.89     10.83
1658.10/415.17	c  N dy  6099   1188897      6550    163602     37289     90065   1264341   2199687      8.90      9.46
1693.65/424.02	c  N dy  6201   1209003      6548    163602     37304     59930   1264341    984484      8.90      9.42
1694.45/424.29	c  S st  6208   1209753      6548    163602     37304     60678   1264341   1015176      8.90   no data
1696.07/424.62	c  S st  6208   1210253      6548    163602     37304     61177   1264341   1031761      8.90   no data
1696.07/424.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1700.06/425.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    116 BRemL:    895 BRemN:      0 P: 33.2M T:  1.02
1700.06/425.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1700.06/425.70	c bin-w-bin subsume rem           11 bins  time:  0.00 s
1700.46/425.72	c subs with bin:      118  lits-rem:       108  v-fix:    0  time:  0.02 s
1700.46/425.74	c Subs w/ non-existent bins:      8 l-rem:     15 v-fix:     0 done:   2714 time:  0.02 s
1700.46/425.74	c Removed useless bin:       0  fixed:     0  props:   0.55M  time:  0.01 s
1700.84/425.81	c lits-rem:         0  cl-subs:       86  v-elim:     49  v-fix:    0  time:  0.06 s
1701.64/426.03	c subs with bin:      666  lits-rem:      2608  v-fix:    0  time:  0.19 s
1704.04/426.66	c lits-rem:      1111  cl-subs:     1528  v-elim:      0  v-fix:    0  time:  0.61 s
1704.45/426.71	c vivif2 --  cl tried   163506 cl shrink       33 lits rem         35 time: 0.05
1704.45/426.76	c vivif2 --  cl tried    47734 cl shrink     2956 lits rem       8602 time: 0.04
1705.63/427.09	c asymm  cl-useful: 51/317/163506 lits-rem:71 time: 0.33
1706.03/427.10	c calculated reachability. Time: 0.00
1706.03/427.10	c  N dy  6208   1210253      6499    163506     35754     47721   1264130    694063      8.90   no data
1706.03/427.11	c Finding binary XORs  T:     0.01 s  found:       0
1733.99/434.14	c  N dy  6283   1230349      6498    163506     35797     67694   1264130   1571879      8.89     10.72
1768.35/442.70	c  N dy  6376   1250491      6495    163506     35827     87684   1264130   2379632      8.90      9.37
1797.14/449.90	c  N dy  6467   1270669      6495    163506     35837     61627   1264130   1144686      8.90      9.38
1828.27/457.71	c  N dy  6560   1290684      6495    163506     35847     81497   1264129   1922303      8.90      9.89
1867.03/467.42	c  N dy  6661   1311391      6494    163506     35859     52227   1264129    661882      8.90      9.38
1895.38/474.56	c  N dy  6749   1331424      6493    163506     35874     72099   1264129   1416467      8.90      9.40
1916.14/479.70	c Finding binary XORs  T:     0.01 s  found:       0
1932.95/483.96	c  N dy  6859   1351520      6493    163501     35822     90709   1264034   2163300      8.90      9.41
1972.08/493.70	c  N dy  6973   1373022      6492    163501     35848     60479   1264033    911902      8.90      9.56
2004.83/501.91	c  N dy  7070   1393047      6489    163501     35858     80338   1264033   1647556      8.91     12.94
2042.38/511.37	c  N dy  7174   1413088      6488    163501     35868    100206   1264033   2384183      8.91     10.54
2077.53/520.18	c  N dy  7285   1433317      6487    163501     35883     66730   1264033   1061657      8.91      9.43
2111.08/528.54	c  N dy  7382   1453422      6486    163501     35910     86638   1264033   1826144      8.91      9.46
2154.22/539.34	c  N dy  7482   1473501      6486    163501     35930    106515   1264033   2551818      8.92      9.43
2186.19/547.37	c  N dy  7595   1493553      6484    163501     35955     71438   1264033   1255039      8.92     11.47
2222.14/556.38	c  N dy  7670   1513581      6482    163501     35997     91273   1264033   2023384      8.92      9.43
2269.27/568.10	c  N dy  7773   1534550      6482    163501     36030    112035   1264033   2806008      8.92      9.46
2301.23/576.17	c  N dy  7857   1554669      6481    163501     36053     75733   1264033   1360126      8.92      9.46
2320.02/580.82	c Finding binary XORs  T:     0.01 s  found:       3
2343.57/586.78	c  N dy  7916   1574975      6477    163489     35567     93316   1263911   2116691      8.91      9.40
2376.33/594.95	c Finding binary XORs  T:     0.01 s  found:      37
2379.12/595.69	c Following stats are for *FIRST FINISHED THREAD ONLY*
2379.12/595.69	c num threads              : 4          
2379.12/595.69	c restarts                 : 7052       
2379.12/595.69	c dynamic restarts         : 7022       
2379.12/595.69	c static restarts          : 30         
2379.12/595.69	c full restarts            : 4          
2379.12/595.69	c total simplify time      : 0.55       
2379.12/595.69	c learnts DL2              : 0          
2379.12/595.69	c learnts size 2           : 486226     
2379.12/595.69	c learnts size 1           : 1858        (23.84     % of vars)
2379.12/595.69	c filedLit time            : 6.46        (1.09      % time)
2379.12/595.69	c v-elim SatELite          : 1032        (13.24     % vars)
2379.12/595.69	c SatELite time            : 23.31       (3.94      % time)
2379.12/595.69	c v-elim xor               : 0           (0.00      % vars)
2379.12/595.69	c xor elim time            : 0.07        (0.01      % time)
2379.12/595.69	c num binary xor trees     : 98         
2379.12/595.69	c binxor trees' crown      : 108         (1.10      leafs/tree)
2379.12/595.69	c bin xor find time        : 0.16       
2379.12/595.69	c OTF clause improved      : 12821       (0.01      clauses/conflict)
2379.12/595.69	c OTF impr. size diff      : 15696       (1.22       lits/clause)
2379.12/595.69	c OTF cl watch-shrink      : 1158533     (0.71      clauses/conflict)
2379.12/595.69	c OTF cl watch-sh-lit      : 6074536     (5.24       lits/clause)
2379.12/595.69	c tried to recurMin cls    : 599967      (36.58      % of conflicts)
2379.12/595.69	c updated cache            : 21303       (0.04       lits/tried recurMin)
2379.12/595.69	c unit cls recevied        : 74          (3.98      % of units)
2379.12/595.69	c unit cls sent            : 47          (2.53      % of units)
2379.12/595.69	c bin cls recevied         : 238156     
2379.12/595.69	c bin cls sent             : 3096       
2379.12/595.69	c clauses over max glue    : 0           (0.00      % of all clauses)
2379.12/595.69	c conflicts                : 1639981     (2771.55   / sec)
2379.12/595.69	c decisions                : 2409500     (0.73      % random)
2379.12/595.69	c bogo-props               : 45155986240 (76313220.98 / sec)
2379.12/595.69	c conflict literals        : 65869752    (44.71     % deleted)
2379.12/595.69	c Memory used              : 731.97      MB
2379.12/595.69	c single-thread CPU time   : 591.72      s
2379.12/595.69	c all-threads sum CPU time : 2377.09     s
2379.12/595.69	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3290714-1304124449/watcher-3290714-1304124449 -o /tmp/evaluation-result-3290714-1304124449/solver-3290714-1304124449 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290714-1304124449.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.55 7.94 7.96 5/180 28096
/proc/meminfo: memFree=23919936/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 602675545 52441088 348 33554432000 4194304 4627427 140733194855168 18446744073709551615 47161443620786 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 12803 348 299 106 0 7774 0
[pid=28096/tid=28097] ppid=28094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602675546 52441088 348 33554432000 4194304 4627427 140733194855168 18446744073709551615 47161443620786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602675546 52441088 348 33554432000 4194304 4627427 140733194855168 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602675546 52441088 348 33554432000 4194304 4627427 140733194855168 18446744073709551615 47161443620780 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0114609 s]
/proc/loadavg: 7.55 7.94 7.96 5/180 28096
/proc/meminfo: memFree=23919936/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=282192 CPUtime=0.03 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 2386 0 0 0 3 0 0 0 25 0 4 0 602675545 288964608 2300 33554432000 4194304 4627427 140733194855168 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 70548 2304 340 106 0 65519 0
[pid=28096/tid=28097] ppid=28094 vsize=282192 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 500 0 0 0 0 0 0 0 25 0 4 0 602675546 288964608 2305 33554432000 4194304 4627427 140733194855168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=282192 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 488 0 0 0 0 0 0 0 25 0 4 0 602675546 288964608 2307 33554432000 4194304 4627427 140733194855168 18446744073709551615 4531631 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=282192 CPUtime=0 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 495 0 0 0 0 0 0 0 25 0 4 0 602675546 288964608 2309 33554432000 4194304 4627427 140733194855168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 282192

[startup+0.100444 s]
/proc/loadavg: 7.55 7.94 7.96 5/180 28096
/proc/meminfo: memFree=23919936/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=300820 CPUtime=0.38 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 16662 0 0 0 35 3 0 0 25 0 4 0 602675545 308039680 16297 33554432000 4194304 4627427 140733194855168 18446744073709551615 4519501 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 75205 16297 363 106 0 70176 0
[pid=28096/tid=28097] ppid=28094 vsize=300820 CPUtime=0.08 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4060 0 0 0 8 0 0 0 25 0 4 0 602675546 308039680 16297 33554432000 4194304 4627427 140733194855168 18446744073709551615 4519506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=300820 CPUtime=0.08 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4043 0 0 0 8 0 0 0 25 0 4 0 602675546 308039680 16297 33554432000 4194304 4627427 140733194855168 18446744073709551615 4519506 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=300820 CPUtime=0.08 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4083 0 0 0 8 0 0 0 25 0 4 0 602675546 308039680 16297 33554432000 4194304 4627427 140733194855168 18446744073709551615 216735203223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 300820

[startup+0.300404 s]
/proc/loadavg: 7.55 7.94 7.96 5/180 28096
/proc/meminfo: memFree=23919936/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=302460 CPUtime=1.17 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 18269 0 0 0 114 3 0 0 25 0 4 0 602675545 309719040 17904 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 75615 17904 367 106 0 70586 0
[pid=28096/tid=28097] ppid=28094 vsize=302460 CPUtime=0.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4469 0 0 0 28 0 0 0 25 0 4 0 602675546 309719040 17904 33554432000 4194304 4627427 140733194855168 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=302460 CPUtime=0.28 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4450 0 0 0 28 0 0 0 25 0 4 0 602675546 309719040 17904 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=302460 CPUtime=0.28 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4451 0 0 0 28 0 0 0 25 0 4 0 602675546 309719040 17904 33554432000 4194304 4627427 140733194855168 18446744073709551615 4322179 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 302460

[startup+0.700336 s]
/proc/loadavg: 7.55 7.94 7.96 5/180 28096
/proc/meminfo: memFree=23919936/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=341112 CPUtime=2.78 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 22815 0 0 0 273 5 0 0 25 0 4 0 602675545 349298688 22450 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 85278 22450 368 106 0 80249 0
[pid=28096/tid=28097] ppid=28094 vsize=341112 CPUtime=0.69 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 5832 0 0 0 68 1 0 0 18 0 4 0 602675546 349298688 22451 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=341112 CPUtime=0.68 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 5829 0 0 0 67 1 0 0 25 0 4 0 602675546 349298688 22451 33554432000 4194304 4627427 140733194855168 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=341112 CPUtime=0.68 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 4884 0 0 0 68 0 0 0 25 0 4 0 602675546 349298688 22451 33554432000 4194304 4627427 140733194855168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 341112

[startup+1.5012 s]
/proc/loadavg: 7.55 7.94 7.96 9/184 28100
/proc/meminfo: memFree=23724480/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=407160 CPUtime=5.95 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 50255 0 0 0 582 13 0 0 18 0 4 0 602675545 416931840 49782 33554432000 4194304 4627427 140733194855168 18446744073709551615 4432656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 101790 49782 381 106 0 96761 0
[pid=28096/tid=28097] ppid=28094 vsize=407160 CPUtime=1.48 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14769 0 0 0 145 3 0 0 18 0 4 0 602675546 416931840 49782 33554432000 4194304 4627427 140733194855168 18446744073709551615 4454497 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=407160 CPUtime=1.47 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14772 0 0 0 142 5 0 0 18 0 4 0 602675546 416931840 49782 33554432000 4194304 4627427 140733194855168 18446744073709551615 4434751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=407160 CPUtime=1.49 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 5498 0 0 0 148 1 0 0 18 0 4 0 602675546 416931840 49782 33554432000 4194304 4627427 140733194855168 18446744073709551615 216735203223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 407160

[startup+3.10092 s]
/proc/loadavg: 7.55 7.94 7.96 9/184 28100
/proc/meminfo: memFree=23710048/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=407160 CPUtime=12.35 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 51273 0 0 0 1221 14 0 0 21 0 4 0 602675545 416931840 50800 33554432000 4194304 4627427 140733194855168 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 101790 50800 383 106 0 96761 0
[pid=28096/tid=28097] ppid=28094 vsize=407160 CPUtime=3.08 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14877 0 0 0 305 3 0 0 21 0 4 0 602675546 416931840 50800 33554432000 4194304 4627427 140733194855168 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=407160 CPUtime=3.07 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14883 0 0 0 302 5 0 0 21 0 4 0 602675546 416931840 50800 33554432000 4194304 4627427 140733194855168 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=407160 CPUtime=3.08 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 6192 0 0 0 307 1 0 0 21 0 4 0 602675546 416931840 50800 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 407160

[startup+6.30036 s]
/proc/loadavg: 7.66 7.95 7.96 9/184 28100
/proc/meminfo: memFree=23693804/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=384220 CPUtime=25.13 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 54697 0 0 0 2498 15 0 0 25 0 4 0 602675545 393441280 50551 33554432000 4194304 4627427 140733194855168 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 96055 50552 383 106 0 91026 0
[pid=28096/tid=28097] ppid=28094 vsize=384220 CPUtime=6.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14877 0 0 0 625 3 0 0 25 0 4 0 602675546 393441280 50552 33554432000 4194304 4627427 140733194855168 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=384220 CPUtime=6.25 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 14883 0 0 0 620 5 0 0 25 0 4 0 602675546 393441280 50552 33554432000 4194304 4627427 140733194855168 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=384220 CPUtime=6.28 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 9617 0 0 0 626 2 0 0 25 0 4 0 602675546 393441280 50552 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 384220

[startup+12.7002 s]
/proc/loadavg: 7.69 7.95 7.96 9/184 28100
/proc/meminfo: memFree=23612428/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=516752 CPUtime=50.68 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 83797 0 0 0 5046 22 0 0 25 0 4 0 602675545 529154048 67398 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 129188 67398 391 106 0 124159 0
[pid=28096/tid=28097] ppid=28094 vsize=516752 CPUtime=12.68 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 19125 0 0 0 1264 4 0 0 25 0 4 0 602675546 529154048 67398 33554432000 4194304 4627427 140733194855168 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=516752 CPUtime=12.61 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 20187 0 0 0 1255 6 0 0 25 0 4 0 602675546 529154048 67398 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=516752 CPUtime=12.68 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 25600 0 0 0 1262 6 0 0 25 0 4 0 602675546 529154048 67398 33554432000 4194304 4627427 140733194855168 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 516752

[startup+25.501 s]
/proc/loadavg: 7.76 7.96 7.96 9/184 28100
/proc/meminfo: memFree=23563812/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=422408 CPUtime=101.81 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 126919 0 0 0 10150 31 0 0 25 0 4 0 602675545 432545792 79170 33554432000 4194304 4627427 140733194855168 18446744073709551615 4427160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 105602 79170 391 106 0 100573 0
[pid=28096/tid=28097] ppid=28094 vsize=422408 CPUtime=25.48 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 32637 0 0 0 2542 6 0 0 25 0 4 0 602675546 432545792 79170 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=422408 CPUtime=25.34 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 33384 0 0 0 2525 9 0 0 25 0 4 0 602675546 432545792 79170 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=422408 CPUtime=25.49 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 36003 0 0 0 2540 9 0 0 25 0 4 0 602675546 432545792 79170 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 422408

[startup+51.1005 s]
/proc/loadavg: 7.84 7.96 7.96 9/184 28101
/proc/meminfo: memFree=23381496/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=622072 CPUtime=204.07 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 180455 0 0 0 20364 43 0 0 25 0 4 0 602675545 637001728 103579 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 155518 103579 391 106 0 150489 0
[pid=28096/tid=28097] ppid=28094 vsize=622072 CPUtime=51.07 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 48302 0 0 0 5098 9 0 0 25 0 4 0 602675546 637001728 103579 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=622072 CPUtime=50.79 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 48235 0 0 0 5068 11 0 0 25 0 4 0 602675546 637001728 103579 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=622072 CPUtime=51.09 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 49308 0 0 0 5096 13 0 0 25 0 4 0 602675546 637001728 103579 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 622072

[startup+102.307 s]
/proc/loadavg: 7.45 7.86 7.93 6/178 28124
/proc/meminfo: memFree=23941384/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=623048 CPUtime=408.61 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 245892 0 0 0 40794 67 0 0 25 0 4 0 602675545 638001152 102124 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 155762 102124 391 106 0 150733 0
[pid=28096/tid=28097] ppid=28094 vsize=623048 CPUtime=102.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 62738 0 0 0 10214 14 0 0 25 0 4 0 602675546 638001152 102124 33554432000 4194304 4627427 140733194855168 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=623048 CPUtime=101.72 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 65926 0 0 0 10153 19 0 0 25 0 4 0 602675546 638001152 102124 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=623048 CPUtime=102.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 75298 0 0 0 10207 22 0 0 25 0 4 0 602675546 638001152 102124 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 623048

[startup+162.301 s]

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

/proc/28096/statm: 172576 135175 391 106 0 167547 0
[pid=28096/tid=28097] ppid=28094 vsize=690304 CPUtime=282.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 106519 0 0 0 28197 31 0 0 25 0 4 0 602675546 706871296 135175 33554432000 4194304 4627427 140733194855168 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=690304 CPUtime=280.74 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 119413 0 0 0 28030 44 0 0 25 0 4 0 602675546 706871296 135175 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=690304 CPUtime=282.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 126878 0 0 0 28183 46 0 0 25 0 4 0 602675546 706871296 135175 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1127.62
Current children cumulated vsize (KiB) 690304

[startup+342.301 s]
/proc/loadavg: 8.05 7.99 7.96 9/184 28139
/proc/meminfo: memFree=22040216/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=681836 CPUtime=1367.29 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 440882 0 0 0 136571 158 0 0 25 0 4 0 602675545 698200064 119448 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 170459 119448 391 106 0 165430 0
[pid=28096/tid=28097] ppid=28094 vsize=681836 CPUtime=342.29 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 115926 0 0 0 34192 37 0 0 25 0 4 0 602675546 698200064 119448 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=681836 CPUtime=340.41 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 133354 0 0 0 33988 53 0 0 25 0 4 0 602675546 698200064 119448 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=681836 CPUtime=342.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 132043 0 0 0 34180 49 0 0 25 0 4 0 602675546 698200064 119448 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1367.29
Current children cumulated vsize (KiB) 681836

[startup+402.3 s]
/proc/loadavg: 8.13 8.02 7.97 9/184 28141
/proc/meminfo: memFree=21992352/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=682540 CPUtime=1606.97 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 495380 0 0 0 160512 185 0 0 25 0 4 0 602675545 698920960 131696 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 170635 131696 391 106 0 165606 0
[pid=28096/tid=28097] ppid=28094 vsize=682540 CPUtime=402.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 129027 0 0 0 40184 44 0 0 25 0 4 0 602675546 698920960 131696 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=682540 CPUtime=400.08 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 146598 0 0 0 39949 59 0 0 25 0 4 0 602675546 698920960 131696 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=682540 CPUtime=402.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 147301 0 0 0 40173 56 0 0 25 0 4 0 602675546 698920960 131696 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1606.97
Current children cumulated vsize (KiB) 682540

[startup+462.301 s]
/proc/loadavg: 8.12 8.03 7.98 9/184 28142
/proc/meminfo: memFree=22031820/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=662916 CPUtime=1846.64 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 513964 0 0 0 184463 201 0 0 25 0 4 0 602675545 678825984 138638 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 165729 138638 391 106 0 160700 0
[pid=28096/tid=28097] ppid=28094 vsize=662916 CPUtime=462.29 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 137865 0 0 0 46178 51 0 0 25 0 4 0 602675546 678825984 138638 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=662916 CPUtime=459.76 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 148349 0 0 0 45915 61 0 0 25 0 4 0 602675546 678825984 138638 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=662916 CPUtime=462.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 153233 0 0 0 46169 60 0 0 25 0 4 0 602675546 678825984 138638 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1846.64
Current children cumulated vsize (KiB) 662916

[startup+522.3 s]
/proc/loadavg: 8.11 8.04 7.98 9/184 28144
/proc/meminfo: memFree=21944852/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=624300 CPUtime=2086.32 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 548033 0 0 0 208415 217 0 0 25 0 4 0 602675545 639283200 125728 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 156075 125728 391 106 0 151046 0
[pid=28096/tid=28097] ppid=28094 vsize=624300 CPUtime=522.28 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 150078 0 0 0 52172 56 0 0 25 0 4 0 602675546 639283200 125728 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=624300 CPUtime=519.44 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 161727 0 0 0 51877 67 0 0 25 0 4 0 602675546 639283200 125728 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=624300 CPUtime=522.29 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 156885 0 0 0 52168 61 0 0 25 0 4 0 602675546 639283200 125728 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2086.32
Current children cumulated vsize (KiB) 624300

[startup+582.301 s]
/proc/loadavg: 8.10 8.04 7.99 9/184 28145
/proc/meminfo: memFree=21904404/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=769560 CPUtime=2325.99 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 581725 0 0 0 232362 237 0 0 25 0 4 0 602675545 788029440 135787 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 192390 135787 391 106 0 187361 0
[pid=28096/tid=28097] ppid=28094 vsize=769560 CPUtime=582.29 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 160187 0 0 0 58167 62 0 0 25 0 4 0 602675546 788029440 135787 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=769560 CPUtime=579.11 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 167075 0 0 0 57840 71 0 0 25 0 4 0 602675546 788029440 135787 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=769560 CPUtime=582.3 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 166751 0 0 0 58162 68 0 0 25 0 4 0 602675546 788029440 135787 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2325.99
Current children cumulated vsize (KiB) 769560

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

[startup+588.701 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21895724/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=769560 CPUtime=2351.56 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 583910 0 0 0 234917 239 0 0 25 0 4 0 602675545 788029440 137972 33554432000 4194304 4627427 140733194855168 18446744073709551615 4308145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 192390 137972 391 106 0 187361 0
[pid=28096/tid=28097] ppid=28094 vsize=769560 CPUtime=588.69 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 160819 0 0 0 58806 63 0 0 25 0 4 0 602675546 788029440 137972 33554432000 4194304 4627427 140733194855168 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=769560 CPUtime=585.47 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 167625 0 0 0 58476 71 0 0 25 0 4 0 602675546 788029440 137972 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=769560 CPUtime=588.69 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 167238 0 0 0 58801 68 0 0 25 0 4 0 602675546 788029440 137972 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2351.56
Current children cumulated vsize (KiB) 769560

[startup+591.9 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21890516/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=769560 CPUtime=2364.34 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 585158 0 0 0 236194 240 0 0 25 0 4 0 602675545 788029440 139220 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 192390 139220 391 106 0 187361 0
[pid=28096/tid=28097] ppid=28094 vsize=769560 CPUtime=591.89 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 161134 0 0 0 59126 63 0 0 25 0 4 0 602675546 788029440 139220 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=769560 CPUtime=588.65 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 168001 0 0 0 58794 71 0 0 25 0 4 0 602675546 788029440 139220 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=769560 CPUtime=591.89 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 167481 0 0 0 59121 68 0 0 25 0 4 0 602675546 788029440 139220 33554432000 4194304 4627427 140733194855168 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2364.34
Current children cumulated vsize (KiB) 769560

[startup+593.501 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21889152/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=769560 CPUtime=2370.73 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 585665 0 0 0 236833 240 0 0 25 0 4 0 602675545 788029440 139727 33554432000 4194304 4627427 140733194855168 18446744073709551615 4299619 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 192390 139727 391 106 0 187361 0
[pid=28096/tid=28097] ppid=28094 vsize=769560 CPUtime=593.49 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 161253 0 0 0 59286 63 0 0 25 0 4 0 602675546 788029440 139727 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=769560 CPUtime=590.24 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 168127 0 0 0 58953 71 0 0 25 0 4 0 602675546 788029440 139727 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=769560 CPUtime=593.49 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 167616 0 0 0 59281 68 0 0 25 0 4 0 602675546 788029440 139727 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2370.73
Current children cumulated vsize (KiB) 769560

[startup+595.107 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21895224/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=749532 CPUtime=2377.15 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 588581 0 0 0 237474 241 0 0 25 0 4 0 602675545 767520768 137771 33554432000 4194304 4627427 140733194855168 18446744073709551615 4310102 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 187383 137771 391 106 0 182354 0
[pid=28096/tid=28097] ppid=28094 vsize=749532 CPUtime=595.09 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 161426 0 0 0 59446 63 0 0 25 0 4 0 602675546 767520768 137771 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=749532 CPUtime=591.84 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 168279 0 0 0 59113 71 0 0 25 0 4 0 602675546 767520768 137771 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=749532 CPUtime=595.1 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 170075 0 0 0 59441 69 0 0 25 0 4 0 602675546 767520768 137771 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2377.15
Current children cumulated vsize (KiB) 749532

[startup+595.501 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21895224/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=749532 CPUtime=2378.72 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4202496 588682 0 0 0 237631 241 0 0 25 0 4 0 602675545 767520768 137872 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 187383 137872 391 106 0 182354 0
[pid=28096/tid=28097] ppid=28094 vsize=749532 CPUtime=595.49 cores=1,3,5,7
/proc/28096/task/28097/stat : 28097 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 161457 0 0 0 59486 63 0 0 25 0 4 0 602675546 767520768 137872 33554432000 4194304 4627427 140733194855168 18446744073709551615 4222428 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28096/tid=28098] ppid=28094 vsize=749532 CPUtime=592.23 cores=1,3,5,7
/proc/28096/task/28098/stat : 28098 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 168302 0 0 0 59152 71 0 0 25 0 4 0 602675546 767520768 137872 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28096/tid=28099] ppid=28094 vsize=749532 CPUtime=595.5 cores=1,3,5,7
/proc/28096/task/28099/stat : 28099 (strangenight2-m) R 28094 28096 27450 0 -1 4202560 170098 0 0 0 59481 69 0 0 25 0 4 0 602675546 767520768 137872 33554432000 4194304 4627427 140733194855168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2378.72
Current children cumulated vsize (KiB) 749532

[startup+595.701 s]
/proc/loadavg: 8.08 8.04 7.99 9/184 28146
/proc/meminfo: memFree=21895224/32951124 swapFree=67102140/67111528
[pid=28096] ppid=28094 vsize=0 CPUtime=2379.5 cores=1,3,5,7
/proc/28096/stat : 28096 (strangenight2-m) R 28094 28096 27450 0 -1 4203524 588733 0 0 0 237708 242 0 0 25 0 1 0 602675545 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28096/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2379.5
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 595.723
CPU time (s): 2379.54
CPU user time (s): 2377.09
CPU system time (s): 2.44563
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 806960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2377.09
system time used= 2.44563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588733
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= 4474
involuntary context switches= 16302

runsolver used 0.684895 second user time and 2.58961 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 02:47:29
IDJOB=3290714
IDBENCH=83446
IDSOLVER=1586
FILE ID=node119/3290714-1304124449
RUNJOBID= node119-1304123222-27886
PBS_JOBID= 13170728
Free space on /tmp= 71792 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290714-1304124449/watcher-3290714-1304124449 -o /tmp/evaluation-result-3290714-1304124449/solver-3290714-1304124449 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3290714-1304124449.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=616044952

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23920216 kB
Buffers:       1916388 kB
Cached:        6055660 kB
SwapCached:       3688 kB
Active:         640572 kB
Inactive:      7827732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23920216 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           28996 kB
Writeback:           0 kB
AnonPages:      495776 kB
Mapped:          15420 kB
Slab:           499556 kB
PageTables:       5724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   782904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2011-04-30 02:57:25