Trace number 3173868

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.33 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf
MD5SUM3ba69e7f651721ce4358ca0320f27486
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark497.12
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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-3173868-1304072148.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.00/0.13	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.00/0.13	c -- vars added      35000
0.00/0.36	c Parsing time:  0.12 s
0.00/0.36	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.00/0.36	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
0.00/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
0.00/0.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
0.00/0.50	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
0.32/0.76	c lits-rem:         0  cl-subs:        0  v-elim:    857  v-fix:    0  time:  0.26 s
0.32/0.77	c Finding binary XORs  T:     0.01 s  found:       0
0.32/0.83	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
0.32/0.83	c calculated reachability. Time: 0.00
0.32/0.84	c Calc default polars -  time:   0.01 s pos:   15601 undec:    3826 neg:   15573
0.32/0.84	c =========================================================================================
0.32/0.84	c types(t): F = full restart, N = normal restart
0.32/0.84	c types(t): S = simplification begin/end, E = solution found
0.32/0.84	c restart types(rt): st = static, dy = dynamic
0.32/0.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.32/0.84	c  B st     0         0     34143    146021         0         0    443274         0   no data   no data
10.75/2.73	c  N dy    19      4102     34143    146021         0      4101    443274   1219992    170.70    185.09
18.33/4.61	c  N dy    46      8154     34143    146021         0      8153    443274   2239097    168.19    177.50
25.92/6.54	c  N dy    72     12206     34143    146021         0     12205    443274   3270058    167.40    179.19
33.93/8.55	c  N dy    99     16339     34143    146021         0     16338    443274   4295349    166.78    176.57
41.91/10.56	c  N dy   123     20413     34143    146021         0     10415    443274    750841    165.67    176.62
49.49/12.48	c  N dy   149     24467     34143    146021         0     14469    443274   1773588    165.79    176.28
50.69/12.75	c  F st   154     25000     34143    146021         0     15002    443274   1913857    166.05   no data
61.48/15.43	c  N dy   160     30000     34143    146021         0     20002    443274   3743569    166.05   no data
61.48/15.43	c  S st   160     30000     34143    146021         0     20002    443274   3743569    166.05   no data
62.28/15.68	c  S st   160     30503     34143    146021         0     20505    443274   3835916    166.05   no data
62.28/15.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.08/15.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.48/15.94	c blocked clauses removed:      709 vars:    109 tried:       34143 T: 0.02 s
63.48/15.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.48/15.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.48/15.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34034 time:  0.01 s
63.48/15.99	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.29/16.18	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.19 s
65.86/16.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.26/17.62	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.01 s
70.66/17.79	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.17
71.06/17.80	c calculated reachability. Time: 0.00
71.06/17.80	c  N dy   160     30503     34025    145304         0     20361    441172   3778956    166.05   no data
79.44/19.92	c  N dy   189     34613     34025    145304         0     24470    441172   4848409    166.62    188.58
88.24/22.10	c  N dy   218     38673     34025    145304         0     28530    441172   5888668    167.22    186.03
96.62/24.23	c  N dy   250     42676     34025    145304         0     17105    441172   1221981    167.49    179.68
103.01/25.83	c  S st   275     45754     34025    145304         0     20183    441172   2053679    168.25   no data
103.83/26.10	c  S st   275     46262     34025    145304         0     20691    441172   2154586    168.25   no data
104.23/26.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
105.02/26.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
105.02/26.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.02/26.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
105.02/26.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.02/26.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
105.02/26.39	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.81/26.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
106.21/26.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.81/27.05	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.33 s
107.81/27.08	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
108.23/27.11	c vivif2 --  cl tried    20689 cl shrink        0 lits rem          0 time: 0.04
108.63/27.29	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.17
109.01/27.30	c calculated reachability. Time: 0.00
109.01/27.30	c  N dy   275     46262     34025    145304         0     20689    441172   2153847    168.25   no data
117.01/29.39	c  N dy   299     50451     34025    145304         0     24877    441172   3176786    167.64    176.89
125.80/31.59	c  N dy   327     54625     34025    145304         0     29051    441172   4255010    167.92    185.76
134.59/33.72	c  N dy   356     58634     34025    145304         0     33059    441172   5299086    168.22    178.10
143.37/35.95	c  N dy   379     62896     34025    145304         0     37321    441172   6347809    167.75    176.80
152.17/38.13	c  N dy   407     67148     34025    145304         0     22860    441172   1792054    167.43    176.40
156.56/39.30	c  S st   421     69394     34025    145304         0     25106    441172   2355540    167.38   no data
157.74/39.56	c  S st   421     69897     34025    145304         0     25609    441172   2451956    167.38   no data
157.74/39.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.53/39.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
158.93/39.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.93/39.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.93/39.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.93/39.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
158.93/39.86	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
159.73/40.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
160.13/40.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.13/40.65	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.44 s
162.13/40.67	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
162.53/40.72	c vivif2 --  cl tried    25607 cl shrink        0 lits rem          0 time: 0.04
163.33/40.90	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.18
163.33/40.91	c calculated reachability. Time: 0.00
163.33/40.91	c  N dy   421     69897     34025    145304         0     25607    441172   2451717    167.38   no data
172.52/43.26	c  N dy   454     74386     34025    145304         0     30095    441172   3563249    167.38    186.23
182.92/45.84	c  N dy   484     79221     34025    145304         0     34929    441172   4824227    167.48    182.08
194.09/48.60	c  N dy   520     84321     34025    145304         0     40029    441172   6112607    167.41    177.43
200.89/50.35	c  F st   540     87500     34025    145304         0     22362    441172   1088925    167.32   no data
208.47/52.21	c  N st   545     90804     34025    145304         0     25666    441172   2236796    167.32   no data
220.85/55.39	c  N dy   572     96654     34025    145304         0     31516    441172   4047988    167.44    177.55
234.84/58.83	c  N dy   615    102952     34025    145304         0     37814    441172   5675770    167.44    177.26
238.83/59.82	c  S st   626    104845     34025    145304         0     39707    441172   6146904    167.36   no data
239.63/60.09	c  S st   626    105350     34025    145304         0     40212    441172   6227352    167.36   no data
240.05/60.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
240.82/60.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
240.82/60.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.82/60.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.82/60.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
241.22/60.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
241.22/60.42	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
242.02/60.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
243.62/61.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
250.81/62.81	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.70 s
250.81/62.83	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
251.21/62.94	c vivif2 --  cl tried    40207 cl shrink        0 lits rem          0 time: 0.11
252.01/63.15	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.21
252.01/63.16	c calculated reachability. Time: 0.00
252.01/63.16	c  N dy   626    105350     34025    145304         0     40207    441172   6223211    167.36   no data
267.59/67.04	c  N dy   674    112191     34025    145304         0     24616    441172   1257038    167.68    177.46
282.77/70.86	c  N dy   721    119455     34025    145304         0     31880    441172   3094678    167.67    176.63
299.54/75.03	c  N dy   771    127095     34025    145304         0     39520    441172   5078744    167.69    178.18
317.92/79.61	c  N dy   823    135285     34025    145304         0     23992    441172    693589    167.46    180.25
336.29/84.27	c  N dy   886    144096     34025    145304         0     32803    441172   2966540    167.57    188.06
356.26/89.26	c  N dy   948    153313     34025    145304         0     42019    441172   5335622    167.63    177.86
367.05/91.91	c  S st   980    158025     34025    145304         0     46731    441172   6542972    167.65    165.21
368.25/92.21	c  S st   980    158530     34025    145304         0     47236    441172   6639633    167.65   no data
368.25/92.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
369.05/92.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
369.05/92.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
369.45/92.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
369.45/92.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
369.45/92.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
369.45/92.54	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
370.24/92.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
371.86/93.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
381.42/95.57	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.35 s
381.82/95.60	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
382.22/95.72	c vivif2 --  cl tried    47234 cl shrink        0 lits rem          0 time: 0.12
383.03/95.94	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.22
383.03/95.95	c calculated reachability. Time: 0.00
383.03/95.95	c  N dy   980    158530     34025    145304         0     47234    441172   6639209    167.65   no data
405.00/101.47	c  N dy  1048    168744     34025    145304         0     32593    441172   2549556    167.62    177.31
428.57/107.40	c  N dy  1122    179603     34025    145304         0     43452    441172   5318237    167.63    177.34
454.54/113.86	c  N dy  1194    191207     34025    145304         0     29130    441172   1355309    167.58    178.30
481.72/120.63	c  N dy  1284    203477     34025    145304         0     41400    441172   4573413    167.87    195.52
511.66/128.19	c  N dy  1374    216577     34025    145304         0     27537    441172    703889    168.01    184.19
542.02/135.74	c  N dy  1472    230443     34025    145304         0     41401    441172   4237958    168.02    179.27
558.40/139.85	c  S st  1521    237795     34025    145304         0     48751    441172   6103143    167.99    141.28
559.60/140.16	c  S st  1521    238296     34025    145304         0     49252    441172   6211294    167.99   no data
559.60/140.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
560.39/140.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
560.81/140.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
560.81/140.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
560.81/140.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
560.81/140.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
560.81/140.49	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
561.59/140.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
563.19/141.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
573.18/143.50	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.40 s
573.18/143.52	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
573.58/143.64	c vivif2 --  cl tried    49249 cl shrink        0 lits rem          0 time: 0.12
574.39/143.86	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.22
574.39/143.87	c calculated reachability. Time: 0.00
574.39/143.88	c  N dy  1521    238296     34025    145304         0     49249    441172   6209357    167.99   no data
608.73/152.50	c  N dy  1630    253568     34025    145304         0     36540    441172   2732472    168.03    184.76
645.48/161.68	c  N dy  1739    269763     34025    145304         0     52735    441172   6911118    168.14    182.79
685.02/171.57	c  N dy  1856    287111     34025    145304         0     41093    441172   3662612    168.21    178.77
727.36/182.18	c  N dy  1983    305578     34025    145304         0     59558    441172   8405716    168.18    179.04
729.36/182.64	c  F st  1988    306251     34025    145304         0     30237    441172    551110    168.19    135.04
772.50/193.49	c  N dy  2082    325281     34025    145304         0     49267    441172   6082411    168.09    179.44
818.84/205.07	c  N dy  2221    345324     34025    145304         0     38311    441172   2380480    168.16    199.30
846.83/212.03	c  S st  2312    357445     34025    145304         0     50432    441172   5517476    168.28   no data
848.00/212.33	c  S st  2312    357949     34025    145304         0     50936    441172   5616049    168.28   no data
848.00/212.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
848.80/212.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
849.20/212.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
849.20/212.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
849.20/212.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
849.20/212.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
849.20/212.67	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
850.00/212.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
851.59/213.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
860.38/215.48	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.25 s
860.78/215.50	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
861.18/215.61	c vivif2 --  cl tried    50930 cl shrink        0 lits rem          0 time: 0.10
861.98/215.84	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.23
861.98/215.85	c calculated reachability. Time: 0.00
861.98/215.85	c  N dy  2312    357949     34025    145304         0     50930    441172   5611672    168.28   no data
908.35/227.45	c  N dy  2450    378015     34025    145304         0     38999    441172   2305471    168.39    177.34
955.47/239.20	c  N dy  2591    398191     34025    145304         0     59174    441172   7489003    168.40    177.42
1000.62/250.57	c  N dy  2721    418230     34025    145304         0     46210    441172   3867165    168.28    177.41
1048.95/262.60	c  N dy  2866    438506     34025    145304         0     66485    441172   9117555    168.40    177.57
1094.87/274.16	c  N dy  3007    458596     34025    145304         0     52574    441172   5343746    168.48    193.73
1142.81/286.19	c  N dy  3140    478650     34025    145304         0     37630    441172   1186120    168.53    178.93
1189.16/297.76	c  N dy  3275    498767     34025    145304         0     57746    441172   6400859    168.55    180.29
1238.28/310.07	c  N dy  3418    519141     34025    145304         0     42124    441172   2081827    168.64    179.99
1279.42/320.38	c  S st  3540    536923     34025    145304         0     59905    441172   6701115    168.63    170.18
1280.62/320.69	c  S st  3540    537425     34025    145304         0     60407    441172   6781474    168.63   no data
1281.02/320.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1281.84/320.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1281.84/320.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1281.84/320.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1282.22/321.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1282.22/321.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
1282.22/321.03	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1283.02/321.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1284.62/321.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1297.80/324.91	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.21 s
1297.80/324.93	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
1298.20/325.06	c vivif2 --  cl tried    60404 cl shrink        0 lits rem          0 time: 0.13
1299.42/325.30	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.24
1299.42/325.31	c calculated reachability. Time: 0.00
1299.42/325.31	c  N dy  3540    537425     34025    145304         0     60404    441172   6781103    168.63   no data
1347.74/337.49	c  N dy  3683    557452     34025    145304         0     43434    441172   2151560    168.72    180.64
1395.69/349.44	c  N dy  3828    577595     34025    145304         0     63576    441172   7374108    168.77    177.69
1444.02/361.60	c  N dy  3973    597708     34025    145304         0     45687    441172   2551767    168.83    182.45
1491.54/373.47	c  N dy  4107    617857     34025    145304         0     65835    441172   7723267    168.81    178.11
1540.28/385.67	c  N dy  4254    637860     34025    145304         0     46838    441172   2564375    168.94    187.98
1588.21/397.64	c  N dy  4393    657915     34025    145304         0     66892    441172   7724796    168.97    180.04
1637.36/409.98	c  N dy  4534    678030     34025    145304         0     47007    441172   2308850    169.07    183.11
1686.48/422.29	c  N dy  4677    698106     34025    145304         0     67081    441172   7541020    169.16    188.14
1736.82/434.86	c  N dy  4819    718140     34025    145304         0     46117    441172   1813808    169.24    188.45
1784.36/446.71	c  N dy  4954    738184     34025    145304         0     66158    441172   7022867    169.23    180.32
1834.29/459.26	c  N dy  5084    758218     34025    145304         0     44195    441172   1068021    169.24    195.57
1881.82/471.13	c  N dy  5223    778280     34025    145304         0     64257    441172   6299614    169.30    201.48
1933.35/484.01	c  N dy  5366    798413     34025    145304         0     84390    441172  11527943    169.31    179.30
1951.72/488.68	c  S st  5419    806137     34025    145304         0     49116    441172   2082052    169.33    149.72
1952.92/488.99	c  S st  5419    806638     34025    145304         0     49617    441172   2197067    169.33   no data
1953.32/489.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1954.14/489.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1954.14/489.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1954.14/489.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1954.14/489.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1954.52/489.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
1954.52/489.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1954.92/489.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1955.72/489.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1958.91/490.40	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.75 s
1958.91/490.42	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
1958.91/490.46	c vivif2 --  cl tried    49616 cl shrink        0 lits rem          0 time: 0.04
1959.71/490.69	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.22
1960.11/490.70	c calculated reachability. Time: 0.00
1960.11/490.70	c  N dy  5419    806638     34025    145304         0     49616    441172   2196412    169.33   no data
2008.05/502.79	c  N dy  5557    826741     34025    145304         0     69716    441172   7433817    169.40    180.85
2059.98/515.72	c  N dy  5692    846837     34025    145304         0     45814    441172    988794    169.46    195.70
2107.53/527.67	c  N dy  5824    867012     34025    145304         0     65988    441172   6255123    169.47    181.70
2158.64/540.43	c  N dy  5956    887085     34025    145304         0     86061    441172  11458281    169.44    179.00
2206.98/552.53	c  N dy  6084    907110     34025    145304         0     61087    441172   4712066    169.44    205.37
2256.92/565.08	c  N dy  6218    927203     34025    145304         0     81179    441172   9914139    169.48    178.67
2307.24/577.65	c  N dy  6357    947243     34025    145304         0     55223    441172   2927537    169.51    180.66
2357.17/590.12	c  N dy  6494    967282     34025    145304         0     75262    441172   8205586    169.55    178.55
2409.49/603.22	c  N dy  6624    987477     34025    145304         0     48454    441172    889408    169.51    187.44
2457.83/615.31	c  N dy  6759   1007612     34025    145304         0     68589    441172   6125670    169.52    178.48
2508.96/628.18	c  N dy  6893   1027691     34025    145304         0     88668    441172  11327464    169.51    178.45
2559.29/640.76	c  N dy  7032   1047770     34025    145304         0     60746    441172   3825680    169.52    184.25
2609.62/653.36	c  N dy  7165   1067863     34025    145304         0     80839    441172   9139754    169.56    181.43
2620.00/655.94	c  F st  7191   1071876     34025    145304         0     84852    441172  10158375    169.54    122.11
2662.74/666.64	c  N dy  7270   1087966     34025    145304         0     51952    441172   1301717    169.56    180.28
2712.28/679.02	c  N dy  7409   1108307     34025    145304         0     72293    441172   6559768    169.57    179.07
2764.60/692.18	c  N dy  7545   1128391     34025    145304         0     92377    441172  11809832    169.63    182.29
2815.36/704.86	c  N dy  7687   1148450     34025    145304         0     62430    441172   3792003    169.68    234.65
2866.88/717.74	c  N dy  7831   1168617     34025    145304         0     82597    441172   9029832    169.71    180.12
2920.82/731.23	c  N dy  7965   1188735     34025    145304         0     51717    441172    720927    169.72    179.14
2970.73/743.71	c  N dy  8102   1208905     34025    145304         0     71885    441172   5938024    169.73    184.95
2973.55/744.41	c  S st  8110   1209957     34025    145304         0     72937    441172   6199431    169.72    180.80
2974.73/744.74	c  S st  8110   1210462     34025    145304         0     73442    441172   6292444    169.72   no data
2974.73/744.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2975.93/745.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2975.93/745.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2975.93/745.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2975.93/745.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2975.93/745.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
2976.33/745.10	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2977.13/745.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2978.71/745.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2991.90/749.06	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.33 s
2991.90/749.08	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
2992.70/749.21	c vivif2 --  cl tried    73438 cl shrink        0 lits rem          0 time: 0.12
2993.50/749.48	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.27
2993.50/749.49	c calculated reachability. Time: 0.00
2993.50/749.49	c  N dy  8110   1210462     34025    145304         0     73438    441172   6290016    169.72   no data
3046.22/762.69	c  N dy  8243   1230558     34025    145304         0     93532    441172  11540095    169.72    179.14
3098.15/775.63	c  N dy  8377   1250582     34025    145304         0     61559    441172   3034151    169.72    181.51
3148.48/788.23	c  N dy  8511   1270692     34025    145304         0     81669    441172   8187424    169.69    179.04
3202.40/801.70	c  N dy  8646   1290693     34025    145304         0    101670    441172  13380846    169.70    185.52
3252.74/814.37	c  N dy  8782   1310810     34025    145304         0     68788    441172   4598990    169.70    179.04
3304.67/827.39	c  N dy  8913   1330876     34025    145304         0     88854    441172   9810229    169.69    183.18
3361.39/841.51	c  N dy  9063   1351023     34025    145304         0     54999    441172    851793    169.73    185.27
3410.53/853.83	c  N dy  9200   1371027     34025    145304         0     75001    441172   6050820    169.75    195.85
3463.66/867.19	c  N dy  9340   1391200     34025    145304         0     95172    441172  11294939    169.78    179.15
3518.40/880.87	c  N dy  9481   1411346     34025    145304         0     60318    441172   1899658    169.80    188.01
3568.71/893.47	c  N dy  9615   1431399     34025    145304         0     80370    441172   7159158    169.81    182.20
3623.45/907.16	c  N dy  9758   1451593     34025    145304         0    100563    441172  12439022    169.83    183.05
3676.96/920.59	c  N dy  9899   1471625     34025    145304         0     64602    441172   2797966    169.86    179.78
3729.31/933.63	c  N dy 10050   1491661     34025    145304         0     84637    441172   8144337    169.94    183.32
3784.01/947.37	c  N dy 10191   1511757     34025    145304         0    104731    441172  13419915    169.96    191.87
3837.14/960.61	c  N dy 10330   1531767     34025    145304         0     67739    441172   3336729    169.95    183.93
3888.27/973.48	c  N dy 10466   1551811     34025    145304         0     87782    441172   8580471    169.96    182.73
3943.79/987.38	c  N dy 10609   1571822     34025    145304         0    107792    441172  13848868    170.01    191.89
3997.34/1000.76	c  N dy 10755   1591836     34025    145304         0     69810    441172   3713650    170.06    187.42
4049.25/1013.71	c  N dy 10887   1611862     34025    145304         0     89834    441172   8939839    170.07    203.96
4105.97/1027.92	c  N dy 11037   1632048     34025    145304         0    110020    441172  14234781    170.11    180.57
4159.10/1041.24	c  N dy 11180   1652169     34025    145304         0     71143    441172   3742236    170.11    181.52
4211.43/1054.39	c  N dy 11310   1672386     34025    145304         0     91360    441172   9058978    170.12    180.22
4267.35/1068.38	c  N dy 11446   1692524     34025    145304         0    111498    441172  14363130    170.14    179.63
4316.48/1080.64	c  S st 11572   1710462     34025    145304         0     69441    441172   3070154    170.15    144.06
4317.70/1080.98	c  S st 11572   1710963     34025    145304         0     69942    441172   3171282    170.15   no data
4317.70/1081.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4318.88/1081.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4318.88/1081.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4318.88/1081.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4319.28/1081.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4319.28/1081.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
4319.28/1081.33	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4320.08/1081.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4320.88/1081.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4328.87/1083.76	c lits-rem:        12  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.02 s
4328.87/1083.78	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
4329.27/1083.85	c vivif2 --  cl tried    69938 cl shrink        0 lits rem          0 time: 0.06
4330.47/1084.11	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.26
4330.47/1084.12	c calculated reachability. Time: 0.00
4330.47/1084.12	c  N dy 11572   1710963     34025    145304         0     69938    441172   3168501    170.15   no data
4382.79/1097.20	c  N dy 11706   1731154     34025    145304         0     90128    441172   8516559    170.17    181.44
4438.32/1111.17	c  N dy 11845   1751176     34025    145304         0    110149    441172  13761745    170.19    182.18
4493.45/1124.91	c  N dy 11978   1771335     34025    145304         0     69305    441172   2756108    170.19    180.84
4544.96/1137.84	c  N dy 12108   1791371     34025    145304         0     89341    441172   7972861    170.19    187.01
4601.29/1151.95	c  N dy 12257   1811433     34025    145304         0    109403    441172  13224187    170.23    215.95
4657.60/1166.05	c  N dy 12393   1831465     34025    145304         0     67437    441172   2008736    170.23    184.66
4709.94/1179.13	c  N dy 12526   1851516     34025    145304         0     87488    441172   7213349    170.22    184.21
4765.46/1193.00	c  N dy 12658   1871690     34025    145304         0    107661    441172  12526503    170.23    187.68

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

