Trace number 3367042

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)SAT 1254.53 314.372

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
MD5SUM833432e05c2a1599e13dca28680b5df9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark38.3742
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of clauses161664
Sum of the clauses size423264
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 263584
Number of clauses of size 398016
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367042-1305417225.cnf'
0.00/0.01	c -- header says num vars:           1024
0.00/0.01	c -- header says num clauses:      161664
3.53/0.91	c -- clauses added:            0 learnts,       161664 normals,            0 xors
3.53/0.91	c -- vars added       1024
3.53/0.91	c Parsing time:  0.03 s
3.53/0.91	c  N st     0         0      1024     98080     63584         0    423264         0   no data   no data
3.53/0.91	c asymm  cl-useful: 122/6592/98080 lits-rem:364 time: 0.68
3.53/0.91	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.14
3.93/1.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.93/1.03	c bin-w-bin subsume rem        31784 bins  time:  0.02 s
4.33/1.11	c subs with bin:    16992  lits-rem:     11408  v-fix:    0  time:  0.12 s
4.33/1.11	c Subs w/ non-existent bins:    228 l-rem:     61 v-fix:     0 done:   1023 time:  0.01 s
4.33/1.11	c Removed useless bin:    6520  fixed:     0  props:   4.62M  time:  0.02 s
6.72/1.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
6.72/1.74	c Finding binary XORs  T:     0.00 s  found:       0
6.72/1.74	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
6.72/1.74	c calculated reachability. Time: 0.00
6.72/1.74	c Calc default polars -  time:   0.00 s pos:       0 undec:       1 neg:    1023
6.72/1.74	c =========================================================================================
6.72/1.74	c types(t): F = full restart, N = normal restart
6.72/1.74	c types(t): S = simplification begin/end, E = solution found
6.72/1.74	c restart types(rt): st = static, dy = dynamic
6.72/1.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.72/1.74	c  B st     0         0      1023     80049     37212         0    316425         0   no data   no data
7.55/1.96	c  N dy    17      4029      1023     80049     37216      3977    316425     97275      8.25      9.96
9.91/2.54	c Finding binary XORs  T:     0.00 s  found:       0
10.31/2.64	c  N dy    45      8114      1023     80049     43051      8018    316425    208497      8.81      9.43
13.11/3.36	c  N dy    69     12136      1023     80049     43052     11989    316425    303169      8.99      9.54
15.92/4.09	c  N dy    92     16285      1023     80049     43056     16085    316425    406069      9.20      9.76
19.10/4.83	c  N dy   111     20291      1023     80049     43059     10164    316425    178174      9.16      9.66
21.89/5.55	c  N dy   135     24375      1023     80049     43061     14191    316425    274805      9.18      9.69
22.29/5.66	c  F st   138     25000      1023     80049     43061     14812    316425    289149      9.17      8.19
25.88/6.57	c  N dy   144     30000      1023     80049     43064     19744    316425    411267      9.17   no data
25.88/6.57	c  S st   144     30000      1023     80049     43064     19744    316425    411267      9.17   no data
26.28/6.67	c  S st   144     30500      1023     80049     43064     20244    316425    422339      9.17   no data
26.28/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.07/6.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     84 BRemL:   5799 BRemN:      0 P:  7.9M T:  0.17
27.07/6.85	c blocked clauses removed:        0 vars:      0 tried:        1023 T: 0.00 s
27.07/6.86	c bin-w-bin subsume rem         2815 bins  time:  0.01 s
27.47/6.94	c subs with bin:       93  lits-rem:        62  v-fix:    0  time:  0.08 s
27.47/6.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
27.47/6.96	c Removed useless bin:      14  fixed:     0  props:   3.25M  time:  0.01 s
27.47/6.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
31.47/7.96	c subs with bin:        1  lits-rem:       486  v-fix:    0  time:  0.97 s
32.27/8.19	c lits-rem:       737  cl-subs:     3183  v-elim:      0  v-fix:    0  time:  0.22 s
33.90/8.55	c asymm  cl-useful: 0/3236/79956 lits-rem:0 time: 0.36
33.90/8.55	c calculated reachability. Time: 0.00
33.90/8.55	c  N dy   144     30500      1023     79956     34582     17060    310666    368918      9.17   no data
37.06/9.31	c  N dy   166     34708      1023     79956     34585     21207    310666    471982      9.20      9.71
39.84/10.05	c  N dy   179     38798      1023     79956     34591     25257    310666    573369      9.13      9.71
43.03/10.81	c  N dy   199     42913      1023     79956     34591     29316    310666    670257      9.13      9.84
45.04/11.34	c  S st   219     45750      1023     79956     34591     16831    310666    259544      9.17   no data
45.44/11.42	c  S st   219     46250      1023     79956     34592     17330    310666    270944      9.17   no data
45.44/11.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.83/11.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:      6 BRemN:      9 P:  7.8M T:  0.16
46.24/11.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.24/11.61	c bin-w-bin subsume rem           54 bins  time:  0.01 s
46.24/11.69	c subs with bin:       21  lits-rem:        14  v-fix:    0  time:  0.09 s
46.24/11.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
46.65/11.71	c Removed useless bin:      25  fixed:     0  props:   3.28M  time:  0.01 s
46.65/11.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.63/12.27	c subs with bin:        3  lits-rem:        82  v-fix:    0  time:  0.54 s
49.03/12.34	c lits-rem:       161  cl-subs:     1037  v-elim:      0  v-fix:    0  time:  0.06 s
49.03/12.36	c vivif2 --  cl tried    79935 cl shrink        0 lits rem          0 time: 0.02
49.03/12.38	c vivif2 --  cl tried    16290 cl shrink     2724 lits rem       3987 time: 0.02
50.63/12.73	c asymm  cl-useful: 0/3237/79935 lits-rem:0 time: 0.35
50.63/12.74	c calculated reachability. Time: 0.00
50.63/12.74	c  N dy   219     46250      1023     79935     34525     16290    310559    256306      9.17   no data
53.41/13.47	c  N dy   242     50293      1023     79935     34528     20298    310559    357063      9.18      9.69
56.60/14.22	c  N dy   263     54423      1023     79935     34528     24381    310559    463875      9.19      9.95
59.82/15.03	c  N dy   287     58539      1023     79935     34709     28434    310559    559736      9.24     10.02
62.99/15.85	c  N dy   313     62747      1023     79935     34709     32586    310559    660469      9.25      9.80
66.19/16.63	c  N dy   331     66790      1023     79935     34709     36584    310559    758432      9.23      9.76
68.19/17.14	c  S st   352     69375      1023     79935     34709     20642    310559    310715      9.27   no data
68.60/17.23	c  S st   352     69875      1023     79935     34709     21141    310559    323266      9.27   no data
68.60/17.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.02/17.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    176 BRemN:      3 P:  8.1M T:  0.16
69.38/17.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.38/17.41	c bin-w-bin subsume rem           15 bins  time:  0.01 s
69.78/17.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
69.78/17.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
69.78/17.51	c Removed useless bin:      12  fixed:     0  props:   3.30M  time:  0.01 s
69.78/17.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
72.58/18.20	c subs with bin:        2  lits-rem:        17  v-fix:    0  time:  0.66 s
72.58/18.29	c lits-rem:       255  cl-subs:      889  v-elim:      0  v-fix:    0  time:  0.09 s
72.99/18.31	c vivif2 --  cl tried    79935 cl shrink        0 lits rem          0 time: 0.02
72.99/18.33	c vivif2 --  cl tried    20250 cl shrink     1643 lits rem       2557 time: 0.02
74.16/18.68	c asymm  cl-useful: 6/3082/79935 lits-rem:18 time: 0.35
74.16/18.69	c calculated reachability. Time: 0.00
74.16/18.69	c  N dy   352     69875      1023     79929     34510     20250    310513    311029      9.27   no data
76.56/19.21	c Finding binary XORs  T:     0.00 s  found:       0
78.15/19.61	c  N dy   382     74518      1023     79929     34510     24831    310513    421251      9.29     10.00
81.77/20.57	c  N dy   410     79406      1023     79929     34510     29659    310513    535779      9.30      9.86
85.74/21.54	c  N dy   438     84504      1023     79929     34510     34707    310513    659366      9.30      9.85
88.13/22.18	c  F st   458     87500      1023     79929     34511     37667    310513    731112      9.32      9.05
90.96/22.81	c  N st   463     90805      1023     79929     34511     40936    310513    819909      9.32   no data
95.36/23.93	c  N dy   484     96706      1023     79929     34522     26146    310513    364886      9.31      9.87
99.74/25.09	c  N dy   516    102935      1023     79929     34522     32305    310513    521971      9.30     10.03
101.30/25.46	c  S st   529    104812      1023     79929     34522     34163    310513    566973      9.32      8.69
101.70/25.56	c  S st   529    105313      1023     79929     34523     34663    310513    577960      9.32   no data
101.70/25.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.50/25.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  8.3M T:  0.17
102.50/25.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.50/25.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
102.90/25.84	c subs with bin:       15  lits-rem:        14  v-fix:    0  time:  0.09 s
102.90/25.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
102.90/25.86	c Removed useless bin:       0  fixed:     0  props:   3.30M  time:  0.01 s
102.90/25.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
107.69/27.05	c subs with bin:       10  lits-rem:       105  v-fix:    0  time:  1.17 s
108.88/27.32	c lits-rem:       706  cl-subs:     2651  v-elim:      0  v-fix:    0  time:  0.26 s
108.88/27.34	c vivif2 --  cl tried    79914 cl shrink        0 lits rem          0 time: 0.02
108.88/27.38	c vivif2 --  cl tried    32002 cl shrink     4516 lits rem       7683 time: 0.04
110.48/27.73	c asymm  cl-useful: 6/2926/79914 lits-rem:18 time: 0.35
110.48/27.74	c calculated reachability. Time: 0.00
110.48/27.74	c  N dy   529    105313      1023     79908     34545     32002    310492    533293      9.32   no data
115.67/29.08	c  N dy   576    112105      1023     79908     34546     38705    310492    711045      9.36     10.37
121.69/30.54	c  N dy   618    119340      1023     79908     34547     23705    310492    255253      9.38      9.99
127.65/32.00	c  N dy   671    126972      1023     79908     34548     31211    310492    442068      9.41     12.94
134.03/33.62	c  N dy   725    135173      1023     79908     34548     39285    310492    644917      9.45     10.23
141.21/35.43	c  N dy   773    144119      1023     79908     34550     24717    310492    257592      9.46      9.96
148.40/37.20	c  N dy   826    153364      1023     79908     34550     33839    310492    481085      9.46     10.10
151.59/38.09	c  S st   849    157969      1023     79908     34551     38384    310492    592933      9.46      8.18
152.01/38.18	c  S st   849    158473      1023     79908     34551     38888    310492    605290      9.46   no data
152.01/38.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.78/38.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:      0 BRemN:      0 P:  8.7M T:  0.18
152.78/38.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.78/38.39	c bin-w-bin subsume rem           14 bins  time:  0.01 s
153.18/38.47	c subs with bin:       21  lits-rem:        16  v-fix:    0  time:  0.08 s
153.18/38.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
153.18/38.49	c Removed useless bin:       4  fixed:     0  props:   3.32M  time:  0.01 s
153.58/38.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
157.97/39.69	c subs with bin:        6  lits-rem:       135  v-fix:    0  time:  1.17 s
159.57/40.01	c lits-rem:       767  cl-subs:     3572  v-elim:      0  v-fix:    0  time:  0.32 s
159.57/40.04	c vivif2 --  cl tried    79887 cl shrink        0 lits rem          0 time: 0.02
159.57/40.07	c vivif2 --  cl tried    35310 cl shrink     4769 lits rem       8318 time: 0.04
161.20/40.42	c asymm  cl-useful: 3/2779/79887 lits-rem:9 time: 0.34
161.20/40.42	c calculated reachability. Time: 0.00
161.20/40.42	c  N dy   849    158473      1023     79884     34566     35310    310460    551147      9.46   no data
169.15/42.50	c  N dy   908    168709      1023     79884     34567     45414    310460    801712      9.46      9.97
178.34/44.78	c  N dy   968    179818      1023     79884     34568     31853    310460    397612      9.46     10.23
187.91/47.14	c  N dy  1031    191605      1023     79884     34578     43477    310460    676429      9.47      9.99
197.88/49.68	c  N dy  1112    204223      1023     79884     34579     30336    310460    298779      9.50     10.08
207.86/52.12	c  N dy  1187    217288      1023     79884     34580     43205    310460    621013      9.51     10.01
219.04/54.90	c  N dy  1271    231385      1023     79884     34587     30546    310460    262833      9.52     10.06
223.43/56.07	c  S st  1311    237709      1023     79884     34587     36772    310460    416989      9.53      8.34
223.83/56.16	c  S st  1311    238211      1023     79884     34587     37274    310460    429341      9.53   no data
223.83/56.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.62/56.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  8.2M T:  0.17
224.62/56.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.62/56.35	c bin-w-bin subsume rem           16 bins  time:  0.01 s
225.02/56.44	c subs with bin:       15  lits-rem:        12  v-fix:    0  time:  0.08 s
225.02/56.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
225.02/56.45	c Removed useless bin:       6  fixed:     0  props:   3.34M  time:  0.01 s
225.02/56.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
228.61/57.36	c subs with bin:       57  lits-rem:        39  v-fix:    0  time:  0.88 s
229.41/57.59	c lits-rem:       422  cl-subs:     2430  v-elim:      0  v-fix:    0  time:  0.23 s
229.81/57.61	c vivif2 --  cl tried    79869 cl shrink        0 lits rem          0 time: 0.02
229.81/57.65	c vivif2 --  cl tried    34787 cl shrink     3395 lits rem       5819 time: 0.03
231.03/58.00	c asymm  cl-useful: 4/3054/79869 lits-rem:12 time: 0.35
231.03/58.01	c calculated reachability. Time: 0.00
231.03/58.01	c  N dy  1311    238211      1023     79865     34581     34787    310425    393693      9.53   no data
242.98/60.90	c  N dy  1404    253487      1023     79865     34582     49825    310425    774199      9.56     10.18
255.35/64.03	c  N dy  1493    269748      1023     79865     34583     38307    310425    431188      9.56     11.36
268.93/67.40	c  N dy  1589    287140      1023     79865     34595     55473    310425    861650      9.56     10.16
283.29/71.00	c  N dy  1700    305490      1023     79865     34596     44989    310425    582515      9.58     10.11
283.71/71.16	c  F st  1707    306250      1023     79865     34596     45737    310425    601563      9.58   no data
298.86/74.96	c  N dy  1790    325070      1023     79865     34597     34734    310425    302838      9.59     10.11
314.44/78.90	c  N dy  1900    345266      1023     79865     34598     54636    310425    798535      9.59     10.21
324.39/81.33	c  S st  1963    357316      1023     79865     34599     35969    310425    319603      9.59   no data
324.79/81.42	c  S st  1963    357818      1023     79865     34599     36468    310425    331208      9.59   no data
324.79/81.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
325.59/81.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      1 P:  8.2M T:  0.17
325.59/81.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
325.59/81.61	c bin-w-bin subsume rem           12 bins  time:  0.01 s
325.99/81.70	c subs with bin:       11  lits-rem:         8  v-fix:    0  time:  0.09 s
325.99/81.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
325.99/81.72	c Removed useless bin:       1  fixed:     0  props:   3.36M  time:  0.01 s
325.99/81.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
328.38/82.31	c subs with bin:       76  lits-rem:        22  v-fix:    0  time:  0.57 s
328.78/82.47	c lits-rem:       275  cl-subs:     1497  v-elim:      0  v-fix:    0  time:  0.16 s
328.78/82.50	c vivif2 --  cl tried    79854 cl shrink        0 lits rem          0 time: 0.02
329.18/82.52	c vivif2 --  cl tried    34895 cl shrink     2018 lits rem       3108 time: 0.02
330.38/82.87	c asymm  cl-useful: 2/3095/79854 lits-rem:6 time: 0.35
330.38/82.88	c calculated reachability. Time: 0.00
330.38/82.88	c  N dy  1963    357818      1023     79852     34597     34895    310408    310870      9.59   no data
346.34/86.84	c  N dy  2067    377832      1023     79852     34600     54628    310408    800447      9.60     10.12
362.72/90.98	c  N dy  2181    398179      1023     79852     34607     43142    310408    471395      9.60     10.19
379.07/95.05	c  N dy  2296    418188      1023     79852     34610     62848    310408    960905      9.61     10.67
395.03/99.01	c  N dy  2414    438224      1023     79852     34612     50074    310408    646913      9.62     13.92
411.79/103.22	c  N dy  2517    458244      1023     79852     34615     36296    310408    287910      9.62     11.33
427.37/107.19	c  N dy  2642    478282      1023     79852     34616     56014    310408    788835      9.63     10.52
444.12/111.38	c  N dy  2766    498340      1023     79852     34619     41288    310408    385715      9.65     10.19
460.88/115.53	c  N dy  2894    518357      1023     79852     34622     60997    310408    867648      9.66     10.22
476.06/119.32	c  S st  3004    536729      1023     79852     34622     43675    310408    439174      9.67      8.00
476.46/119.41	c  S st  3004    537230      1023     79852     34622     44174    310408    451996      9.67   no data
476.46/119.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
476.87/119.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      2 BRemN:      1 P:  8.6M T:  0.18
477.29/119.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
477.29/119.62	c bin-w-bin subsume rem            8 bins  time:  0.01 s
477.65/119.70	c subs with bin:       16  lits-rem:        12  v-fix:    0  time:  0.09 s
477.65/119.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
477.65/119.72	c Removed useless bin:       1  fixed:     0  props:   3.36M  time:  0.01 s
477.65/119.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
480.85/120.60	c subs with bin:      125  lits-rem:       110  v-fix:    0  time:  0.85 s
482.04/120.82	c lits-rem:       444  cl-subs:     1818  v-elim:      0  v-fix:    0  time:  0.22 s
482.04/120.84	c vivif2 --  cl tried    79836 cl shrink        0 lits rem          0 time: 0.02
482.04/120.87	c vivif2 --  cl tried    42231 cl shrink     2917 lits rem       4689 time: 0.03
483.64/121.22	c asymm  cl-useful: 4/2869/79836 lits-rem:12 time: 0.35
483.64/121.22	c calculated reachability. Time: 0.00
483.64/121.22	c  N dy  3004    537230      1023     79832     34633     42231    310382    420269      9.67   no data
499.99/125.34	c  N dy  3112    557270      1023     79832     34639     62002    310382    921183      9.67     11.31
516.38/129.47	c  N dy  3233    577344      1023     79832     34641     45339    310382    459326      9.69     10.24
533.12/133.60	c  N dy  3347    597450      1023     79832     34642     65119    310382    954386      9.70     10.51
549.49/137.74	c  N dy  3453    617547      1023     79832     34644     47497    310382    462541      9.70     10.27
565.85/141.85	c  N dy  3560    637610      1023     79832     34646     67265    310382    952323      9.70     10.37
582.23/145.97	c  N dy  3669    657637      1023     79832     34647     48585    310382    451769      9.70     13.53
598.17/149.93	c  N dy  3783    677675      1023     79832     34648     68320    310382    942707      9.71     10.27
614.94/154.14	c  N dy  3891    697686      1023     79832     34648     48597    310382    410016      9.71     10.49
631.30/158.20	c  N dy  4006    717796      1023     79832     34659     68391    310382    907761      9.71     10.55
648.08/162.44	c  N dy  4106    737908      1023     79832     34667     47836    310382    373607      9.71     10.36
664.03/166.44	c  N dy  4219    758127      1023     79832     34668     67751    310382    877373      9.71     10.33
681.18/170.76	c  N dy  4329    778721      1023     79832     34669     46662    310382    330595      9.71     10.37
696.79/174.67	c  N dy  4442    798751      1023     79832     34672     66405    310382    814542      9.72     10.23
702.74/176.16	c  S st  4490    805845      1023     79832     34672     73382    310382    990368      9.73   no data
703.14/176.27	c  S st  4490    806346      1023     79832     34672     73881    310382   1002092      9.73   no data
703.14/176.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
703.94/176.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      3 BRemN:      0 P:  9.1M T:  0.20
703.94/176.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
703.94/176.49	c bin-w-bin subsume rem           12 bins  time:  0.01 s
704.34/176.58	c subs with bin:       32  lits-rem:        23  v-fix:    0  time:  0.09 s
704.34/176.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
704.74/176.60	c Removed useless bin:       1  fixed:     0  props:   3.37M  time:  0.01 s
704.74/176.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
709.54/177.86	c subs with bin:       69  lits-rem:        82  v-fix:    0  time:  1.21 s
713.93/178.95	c lits-rem:      1433  cl-subs:     5959  v-elim:      0  v-fix:    0  time:  1.08 s
713.93/178.97	c vivif2 --  cl tried    79800 cl shrink        0 lits rem          0 time: 0.02
714.35/179.05	c vivif2 --  cl tried    67853 cl shrink    10325 lits rem      17851 time: 0.08
715.50/179.39	c asymm  cl-useful: 5/2323/79800 lits-rem:15 time: 0.33
715.50/179.39	c calculated reachability. Time: 0.00
715.50/179.39	c  N dy  4490    806346      1023     79795     34691     67852    310343    899060      9.73   no data
715.50/179.39	c Finding binary XORs  T:     0.00 s  found:       0
733.06/183.78	c  N dy  4615    826388      1023     79795     34693     45292    310343    267849      9.73     10.30
748.64/187.70	c  N dy  4731    846414      1023     79795     34701     65027    310343    763712      9.74     12.43
765.80/191.95	c  N dy  4840    866575      1023     79795     34701     84881    310343   1254683      9.74     10.27
781.76/195.94	c  N dy  4944    886682      1023     79795     34702     61381    310343    642080      9.74     10.57
798.52/200.10	c  N dy  5072    906766      1023     79795     34703     81122    310343   1132004      9.75     10.50
814.90/204.26	c  N dy  5194    926917      1023     79795     34705     56615    310343    507011      9.76     10.31
831.25/208.35	c  N dy  5315    946921      1023     79795     34705     76311    310343   1001287      9.77     10.39
848.80/212.70	c  N dy  5436    966925      1023     79795     34705     50751    310343    346021      9.77     10.42
864.76/216.76	c  N dy  5553    986980      1023     79795     34708     70473    310343    834043      9.78     10.37
881.93/221.08	c  N dy  5668   1007245      1023     79795     34710     90414    310343   1325138      9.78     10.39
898.32/225.19	c  N dy  5779   1027437      1023     79795     34711     64012    310343    646917      9.79     10.36
915.05/229.35	c  N dy  5905   1047462      1023     79795     34712     83742    310343   1144829      9.79     10.34
931.81/233.54	c  N dy  6023   1067498      1023     79795     34716     56252    310343    438127      9.80     10.32
935.00/234.38	c  F st  6047   1071875      1023     79795     34716     60551    310343    545552      9.80      9.59
947.78/237.57	c  N dy  6108   1087587      1023     79795     34720     75998    310343    939515      9.80     10.71
965.34/241.97	c  N dy  6232   1107814      1023     79795     34724     95940    310343   1441850      9.80     10.35
981.30/245.91	c  N dy  6343   1127892      1023     79795     34725     67491    310343    700063      9.80     10.40
998.47/250.24	c  N dy  6447   1147948      1023     79795     34725     87249    310343   1191961      9.80     10.55
1015.63/254.52	c  N dy  6571   1167973      1023     79795     34725     57669    310343    430682      9.81     10.40
1031.59/258.59	c  N dy  6687   1188135      1023     79795     34732     77488    310343    927626      9.81     10.38
1048.75/262.80	c  N dy  6807   1208165      1023     79795     34735     97180    310343   1431552      9.82     10.34
1049.95/263.12	c  S st  6812   1209520      1023     79795     34737     98517    310343   1464190      9.82      8.29
1050.35/263.23	c  S st  6812   1210020      1023     79795     34737     99015    310343   1476546      9.82   no data
1050.35/263.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1051.15/263.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:      2 BRemN:      0 P:  9.9M T:  0.23
1051.15/263.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1051.15/263.49	c bin-w-bin subsume rem           27 bins  time:  0.01 s
1051.56/263.57	c subs with bin:       40  lits-rem:        30  v-fix:    0  time:  0.09 s
1051.56/263.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
1051.56/263.59	c Removed useless bin:       4  fixed:     0  props:   3.36M  time:  0.01 s
1051.97/263.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1057.13/264.90	c subs with bin:      123  lits-rem:        57  v-fix:    0  time:  1.24 s
1066.71/267.32	c lits-rem:      2452  cl-subs:    10218  v-elim:      0  v-fix:    0  time:  2.41 s
1066.71/267.35	c vivif2 --  cl tried    79755 cl shrink        0 lits rem          0 time: 0.02
1067.11/267.46	c vivif2 --  cl tried    88674 cl shrink    15536 lits rem      26821 time: 0.12
1068.31/267.79	c asymm  cl-useful: 3/2032/79755 lits-rem:9 time: 0.33
1068.71/267.80	c calculated reachability. Time: 0.00
1068.71/267.80	c  N dy  6812   1210020      1023     79752     34747     88672    310286   1301653      9.82   no data
1086.27/272.21	c  N dy  6921   1230042      1023     79752     34750     58258    310286    428838      9.82     10.45
1102.23/276.28	c  N dy  7033   1250073      1023     79752     34752     77956    310286    925647      9.82     10.45
1119.79/280.62	c  N dy  7143   1270151      1023     79752     34756     97654    310286   1411298      9.83     10.38
1136.15/284.79	c  N dy  7262   1290217      1023     79752     34757     66323    310286    608936      9.83     13.48
1152.94/288.92	c  N dy  7366   1310507      1023     79752     34760     86318    310286   1117333      9.83     10.49
1171.27/293.51	c  N dy  7488   1330599      1023     79752     34761     53973    310286    283171      9.83     10.52
1187.25/297.54	c  N dy  7596   1350719      1023     79752     34771     73740    310286    775871      9.83     10.65
1204.41/301.88	c  N dy  7722   1370756      1023     79752     34771     93453    310286   1273253      9.84     10.40
1221.97/306.28	c  N dy  7830   1390784      1023     79752     34773     60062    310286    406886      9.84     10.41
1238.72/310.43	c  N dy  7953   1410819      1023     79752     34775     79752    310286    892466      9.84     10.37
1254.33/314.35	c Following stats are for *FIRST FINISHED THREAD ONLY*
1254.33/314.35	c num threads              : 4          
1254.33/314.35	c restarts                 : 7368       
1254.33/314.35	c dynamic restarts         : 7338       
1254.33/314.35	c static restarts          : 30         
1254.33/314.35	c full restarts            : 4          
1254.33/314.35	c total simplify time      : 0.02       
1254.33/314.35	c learnts DL2              : 0          
1254.33/314.35	c learnts size 2           : 84889      
1254.33/314.35	c learnts size 1           : 1           (0.10      % of vars)
1254.33/314.35	c filedLit time            : 0.95        (0.30      % time)
1254.33/314.35	c v-elim SatELite          : 0           (0.00      % vars)
1254.33/314.35	c SatELite time            : 2.71        (0.86      % time)
1254.33/314.35	c v-elim xor               : 0           (0.00      % vars)
1254.33/314.35	c xor elim time            : 0.02        (0.01      % time)
1254.33/314.35	c num binary xor trees     : 0          
1254.33/314.35	c binxor trees' crown      : 0           (nan       leafs/tree)
1254.33/314.35	c bin xor find time        : 0.01       
1254.33/314.35	c OTF clause improved      : 21365       (0.01      clauses/conflict)
1254.33/314.35	c OTF impr. size diff      : 27954       (1.31       lits/clause)
1254.33/314.35	c OTF cl watch-shrink      : 887095      (0.60      clauses/conflict)
1254.33/314.35	c OTF cl watch-sh-lit      : 4440762     (5.01       lits/clause)
1254.33/314.35	c tried to recurMin cls    : 511669      (34.56      % of conflicts)
1254.33/314.35	c updated cache            : 10490       (0.02       lits/tried recurMin)
1254.33/314.35	c unit cls recevied        : 1           (100.00    % of units)
1254.33/314.35	c unit cls sent            : 0           (0.00      % of units)
1254.33/314.35	c bin cls recevied         : 9276       
1254.33/314.35	c bin cls sent             : 1527       
1254.33/314.35	c clauses over max glue    : 0           (0.00      % of all clauses)
1254.33/314.35	c conflicts                : 1480558     (4711.98   / sec)
1254.33/314.35	c decisions                : 3286893     (0.25      % random)
1254.33/314.35	c bogo-props               : 18737078125 (59632108.01 / sec)
1254.33/314.35	c conflict literals        : 37384575    (56.89     % deleted)
1254.33/314.35	c Memory used              : 467.51      MB
1254.33/314.35	c single-thread CPU time   : 314.21      s
1254.33/314.35	c all-threads sum CPU time : 1253.89     s
1254.33/314.35	s SATISFIABLE
1254.33/314.35	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367042-1305417225/watcher-3367042-1305417225 -o /tmp/evaluation-result-3367042-1305417225/solver-3367042-1305417225 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367042-1305417225.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.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653325261 52396032 348 33554432000 4194304 4580107 140733314729104 18446744073709551615 47143871915948 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 12792 348 299 95 0 7774 0
[pid=6369/tid=6370] ppid=6367 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653325261 52396032 348 33554432000 4194304 4580107 140733314729104 18446744073709551615 47143871915954 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653325261 52396032 348 33554432000 4194304 4580107 140733314729104 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653325261 52396032 348 33554432000 4194304 4580107 140733314729104 18446744073709551615 47143871915948 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.869916 s]
/proc/loadavg: 7.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=292708 CPUtime=3.41 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 11052 0 0 0 336 5 0 0 19 0 4 0 653325261 299732992 10965 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 73177 10965 360 95 0 68159 0
[pid=6369/tid=6370] ppid=6367 vsize=292708 CPUtime=0.85 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2720 0 0 0 84 1 0 0 18 0 4 0 653325261 299732992 10965 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=292708 CPUtime=0.83 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2646 0 0 0 83 0 0 0 19 0 4 0 653325261 299732992 10965 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=292708 CPUtime=0.84 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2839 0 0 0 84 0 0 0 18 0 4 0 653325261 299732992 10965 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 292708

