Trace number 3366277

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.45 1203.5

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366277-1305400623.cnf'
0.00/0.01	c -- header says num vars:          35000
0.00/0.01	c -- header says num clauses:      147000
0.36/0.13	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.36/0.13	c -- vars added      35000
0.36/0.13	c Parsing time:  0.11 s
0.36/0.13	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.75/0.27	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
1.15/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.55/0.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.55/0.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.55/0.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.55/0.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.55/0.47	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.75/0.73	c lits-rem:         0  cl-subs:        0  v-elim:    857  v-fix:    0  time:  0.25 s
2.75/0.73	c Finding binary XORs  T:     0.01 s  found:       0
2.75/0.79	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
2.75/0.79	c calculated reachability. Time: 0.00
3.16/0.80	c Calc default polars -  time:   0.01 s pos:   15601 undec:    3826 neg:   15573
3.16/0.80	c =========================================================================================
3.16/0.80	c types(t): F = full restart, N = normal restart
3.16/0.80	c types(t): S = simplification begin/end, E = solution found
3.16/0.80	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0     34143    146021         0         0    443274         0   no data   no data
10.33/2.69	c  N dy    19      4102     34143    146021         0      4101    443274   1219992    170.70    185.09
17.95/4.59	c  N dy    46      8154     34143    146021         0      8153    443274   2239097    168.19    177.50
25.89/6.53	c  N dy    72     12206     34143    146021         0     12205    443274   3270058    167.40    179.19
33.87/8.55	c  N dy    99     16339     34143    146021         0     16338    443274   4295349    166.78    176.57
41.84/10.57	c  N dy   123     20413     34143    146021         0     10415    443274    750841    165.67    176.62
49.42/12.49	c  N dy   149     24467     34143    146021         0     14469    443274   1773588    165.79    176.28
50.62/12.77	c  F st   154     25000     34143    146021         0     15002    443274   1913857    166.05   no data
61.43/15.44	c  N dy   160     30000     34143    146021         0     20002    443274   3743569    166.05   no data
61.43/15.44	c  S st   160     30000     34143    146021         0     20002    443274   3743569    166.05   no data
62.18/15.69	c  S st   160     30503     34143    146021         0     20505    443274   3835916    166.05   no data
62.58/15.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
62.98/15.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
62.98/15.86	c blocked clauses removed:      709 vars:    109 tried:       34143 T: 0.02 s
62.98/15.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.98/15.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.98/15.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34034 time:  0.01 s
63.38/15.90	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
63.78/16.08	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.17 s
65.38/16.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.37/17.47	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.97 s
70.20/17.65	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.17
70.20/17.66	c calculated reachability. Time: 0.00
70.20/17.66	c  N dy   160     30503     34025    145304         0     20361    441172   3778956    166.05   no data
78.54/19.80	c  N dy   189     34613     34025    145304         0     24470    441172   4848409    166.62    188.58
87.31/22.01	c  N dy   218     38673     34025    145304         0     28530    441172   5888668    167.22    186.03
96.10/24.16	c  N dy   250     42676     34025    145304         0     17105    441172   1221981    167.49    179.68
102.47/25.78	c  S st   275     45754     34025    145304         0     20183    441172   2053679    168.25   no data
103.68/26.04	c  S st   275     46262     34025    145304         0     20691    441172   2154586    168.25   no data
103.68/26.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.07/26.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
104.07/26.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.47/26.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.47/26.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.47/26.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
104.47/26.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
104.87/26.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
105.70/26.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.85/26.85	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.30 s
106.85/26.87	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
107.25/26.91	c vivif2 --  cl tried    20689 cl shrink        0 lits rem          0 time: 0.04
107.66/27.08	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.18
107.66/27.09	c calculated reachability. Time: 0.00
107.66/27.09	c  N dy   275     46262     34025    145304         0     20689    441172   2153847    168.25   no data
116.04/29.19	c  N dy   299     50451     34025    145304         0     24877    441172   3176786    167.64    176.89
125.21/31.40	c  N dy   327     54625     34025    145304         0     29051    441172   4255010    167.92    185.76
133.58/33.54	c  N dy   356     58634     34025    145304         0     33059    441172   5299086    168.22    178.10
142.36/35.78	c  N dy   379     62896     34025    145304         0     37321    441172   6347809    167.75    176.80
151.13/37.97	c  N dy   407     67148     34025    145304         0     22860    441172   1792054    167.43    176.40
155.92/39.16	c  S st   421     69394     34025    145304         0     25106    441172   2355540    167.38   no data
157.12/39.42	c  S st   421     69897     34025    145304         0     25609    441172   2451956    167.38   no data
157.12/39.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.53/39.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
157.53/39.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.53/39.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
157.53/39.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
157.53/39.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
157.96/39.62	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.37/39.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
159.11/39.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.71/40.36	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.41 s
160.71/40.38	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
161.11/40.43	c vivif2 --  cl tried    25607 cl shrink        0 lits rem          0 time: 0.04
161.91/40.61	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.19
161.91/40.62	c calculated reachability. Time: 0.00
161.91/40.62	c  N dy   421     69897     34025    145304         0     25607    441172   2451717    167.38   no data
171.12/42.98	c  N dy   454     74386     34025    145304         0     30095    441172   3563249    167.38    186.23
181.45/45.57	c  N dy   484     79221     34025    145304         0     34929    441172   4824227    167.48    182.08
192.62/48.35	c  N dy   520     84321     34025    145304         0     40029    441172   6112607    167.41    177.43
199.40/50.08	c  F st   540     87500     34025    145304         0     22362    441172   1088925    167.32   no data
206.99/51.98	c  N st   545     90804     34025    145304         0     25666    441172   2236796    167.32   no data
219.79/55.18	c  N dy   572     96654     34025    145304         0     31516    441172   4047988    167.44    177.55
233.71/58.64	c  N dy   615    102952     34025    145304         0     37814    441172   5675770    167.44    177.26
237.69/59.63	c  S st   626    104845     34025    145304         0     39707    441172   6146904    167.36   no data
238.90/59.91	c  S st   626    105350     34025    145304         0     40212    441172   6227352    167.36   no data
238.90/59.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
239.30/60.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
239.30/60.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.30/60.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
239.70/60.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
239.70/60.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
239.70/60.13	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
240.50/60.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
242.09/60.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
248.87/62.43	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.64 s
248.87/62.45	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
249.27/62.56	c vivif2 --  cl tried    40207 cl shrink        0 lits rem          0 time: 0.11
250.11/62.77	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.21
250.11/62.78	c calculated reachability. Time: 0.00
250.11/62.78	c  N dy   626    105350     34025    145304         0     40207    441172   6223211    167.36   no data
265.62/66.68	c  N dy   674    112191     34025    145304         0     24616    441172   1257038    167.68    177.46
281.22/70.53	c  N dy   721    119455     34025    145304         0     31880    441172   3094678    167.67    176.63
297.94/74.72	c  N dy   771    127095     34025    145304         0     39520    441172   5078744    167.69    178.18
316.33/79.32	c  N dy   823    135285     34025    145304         0     23992    441172    693589    167.46    180.25
335.03/84.01	c  N dy   886    144096     34025    145304         0     32803    441172   2966540    167.57    188.06
354.98/89.03	c  N dy   948    153313     34025    145304         0     42019    441172   5335622    167.63    177.86
365.74/91.70	c  S st   980    158025     34025    145304         0     46731    441172   6542972    167.65    165.21
366.94/92.00	c  S st   980    158530     34025    145304         0     47236    441172   6639633    167.65   no data
366.94/92.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
367.34/92.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
367.34/92.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.74/92.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
367.74/92.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
367.74/92.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
367.74/92.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
368.15/92.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
370.14/92.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
379.31/95.17	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.28 s
379.31/95.19	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
380.11/95.31	c vivif2 --  cl tried    47234 cl shrink        0 lits rem          0 time: 0.12
380.91/95.54	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.23
380.91/95.55	c calculated reachability. Time: 0.00
380.91/95.55	c  N dy   980    158530     34025    145304         0     47234    441172   6639209    167.65   no data
402.85/101.08	c  N dy  1048    168744     34025    145304         0     32593    441172   2549556    167.62    177.31
426.78/107.05	c  N dy  1122    179603     34025    145304         0     43452    441172   5318237    167.63    177.34
452.71/113.55	c  N dy  1194    191207     34025    145304         0     29130    441172   1355309    167.58    178.30
479.84/120.36	c  N dy  1284    203477     34025    145304         0     41400    441172   4573413    167.87    195.52
510.16/127.98	c  N dy  1374    216577     34025    145304         0     27537    441172    703889    168.01    184.19
540.47/135.55	c  N dy  1472    230443     34025    145304         0     41401    441172   4237958    168.02    179.27
556.83/139.70	c  S st  1521    237795     34025    145304         0     48751    441172   6103143    167.99    141.28
558.42/140.01	c  S st  1521    238296     34025    145304         0     49252    441172   6211294    167.99   no data
558.42/140.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
558.82/140.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
558.82/140.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.22/140.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
559.22/140.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
559.22/140.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
559.22/140.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
560.02/140.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
561.22/140.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
570.83/143.15	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.34 s
570.83/143.17	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
571.18/143.29	c vivif2 --  cl tried    49249 cl shrink        0 lits rem          0 time: 0.11
572.38/143.51	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.23
572.38/143.53	c calculated reachability. Time: 0.00
572.38/143.53	c  N dy  1521    238296     34025    145304         0     49249    441172   6209357    167.99   no data
606.69/152.19	c  N dy  1630    253568     34025    145304         0     36540    441172   2732472    168.03    184.76
643.80/161.43	c  N dy  1739    269763     34025    145304         0     52735    441172   6911118    168.14    182.79
683.28/171.36	c  N dy  1856    287111     34025    145304         0     41093    441172   3662612    168.21    178.77
725.96/182.02	c  N dy  1983    305578     34025    145304         0     59558    441172   8405716    168.18    179.04
727.57/182.47	c  F st  1988    306251     34025    145304         0     30237    441172    551110    168.19    135.04
771.05/193.38	c  N dy  2082    325281     34025    145304         0     49267    441172   6082411    168.09    179.44
817.71/205.01	c  N dy  2221    345324     34025    145304         0     38311    441172   2380480    168.16    199.30
845.64/212.02	c  S st  2312    357445     34025    145304         0     50432    441172   5517476    168.28   no data
846.88/212.33	c  S st  2312    357949     34025    145304         0     50936    441172   5616049    168.28   no data
846.88/212.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
847.27/212.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
847.63/212.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.63/212.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
847.63/212.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
847.63/212.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
847.63/212.57	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
848.42/212.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
849.62/213.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
858.40/215.28	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.18 s
858.80/215.30	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
859.20/215.40	c vivif2 --  cl tried    50930 cl shrink        0 lits rem          0 time: 0.10
860.03/215.64	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.23
860.03/215.65	c calculated reachability. Time: 0.00
860.03/215.65	c  N dy  2312    357949     34025    145304         0     50930    441172   5611672    168.28   no data
906.67/227.31	c  N dy  2450    378015     34025    145304         0     38999    441172   2305471    168.39    177.34
953.73/239.15	c  N dy  2591    398191     34025    145304         0     59174    441172   7489003    168.40    177.42
999.21/250.56	c  N dy  2721    418230     34025    145304         0     46210    441172   3867165    168.28    177.41
1047.48/262.66	c  N dy  2866    438506     34025    145304         0     66485    441172   9117555    168.40    177.57
1093.75/274.26	c  N dy  3007    458596     34025    145304         0     52574    441172   5343746    168.48    193.73
1142.01/286.33	c  N dy  3140    478650     34025    145304         0     37630    441172   1186120    168.53    178.93
1188.30/297.96	c  N dy  3275    498767     34025    145304         0     57746    441172   6400859    168.55    180.29
1237.39/310.31	c  N dy  3418    519141     34025    145304         0     42124    441172   2081827    168.64    179.99
1278.84/320.68	c  S st  3540    536923     34025    145304         0     59905    441172   6701115    168.63    170.18
1280.04/320.99	c  S st  3540    537425     34025    145304         0     60407    441172   6781474    168.63   no data
1280.44/321.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1280.84/321.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1280.84/321.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1280.84/321.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1280.84/321.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1281.27/321.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
1281.27/321.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1282.02/321.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1283.63/321.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1295.99/324.99	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.14 s
1296.39/325.02	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
1296.79/325.14	c vivif2 --  cl tried    60404 cl shrink        0 lits rem          0 time: 0.13
1297.59/325.39	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.25
1297.99/325.40	c calculated reachability. Time: 0.00
1297.99/325.40	c  N dy  3540    537425     34025    145304         0     60404    441172   6781103    168.63   no data
1346.66/337.62	c  N dy  3683    557452     34025    145304         0     43434    441172   2151560    168.72    180.64
1394.52/349.66	c  N dy  3828    577595     34025    145304         0     63576    441172   7374108    168.77    177.69
1443.19/361.85	c  N dy  3973    597708     34025    145304         0     45687    441172   2551767    168.83    182.45
1491.06/373.81	c  N dy  4107    617857     34025    145304         0     65835    441172   7723267    168.81    178.11
1539.73/386.05	c  N dy  4254    637860     34025    145304         0     46838    441172   2564375    168.94    187.98
1587.99/398.11	c  N dy  4393    657915     34025    145304         0     66892    441172   7724796    168.97    180.04
1637.10/410.50	c  N dy  4534    678030     34025    145304         0     47007    441172   2308850    169.07    183.11
1686.51/422.90	c  N dy  4677    698106     34025    145304         0     67081    441172   7541020    169.16    188.14
1737.18/435.53	c  N dy  4819    718140     34025    145304         0     46117    441172   1813808    169.24    188.45
1784.64/447.46	c  N dy  4954    738184     34025    145304         0     66158    441172   7022867    169.23    180.32
1834.90/460.03	c  N dy  5084    758218     34025    145304         0     44195    441172   1068021    169.24    195.57
1882.42/472.01	c  N dy  5223    778280     34025    145304         0     64257    441172   6299614    169.30    201.48
1934.23/484.95	c  N dy  5366    798413     34025    145304         0     84390    441172  11527943    169.31    179.30
1953.02/489.62	c  S st  5419    806137     34025    145304         0     49116    441172   2082052    169.33    149.72
1954.17/489.93	c  S st  5419    806638     34025    145304         0     49617    441172   2197067    169.33   no data
1954.17/489.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1954.57/490.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1954.98/490.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1954.98/490.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1954.98/490.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1954.98/490.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
1954.98/490.16	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1955.77/490.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1956.17/490.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1958.96/491.18	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.71 s
1959.36/491.21	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
1959.36/491.25	c vivif2 --  cl tried    49616 cl shrink        0 lits rem          0 time: 0.04
1960.16/491.48	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.23
1960.16/491.49	c calculated reachability. Time: 0.00
1960.16/491.49	c  N dy  5419    806638     34025    145304         0     49616    441172   2196412    169.33   no data
2008.82/503.68	c  N dy  5557    826741     34025    145304         0     69716    441172   7433817    169.40    180.85
2060.29/516.56	c  N dy  5692    846837     34025    145304         0     45814    441172    988794    169.46    195.70
2108.55/528.67	c  N dy  5824    867012     34025    145304         0     65988    441172   6255123    169.47    181.70
2160.00/541.53	c  N dy  5956    887085     34025    145304         0     86061    441172  11458281    169.44    179.00
2208.27/553.67	c  N dy  6084    907110     34025    145304         0     61087    441172   4712066    169.44    205.37
2258.93/566.33	c  N dy  6218    927203     34025    145304         0     81179    441172   9914139    169.48    178.67
2309.19/578.94	c  N dy  6357    947243     34025    145304         0     55223    441172   2927537    169.51    180.66
2359.06/591.46	c  N dy  6494    967282     34025    145304         0     75262    441172   8205586    169.55    178.55
2411.71/604.64	c  N dy  6624    987477     34025    145304         0     48454    441172    889408    169.51    187.44
2459.98/616.76	c  N dy  6759   1007612     34025    145304         0     68589    441172   6125670    169.52    178.48
2511.84/629.72	c  N dy  6893   1027691     34025    145304         0     88668    441172  11327464    169.51    178.45
2562.10/642.33	c  N dy  7032   1047770     34025    145304         0     60746    441172   3825680    169.52    184.25
2612.75/655.00	c  N dy  7165   1067863     34025    145304         0     80839    441172   9139754    169.56    181.43
2622.73/657.59	c  F st  7191   1071876     34025    145304         0     84852    441172  10158375    169.54    122.11
2665.81/668.33	c  N dy  7270   1087966     34025    145304         0     51952    441172   1301717    169.56    180.28
2715.28/680.74	c  N dy  7409   1108307     34025    145304         0     72293    441172   6559768    169.57    179.07
2767.92/693.99	c  N dy  7545   1128391     34025    145304         0     92377    441172  11809832    169.63    182.29
2818.58/706.69	c  N dy  7687   1148450     34025    145304         0     62430    441172   3792003    169.68    234.65
2870.44/719.64	c  N dy  7831   1168617     34025    145304         0     82597    441172   9029832    169.71    180.12
2925.08/733.34	c  N dy  7965   1188735     34025    145304         0     51717    441172    720927    169.72    179.14
2974.15/745.67	c  N dy  8102   1208905     34025    145304         0     71885    441172   5938024    169.73    184.95
2976.94/746.37	c  S st  8110   1209957     34025    145304         0     72937    441172   6199431    169.72    180.80
2978.54/746.73	c  S st  8110   1210462     34025    145304         0     73442    441172   6292444    169.72   no data
2978.54/746.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2979.37/746.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.15
2979.37/746.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2979.37/746.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2979.37/746.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2979.37/746.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
2979.37/747.01	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2980.53/747.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2982.13/747.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2995.29/750.90	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.26 s
2995.29/750.93	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
2995.69/751.05	c vivif2 --  cl tried    73438 cl shrink        0 lits rem          0 time: 0.12
2996.92/751.32	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.27
2996.92/751.33	c calculated reachability. Time: 0.00
2996.92/751.33	c  N dy  8110   1210462     34025    145304         0     73438    441172   6290016    169.72   no data
3049.98/764.63	c  N dy  8243   1230558     34025    145304         0     93532    441172  11540095    169.72    179.14
3101.79/777.61	c  N dy  8377   1250582     34025    145304         0     61559    441172   3034151    169.72    181.51
3152.45/790.31	c  N dy  8511   1270692     34025    145304         0     81669    441172   8187424    169.69    179.04
3206.31/803.83	c  N dy  8646   1290693     34025    145304         0    101670    441172  13380846    169.70    185.52
3256.95/816.53	c  N dy  8782   1310810     34025    145304         0     68788    441172   4598990    169.70    179.04
3309.21/829.65	c  N dy  8913   1330876     34025    145304         0     88854    441172   9810229    169.69    183.18
3365.49/843.76	c  N dy  9063   1351023     34025    145304         0     54999    441172    851793    169.73    185.27
3415.32/856.21	c  N dy  9200   1371027     34025    145304         0     75001    441172   6050820    169.75    195.85
3468.77/869.67	c  N dy  9340   1391200     34025    145304         0     95172    441172  11294939    169.78    179.15
3523.85/883.45	c  N dy  9481   1411346     34025    145304         0     60318    441172   1899658    169.80    188.01
3574.48/896.10	c  N dy  9615   1431399     34025    145304         0     80370    441172   7159158    169.81    182.20
3629.17/909.86	c  N dy  9758   1451593     34025    145304         0    100563    441172  12439022    169.83    183.05
3682.97/923.35	c  N dy  9899   1471625     34025    145304         0     64602    441172   2797966    169.86    179.78
3735.23/936.45	c  N dy 10050   1491661     34025    145304         0     84637    441172   8144337    169.94    183.32
3790.67/950.31	c  N dy 10191   1511757     34025    145304         0    104731    441172  13419915    169.96    191.87
3843.33/963.57	c  N dy 10330   1531767     34025    145304         0     67739    441172   3336729    169.95    183.93
3895.19/976.50	c  N dy 10466   1551811     34025    145304         0     87782    441172   8580471    169.96    182.73
3950.63/990.50	c  N dy 10609   1571822     34025    145304         0    107792    441172  13848868    170.01    191.89
4004.08/1003.89	c  N dy 10755   1591836     34025    145304         0     69810    441172   3713650    170.06    187.42
4056.34/1016.91	c  N dy 10887   1611862     34025    145304         0     89834    441172   8939839    170.07    203.96
4113.37/1031.22	c  N dy 11037   1632048     34025    145304         0    110020    441172  14234781    170.11    180.57
4166.43/1044.56	c  N dy 11180   1652169     34025    145304         0     71143    441172   3742236    170.11    181.52
4219.08/1057.79	c  N dy 11310   1672386     34025    145304         0     91360    441172   9058978    170.12    180.22
4275.73/1071.96	c  N dy 11446   1692524     34025    145304         0    111498    441172  14363130    170.14    179.63
4324.39/1084.17	c  S st 11572   1710462     34025    145304         0     69441    441172   3070154    170.15    144.06
4326.00/1084.51	c  S st 11572   1710963     34025    145304         0     69942    441172   3171282    170.15   no data
4326.00/1084.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4326.43/1084.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4326.83/1084.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4326.83/1084.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4326.83/1084.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4326.83/1084.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
4326.83/1084.76	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4327.58/1084.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
4328.38/1085.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4336.35/1087.12	c lits-rem:        12  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.97 s
4336.35/1087.15	c vivif2 --  cl tried   145304 cl shrink        0 lits rem          0 time: 0.02
4336.76/1087.21	c vivif2 --  cl tried    69938 cl shrink        0 lits rem          0 time: 0.06
4337.56/1087.48	c asymm  cl-useful: 0/145304/145304 lits-rem:0 time: 0.27
4337.56/1087.49	c calculated reachability. Time: 0.00
4337.56/1087.49	c  N dy 11572   1710963     34025    145304         0     69938    441172   3168501    170.15   no data
4390.61/1100.72	c  N dy 11706   1731154     34025    145304         0     90128    441172   8516559    170.17    181.44
4446.45/1114.78	c  N dy 11845   1751176     34025    145304         0    110149    441172  13761745    170.19    182.18
4501.94/1128.61	c  N dy 11978   1771335     34025    145304         0     69305    441172   2756108    170.19    180.84
4553.36/1141.57	c  N dy 12108   1791371     34025    145304         0     89341    441172   7972861    170.19    187.01
4610.00/1155.73	c  N dy 12257   1811433     34025    145304         0    109403    441172  13224187    170.23    215.95
4666.24/1169.88	c  N dy 12393   1831465     34025    145304         0     67437    441172   2008736    170.23    184.66
4717.70/1182.78	c  N dy 12526   1851516     34025    145304         0     87488    441172   7213349    170.22    184.21
4774.74/1197.01	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366277-1305400623/watcher-3366277-1305400623 -o /tmp/evaluation-result-3366277-1305400623/solver-3366277-1305400623 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366277-1305400623.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.49 8.00 8.04 6/339 31449
/proc/meminfo: memFree=17780836/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=51168 CPUtime=0.02 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 412 0 0 0 2 0 0 0 25 0 4 0 651663217 52396032 352 33554432000 4194304 4580107 140734492553008 18446744073709551615 47150566274585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 12792 352 302 95 0 7774 0
[pid=31449/tid=31450] ppid=31447 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651663217 52396032 352 33554432000 4194304 4580107 140734492553008 18446744073709551615 47150566274576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651663217 52396032 352 33554432000 4194304 4580107 140734492553008 18446744073709551615 47150566274994 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651663217 52396032 352 33554432000 4194304 4580107 140734492553008 18446744073709551615 47150566274585 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.101342 s]
/proc/loadavg: 7.49 8.00 8.04 6/339 31449
/proc/meminfo: memFree=17780836/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=321272 CPUtime=0.36 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 23034 0 0 0 31 5 0 0 25 0 4 0 651663217 328982528 18813 33554432000 4194304 4580107 140734492553008 18446744073709551615 4487413 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 80318 18813 337 95 0 75300 0
[pid=31449/tid=31450] ppid=31447 vsize=321272 CPUtime=0.09 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 5633 0 0 0 8 1 0 0 25 0 4 0 651663217 328982528 18813 33554432000 4194304 4580107 140734492553008 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=321272 CPUtime=0.08 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 5662 0 0 0 7 1 0 0 25 0 4 0 651663217 328982528 18815 33554432000 4194304 4580107 140734492553008 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=321272 CPUtime=0.08 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 5667 0 0 0 8 0 0 0 25 0 4 0 651663217 328982528 18815 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 321272