running on 4 cores: 0,2,4,6

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.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 518815281 52441088 347 33554432000 4194304 4627427 140736709273424 18446744073709551615 46979642517426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 12803 347 299 106 0 7774 0
[pid=5063/tid=5064] ppid=5061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 518815282 52441088 347 33554432000 4194304 4627427 140736709273424 18446744073709551615 46979642517426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 518815282 52441088 347 33554432000 4194304 4627427 140736709273424 18446744073709551615 46979642517426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518815282 52441088 347 33554432000 4194304 4627427 140736709273424 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0818079 s]
/proc/loadavg: 7.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=320280 CPUtime=0.32 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 21599 0 0 0 29 3 0 0 18 0 4 0 518815281 327966720 17408 33554432000 4194304 4627427 140736709273424 18446744073709551615 230808834289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 80373 20010 339 106 0 75344 0
[pid=5063/tid=5064] ppid=5061 vsize=322732 CPUtime=0.12 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) D 5061 5063 4739 0 -1 4202560 6206 0 0 0 11 1 0 0 18 0 4 0 518815282 330477568 20973 33554432000 4194304 4627427 140736709273424 18446744073709551615 230808862920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=354536 CPUtime=0.6 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 14133 0 0 0 58 2 0 0 18 0 4 0 518815282 363044864 36162 33554432000 4194304 4627427 140736709273424 18446744073709551615 4450290 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=354536 CPUtime=0.61 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) D 5061 5063 4739 0 -1 4202560 6875 0 0 0 59 2 0 0 18 0 4 0 518815282 363044864 36162 33554432000 4194304 4627427 140736709273424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 320280