[startup+0.900909 s]
/proc/loadavg: 7.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=300624 CPUtime=3.53 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 12026 0 0 0 348 5 0 0 19 0 4 0 653325261 307838976 11940 33554432000 4194304 4580107 140733314729104 18446744073709551615 4439221 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 75156 11950 364 95 0 70138 0
[pid=6369/tid=6370] ppid=6367 vsize=300624 CPUtime=0.88 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 3260 0 0 0 87 1 0 0 19 0 4 0 653325261 307838976 11954 33554432000 4194304 4580107 140733314729104 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=300624 CPUtime=0.87 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 3083 0 0 0 87 0 0 0 18 0 4 0 653325261 307838976 11959 33554432000 4194304 4580107 140733314729104 18446744073709551615 4401355 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=300624 CPUtime=0.87 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2849 0 0 0 87 0 0 0 18 0 4 0 653325261 307838976 11963 33554432000 4194304 4580107 140733314729104 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 300624

[startup+1.00089 s]
/proc/loadavg: 7.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=311144 CPUtime=3.93 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 18214 0 0 0 386 7 0 0 18 0 4 0 653325261 318611456 18127 33554432000 4194304 4580107 140733314729104 18446744073709551615 4412711 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 77786 18127 370 95 0 72768 0
[pid=6369/tid=6370] ppid=6367 vsize=311144 CPUtime=0.98 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 5138 0 0 0 96 2 0 0 18 0 4 0 653325261 318611456 18127 33554432000 4194304 4580107 140733314729104 18446744073709551615 4412844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=311144 CPUtime=0.97 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 5047 0 0 0 96 1 0 0 18 0 4 0 653325261 318611456 18127 33554432000 4194304 4580107 140733314729104 18446744073709551615 4413206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=311144 CPUtime=0.97 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2862 0 0 0 97 0 0 0 19 0 4 0 653325261 318611456 18127 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 311144