[startup+0.200324 s]
/proc/loadavg: 7.49 8.00 8.04 6/339 31449
/proc/meminfo: memFree=17780836/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=324244 CPUtime=0.75 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 26816 0 0 0 70 5 0 0 25 0 4 0 651663217 332025856 22595 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293121 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 81061 22595 358 95 0 76043 0
[pid=31449/tid=31450] ppid=31447 vsize=324244 CPUtime=0.18 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6570 0 0 0 17 1 0 0 25 0 4 0 651663217 332025856 22595 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=324244 CPUtime=0.17 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6597 0 0 0 16 1 0 0 25 0 4 0 651663217 332025856 22595 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=324244 CPUtime=0.18 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6634 0 0 0 17 1 0 0 25 0 4 0 651663217 332025856 22595 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 324244

[startup+0.300305 s]
/proc/loadavg: 7.49 8.00 8.04 6/339 31449
/proc/meminfo: memFree=17780836/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=324244 CPUtime=1.15 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 26879 0 0 0 110 5 0 0 25 0 4 0 651663217 332025856 22658 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 81061 22658 359 95 0 76043 0
[pid=31449/tid=31450] ppid=31447 vsize=324244 CPUtime=0.28 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6570 0 0 0 27 1 0 0 25 0 4 0 651663217 332025856 22658 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=324244 CPUtime=0.27 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6599 0 0 0 26 1 0 0 25 0 4 0 651663217 332025856 22658 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=324244 CPUtime=0.28 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6694 0 0 0 27 1 0 0 25 0 4 0 651663217 332025856 22658 33554432000 4194304 4580107 140734492553008 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 324244