[startup+0.960762 s]
/proc/loadavg: 7.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=360260 CPUtime=3.79 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 51150 0 0 0 370 9 0 0 19 0 4 0 518815281 368906240 37373 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 90065 37373 385 106 0 85036 0
[pid=5063/tid=5064] ppid=5061 vsize=360260 CPUtime=0.94 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 13770 0 0 0 92 2 0 0 19 0 4 0 518815282 368906240 37373 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=360260 CPUtime=0.94 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 14963 0 0 0 92 2 0 0 18 0 4 0 518815282 368906240 37373 33554432000 4194304 4627427 140736709273424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=360260 CPUtime=0.94 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 7076 0 0 0 92 2 0 0 19 0 4 0 518815282 368906240 37373 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 360260

[startup+1.00075 s]
/proc/loadavg: 7.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=360260 CPUtime=3.95 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 51256 0 0 0 386 9 0 0 19 0 4 0 518815281 368906240 37479 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308368 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 90065 37479 385 106 0 85036 0
[pid=5063/tid=5064] ppid=5061 vsize=360260 CPUtime=0.98 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 13797 0 0 0 96 2 0 0 19 0 4 0 518815282 368906240 37479 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=360260 CPUtime=0.98 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 14991 0 0 0 96 2 0 0 18 0 4 0 518815282 368906240 37479 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=360260 CPUtime=0.98 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 7103 0 0 0 96 2 0 0 19 0 4 0 518815282 368906240 37479 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 360260

