Trace number 3173843

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? (TO) 4800.4 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf
MD5SUM54460fee539c424ee8b11c1bf37a8da6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark52.893
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3173843-1304031590.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
0.39/0.11	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.39/0.11	c -- vars added      30000
0.39/0.11	c Parsing time:  0.09 s
0.39/0.11	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.77/0.22	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.77/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.17/0.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.17/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.17/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.17/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.58/0.41	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
2.37/0.63	c lits-rem:         0  cl-subs:        0  v-elim:    746  v-fix:    0  time:  0.21 s
2.37/0.63	c Finding binary XORs  T:     0.01 s  found:       0
2.37/0.68	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
2.37/0.68	c calculated reachability. Time: 0.00
2.37/0.69	c Calc default polars -  time:   0.01 s pos:   13358 undec:    3354 neg:   13288
2.37/0.69	c =========================================================================================
2.37/0.69	c types(t): F = full restart, N = normal restart
2.37/0.69	c types(t): S = simplification begin/end, E = solution found
2.37/0.69	c restart types(rt): st = static, dy = dynamic
2.37/0.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.37/0.69	c  B st     0         0     29254    125188         0         0    380298         0   no data   no data
9.16/2.37	c  N dy    20      4135     29254    125188         0      4134    380298   1138578    150.04    164.38
15.95/4.03	c  N dy    50      8207     29254    125188         0      8206    380298   2087604    153.79    162.45
22.74/5.71	c  N dy    77     12255     29254    125188         0     12254    380298   3032531    154.26    163.05
29.53/7.46	c  N dy   106     16282     29254    125188         0     16281    380298   4017860    155.73    168.07
36.71/9.27	c  N dy   136     20296     29254    125188         0     10296    380298    701428    157.22    167.49
43.93/11.05	c  N dy   162     24493     29254    125188         0     14493    380298   1701445    156.90    166.96
44.70/11.27	c  F st   167     25000     29254    125188         0     15000    380298   1824079    157.08   no data
54.28/13.66	c  N dy   173     30001     29254    125188         0     19999    380298   3627056    157.08   no data
54.28/13.66	c  S st   173     30001     29254    125188         0     19999    380298   3627056    157.08   no data
55.09/13.89	c  S st   173     30503     29254    125188         0     20501    380298   3721390    157.08   no data
55.49/13.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.89/14.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
55.89/14.10	c blocked clauses removed:      576 vars:     93 tried:       29254 T: 0.02 s
56.29/14.10	c bin-w-bin subsume rem            0 bins  time:  0.01 s
56.29/14.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
56.29/14.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
56.29/14.13	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.70/14.30	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.16 s
58.28/14.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.68/15.70	c lits-rem:         6  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.01 s
63.08/15.85	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.15
63.08/15.86	c calculated reachability. Time: 0.00
63.08/15.86	c  N dy   173     30503     29148    124601         0     20411    378600   3686755    157.08   no data
70.66/17.75	c  N dy   202     34549     29148    124601         0     24457    378600   4654403    157.30    176.88
78.26/19.63	c  N dy   231     38570     29148    124601         0     28478    378600   5624562    157.40    169.69
85.84/21.53	c  N dy   256     42701     29148    124601         0     17152    378600   1160192    157.06    165.54
91.44/22.93	c  S st   276     45754     29148    124601         0     20205    378600   1918796    157.38   no data
92.26/23.15	c  S st   276     46260     29148    124601         0     20711    378600   2006239    157.38   no data
92.26/23.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.03/23.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
93.03/23.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
93.03/23.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
93.03/23.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
93.03/23.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
93.03/23.38	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
93.83/23.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
94.23/23.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
95.43/23.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
95.43/23.97	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
95.83/24.01	c vivif2 --  cl tried    20711 cl shrink        0 lits rem          0 time: 0.03
96.25/24.16	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.15
96.25/24.16	c calculated reachability. Time: 0.00
96.25/24.17	c  N dy   276     46260     29148    124601         0     20711    378600   2006239    157.38   no data
103.42/25.99	c  N dy   303     50338     29148    124601         0     24789    378600   2988598    157.00    189.48
111.01/27.89	c  N dy   331     54427     29148    124601         0     28878    378600   3975371    156.88    166.44
119.00/29.84	c  N dy   360     58448     29148    124601         0     32898    378600   4961366    157.02    165.98
126.59/31.75	c  N dy   383     62484     29148    124601         0     36934    378600   5950034    156.84    171.02
134.18/33.63	c  N dy   407     66667     29148    124601         0     22389    378600   1598069    156.59    172.11
138.97/34.86	c  S st   426     69393     29148    124601         0     25114    378600   2233676    156.43   no data
139.77/35.09	c  S st   426     69900     29148    124601         0     25621    378600   2318692    156.43   no data
140.19/35.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
140.59/35.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
140.59/35.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.96/35.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
140.96/35.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
140.96/35.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
140.96/35.33	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
141.36/35.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
142.17/35.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
143.76/36.05	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.42 s
143.76/36.07	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
144.16/36.11	c vivif2 --  cl tried    25621 cl shrink        0 lits rem          0 time: 0.04
144.58/36.27	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.15
144.58/36.28	c calculated reachability. Time: 0.00
144.58/36.28	c  N dy   426     69900     29148    124601         0     25621    378600   2318691    156.43   no data
153.37/38.46	c  N dy   461     74484     29148    124601         0     30205    378600   3460109    156.65    165.44
162.56/40.73	c  N dy   491     79279     29148    124601         0     35000    378600   4611869    156.70    173.26
172.53/43.20	c  N dy   526     84378     29148    124601         0     40099    378600   5836756    156.71    165.26
178.52/44.75	c  F st   546     87500     29148    124601         0     22362    378600   1040581    156.48   no data
184.90/46.37	c  N st   551     90796     29148    124601         0     25658    378600   2163708    156.48   no data
196.10/49.18	c  N dy   582     96658     29148    124601         0     31518    378600   3808788    156.71    166.66
208.08/52.16	c  N dy   625    102865     29148    124601         0     37725    378600   5330858    156.80    166.07
212.07/53.16	c  S st   642    104850     29148    124601         0     39709    378600   5826139    156.91   no data
213.28/53.41	c  S st   642    105353     29148    124601         0     40212    378600   5905416    156.91   no data
213.28/53.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
214.08/53.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
214.08/53.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.08/53.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
214.08/53.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
214.08/53.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
214.08/53.67	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
214.89/53.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
216.46/54.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
223.68/56.02	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.75 s
223.68/56.03	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
224.08/56.14	c vivif2 --  cl tried    40208 cl shrink        0 lits rem          0 time: 0.10
224.85/56.32	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.18
224.85/56.33	c calculated reachability. Time: 0.00
224.85/56.33	c  N dy   642    105353     29148    124601         0     40208    378600   5904052    156.91   no data
238.44/59.74	c  N dy   687    112090     29148    124601         0     24515    378600   1210985    157.24    170.28
252.42/63.20	c  N dy   739    119298     29148    124601         0     31723    378600   2968181    157.42    165.96
267.20/66.92	c  N dy   791    126968     29148    124601         0     39391    378600   4866633    157.57    169.57
283.56/71.09	c  N dy   851    135167     29148    124601         0     23876    378600    639905    157.68    174.34
300.35/75.20	c  N dy   909    143945     29148    124601         0     32653    378600   2732696    157.60    167.46
318.31/79.73	c  N dy   971    153167     29148    124601         0     41874    378600   4970630    157.57    171.14
327.91/82.15	c  S st  1001    158031     29148    124601         0     46738    378600   6130411    157.37    165.92
329.12/82.41	c  S st  1001    158536     29148    124601         0     47243    378600   6222796    157.37   no data
329.12/82.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
329.90/82.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
329.90/82.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.90/82.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
329.90/82.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
329.90/82.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
329.90/82.68	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
330.70/82.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
332.30/83.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
341.48/85.57	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.29 s
341.48/85.59	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
341.88/85.70	c vivif2 --  cl tried    47238 cl shrink        0 lits rem          0 time: 0.11
342.70/85.89	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.19
343.08/85.90	c calculated reachability. Time: 0.00
343.08/85.90	c  N dy  1001    158536     29148    124601         0     47238    378600   6220180    157.37   no data
362.65/90.81	c  N dy  1067    168688     29148    124601         0     32532    378600   2413082    157.35    171.66
384.22/96.24	c  N dy  1140    179644     29148    124601         0     43486    378600   5116907    157.57    166.67
407.39/102.00	c  N dy  1220    191165     29148    124601         0     29080    378600   1328950    157.65    166.96
430.96/107.94	c  N dy  1303    203369     29148    124601         0     41284    378600   4303012    157.63    200.92
458.12/114.73	c  N dy  1395    216507     29148    124601         0     27457    378600    652049    157.69    167.01
485.28/121.51	c  N dy  1495    230381     29148    124601         0     41331    378600   4069507    157.74    168.25
500.06/125.24	c  S st  1544    237804     29148    124601         0     48752    378600   5848726    157.64   no data
501.26/125.50	c  S st  1544    238307     29148    124601         0     49255    378600   5934837    157.64   no data
501.26/125.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
501.66/125.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
502.06/125.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
502.06/125.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
502.06/125.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
502.06/125.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
502.06/125.77	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
502.86/125.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
504.06/126.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
513.67/128.67	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.37 s
513.67/128.69	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
514.44/128.80	c vivif2 --  cl tried    49251 cl shrink        0 lits rem          0 time: 0.11
515.24/129.00	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.20
515.24/129.01	c calculated reachability. Time: 0.00
515.24/129.01	c  N dy  1544    238307     29148    124601         0     49251    378600   5932377    157.64   no data
545.60/136.65	c  N dy  1644    253520     29148    124601         0     36492    378600   2598274    157.68    174.00
578.36/144.84	c  N dy  1750    269727     29148    124601         0     52698    378600   6556365    157.75    169.19
612.71/153.46	c  N dy  1864    286946     29148    124601         0     40926    378600   3398378    157.65    167.70
651.06/163.04	c  N dy  1986    305311     29148    124601         0     59291    378600   7955775    157.73    214.13
653.05/163.58	c  F st  1993    306250     29148    124601         0     30233    378600    561560    157.75   no data
690.99/173.01	c  N dy  2089    324833     29148    124601         0     48815    378600   5654415    157.80    167.22
732.14/183.31	c  N dy  2220    344880     29148    124601         0     37862    378600   2164575    157.65    174.29
757.71/189.70	c  S st  2305    357461     29148    124601         0     50443    378600   5224517    157.64   no data
758.52/189.98	c  S st  2305    357968     29148    124601         0     50950    378600   5327817    157.64   no data
758.92/190.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
759.32/190.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
759.73/190.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
759.73/190.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
759.73/190.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
759.73/190.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
759.73/190.26	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
760.51/190.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
761.71/190.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
770.50/192.94	c lits-rem:        10  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.20 s
770.50/192.96	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
770.90/193.06	c vivif2 --  cl tried    50946 cl shrink        0 lits rem          0 time: 0.10
771.69/193.26	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.20
771.69/193.27	c calculated reachability. Time: 0.00
771.69/193.27	c  N dy  2305    357968     29148    124601         0     50946    378600   5325999    157.64   no data
814.03/203.85	c  N dy  2445    378048     29148    124601         0     39027    378600   2200740    157.76    193.76
855.58/214.23	c  N dy  2575    398121     29148    124601         0     59098    378600   7009670    157.62    174.49
897.12/224.64	c  N dy  2708    418206     29148    124601         0     46185    378600   3693383    157.62    177.01
939.88/235.39	c  N dy  2851    438256     29148    124601         0     66234    378600   8590557    157.72    168.32
981.00/245.63	c  N dy  2987    458286     29148    124601         0     52265    378600   4959160    157.74    166.56
1024.55/256.56	c  N dy  3123    478290     29148    124601         0     37270    378600   1035860    157.80    167.48
1065.29/266.78	c  N dy  3259    498336     29148    124601         0     57315    378600   5944057    157.81    190.26
1108.43/277.55	c  N dy  3395    518347     29148    124601         0     41330    378600   1795477    157.80    171.04
1147.17/287.20	c  S st  3517    536954     29148    124601         0     59937    378600   6336736    157.83   no data
1148.38/287.50	c  S st  3517    537458     29148    124601         0     60440    378600   6434956    157.83   no data
1148.38/287.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1149.18/287.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1149.18/287.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1149.18/287.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1149.18/287.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1149.18/287.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
1149.18/287.79	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1149.98/287.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1151.57/288.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1164.38/291.55	c lits-rem:         4  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.18 s
1164.38/291.57	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
1164.75/291.68	c vivif2 --  cl tried    60435 cl shrink        0 lits rem          0 time: 0.11
1165.95/291.90	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.21
1165.95/291.91	c calculated reachability. Time: 0.00
1165.95/291.91	c  N dy  3517    537458     29148    124601         0     60435    378600   6431284    157.83   no data
1209.49/302.88	c  N dy  3660    557550     29148    124601         0     43531    378600   2121845    157.90    185.68
1251.86/313.48	c  N dy  3794    577629     29148    124601         0     63609    378600   7073151    157.91    174.75
1296.19/324.56	c  N dy  3935    597737     29148    124601         0     45713    378600   2434496    158.03    168.33
1338.91/335.24	c  N dy  4076    617826     29148    124601         0     65801    378600   7366932    158.05    170.53
1383.26/346.35	c  N dy  4217    638016     29148    124601         0     46994    378600   2458790    158.10    170.39
1426.80/357.22	c  N dy  4352    658264     29148    124601         0     67238    378600   7521787    158.14    167.27
1471.96/368.56	c  N dy  4499    678369     29148    124601         0     47343    378600   2347186    158.27    166.67
1515.90/379.52	c  N dy  4640    698478     29148    124601         0     67452    378600   7288886    158.31    166.98
1560.61/390.71	c  N dy  4780    718510     29148    124601         0     46484    378600   1834782    158.34    167.09
1603.36/401.47	c  N dy  4918    738584     29148    124601         0     66558    378600   6773912    158.39    217.30
1649.28/412.92	c  N dy  5057    758677     29148    124601         0     44650    378600   1141726    158.42    169.80
1692.02/423.69	c  N dy  5187    779068     29148    124601         0     65041    378600   6059056    158.37    167.55
1737.97/435.19	c  N dy  5325    799127     29148    124601         0     85099    378600  10930608    158.38    169.86
1753.17/438.97	c  S st  5373    806187     29148    124601         0     49165    378600   2034191    158.38   no data
1754.34/439.24	c  S st  5373    806691     29148    124601         0     49669    378600   2119720    158.38   no data
1754.34/439.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1755.14/439.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1755.14/439.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1755.14/439.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1755.14/439.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1755.54/439.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
1755.54/439.51	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1755.94/439.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1756.34/439.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1759.54/440.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
1759.54/440.58	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
1759.94/440.62	c vivif2 --  cl tried    49669 cl shrink        0 lits rem          0 time: 0.04
1760.74/440.82	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.20
1760.74/440.83	c calculated reachability. Time: 0.00
1760.74/440.83	c  N dy  5373    806691     29148    124601         0     49669    378600   2119720    158.38   no data
1803.88/451.60	c  N dy  5502    826700     29148    124601         0     69676    378600   7015860    158.36    168.17
1850.61/463.37	c  N dy  5637    846778     29148    124601         0     45754    378600    910517    158.41    174.68
1894.14/474.28	c  N dy  5775    867020     29148    124601         0     65995    378600   5908940    158.43    166.80
1940.88/485.94	c  N dy  5909    887199     29148    124601         0     86173    378600  10870623    158.41    173.10
1984.82/496.90	c  N dy  6042    907217     29148    124601         0     61193    378600   4470016    158.45    176.92
2029.98/508.25	c  N dy  6174    927237     29148    124601         0     81213    378600   9416397    158.44    171.48
2075.50/519.67	c  N dy  6309    947292     29148    124601         0     55276    378600   2741966    158.47    168.25
2120.23/530.89	c  N dy  6443    967390     29148    124601         0     75374    378600   7744710    158.48    173.77
2168.16/542.80	c  N dy  6584    987443     29148    124601         0     48425    378600    858178    158.53    207.14
2211.70/553.76	c  N dy  6717   1007661     29148    124601         0     68642    378600   5858277    158.52    170.25
2258.06/565.39	c  N dy  6843   1027754     29148    124601         0     88732    378600  10814005    158.52    182.43
2303.17/576.64	c  N dy  6974   1047822     29148    124601         0     60799    378600   3581764    158.47    167.48
2348.72/588.05	c  N dy  7105   1067900     29148    124601         0     80876    378600   8505096    158.47    168.91
2358.30/590.44	c  F st  7132   1071875     29148    124601         0     84851    378600   9491628    158.48    152.01
2396.65/600.05	c  N dy  7215   1087908     29148    124601         0     51887    378600   1253086    158.51    168.48
2440.99/611.15	c  N dy  7357   1107988     29148    124601         0     71964    378600   6150870    158.53    186.93
2488.11/622.98	c  N dy  7491   1128061     29148    124601         0     92036    378600  11027585    158.52    208.12
2533.65/634.37	c  N dy  7616   1148147     29148    124601         0     62126    378600   3499281    158.50    167.26
2579.99/645.93	c  N dy  7759   1168160     29148    124601         0     82139    378600   8423386    158.52    167.25
2630.32/658.55	c  N dy  7906   1188228     29148    124601         0     51216    378600    569615    158.56    170.80
2674.66/669.60	c  N dy  8038   1208370     29148    124601         0     71356    378600   5485551    158.56    168.52
2678.26/670.58	c  S st  8049   1210036     29148    124601         0     73022    378600   5890749    158.56   no data
2679.46/670.88	c  S st  8049   1210537     29148    124601         0     73523    378600   5982293    158.56   no data
2679.46/670.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2680.28/671.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
2680.65/671.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2680.65/671.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2680.65/671.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2680.65/671.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
2680.65/671.18	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
2681.45/671.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
2683.05/671.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2696.63/675.15	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.38 s
2696.63/675.17	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
2697.03/675.28	c vivif2 --  cl tried    73519 cl shrink        0 lits rem          0 time: 0.11
2698.23/675.51	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.23
2698.23/675.52	c calculated reachability. Time: 0.00
2698.23/675.52	c  N dy  8049   1210537     29148    124601         0     73519    378600   5981252    158.56   no data
2745.79/687.43	c  N dy  8186   1230546     29148    124601         0     93527    378600  10896830    158.59    169.47
2793.30/699.32	c  N dy  8330   1250607     29148    124601         0     61586    378600   2922307    158.63    171.69
2839.23/710.83	c  N dy  8468   1270659     29148    124601         0     81637    378600   7910134    158.66    167.81
2888.77/723.21	c  N dy  8608   1290738     29148    124601         0    101713    378600  12902984    158.70    172.95
2933.90/734.51	c  N dy  8738   1310739     29148    124601         0     68716    378600   4313472    158.68    192.27
2981.43/746.44	c  N dy  8877   1330809     29148    124601         0     88785    378600   9246022    158.71    167.24
3031.79/759.07	c  N dy  9012   1350869     29148    124601         0     54843    378600    736264    158.73    170.75
3076.91/770.35	c  N dy  9147   1371078     29148    124601         0     75052    378600   5757470    158.74    169.37
3125.24/782.41	c  N dy  9278   1391342     29148    124601         0     95316    378600  10766492    158.73    167.92
3173.98/794.64	c  N dy  9412   1411402     29148    124601         0     60377    378600   1886304    158.73    172.59
3219.92/806.14	c  N dy  9552   1431484     29148    124601         0     80457    378600   6916915    158.76    171.00
3269.08/818.43	c  N dy  9697   1451507     29148    124601         0    100480    378600  11906118    158.81    175.16
3317.42/830.59	c  N dy  9835   1471584     29148    124601         0     64561    378600   2664332    158.82    176.10
3364.54/842.36	c  N dy  9979   1491731     29148    124601         0     84707    378600   7731760    158.87    179.22
3414.48/854.87	c  N dy 10116   1511803     29148    124601         0    104778    378600  12705894    158.88    173.38
3462.43/866.86	c  N dy 10251   1531941     29148    124601         0     67918    378600   3162926    158.86    169.55
3509.16/878.58	c  N dy 10390   1552056     29148    124601         0     88032    378600   8064604    158.88    168.96
3559.11/891.05	c  N dy 10518   1572130     29148    124601         0    108106    378600  12990069    158.87    169.37
3606.63/902.98	c  N dy 10654   1592260     29148    124601         0     70238    378600   3572319    158.88    169.14
3654.97/915.00	c  N dy 10798   1612401     29148    124601         0     90378    378600   8634940    158.93    167.56
3705.71/927.77	c  N dy 10937   1632457     29148    124601         0    110432    378600  13638142    158.93    173.17
3753.24/939.64	c  N dy 11068   1652506     29148    124601         0     71488    378600   3576216    158.91    167.38
3801.57/951.70	c  N dy 11203   1672651     29148    124601         0     91630    378600   8587159    158.93    173.04
3852.31/964.40	c  N dy 11341   1692745     29148    124601         0    111724    378600  13510768    158.93    177.37
3895.85/975.36	c  S st 11466   1710538     29148    124601         0     69512    378600   2949860    158.95   no data
3897.06/975.66	c  S st 11466   1711043     29148    124601         0     70017    378600   3036849    158.95   no data
3897.06/975.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3897.84/975.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3898.24/975.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3898.24/975.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3898.24/975.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3898.24/975.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29148 time:  0.01 s
3898.24/975.96	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3899.04/976.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3899.44/976.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3908.24/978.42	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.10 s
3908.24/978.44	c vivif2 --  cl tried   124601 cl shrink        0 lits rem          0 time: 0.02
3908.64/978.50	c vivif2 --  cl tried    70016 cl shrink        0 lits rem          0 time: 0.06
3909.43/978.73	c asymm  cl-useful: 0/124601/124601 lits-rem:0 time: 0.23
3909.43/978.74	c calculated reachability. Time: 0.00
3909.43/978.74	c  N dy 11466   1711043     29148    124601         0     70016    378600   3035576    158.95   no data
3956.97/990.65	c  N dy 11610   1731136     29148    124601         0     90109    378600   8041983    158.98    181.33
4007.71/1003.32	c  N dy 11747   1751210     29148    124601         0    110183    378600  13025506    158.99    167.88
4057.64/1015.81	c  N dy 11879   1771233     29148    124601         0     69214    378600   2555051    158.96    167.45
4104.78/1027.68	c  N dy 12019   1791294     29148    124601         0     89272    378600   7516309    158.98    176.16
4155.52/1040.32	c  N dy 12153   1811299     29148    124601         0    109276    378600  12445898    158.98    172.23
4206.65/1053.14	c  N dy 12297   1831315     29148    124601         0     67294    378600   1913982    159.01    169.37
4254.59/1065.16	c  N dy 12442   1851409     29148    124601         0     87388    378600   6906371    159.03    167.73
4305.32/1077.82	c  N dy 12581   1871461     29148    124601         0    107436    378600  11871112    159.03    176.08
4357.65/1090.94	c  N dy 12712   1891501     29148    124601         0     64482    378600    952994    159.02    168.56
4403.59/1102.40	c  N dy 12842   1911603     29148    124601         0     84581    378600   5887301    159.01    175.07
4453.53/1114.94	c  N dy 12976   1931650     29148    124601         0    104626    378600  10814094    159.01    169.72
4505.87/1128.09	c  N dy 13102   1951765     29148    124601         0    124739    378600  15792899    159.02    170.45
4554.20/1140.11	c  N dy 13241   1971849     29148    124601         0     80832    378600   4774217    159.03    205.52
4603.35/1152.48	c  N dy 13379   1991938     29148    124601         0    100919    378600   9710205    159.04    168.25
4656.47/1165.73	c  N dy 13511   2012279     29148    124601         0    121258    378600  14812646    159.06    171.64
4706.41/1178.25	c  N dy 13643   2032344     29148    124601         0     76327    378600   3425708    159.06    169.04
4754.38/1190.28	c  N dy 13779   2052363     29148    124601         0     96345    378600   8428225    159.08    171.33

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3173843-1304031590/watcher-3173843-1304031590 -o /tmp/evaluation-result-3173843-1304031590/solver-3173843-1304031590 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173843-1304031590.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: 8.06 8.07 7.69 5/180 30476
/proc/meminfo: memFree=23129744/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 408 0 0 0 1 0 0 0 25 0 4 0 593389750 52441088 348 33554432000 4194304 4627427 140735821265760 18446744073709551615 47558151231408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 12803 348 299 106 0 7774 0
[pid=30476/tid=30477] ppid=30474 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593389750 52441088 348 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593389750 52441088 348 33554432000 4194304 4627427 140735821265760 18446744073709551615 47558151231410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593389750 52441088 348 33554432000 4194304 4627427 140735821265760 18446744073709551615 47558151231410 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0739981 s]
/proc/loadavg: 8.06 8.07 7.69 5/180 30476
/proc/meminfo: memFree=23129744/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=306308 CPUtime=0.27 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) D 30474 30476 30052 0 -1 4202496 17421 0 0 0 24 3 0 0 25 0 4 0 593389750 313659392 15269 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 76577 15269 339 106 0 71548 0
[pid=30476/tid=30477] ppid=30474 vsize=306308 CPUtime=0.05 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 4241 0 0 0 5 0 0 0 25 0 4 0 593389750 313659392 15269 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=306308 CPUtime=0.06 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) D 30474 30476 30052 0 -1 4202560 4245 0 0 0 6 0 0 0 25 0 4 0 593389750 313659392 15269 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=306308 CPUtime=0.06 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 4282 0 0 0 6 0 0 0 25 0 4 0 593389750 313659392 15269 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 306308