[startup+0.700236 s]
/proc/loadavg: 7.49 8.00 8.04 6/339 31449
/proc/meminfo: memFree=17780836/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=344320 CPUtime=2.75 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 49721 0 0 0 265 10 0 0 25 0 4 0 651663217 352583680 36497 33554432000 4194304 4580107 140734492553008 18446744073709551615 4442134 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 86080 36381 373 95 0 81062 0
[pid=31449/tid=31450] ppid=31447 vsize=344320 CPUtime=0.69 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 13677 0 0 0 66 3 0 0 25 0 4 0 651663217 352583680 36381 33554432000 4194304 4580107 140734492553008 18446744073709551615 4395764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=344320 CPUtime=0.67 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 14356 0 0 0 64 3 0 0 25 0 4 0 651663217 352583680 36381 33554432000 4194304 4580107 140734492553008 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=344320 CPUtime=0.68 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 6909 0 0 0 67 1 0 0 25 0 4 0 651663217 352583680 36381 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 344320

[startup+1.50109 s]
/proc/loadavg: 7.49 8.00 8.04 10/343 31454
/proc/meminfo: memFree=17603728/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=344320 CPUtime=5.94 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 53268 0 0 0 583 11 0 0 25 0 4 0 651663217 352583680 38195 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 86080 38195 377 95 0 81062 0
[pid=31449/tid=31450] ppid=31447 vsize=344320 CPUtime=1.48 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 14691 0 0 0 145 3 0 0 25 0 4 0 651663217 352583680 38195 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=344320 CPUtime=1.46 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 15372 0 0 0 143 3 0 0 25 0 4 0 651663217 352583680 38195 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=344320 CPUtime=1.48 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 7398 0 0 0 147 1 0 0 25 0 4 0 651663217 352583680 38195 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 344320