[startup+1.10088 s]
/proc/loadavg: 7.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=312092 CPUtime=4.33 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 18628 0 0 0 426 7 0 0 18 0 4 0 653325261 319582208 18508 33554432000 4194304 4580107 140733314729104 18446744073709551615 4479100 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 78023 18508 372 95 0 73005 0
[pid=6369/tid=6370] ppid=6367 vsize=312092 CPUtime=1.08 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 5258 0 0 0 106 2 0 0 18 0 4 0 653325261 319582208 18508 33554432000 4194304 4580107 140733314729104 18446744073709551615 4490197 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=312092 CPUtime=1.07 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 5165 0 0 0 106 1 0 0 18 0 4 0 653325261 319582208 18508 33554432000 4194304 4580107 140733314729104 18446744073709551615 4490285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=312092 CPUtime=1.07 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2882 0 0 0 107 0 0 0 19 0 4 0 653325261 319582208 18508 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 312092

[startup+1.5008 s]
/proc/loadavg: 7.81 8.01 7.99 5/294 6369
/proc/meminfo: memFree=16508268/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=313884 CPUtime=5.92 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 23750 0 0 0 584 8 0 0 18 0 4 0 653325261 321417216 19343 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 78471 19343 377 95 0 73453 0
[pid=6369/tid=6370] ppid=6367 vsize=313884 CPUtime=1.48 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 6991 0 0 0 146 2 0 0 18 0 4 0 653325261 321417216 19343 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=313884 CPUtime=1.46 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 6860 0 0 0 145 1 0 0 18 0 4 0 653325261 321417216 19343 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=313884 CPUtime=1.47 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 2945 0 0 0 147 0 0 0 19 0 4 0 653325261 321417216 19343 33554432000 4194304 4580107 140733314729104 18446744073709551615 4319311 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 313884