[startup+0.106288 s]
/proc/loadavg: 8.06 8.07 7.69 5/180 30476
/proc/meminfo: memFree=23129744/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=311596 CPUtime=0.39 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) D 30474 30476 30052 0 -1 4202496 20375 0 0 0 36 3 0 0 25 0 4 0 593389750 319074304 18223 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905055265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 77899 18223 339 106 0 72870 0
[pid=30476/tid=30477] ppid=30474 vsize=311596 CPUtime=0.09 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 4983 0 0 0 9 0 0 0 25 0 4 0 593389750 319074304 18223 33554432000 4194304 4627427 140735821265760 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=311596 CPUtime=0.09 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) D 30474 30476 30052 0 -1 4202560 4988 0 0 0 9 0 0 0 25 0 4 0 593389750 319074304 18223 33554432000 4194304 4627427 140735821265760 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=311596 CPUtime=0.09 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) D 30474 30476 30052 0 -1 4202560 5012 0 0 0 9 0 0 0 18 0 4 0 593389750 319074304 18223 33554432000 4194304 4627427 140735821265760 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 311596

[startup+0.30085 s]
/proc/loadavg: 8.06 8.07 7.69 5/180 30476
/proc/meminfo: memFree=23129744/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=317912 CPUtime=1.17 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 23691 0 0 0 113 4 0 0 25 0 4 0 593389750 325541888 21539 33554432000 4194304 4627427 140735821265760 18446744073709551615 4415675 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 79478 21541 371 106 0 74449 0
[pid=30476/tid=30477] ppid=30474 vsize=317912 CPUtime=0.29 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 5992 0 0 0 28 1 0 0 25 0 4 0 593389750 325541888 21542 33554432000 4194304 4627427 140735821265760 18446744073709551615 4416053 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=317912 CPUtime=0.28 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 6000 0 0 0 28 0 0 0 25 0 4 0 593389750 325541888 21543 33554432000 4194304 4627427 140735821265760 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=317912 CPUtime=0.28 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 5287 0 0 0 28 0 0 0 18 0 4 0 593389750 325541888 21544 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 317912