[startup+3.10081 s]
/proc/loadavg: 7.49 8.00 8.04 9/343 31454
/proc/meminfo: memFree=17578060/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=477224 CPUtime=12.33 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 57361 0 0 0 1221 12 0 0 25 0 4 0 651663217 488677376 42288 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 119306 42288 377 95 0 114288 0
[pid=31449/tid=31450] ppid=31447 vsize=477224 CPUtime=3.08 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 15630 0 0 0 305 3 0 0 25 0 4 0 651663217 488677376 42288 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=477224 CPUtime=3.05 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 16318 0 0 0 301 4 0 0 25 0 4 0 651663217 488677376 42288 33554432000 4194304 4580107 140734492553008 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=477224 CPUtime=3.08 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 8677 0 0 0 307 1 0 0 25 0 4 0 651663217 488677376 42288 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 477224

[startup+6.30024 s]
/proc/loadavg: 7.61 8.02 8.05 9/343 31454
/proc/meminfo: memFree=17511844/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=477368 CPUtime=25.09 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 64162 0 0 0 2495 14 0 0 25 0 4 0 651663217 488824832 49089 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 119342 49089 377 95 0 114324 0
[pid=31449/tid=31450] ppid=31447 vsize=477368 CPUtime=6.29 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 17321 0 0 0 625 4 0 0 25 0 4 0 651663217 488824832 49089 33554432000 4194304 4580107 140734492553008 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=477368 CPUtime=6.22 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 18011 0 0 0 617 5 0 0 25 0 4 0 651663217 488824832 49089 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=477368 CPUtime=6.28 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 10398 0 0 0 626 2 0 0 25 0 4 0 651663217 488824832 49089 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 477368