[startup+3.10052 s]
/proc/loadavg: 7.81 8.01 7.99 9/298 6373
/proc/meminfo: memFree=16424584/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=313620 CPUtime=12.31 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 24872 0 0 0 1222 9 0 0 21 0 4 0 653325261 321146880 20399 33554432000 4194304 4580107 140733314729104 18446744073709551615 4314960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 78405 20399 377 95 0 73387 0
[pid=6369/tid=6370] ppid=6367 vsize=313620 CPUtime=3.08 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 7254 0 0 0 306 2 0 0 21 0 4 0 653325261 321146880 20399 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=313620 CPUtime=3.04 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 7135 0 0 0 303 1 0 0 21 0 4 0 653325261 321146880 20399 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=313620 CPUtime=3.08 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 3226 0 0 0 307 1 0 0 25 0 4 0 653325261 321146880 20399 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 313620

[startup+6.31095 s]
/proc/loadavg: 7.83 8.01 7.99 9/298 6374
/proc/meminfo: memFree=16416524/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=325408 CPUtime=25.12 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 30027 0 0 0 2503 9 0 0 25 0 4 0 653325261 333217792 20613 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 81352 20613 378 95 0 76334 0
[pid=6369/tid=6370] ppid=6367 vsize=325408 CPUtime=6.29 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 8533 0 0 0 627 2 0 0 25 0 4 0 653325261 333217792 20613 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=325408 CPUtime=6.22 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 8462 0 0 0 621 1 0 0 25 0 4 0 653325261 333217792 20613 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=325408 CPUtime=6.29 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 4534 0 0 0 628 1 0 0 25 0 4 0 653325261 333217792 20613 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 325408