[startup+0.700779 s]
/proc/loadavg: 8.06 8.07 7.69 5/180 30476
/proc/meminfo: memFree=23129744/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=327516 CPUtime=2.76 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 42414 0 0 0 267 9 0 0 18 0 4 0 593389750 335376384 30423 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 81879 30423 385 106 0 76850 0
[pid=30476/tid=30477] ppid=30474 vsize=327516 CPUtime=0.68 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 12134 0 0 0 66 2 0 0 25 0 4 0 593389750 335376384 30423 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=327516 CPUtime=0.68 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 12140 0 0 0 66 2 0 0 25 0 4 0 593389750 335376384 30423 33554432000 4194304 4627427 140735821265760 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=327516 CPUtime=0.69 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 5572 0 0 0 68 1 0 0 18 0 4 0 593389750 335376384 30423 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 327516

[startup+1.50063 s]
/proc/loadavg: 8.06 8.07 7.69 10/184 30480
/proc/meminfo: memFree=22998892/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=327516 CPUtime=5.96 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 44957 0 0 0 586 10 0 0 19 0 4 0 593389750 335376384 32760 33554432000 4194304 4627427 140735821265760 18446744073709551615 4321594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 81879 32761 385 106 0 76850 0
[pid=30476/tid=30477] ppid=30474 vsize=327516 CPUtime=1.48 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 12791 0 0 0 145 3 0 0 25 0 4 0 593389750 335376384 32761 33554432000 4194304 4627427 140735821265760 18446744073709551615 4327893 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=327516 CPUtime=1.48 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 12821 0 0 0 146 2 0 0 25 0 4 0 593389750 335376384 32761 33554432000 4194304 4627427 140735821265760 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=327516 CPUtime=1.49 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 6126 0 0 0 148 1 0 0 19 0 4 0 593389750 335376384 32761 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 327516