[startup+12.7011 s]
/proc/loadavg: 7.64 8.02 8.05 9/343 31454
/proc/meminfo: memFree=17448284/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=376704 CPUtime=50.62 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 84202 0 0 0 5043 19 0 0 25 0 4 0 651663217 385744896 45026 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 94176 45026 378 95 0 89158 0
[pid=31449/tid=31450] ppid=31447 vsize=376704 CPUtime=12.69 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 22387 0 0 0 1264 5 0 0 25 0 4 0 651663217 385744896 45026 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=376704 CPUtime=12.54 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 22984 0 0 0 1248 6 0 0 25 0 4 0 651663217 385744896 45026 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=376704 CPUtime=12.68 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 15431 0 0 0 1265 3 0 0 25 0 4 0 651663217 385744896 45026 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 376704

[startup+25.5008 s]
/proc/loadavg: 7.72 8.01 8.04 9/343 31454
/proc/meminfo: memFree=17103192/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=606416 CPUtime=101.67 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 183112 0 0 0 10124 43 0 0 25 0 4 0 651663217 620969984 107175 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 151604 107175 379 95 0 146586 0
[pid=31449/tid=31450] ppid=31447 vsize=606416 CPUtime=25.48 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 60453 0 0 0 2534 14 0 0 25 0 4 0 651663217 620969984 107175 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=606416 CPUtime=25.2 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 39837 0 0 0 2510 10 0 0 25 0 4 0 651663217 620969984 107175 33554432000 4194304 4580107 140734492553008 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=606416 CPUtime=25.48 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 30226 0 0 0 2541 7 0 0 25 0 4 0 651663217 620969984 107175 33554432000 4194304 4580107 140734492553008 18446744073709551615 4451726 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 606416