[startup+1.10074 s]
/proc/loadavg: 7.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=360260 CPUtime=4.35 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 51541 0 0 0 426 9 0 0 19 0 4 0 518815281 368906240 37764 33554432000 4194304 4627427 140736709273424 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 90065 37764 385 106 0 85036 0
[pid=5063/tid=5064] ppid=5061 vsize=360260 CPUtime=1.08 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 13868 0 0 0 106 2 0 0 19 0 4 0 518815282 368906240 37764 33554432000 4194304 4627427 140736709273424 18446744073709551615 4333068 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=360260 CPUtime=1.08 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 15062 0 0 0 106 2 0 0 18 0 4 0 518815282 368906240 37764 33554432000 4194304 4627427 140736709273424 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=360260 CPUtime=1.08 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 7175 0 0 0 106 2 0 0 19 0 4 0 518815282 368906240 37764 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 360260

[startup+1.50066 s]
/proc/loadavg: 7.88 8.08 7.79 8/180 5063
/proc/meminfo: memFree=18249448/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=360260 CPUtime=5.95 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 52689 0 0 0 586 9 0 0 20 0 4 0 518815281 368906240 38912 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 90065 38912 385 106 0 85036 0
[pid=5063/tid=5064] ppid=5061 vsize=360260 CPUtime=1.48 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 14162 0 0 0 146 2 0 0 20 0 4 0 518815282 368906240 38912 33554432000 4194304 4627427 140736709273424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=360260 CPUtime=1.48 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 15370 0 0 0 146 2 0 0 19 0 4 0 518815282 368906240 38912 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=360260 CPUtime=1.48 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 7412 0 0 0 146 2 0 0 19 0 4 0 518815282 368906240 38912 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 360260