[startup+3.10034 s]
/proc/loadavg: 8.06 8.07 7.69 10/184 30480
/proc/meminfo: memFree=22978804/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=460492 CPUtime=12.35 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 49435 0 0 0 1224 11 0 0 23 0 4 0 593389750 471543808 37161 33554432000 4194304 4627427 140735821265760 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 115123 37162 385 106 0 110094 0
[pid=30476/tid=30477] ppid=30474 vsize=460492 CPUtime=3.07 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 13890 0 0 0 304 3 0 0 25 0 4 0 593389750 471543808 37162 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=460492 CPUtime=3.08 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 13861 0 0 0 306 2 0 0 25 0 4 0 593389750 471543808 37162 33554432000 4194304 4627427 140735821265760 18446744073709551615 4325005 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=460492 CPUtime=3.08 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 7450 0 0 0 307 1 0 0 25 0 4 0 593389750 471543808 37162 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 460492

[startup+6.30075 s]
/proc/loadavg: 8.06 8.07 7.69 10/184 30481
/proc/meminfo: memFree=22989844/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=461092 CPUtime=25.14 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 57373 0 0 0 2500 14 0 0 25 0 4 0 593389750 472158208 45099 33554432000 4194304 4627427 140735821265760 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 115273 45099 385 106 0 110244 0
[pid=30476/tid=30477] ppid=30474 vsize=461092 CPUtime=6.25 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 15964 0 0 0 622 3 0 0 25 0 4 0 593389750 472158208 45099 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=461092 CPUtime=6.28 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 15822 0 0 0 625 3 0 0 25 0 4 0 593389750 472158208 45099 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=461092 CPUtime=6.29 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 9377 0 0 0 627 2 0 0 25 0 4 0 593389750 472158208 45099 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 461092