[startup+12.7008 s]
/proc/loadavg: 7.84 8.01 7.99 9/298 6404
/proc/meminfo: memFree=16548768/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=327652 CPUtime=50.63 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 49127 0 0 0 5049 14 0 0 25 0 4 0 653325261 335515648 32216 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 81913 32216 379 95 0 76895 0
[pid=6369/tid=6370] ppid=6367 vsize=327652 CPUtime=12.68 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 13342 0 0 0 1265 3 0 0 25 0 4 0 653325261 335515648 32216 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=327652 CPUtime=12.57 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 11796 0 0 0 1254 3 0 0 25 0 4 0 653325261 335515648 32216 33554432000 4194304 4580107 140733314729104 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=327652 CPUtime=12.67 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 11739 0 0 0 1265 2 0 0 25 0 4 0 653325261 335515648 32216 33554432000 4194304 4580107 140733314729104 18446744073709551615 4412659 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 327652

[startup+25.5005 s]
/proc/loadavg: 7.88 8.00 7.99 9/298 6404
/proc/meminfo: memFree=16463672/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=315528 CPUtime=101.7 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 63162 0 0 0 10152 18 0 0 25 0 4 0 653325261 323100672 38616 33554432000 4194304 4580107 140733314729104 18446744073709551615 4325591 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 78882 38616 379 95 0 73864 0
[pid=6369/tid=6370] ppid=6367 vsize=315528 CPUtime=25.49 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 15507 0 0 0 2545 4 0 0 25 0 4 0 653325261 323100672 38616 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=315528 CPUtime=25.24 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 15223 0 0 0 2521 3 0 0 25 0 4 0 653325261 323100672 38616 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=315528 CPUtime=25.48 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 16581 0 0 0 2544 4 0 0 25 0 4 0 653325261 323100672 38616 33554432000 4194304 4580107 140733314729104 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 315528