[startup+3.10037 s]
/proc/loadavg: 7.97 8.10 7.79 9/184 5067
/proc/meminfo: memFree=18031052/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=491524 CPUtime=12.34 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 56811 0 0 0 1223 11 0 0 25 0 4 0 518815281 503320576 43034 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 122881 43034 385 106 0 117852 0
[pid=5063/tid=5064] ppid=5061 vsize=491524 CPUtime=3.08 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 15103 0 0 0 306 2 0 0 25 0 4 0 518815282 503320576 43034 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=491524 CPUtime=3.08 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 16339 0 0 0 305 3 0 0 22 0 4 0 518815282 503320576 43034 33554432000 4194304 4627427 140736709273424 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=491524 CPUtime=3.07 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 8688 0 0 0 305 2 0 0 25 0 4 0 518815282 503320576 43034 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 491524

[startup+6.30678 s]
/proc/loadavg: 7.97 8.10 7.79 9/184 5067
/proc/meminfo: memFree=17922200/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=491524 CPUtime=25.14 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 63671 0 0 0 2501 13 0 0 25 0 4 0 518815281 503320576 49894 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 122881 49894 385 106 0 117852 0
[pid=5063/tid=5064] ppid=5061 vsize=491524 CPUtime=6.28 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 16802 0 0 0 626 2 0 0 25 0 4 0 518815282 503320576 49894 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=491524 CPUtime=6.28 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 18074 0 0 0 625 3 0 0 25 0 4 0 518815282 503320576 49894 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=491524 CPUtime=6.26 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 10405 0 0 0 623 3 0 0 25 0 4 0 518815282 503320576 49894 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 491524