[startup+12.7006 s]
/proc/loadavg: 8.05 8.07 7.70 9/184 30481
/proc/meminfo: memFree=23013424/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=416932 CPUtime=50.69 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 79120 0 0 0 5049 20 0 0 25 0 4 0 593389750 426938368 44107 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 104233 44107 387 106 0 99204 0
[pid=30476/tid=30477] ppid=30474 vsize=416932 CPUtime=12.62 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 21453 0 0 0 1257 5 0 0 25 0 4 0 593389750 426938368 44107 33554432000 4194304 4627427 140735821265760 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=416932 CPUtime=12.68 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 21189 0 0 0 1264 4 0 0 25 0 4 0 593389750 426938368 44107 33554432000 4194304 4627427 140735821265760 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=416932 CPUtime=12.68 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 14794 0 0 0 1264 4 0 0 25 0 4 0 593389750 426938368 44107 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 416932

[startup+25.5002 s]
/proc/loadavg: 8.20 8.10 7.71 10/184 30481
/proc/meminfo: memFree=22714832/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=659748 CPUtime=101.82 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 179135 0 0 0 10137 45 0 0 25 0 4 0 593389750 675581952 110688 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 164937 110688 390 106 0 159908 0
[pid=30476/tid=30477] ppid=30474 vsize=659748 CPUtime=25.34 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 56646 0 0 0 2520 14 0 0 25 0 4 0 593389750 675581952 110688 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=659748 CPUtime=25.48 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 36919 0 0 0 2540 8 0 0 25 0 4 0 593389750 675581952 110688 33554432000 4194304 4627427 140735821265760 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=659748 CPUtime=25.48 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 33289 0 0 0 2541 7 0 0 25 0 4 0 593389750 675581952 110688 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 659748