[startup+51.1013 s]
/proc/loadavg: 7.88 8.03 8.05 9/343 31455
/proc/meminfo: memFree=16752308/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=810788 CPUtime=203.8 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 261796 0 0 0 20312 68 0 0 25 0 4 0 651663217 830246912 141218 33554432000 4194304 4580107 140734492553008 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 202697 141218 379 95 0 197679 0
[pid=31449/tid=31450] ppid=31447 vsize=810788 CPUtime=51.08 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 77696 0 0 0 5089 19 0 0 25 0 4 0 651663217 830246912 141218 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=810788 CPUtime=50.52 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 60719 0 0 0 5036 16 0 0 25 0 4 0 651663217 830246912 141218 33554432000 4194304 4580107 140734492553008 18446744073709551615 4451559 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=810788 CPUtime=51.08 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 49381 0 0 0 5095 13 0 0 25 0 4 0 651663217 830246912 141218 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 810788

[startup+102.301 s]
/proc/loadavg: 8.15 8.07 8.06 9/343 31456
/proc/meminfo: memFree=16422064/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1165568 CPUtime=408.08 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 381595 0 0 0 40702 106 0 0 25 0 4 0 651663217 1193541632 196415 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293812 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 291392 196415 379 95 0 286374 0
[pid=31449/tid=31450] ppid=31447 vsize=1165568 CPUtime=102.29 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 99890 0 0 0 10203 26 0 0 25 0 4 0 651663217 1193541632 196415 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1165568 CPUtime=101.16 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 84405 0 0 0 10092 24 0 0 25 0 4 0 651663217 1193541632 196415 33554432000 4194304 4580107 140734492553008 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1165568 CPUtime=102.29 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 74619 0 0 0 10207 22 0 0 25 0 4 0 651663217 1193541632 196415 33554432000 4194304 4580107 140734492553008 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 1165568