[startup+51.101 s]
/proc/loadavg: 7.97 8.02 8.00 9/298 6405
/proc/meminfo: memFree=16386024/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=314852 CPUtime=203.87 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 85902 0 0 0 20365 22 0 0 25 0 4 0 653325261 322408448 45808 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 78713 45808 379 95 0 73695 0
[pid=6369/tid=6370] ppid=6367 vsize=314852 CPUtime=51.08 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 22568 0 0 0 5104 4 0 0 25 0 4 0 653325261 322408448 45808 33554432000 4194304 4580107 140733314729104 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=314852 CPUtime=50.62 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 22123 0 0 0 5057 5 0 0 25 0 4 0 653325261 322408448 45808 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=314852 CPUtime=51.08 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 20124 0 0 0 5103 5 0 0 25 0 4 0 653325261 322408448 45808 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 314852

[startup+102.301 s]
/proc/loadavg: 8.09 8.04 8.00 9/298 6406
/proc/meminfo: memFree=16291284/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=441692 CPUtime=408.2 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 114995 0 0 0 40790 30 0 0 25 0 4 0 653325261 452292608 59741 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 110423 59741 379 95 0 105405 0
[pid=6369/tid=6370] ppid=6367 vsize=441692 CPUtime=102.28 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 29156 0 0 0 10223 5 0 0 25 0 4 0 653325261 452292608 59741 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=441692 CPUtime=101.35 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 30773 0 0 0 10127 8 0 0 25 0 4 0 653325261 452292608 59741 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=441692 CPUtime=102.28 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 26089 0 0 0 10221 7 0 0 25 0 4 0 653325261 452292608 59741 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 441692