[startup+51.1005 s]
/proc/loadavg: 8.13 8.09 7.72 9/184 30482
/proc/meminfo: memFree=22566836/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=953060 CPUtime=204.08 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 248882 0 0 0 20344 64 0 0 25 0 4 0 593389750 975933440 138729 33554432000 4194304 4627427 140735821265760 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 238265 138729 390 106 0 233236 0
[pid=30476/tid=30477] ppid=30474 vsize=953060 CPUtime=50.8 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 74684 0 0 0 5062 18 0 0 25 0 4 0 593389750 975933440 138729 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=953060 CPUtime=51.08 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 54167 0 0 0 5096 12 0 0 25 0 4 0 593389750 975933440 138729 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=953060 CPUtime=51.08 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 48464 0 0 0 5095 13 0 0 25 0 4 0 593389750 975933440 138729 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 953060

[startup+102.306 s]
/proc/loadavg: 8.16 8.10 7.74 10/184 30492
/proc/meminfo: memFree=22348460/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=989604 CPUtime=408.61 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 374695 0 0 0 40759 102 0 0 25 0 4 0 593389750 1013354496 180484 33554432000 4194304 4627427 140735821265760 18446744073709551615 4332783 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 247401 180484 390 106 0 242372 0
[pid=30476/tid=30477] ppid=30474 vsize=989604 CPUtime=101.73 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 101920 0 0 0 10146 27 0 0 25 0 4 0 593389750 1013354496 180484 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=989604 CPUtime=102.29 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 82533 0 0 0 10207 22 0 0 25 0 4 0 593389750 1013354496 180484 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=989604 CPUtime=102.29 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 76546 0 0 0 10209 20 0 0 25 0 4 0 593389750 1013354496 180484 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 989604