[startup+162.301 s]

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

[pid=31449] ppid=31447 vsize=1604092 CPUtime=2801.42 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1372545 0 0 0 279662 480 0 0 25 0 4 0 651663217 1642590208 315948 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 401023 315948 379 95 0 396005 0
[pid=31449/tid=31450] ppid=31447 vsize=1604092 CPUtime=701.88 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 349594 0 0 0 70066 122 0 0 25 0 4 0 651663217 1642590208 315948 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1604092 CPUtime=694.97 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 340685 0 0 0 69379 118 0 0 25 0 4 0 651663217 1642590208 315948 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1604092 CPUtime=702.28 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 312729 0 0 0 70122 106 0 0 25 0 4 0 651663217 1642590208 315948 33554432000 4194304 4580107 140734492553008 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 1604092

[startup+762.301 s]
/proc/loadavg: 8.18 8.14 8.09 9/343 31474
/proc/meminfo: memFree=15435572/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1604820 CPUtime=3040.8 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1459529 0 0 0 303564 516 0 0 25 0 4 0 651663217 1643335680 327633 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 401205 327633 379 95 0 396187 0
[pid=31449/tid=31450] ppid=31447 vsize=1604820 CPUtime=761.23 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 373165 0 0 0 75994 129 0 0 25 0 4 0 651663217 1643335680 327633 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1604820 CPUtime=754.99 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 367387 0 0 0 75369 130 0 0 25 0 4 0 651663217 1643335680 327633 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1604820 CPUtime=762.28 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 329720 0 0 0 76115 113 0 0 25 0 4 0 651663217 1643335680 327633 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.8
Current children cumulated vsize (KiB) 1604820

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 8.09 9/343 31475
/proc/meminfo: memFree=15458736/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1667852 CPUtime=3280.1 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1552626 0 0 0 327458 552 0 0 25 0 4 0 651663217 1707880448 340406 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 416963 340406 379 95 0 411945 0
[pid=31449/tid=31450] ppid=31447 vsize=1667852 CPUtime=820.56 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 396147 0 0 0 81919 137 0 0 25 0 4 0 651663217 1707880448 340406 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1667852 CPUtime=814.98 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 389195 0 0 0 81359 139 0 0 25 0 4 0 651663217 1707880448 340406 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1667852 CPUtime=822.27 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 351317 0 0 0 82107 120 0 0 25 0 4 0 651663217 1707880448 340406 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.1
Current children cumulated vsize (KiB) 1667852