[startup+12.7006 s]
/proc/loadavg: 7.97 8.09 7.79 9/184 5067
/proc/meminfo: memFree=17893864/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=389524 CPUtime=50.69 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 83548 0 0 0 5052 17 0 0 25 0 4 0 518815281 398872576 45668 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 97381 45668 387 106 0 92352 0
[pid=5063/tid=5064] ppid=5061 vsize=389524 CPUtime=12.67 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 21603 0 0 0 1264 3 0 0 25 0 4 0 518815282 398872576 45668 33554432000 4194304 4627427 140736709273424 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=389524 CPUtime=12.68 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 23131 0 0 0 1263 5 0 0 25 0 4 0 518815282 398872576 45668 33554432000 4194304 4627427 140736709273424 18446744073709551615 4332764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=389524 CPUtime=12.62 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 15440 0 0 0 1259 3 0 0 25 0 4 0 518815282 398872576 45669 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 389524

[startup+25.5003 s]
/proc/loadavg: 7.98 8.09 7.80 9/184 5068
/proc/meminfo: memFree=17605688/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=571872 CPUtime=101.81 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 178127 0 0 0 10143 38 0 0 25 0 4 0 518815281 585596928 105637 33554432000 4194304 4627427 140736709273424 18446744073709551615 4329979 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 142968 105637 390 106 0 137939 0
[pid=5063/tid=5064] ppid=5061 vsize=571872 CPUtime=25.47 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 57244 0 0 0 2538 9 0 0 25 0 4 0 518815282 585596928 105637 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=571872 CPUtime=25.48 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 40369 0 0 0 2539 9 0 0 22 0 4 0 518815282 585596928 105637 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=571872 CPUtime=25.35 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 27895 0 0 0 2529 6 0 0 25 0 4 0 518815282 585596928 105637 33554432000 4194304 4627427 140736709273424 18446744073709551615 4526746 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 571872

[startup+51.1006 s]
/proc/loadavg: 7.98 8.08 7.80 9/184 5068
/proc/meminfo: memFree=17418896/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=795956 CPUtime=204.07 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 264496 0 0 0 20345 62 0 0 25 0 4 0 518815281 815058944 139871 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 198989 139871 390 106 0 193960 0
[pid=5063/tid=5064] ppid=5061 vsize=795956 CPUtime=51.07 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 73417 0 0 0 5093 14 0 0 25 0 4 0 518815282 815058944 139871 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=795956 CPUtime=51.08 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 64702 0 0 0 5093 15 0 0 25 0 4 0 518815282 815058944 139871 33554432000 4194304 4627427 140736709273424 18446744073709551615 4310544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=795956 CPUtime=50.82 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 52401 0 0 0 5070 12 0 0 25 0 4 0 518815282 815058944 139871 33554432000 4194304 4627427 140736709273424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 795956

[startup+102.3 s]
/proc/loadavg: 8.03 8.08 7.82 9/184 5070
/proc/meminfo: memFree=17164072/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1149264 CPUtime=408.6 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 395925 0 0 0 40756 104 0 0 25 0 4 0 518815281 1176846336 195433 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 287316 195433 390 106 0 282287 0
[pid=5063/tid=5064] ppid=5061 vsize=1149264 CPUtime=102.27 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 93328 0 0 0 10205 22 0 0 25 0 4 0 518815282 1176846336 195433 33554432000 4194304 4627427 140736709273424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1149264 CPUtime=102.28 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 89706 0 0 0 10205 23 0 0 25 0 4 0 518815282 1176846336 195433 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1149264 CPUtime=101.74 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 90157 0 0 0 10150 24 0 0 25 0 4 0 518815282 1176846336 195434 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 1149264