[startup+162.301 s]

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

[pid=30476] ppid=30474 vsize=1544824 CPUtime=2805.28 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1398828 0 0 0 280061 467 0 0 25 0 4 0 593389750 1581899776 311174 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 386206 311174 390 106 0 381177 0
[pid=30476/tid=30477] ppid=30474 vsize=1544824 CPUtime=698.45 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 368054 0 0 0 69721 124 0 0 25 0 4 0 593389750 1581899776 311174 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1544824 CPUtime=702.27 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 346814 0 0 0 70114 113 0 0 25 0 4 0 593389750 1581899776 311174 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1544824 CPUtime=702.28 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 319106 0 0 0 70123 105 0 0 25 0 4 0 593389750 1581899776 311174 33554432000 4194304 4627427 140735821265760 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1544824

[startup+762.306 s]
/proc/loadavg: 7.91 8.12 7.93 5/179 30511
/proc/meminfo: memFree=22463364/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1566400 CPUtime=3044.97 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1496061 0 0 0 303992 505 0 0 25 0 4 0 593389750 1603993600 311353 33554432000 4194304 4627427 140735821265760 18446744073709551615 4332184 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 391600 311353 390 106 0 386571 0
[pid=30476/tid=30477] ppid=30474 vsize=1566400 CPUtime=758.13 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 391786 0 0 0 75679 134 0 0 25 0 4 0 593389750 1603993600 311353 33554432000 4194304 4627427 140735821265760 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1566400 CPUtime=762.27 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 372556 0 0 0 76104 123 0 0 25 0 4 0 593389750 1603993600 311354 33554432000 4194304 4627427 140735821265760 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1566400 CPUtime=762.28 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 343295 0 0 0 76115 113 0 0 25 0 4 0 593389750 1603993600 311354 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.97
Current children cumulated vsize (KiB) 1566400

[startup+822.3 s]
/proc/loadavg: 5.56 7.42 7.70 5/175 30529
/proc/meminfo: memFree=22389520/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1501888 CPUtime=3284.64 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1591476 0 0 0 327920 544 0 0 25 0 4 0 593389750 1537933312 317955 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 375472 317955 390 106 0 370443 0
[pid=30476/tid=30477] ppid=30474 vsize=1501888 CPUtime=817.83 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 417205 0 0 0 81638 145 0 0 25 0 4 0 593389750 1537933312 317955 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1501888 CPUtime=822.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 396281 0 0 0 82094 132 0 0 25 0 4 0 593389750 1537933312 317955 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1501888 CPUtime=822.28 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 363392 0 0 0 82106 122 0 0 25 0 4 0 593389750 1537933312 317955 33554432000 4194304 4627427 140735821265760 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 1501888

[startup+882.3 s]
/proc/loadavg: 4.52 6.75 7.45 5/175 30531
/proc/meminfo: memFree=22460936/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1442084 CPUtime=3524.33 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1679326 0 0 0 351851 582 0 0 25 0 4 0 593389750 1476694016 314653 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 360521 314653 390 106 0 355492 0
[pid=30476/tid=30477] ppid=30474 vsize=1442084 CPUtime=877.51 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 441308 0 0 0 87597 154 0 0 25 0 4 0 593389750 1476694016 314653 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1442084 CPUtime=882.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 416282 0 0 0 88084 142 0 0 25 0 4 0 593389750 1476694016 314653 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1442084 CPUtime=882.27 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 383547 0 0 0 88098 129 0 0 25 0 4 0 593389750 1476694016 314653 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 1442084

[startup+942.3 s]
/proc/loadavg: 4.27 6.30 7.25 5/175 30532
/proc/meminfo: memFree=22460064/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1579780 CPUtime=3764.03 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1769427 0 0 0 375782 621 0 0 25 0 4 0 593389750 1617694720 316297 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 394945 316297 390 106 0 389916 0
[pid=30476/tid=30477] ppid=30474 vsize=1579780 CPUtime=937.22 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 464499 0 0 0 93556 166 0 0 25 0 4 0 593389750 1617694720 316297 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1579780 CPUtime=942.27 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 438149 0 0 0 94075 152 0 0 25 0 4 0 593389750 1617694720 316297 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1579780 CPUtime=942.27 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 408857 0 0 0 94089 138 0 0 25 0 4 0 593389750 1617694720 316297 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 1579780

[startup+1002.3 s]
/proc/loadavg: 4.09 5.85 7.03 5/175 30534
/proc/meminfo: memFree=22421868/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1550480 CPUtime=4003.7 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1865319 0 0 0 399711 659 0 0 25 0 4 0 593389750 1587691520 325048 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 387620 325048 390 106 0 382591 0
[pid=30476/tid=30477] ppid=30474 vsize=1550480 CPUtime=997.17 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 487859 0 0 0 99542 175 0 0 25 0 4 0 593389750 1587691520 325048 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1550480 CPUtime=1002.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 465255 0 0 0 100064 162 0 0 25 0 4 0 593389750 1587691520 325048 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1550480 CPUtime=1002.01 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 430151 0 0 0 100053 148 0 0 25 0 4 0 593389750 1587691520 325048 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 1550480