[startup+882.313 s]
/proc/loadavg: 8.16 8.14 8.09 9/343 31477
/proc/meminfo: memFree=15476940/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1672776 CPUtime=3519.47 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1645513 0 0 0 351360 587 0 0 25 0 4 0 651663217 1712922624 330028 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 418194 330028 379 95 0 413176 0
[pid=31449/tid=31450] ppid=31447 vsize=1672776 CPUtime=879.91 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 422408 0 0 0 87846 145 0 0 25 0 4 0 651663217 1712922624 330028 33554432000 4194304 4580107 140734492553008 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1672776 CPUtime=874.99 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 413948 0 0 0 87352 147 0 0 25 0 4 0 651663217 1712922624 330028 33554432000 4194304 4580107 140734492553008 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1672776 CPUtime=882.28 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 370880 0 0 0 88098 130 0 0 25 0 4 0 651663217 1712922624 330028 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.47
Current children cumulated vsize (KiB) 1672776

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 8.09 9/343 31479
/proc/meminfo: memFree=15327504/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1673060 CPUtime=3758.76 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1735686 0 0 0 375250 626 0 0 25 0 4 0 651663217 1713213440 353181 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293208 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 418265 353181 379 95 0 413247 0
[pid=31449/tid=31450] ppid=31447 vsize=1673060 CPUtime=939.24 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 446920 0 0 0 93769 155 0 0 25 0 4 0 651663217 1713213440 353181 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1673060 CPUtime=934.98 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 435038 0 0 0 93342 156 0 0 25 0 4 0 651663217 1713213440 353181 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1673060 CPUtime=942.26 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 390227 0 0 0 94087 139 0 0 25 0 4 0 651663217 1713213440 353181 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 1673060

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 8.09 9/343 31480
/proc/meminfo: memFree=15407828/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1671772 CPUtime=3998.09 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1823772 0 0 0 399145 664 0 0 25 0 4 0 651663217 1711894528 331870 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 417943 331870 379 95 0 412925 0
[pid=31449/tid=31450] ppid=31447 vsize=1671772 CPUtime=998.58 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 469067 0 0 0 99693 165 0 0 25 0 4 0 651663217 1711894528 331870 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1671772 CPUtime=994.97 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 458037 0 0 0 99331 166 0 0 25 0 4 0 651663217 1711894528 331870 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1671772 CPUtime=1002.26 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 410993 0 0 0 100078 148 0 0 25 0 4 0 651663217 1711894528 331870 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.09
Current children cumulated vsize (KiB) 1671772

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/343 31482
/proc/meminfo: memFree=15045592/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1674812 CPUtime=4237.44 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1912741 0 0 0 423047 697 0 0 25 0 4 0 651663217 1715007488 350396 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 418703 350396 379 95 0 413685 0
[pid=31449/tid=31450] ppid=31447 vsize=1674812 CPUtime=1057.93 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 493418 0 0 0 105619 174 0 0 25 0 4 0 651663217 1715007488 350396 33554432000 4194304 4580107 140734492553008 18446744073709551615 4318440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1674812 CPUtime=1054.97 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 478946 0 0 0 105323 174 0 0 25 0 4 0 651663217 1715007488 350396 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1674812 CPUtime=1062.26 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 429933 0 0 0 106071 155 0 0 25 0 4 0 651663217 1715007488 350396 33554432000 4194304 4580107 140734492553008 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.44
Current children cumulated vsize (KiB) 1674812

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/343 31483
/proc/meminfo: memFree=15093668/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1610224 CPUtime=4476.77 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 1994381 0 0 0 446944 733 0 0 25 0 4 0 651663217 1648869376 330451 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 402556 330451 379 95 0 397538 0
[pid=31449/tid=31450] ppid=31447 vsize=1610224 CPUtime=1117.27 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 514975 0 0 0 111543 184 0 0 25 0 4 0 651663217 1648869376 330451 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1610224 CPUtime=1114.97 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 501542 0 0 0 111313 184 0 0 25 0 4 0 651663217 1648869376 330451 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1610224 CPUtime=1122.26 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 448409 0 0 0 112064 162 0 0 25 0 4 0 651663217 1648869376 330451 33554432000 4194304 4580107 140734492553008 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.77
Current children cumulated vsize (KiB) 1610224

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/343 31485
/proc/meminfo: memFree=15044404/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1740220 CPUtime=4716.11 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 2088848 0 0 0 470845 766 0 0 25 0 4 0 651663217 1781985280 354979 33554432000 4194304 4580107 140734492553008 18446744073709551615 4318695 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 435055 354979 379 95 0 430037 0
[pid=31449/tid=31450] ppid=31447 vsize=1740220 CPUtime=1176.62 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 537703 0 0 0 117471 191 0 0 25 0 4 0 651663217 1781985280 354979 33554432000 4194304 4580107 140734492553008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1740220 CPUtime=1174.97 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 526406 0 0 0 117303 194 0 0 25 0 4 0 651663217 1781985280 354979 33554432000 4194304 4580107 140734492553008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1740220 CPUtime=1182.26 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 469054 0 0 0 118056 170 0 0 25 0 4 0 651663217 1781985280 354979 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.11
Current children cumulated vsize (KiB) 1740220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 7.89 8.06 8.08 6/338 31487
/proc/meminfo: memFree=16273772/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1871924 CPUtime=4800.36 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 2141904 0 0 0 479250 786 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 467981 392577 379 95 0 462963 0
[pid=31449/tid=31450] ppid=31447 vsize=1871924 CPUtime=1197.5 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 545225 0 0 0 119555 195 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1871924 CPUtime=1196.09 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 558548 0 0 0 119406 203 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1871924 CPUtime=1203.38 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 474691 0 0 0 120165 173 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1871924

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

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

[startup+1203.4 s]
/proc/loadavg: 7.89 8.06 8.08 6/338 31487
/proc/meminfo: memFree=16273772/32951124 swapFree=67056804/67111528
[pid=31449] ppid=31447 vsize=1871924 CPUtime=4800.36 cores=1,3,5,7
/proc/31449/stat : 31449 (strangenight2-m) R 31447 31449 31208 0 -1 4202496 2141904 0 0 0 479250 786 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31449/statm: 467981 392577 379 95 0 462963 0
[pid=31449/tid=31450] ppid=31447 vsize=1871924 CPUtime=1197.5 cores=1,3,5,7
/proc/31449/task/31450/stat : 31450 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 545225 0 0 0 119555 195 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31449/tid=31451] ppid=31447 vsize=1871924 CPUtime=1196.09 cores=1,3,5,7
/proc/31449/task/31451/stat : 31451 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 558548 0 0 0 119406 203 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31449/tid=31452] ppid=31447 vsize=1871924 CPUtime=1203.38 cores=1,3,5,7
/proc/31449/task/31452/stat : 31452 (strangenight2-m) R 31447 31449 31208 0 -1 4202560 474691 0 0 0 120165 173 0 0 25 0 4 0 651663217 1916850176 392577 33554432000 4194304 4580107 140734492553008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1871924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.5
CPU time (s): 4800.45
CPU user time (s): 4792.52
CPU system time (s): 7.92979
CPU usage (%): 398.875
Max. virtual memory (cumulated for all children) (KiB): 1871924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.52
system time used= 7.92979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2141908
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= 3049
involuntary context switches= 32964

runsolver used 3.65644 second user time and 9.51555 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 21:17:03
IDJOB=3366277
IDBENCH=82686
IDSOLVER=1844
FILE ID=node108/3366277-1305400623
RUNJOBID= node108-1305398211-31227
PBS_JOBID= 13324481
Free space on /tmp= 73544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366277-1305400623/watcher-3366277-1305400623 -o /tmp/evaluation-result-3366277-1305400623/solver-3366277-1305400623 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366277-1305400623.cnf

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

MD5SUM BENCH= 3ba69e7f651721ce4358ca0320f27486
RANDOM SEED=1789984729

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17781736 kB
Buffers:        276400 kB
Cached:        4410220 kB
SwapCached:       8700 kB
Active:       11106196 kB
Inactive:      3753048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17781736 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           15192 kB
Writeback:           0 kB
AnonPages:    10169340 kB
Mapped:          27372 kB
Slab:           207856 kB
PageTables:      37580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52396416 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= 73548 MiB
End job on node108 at 2011-05-14 21:37:08