[startup+162.3 s]
/proc/loadavg: 8.12 8.06 8.01 9/298 6408
/proc/meminfo: memFree=16241784/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=451496 CPUtime=647.66 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 140732 0 0 0 64729 37 0 0 25 0 4 0 653325261 462331904 67363 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 112874 67363 379 95 0 107856 0
[pid=6369/tid=6370] ppid=6367 vsize=451496 CPUtime=162.29 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 35523 0 0 0 16221 8 0 0 25 0 4 0 653325261 462331904 67363 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=451496 CPUtime=160.81 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 37537 0 0 0 16071 10 0 0 25 0 4 0 653325261 462331904 67363 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=451496 CPUtime=162.27 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 32199 0 0 0 16219 8 0 0 25 0 4 0 653325261 462331904 67363 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.66
Current children cumulated vsize (KiB) 451496

[startup+222.301 s]
/proc/loadavg: 8.15 8.08 8.01 9/298 6409
/proc/meminfo: memFree=16169580/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=477164 CPUtime=887.12 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 174254 0 0 0 88667 45 0 0 25 0 4 0 653325261 488615936 75856 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119291 75856 379 95 0 114273 0
[pid=6369/tid=6370] ppid=6367 vsize=477164 CPUtime=222.28 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 44804 0 0 0 22218 10 0 0 25 0 4 0 653325261 488615936 75856 33554432000 4194304 4580107 140733314729104 18446744073709551615 4320915 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=477164 CPUtime=220.26 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 49268 0 0 0 22014 12 0 0 25 0 4 0 653325261 488615936 75856 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=477164 CPUtime=222.28 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 37722 0 0 0 22219 9 0 0 25 0 4 0 653325261 488615936 75856 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.12
Current children cumulated vsize (KiB) 477164

[startup+282.301 s]
/proc/loadavg: 8.14 8.09 8.02 9/298 6411
/proc/meminfo: memFree=16152812/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478392 CPUtime=1126.59 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 210865 0 0 0 112603 56 0 0 25 0 4 0 653325261 489873408 74402 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119598 74402 379 95 0 114580 0
[pid=6369/tid=6370] ppid=6367 vsize=478392 CPUtime=282.3 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 55810 0 0 0 28215 15 0 0 25 0 4 0 653325261 489873408 74403 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478392 CPUtime=279.73 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 59009 0 0 0 27958 15 0 0 25 0 4 0 653325261 489873408 74403 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478392 CPUtime=282.3 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 45430 0 0 0 28218 12 0 0 25 0 4 0 653325261 489873408 74403 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1126.59
Current children cumulated vsize (KiB) 478392

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

[startup+295.101 s]
/proc/loadavg: 8.20 8.10 8.02 9/298 6411
/proc/meminfo: memFree=16144996/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478548 CPUtime=1177.66 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 219615 0 0 0 117707 59 0 0 25 0 4 0 653325261 490033152 73903 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119637 73903 379 95 0 114619 0
[pid=6369/tid=6370] ppid=6367 vsize=478548 CPUtime=295.09 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 58327 0 0 0 29493 16 0 0 25 0 4 0 653325261 490033152 73903 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478548 CPUtime=292.4 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 61376 0 0 0 29225 15 0 0 25 0 4 0 653325261 490033152 73903 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478548 CPUtime=295.08 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 47920 0 0 0 29496 12 0 0 25 0 4 0 653325261 490033152 73903 33554432000 4194304 4580107 140733314729104 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1177.66
Current children cumulated vsize (KiB) 478548

[startup+307.9 s]
/proc/loadavg: 8.15 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16138168/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478652 CPUtime=1228.75 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 228330 0 0 0 122813 62 0 0 25 0 4 0 653325261 490139648 75282 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119663 75282 379 95 0 114645 0
[pid=6369/tid=6370] ppid=6367 vsize=478652 CPUtime=307.88 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 60825 0 0 0 30772 16 0 0 25 0 4 0 653325261 490139648 75282 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478652 CPUtime=305.09 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 63857 0 0 0 30493 16 0 0 25 0 4 0 653325261 490139648 75282 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478652 CPUtime=307.88 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 50422 0 0 0 30775 13 0 0 25 0 4 0 653325261 490139648 75282 33554432000 4194304 4580107 140733314729104 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1228.75
Current children cumulated vsize (KiB) 478652