[startup+1062.3 s]
/proc/loadavg: 4.09 5.55 6.86 5/175 30536
/proc/meminfo: memFree=22347956/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1698164 CPUtime=4243.4 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 1977080 0 0 0 423639 701 0 0 25 0 4 0 593389750 1738919936 344070 33554432000 4194304 4627427 140735821265760 18446744073709551615 4333256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 424541 344070 390 106 0 419512 0
[pid=30476/tid=30477] ppid=30474 vsize=1698164 CPUtime=1057.17 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 511110 0 0 0 105533 184 0 0 25 0 4 0 593389750 1738919936 344070 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1698164 CPUtime=1062.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 505823 0 0 0 106051 175 0 0 25 0 4 0 593389750 1738919936 344070 33554432000 4194304 4627427 140735821265760 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1698164 CPUtime=1061.7 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 455386 0 0 0 106012 158 0 0 25 0 4 0 593389750 1738919936 344070 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 1698164

[startup+1122.3 s]
/proc/loadavg: 4.07 5.26 6.67 5/175 30537
/proc/meminfo: memFree=22306780/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1699208 CPUtime=4483.09 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 2068105 0 0 0 447569 740 0 0 25 0 4 0 593389750 1739988992 353874 33554432000 4194304 4627427 140735821265760 18446744073709551615 4352128 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 424802 353874 390 106 0 419773 0
[pid=30476/tid=30477] ppid=30474 vsize=1699208 CPUtime=1117.16 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 536129 0 0 0 111522 194 0 0 25 0 4 0 593389750 1739988992 353874 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1699208 CPUtime=1122.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 531674 0 0 0 112040 186 0 0 25 0 4 0 593389750 1739988992 353874 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1699208 CPUtime=1121.41 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 474247 0 0 0 111973 168 0 0 25 0 4 0 593389750 1739988992 353874 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 1699208

[startup+1182.3 s]
/proc/loadavg: 4.03 5.04 6.51 5/175 30539
/proc/meminfo: memFree=22333916/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1700668 CPUtime=4722.79 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 2156541 0 0 0 471498 781 0 0 25 0 4 0 593389750 1741484032 348111 33554432000 4194304 4627427 140735821265760 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 425167 348111 390 106 0 420138 0
[pid=30476/tid=30477] ppid=30474 vsize=1700668 CPUtime=1177.15 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 559202 0 0 0 117510 205 0 0 25 0 4 0 593389750 1741484032 348111 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1700668 CPUtime=1182.26 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 553038 0 0 0 118031 195 0 0 25 0 4 0 593389750 1741484032 348111 33554432000 4194304 4627427 140735821265760 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1700668 CPUtime=1181.11 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 495474 0 0 0 117934 177 0 0 25 0 4 0 593389750 1741484032 348111 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 1700668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.10 4.99 6.46 5/175 30539
/proc/meminfo: memFree=22323496/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1577196 CPUtime=4800.32 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 2185350 0 0 0 479237 795 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 394299 348944 390 106 0 389270 0
[pid=30476/tid=30477] ppid=30474 vsize=1577196 CPUtime=1196.56 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 566657 0 0 0 119447 209 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1577196 CPUtime=1201.66 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 561738 0 0 0 119967 199 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1577196 CPUtime=1200.42 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 500583 0 0 0 119862 180 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1577196

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

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

[startup+1201.7 s]
/proc/loadavg: 4.10 4.99 6.46 5/175 30539
/proc/meminfo: memFree=22323496/32950928 swapFree=67071984/67111528
[pid=30476] ppid=30474 vsize=1577196 CPUtime=4800.32 cores=1,3,5,7
/proc/30476/stat : 30476 (strangenight2-m) R 30474 30476 30052 0 -1 4202496 2185350 0 0 0 479237 795 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30476/statm: 394299 348944 390 106 0 389270 0
[pid=30476/tid=30477] ppid=30474 vsize=1577196 CPUtime=1196.56 cores=1,3,5,7
/proc/30476/task/30477/stat : 30477 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 566657 0 0 0 119447 209 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30476/tid=30478] ppid=30474 vsize=1577196 CPUtime=1201.66 cores=1,3,5,7
/proc/30476/task/30478/stat : 30478 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 561738 0 0 0 119967 199 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30476/tid=30479] ppid=30474 vsize=1577196 CPUtime=1200.42 cores=1,3,5,7
/proc/30476/task/30479/stat : 30479 (strangenight2-m) R 30474 30476 30052 0 -1 4202560 500583 0 0 0 119862 180 0 0 25 0 4 0 593389750 1615048704 348944 33554432000 4194304 4627427 140735821265760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1577196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.4
CPU user time (s): 4792.39
CPU system time (s): 8.00778
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 1700668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.39
system time used= 8.00778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2185354
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= 3041
involuntary context switches= 30830

runsolver used 1.71974 second user time and 4.64729 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 00:59:51
IDJOB=3173843
IDBENCH=82661
IDSOLVER=1586
FILE ID=node116/3173843-1304031590
RUNJOBID= node116-1304028687-30071
PBS_JOBID= 13170336
Free space on /tmp= 72508 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173843-1304031590/watcher-3173843-1304031590 -o /tmp/evaluation-result-3173843-1304031590/solver-3173843-1304031590 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173843-1304031590.cnf

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

MD5SUM BENCH= 54460fee539c424ee8b11c1bf37a8da6
RANDOM SEED=1253117565

node116.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.826
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.65
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.826
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.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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.75
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23130032 kB
Buffers:       1891804 kB
Cached:        6883156 kB
SwapCached:       9732 kB
Active:        4889840 kB
Inactive:      4509140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23130032 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:            7776 kB
Writeback:           0 kB
AnonPages:      617072 kB
Mapped:          14508 kB
Slab:           358284 kB
PageTables:       5732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   983444 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= 72508 MiB
End job on node116 at 2011-04-29 01:19:54