[startup+162.3 s]

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

[pid=5063] ppid=5061 vsize=1583068 CPUtime=2805.36 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1401441 0 0 0 280086 450 0 0 25 0 4 0 518815281 1621061632 322584 33554432000 4194304 4627427 140736709273424 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 395767 322584 390 106 0 390738 0
[pid=5063/tid=5064] ppid=5061 vsize=1583068 CPUtime=702.27 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 323068 0 0 0 70126 101 0 0 25 0 4 0 518815282 1621061632 322584 33554432000 4194304 4627427 140736709273424 18446744073709551615 4333362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1583068 CPUtime=702.26 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 351093 0 0 0 70116 110 0 0 25 0 4 0 518815282 1621061632 322584 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1583068 CPUtime=698.52 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 356850 0 0 0 69737 115 0 0 25 0 4 0 518815282 1621061632 322584 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 1583068

[startup+762.3 s]
/proc/loadavg: 8.03 8.08 7.94 9/184 5087
/proc/meminfo: memFree=16334592/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1527528 CPUtime=3045.02 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1490202 0 0 0 304022 480 0 0 25 0 4 0 518815281 1564188672 320570 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 381882 320570 390 106 0 376853 0
[pid=5063/tid=5064] ppid=5061 vsize=1527528 CPUtime=762.27 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 341395 0 0 0 76118 109 0 0 25 0 4 0 518815282 1564188672 320570 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1527528 CPUtime=762.27 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 378276 0 0 0 76107 120 0 0 25 0 4 0 518815282 1564188672 320570 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1527528 CPUtime=758.2 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 380404 0 0 0 75699 121 0 0 25 0 4 0 518815282 1564188672 320570 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1527528

[startup+822.3 s]
/proc/loadavg: 8.05 8.08 7.94 9/184 5089
/proc/meminfo: memFree=16278280/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1668028 CPUtime=3284.69 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1587297 0 0 0 327954 515 0 0 25 0 4 0 518815281 1708060672 336745 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 417007 336745 390 106 0 411978 0
[pid=5063/tid=5064] ppid=5061 vsize=1668028 CPUtime=822.27 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 366667 0 0 0 82108 119 0 0 25 0 4 0 518815282 1708060672 336745 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1668028 CPUtime=822.26 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 401475 0 0 0 82098 128 0 0 25 0 4 0 518815282 1708060672 336745 33554432000 4194304 4627427 140736709273424 18446744073709551615 4327893 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1668028 CPUtime=817.87 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 402198 0 0 0 81659 128 0 0 25 0 4 0 518815282 1708060672 336745 33554432000 4194304 4627427 140736709273424 18446744073709551615 4328761 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 1668028

[startup+882.3 s]
/proc/loadavg: 8.06 8.08 7.95 9/184 5090
/proc/meminfo: memFree=16279892/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1687640 CPUtime=3524.36 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1682989 0 0 0 351888 548 0 0 25 0 4 0 518815281 1728143360 341090 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308647 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 421910 341090 390 106 0 416881 0
[pid=5063/tid=5064] ppid=5061 vsize=1687640 CPUtime=882.26 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 389670 0 0 0 88099 127 0 0 25 0 4 0 518815282 1728143360 341090 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1687640 CPUtime=882.26 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 424766 0 0 0 88090 136 0 0 25 0 4 0 518815282 1728143360 341090 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1687640 CPUtime=877.56 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 429072 0 0 0 87619 137 0 0 25 0 4 0 518815282 1728143360 341090 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 1687640

[startup+942.3 s]
/proc/loadavg: 8.11 8.09 7.96 9/184 5092
/proc/meminfo: memFree=16044788/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1750892 CPUtime=3764.07 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1772779 0 0 0 375827 580 0 0 25 0 4 0 518815281 1792913408 359622 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 437723 359622 390 106 0 432694 0
[pid=5063/tid=5064] ppid=5061 vsize=1750892 CPUtime=942.27 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 410437 0 0 0 94093 134 0 0 25 0 4 0 518815282 1792913408 359622 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1750892 CPUtime=942.27 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 443783 0 0 0 94083 144 0 0 25 0 4 0 518815282 1792913408 359622 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1750892 CPUtime=937.25 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 453849 0 0 0 93579 146 0 0 25 0 4 0 518815282 1792913408 359622 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 1750892

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 7.97 9/184 5094
/proc/meminfo: memFree=16053588/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1654364 CPUtime=4003.71 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1865972 0 0 0 399758 613 0 0 25 0 4 0 518815281 1694068736 335875 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 413591 335875 390 106 0 408562 0
[pid=5063/tid=5064] ppid=5061 vsize=1654364 CPUtime=1002.26 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 433108 0 0 0 100084 142 0 0 25 0 4 0 518815282 1694068736 335875 33554432000 4194304 4627427 140736709273424 18446744073709551615 4330932 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1654364 CPUtime=1002.25 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 468985 0 0 0 100074 151 0 0 25 0 4 0 518815282 1694068736 335875 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1654364 CPUtime=996.92 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 476783 0 0 0 99537 155 0 0 25 0 4 0 518815282 1694068736 335875 33554432000 4194304 4627427 140736709273424 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 1654364