[startup+311.101 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16136308/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478688 CPUtime=1241.51 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 230817 0 0 0 124089 62 0 0 25 0 4 0 653325261 490176512 75392 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293083 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119672 75392 379 95 0 114654 0
[pid=6369/tid=6370] ppid=6367 vsize=478688 CPUtime=311.08 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 62121 0 0 0 31092 16 0 0 25 0 4 0 653325261 490176512 75392 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478688 CPUtime=308.26 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 64256 0 0 0 30810 16 0 0 25 0 4 0 653325261 490176512 75392 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478688 CPUtime=311.08 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 50821 0 0 0 31095 13 0 0 25 0 4 0 653325261 490176512 75392 33554432000 4194304 4580107 140733314729104 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1241.51
Current children cumulated vsize (KiB) 478688

[startup+312.7 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16133580/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478688 CPUtime=1247.9 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 231618 0 0 0 124728 62 0 0 25 0 4 0 653325261 490176512 76193 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119672 76193 379 95 0 114654 0
[pid=6369/tid=6370] ppid=6367 vsize=478688 CPUtime=312.68 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 62334 0 0 0 31252 16 0 0 25 0 4 0 653325261 490176512 76193 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478688 CPUtime=309.84 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 64460 0 0 0 30968 16 0 0 25 0 4 0 653325261 490176512 76193 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478688 CPUtime=312.68 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 51018 0 0 0 31255 13 0 0 25 0 4 0 653325261 490176512 76193 33554432000 4194304 4580107 140733314729104 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1247.9
Current children cumulated vsize (KiB) 478688

[startup+313.5 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16130728/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478688 CPUtime=1251.1 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 232023 0 0 0 125047 63 0 0 25 0 4 0 653325261 490176512 76598 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119672 76598 379 95 0 114654 0
[pid=6369/tid=6370] ppid=6367 vsize=478688 CPUtime=313.49 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 62443 0 0 0 31332 17 0 0 25 0 4 0 653325261 490176512 76598 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478688 CPUtime=310.63 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 64563 0 0 0 31047 16 0 0 25 0 4 0 653325261 490176512 76598 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478688 CPUtime=313.48 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 51109 0 0 0 31335 13 0 0 25 0 4 0 653325261 490176512 76598 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1251.1
Current children cumulated vsize (KiB) 478688

[startup+313.9 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16130728/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478688 CPUtime=1252.7 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 232208 0 0 0 125207 63 0 0 25 0 4 0 653325261 490176512 76783 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119672 76783 379 95 0 114654 0
[pid=6369/tid=6370] ppid=6367 vsize=478688 CPUtime=313.89 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 62495 0 0 0 31372 17 0 0 25 0 4 0 653325261 490176512 76783 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478688 CPUtime=311.03 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 64605 0 0 0 31087 16 0 0 25 0 4 0 653325261 490176512 76783 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478688 CPUtime=313.88 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 51156 0 0 0 31375 13 0 0 25 0 4 0 653325261 490176512 76783 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1252.7
Current children cumulated vsize (KiB) 478688

[startup+314.311 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 6412
/proc/meminfo: memFree=16133580/32951124 swapFree=52307768/67111528
[pid=6369] ppid=6367 vsize=478724 CPUtime=1254.33 cores=1,3,5,7
/proc/6369/stat : 6369 (strangenight2-m) R 6367 6369 5978 0 -1 4202496 233277 0 0 0 125370 63 0 0 25 0 4 0 653325261 490213376 75453 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6369/statm: 119681 75453 379 95 0 114663 0
[pid=6369/tid=6370] ppid=6367 vsize=478724 CPUtime=314.3 cores=1,3,5,7
/proc/6369/task/6370/stat : 6370 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 62555 0 0 0 31413 17 0 0 25 0 4 0 653325261 490213376 75453 33554432000 4194304 4580107 140733314729104 18446744073709551615 4318440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6369/tid=6371] ppid=6367 vsize=478724 CPUtime=311.43 cores=1,3,5,7
/proc/6369/task/6371/stat : 6371 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 64646 0 0 0 31127 16 0 0 25 0 4 0 653325261 490213376 75453 33554432000 4194304 4580107 140733314729104 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6369/tid=6372] ppid=6367 vsize=478724 CPUtime=314.29 cores=1,3,5,7
/proc/6369/task/6372/stat : 6372 (strangenight2-m) R 6367 6369 5978 0 -1 4202560 52073 0 0 0 31416 13 0 0 25 0 4 0 653325261 490213376 75453 33554432000 4194304 4580107 140733314729104 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1254.33
Current children cumulated vsize (KiB) 478724

Child status: 10
Real time (s): 314.372
CPU time (s): 1254.53
CPU user time (s): 1253.89
CPU system time (s): 0.647901
CPU usage (%): 399.06
Max. virtual memory (cumulated for all children) (KiB): 518636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1253.89
system time used= 0.647901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233308
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= 8612
involuntary context switches= 9003

runsolver used 0.861868 second user time and 2.00669 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 01:53:45
IDJOB=3367042
IDBENCH=85975
IDSOLVER=1844
FILE ID=node101/3367042-1305417225
RUNJOBID= node101-1305414346-5997
PBS_JOBID= 13324544
Free space on /tmp= 73728 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367042-1305417225/watcher-3367042-1305417225 -o /tmp/evaluation-result-3367042-1305417225/solver-3367042-1305417225 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367042-1305417225.cnf

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

MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=1452562180

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
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.841
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.74
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.841
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.841
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.75
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.841
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:      16508548 kB
Buffers:        326124 kB
Cached:        5917104 kB
SwapCached:      14848 kB
Active:       11114616 kB
Inactive:      5051916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16508548 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            7896 kB
Writeback:           0 kB
AnonPages:     9920128 kB
Mapped:          15208 kB
Slab:           150444 kB
PageTables:      62424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42401464 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= 73720 MiB
End job on node101 at 2011-05-15 01:58:59