[startup+1062.31 s]
/proc/loadavg: 8.15 8.11 7.98 9/184 5095
/proc/meminfo: memFree=15983900/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1752372 CPUtime=4243.4 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 1966674 0 0 0 423691 649 0 0 25 0 4 0 518815281 1794428928 365922 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 438093 365922 390 106 0 433064 0
[pid=5063/tid=5064] ppid=5061 vsize=1752372 CPUtime=1062.26 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 457625 0 0 0 106075 151 0 0 25 0 4 0 518815282 1794428928 365922 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1752372 CPUtime=1062.26 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 495931 0 0 0 106065 161 0 0 25 0 4 0 518815282 1794428928 365922 33554432000 4194304 4627427 140736709273424 18446744073709551615 4322306 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1752372 CPUtime=1056.61 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 501277 0 0 0 105498 163 0 0 25 0 4 0 518815282 1794428928 365922 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 1752372

[startup+1122.3 s]
/proc/loadavg: 8.17 8.12 7.99 9/184 5097
/proc/meminfo: memFree=16089664/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1624660 CPUtime=4483.04 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 2045489 0 0 0 447627 677 0 0 25 0 4 0 518815281 1663651840 329685 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 406165 329685 390 106 0 401136 0
[pid=5063/tid=5064] ppid=5061 vsize=1624660 CPUtime=1122.26 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 474272 0 0 0 112070 156 0 0 25 0 4 0 518815282 1663651840 329685 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1624660 CPUtime=1122.24 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 516865 0 0 0 112056 168 0 0 25 0 4 0 518815282 1663651840 329685 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1624660 CPUtime=1116.29 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 521750 0 0 0 111458 171 0 0 25 0 4 0 518815282 1663651840 329685 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 1624660

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.00 9/184 5099
/proc/meminfo: memFree=15824928/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1885924 CPUtime=4722.72 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 2164446 0 0 0 471554 718 0 0 25 0 4 0 518815281 1931186176 390959 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 471481 390959 390 106 0 466452 0
[pid=5063/tid=5064] ppid=5061 vsize=1885924 CPUtime=1182.25 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 494911 0 0 0 118062 163 0 0 25 0 4 0 518815282 1931186176 390959 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1885924 CPUtime=1182.24 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 566057 0 0 0 118042 182 0 0 25 0 4 0 518815282 1931186176 390959 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1885924 CPUtime=1175.96 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 546265 0 0 0 117415 181 0 0 25 0 4 0 518815282 1931186176 390959 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 1885924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.13 8.00 5/179 5100
/proc/meminfo: memFree=16748768/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1758492 CPUtime=4800.22 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 2194934 0 0 0 479293 729 0 0 25 0 4 0 518815281 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 439623 378827 390 106 0 434594 0
[pid=5063/tid=5064] ppid=5061 vsize=1758492 CPUtime=1201.66 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 500150 0 0 0 120000 166 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1758492 CPUtime=1201.64 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 575512 0 0 0 119979 185 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1758492 CPUtime=1195.26 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 554917 0 0 0 119341 185 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 1758492

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: 8.20 8.13 8.00 5/179 5100
/proc/meminfo: memFree=16748768/32951124 swapFree=67111528/67111528
[pid=5063] ppid=5061 vsize=1758492 CPUtime=4800.22 cores=0,2,4,6
/proc/5063/stat : 5063 (strangenight2-m) R 5061 5063 4739 0 -1 4202496 2194934 0 0 0 479293 729 0 0 25 0 4 0 518815281 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5063/statm: 439623 378827 390 106 0 434594 0
[pid=5063/tid=5064] ppid=5061 vsize=1758492 CPUtime=1201.66 cores=0,2,4,6
/proc/5063/task/5064/stat : 5064 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 500150 0 0 0 120000 166 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5063/tid=5065] ppid=5061 vsize=1758492 CPUtime=1201.64 cores=0,2,4,6
/proc/5063/task/5065/stat : 5065 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 575512 0 0 0 119979 185 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5063/tid=5066] ppid=5061 vsize=1758492 CPUtime=1195.26 cores=0,2,4,6
/proc/5063/task/5066/stat : 5066 (strangenight2-m) R 5061 5063 4739 0 -1 4202560 554917 0 0 0 119341 185 0 0 25 0 4 0 518815282 1800695808 378827 33554432000 4194304 4627427 140736709273424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 1758492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.33
CPU user time (s): 4792.96
CPU system time (s): 7.36788
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1886024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.96
system time used= 7.36788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2194940
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= 2708
involuntary context switches= 20562

runsolver used 1.89971 second user time and 4.50331 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 12:15:48
IDJOB=3173868
IDBENCH=82686
IDSOLVER=1586
FILE ID=node104/3173868-1304072148
RUNJOBID= node104-1304072148-5040
PBS_JOBID= 13170480
Free space on /tmp= 71540 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173868-1304072148/watcher-3173868-1304072148 -o /tmp/evaluation-result-3173868-1304072148/solver-3173868-1304072148 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173868-1304072148.cnf

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

MD5SUM BENCH= 3ba69e7f651721ce4358ca0320f27486
RANDOM SEED=1578889190

node104.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.855
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.71
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18249736 kB
Buffers:       2198432 kB
Cached:       11831036 kB
SwapCached:          0 kB
Active:        2434436 kB
Inactive:     11677852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18249736 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14844 kB
Writeback:           0 kB
AnonPages:       81292 kB
Mapped:          14872 kB
Slab:           525236 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   287912 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= 71540 MiB
End job on node104 at 2011-04-29 12:35:52