Trace number 3173778

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.39 1203.58

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
MD5SUM425b4c5e5535f7d6b9d17ca8feb0ac3e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark78.815
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.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-3173778-1304031183.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.56/0.22	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.56/0.22	c -- vars added      20000
0.56/0.22	c Parsing time:  0.05 s
0.56/0.22	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.56/0.22	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.06
0.56/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.56/0.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.56/0.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.56/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.56/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.56/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
1.26/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    498  v-fix:    0  time:  0.11 s
1.26/0.43	c Finding binary XORs  T:     0.00 s  found:       0
1.26/0.43	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.26/0.43	c calculated reachability. Time: 0.00
1.26/0.43	c Calc default polars -  time:   0.00 s pos:    8860 undec:    2228 neg:    8912
1.26/0.43	c =========================================================================================
1.26/0.43	c types(t): F = full restart, N = normal restart
1.26/0.43	c types(t): S = simplification begin/end, E = solution found
1.26/0.43	c restart types(rt): st = static, dy = dynamic
1.26/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.26/0.43	c  B st     0         0     19502     83418         0         0    253232         0   no data   no data
5.49/1.55	c  N dy    16      4152     19502     83418         0      4151    253232    997333    130.26    139.01
10.29/2.72	c  N dy    45      8244     19502     83418         0      8243    253232   1835792    131.25    188.23
15.06/3.90	c  N dy    72     12290     19502     83418         0     12288    253232   2659971    131.13    141.26
19.66/5.13	c  N dy    97     16375     19502     83418         0     16373    253232   3479158    129.83    138.93
23.55/6.39	c  N dy   123     20514     19502     83418         0     10515    253232    657528    129.70    144.39
28.64/7.63	c  N dy   151     24594     19502     83418         0     14595    253232   1493212    129.95    138.36
29.05/7.76	c  F st   153     25000     19502     83418         0     15001    253232   1575234    129.86   no data
35.82/9.44	c  N dy   159     30001     19502     83418         0     20002    253232   2972239    129.86   no data
35.82/9.44	c  S st   159     30001     19502     83418         0     20002    253232   2972239    129.86   no data
36.62/9.60	c  S st   159     30504     19502     83418         0     20505    253232   3048039    129.86   no data
36.62/9.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
36.62/9.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
37.02/9.72	c blocked clauses removed:      354 vars:     57 tried:       19502 T: 0.01 s
37.02/9.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
37.02/9.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
37.02/9.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19445 time:  0.01 s
37.02/9.74	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
37.43/9.83	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.09 s
38.21/10.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
41.40/10.86	c lits-rem:        43  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.78 s
41.82/10.95	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.10
41.82/10.96	c calculated reachability. Time: 0.00
41.82/10.96	c  N dy   159     30504     19439     83058         0     20326    252187   2980383    129.86   no data
47.39/12.30	c  N dy   186     34530     19439     83058         0     24351    252187   3837067    130.37    137.44
53.38/13.80	c  N dy   215     38755     19439     83058         0     28576    252187   4733278    130.78    138.95
58.98/15.26	c  N dy   242     42884     19439     83058         0     17298    252187   1054146    130.93    138.38
62.56/16.17	c  S st   263     45757     19439     83058         0     20171    252187   1628233    130.66   no data
63.36/16.34	c  S st   263     46261     19439     83058         0     20675    252187   1699033    130.66   no data
63.36/16.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.78/16.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
63.78/16.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.78/16.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.78/16.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.78/16.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
63.78/16.47	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
64.18/16.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
64.55/16.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.75/16.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
65.75/16.91	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
65.75/16.94	c vivif2 --  cl tried    20675 cl shrink        0 lits rem          0 time: 0.03
66.15/17.04	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.10
66.15/17.04	c calculated reachability. Time: 0.00
66.15/17.04	c  N dy   263     46261     19439     83058         0     20675    252187   1699033    130.66   no data
71.34/18.39	c  N dy   288     50306     19439     83058         0     24720    252187   2548066    130.58    152.17
76.95/19.78	c  N dy   312     54497     19439     83058         0     28910    252187   3394486    130.28    138.93
82.92/21.20	c  N dy   337     58661     19439     83058         0     33073    252187   4220580    129.90    138.89
88.51/22.69	c  N dy   362     62839     19439     83058         0     37251    252187   5076159    129.63    140.36
94.51/24.10	c  N dy   391     67022     19439     83058         0     22730    252187   1445060    129.51    136.40
97.30/24.89	c  S st   408     69394     19439     83058         0     25102    252187   1931051    129.39   no data
98.09/25.06	c  S st   408     69895     19439     83058         0     25603    252187   1992259    129.39   no data
98.09/25.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.49/25.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
98.49/25.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98.49/25.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
98.49/25.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
98.49/25.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
98.91/25.20	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
98.91/25.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
99.31/25.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
100.89/25.74	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.34 s
100.89/25.75	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
100.89/25.79	c vivif2 --  cl tried    25602 cl shrink        0 lits rem          0 time: 0.03
101.29/25.89	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.11
101.69/25.90	c calculated reachability. Time: 0.00
101.69/25.90	c  N dy   408     69895     19439     83058         0     25602    252187   1992093    129.39   no data
107.69/27.45	c  N dy   435     74478     19439     83058         0     30185    252187   2933094    129.28    137.76
114.46/29.18	c  N dy   467     79452     19439     83058         0     35159    252187   3920112    129.14    137.72
122.04/31.03	c  N dy   503     84580     19439     83058         0     40287    252187   4973556    129.10    136.30
126.03/32.08	c  F st   526     87502     19439     83058         0     22355    252187    920852    129.17   no data
131.22/33.31	c  N st   531     90798     19439     83058         0     25651    252187   1831792    129.17   no data
139.20/35.34	c  N dy   560     96594     19439     83058         0     31447    252187   3160340    129.26    137.86
147.99/37.56	c  N dy   598    102859     19439     83058         0     37712    252187   4425754    129.12    136.57
151.19/38.34	c  S st   616    104843     19439     83058         0     39696    252187   4851376    129.30   no data
152.00/38.52	c  S st   616    105349     19439     83058         0     40202    252187   4927886    129.30   no data
152.00/38.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152.38/38.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
152.38/38.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.38/38.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
152.38/38.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
152.38/38.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
152.38/38.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.17/38.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
153.97/39.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
159.97/40.54	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.46 s
159.97/40.55	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
160.38/40.62	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.08
160.79/40.75	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.13
160.79/40.76	c calculated reachability. Time: 0.00
160.79/40.76	c  N dy   616    105349     19439     83058         0     40196    252187   4925862    129.30   no data
171.15/43.30	c  N dy   661    112202     19439     83058         0     24622    252187   1025016    129.26    137.19
181.13/45.81	c  N dy   708    119468     19439     83058         0     31888    252187   2533355    129.32    137.25
191.91/48.59	c  N dy   755    127163     19439     83058         0     39583    252187   4079501    129.16    136.05
204.30/51.63	c  N dy   806    135347     19439     83058         0     24055    252187    613415    128.99    139.07
216.27/54.67	c  N dy   874    144077     19439     83058         0     32784    252187   2423440    129.26    141.41
230.24/58.10	c  N dy   940    153339     19439     83058         0     42046    252187   4356544    129.50    187.43
237.02/59.89	c  S st   971    158023     19439     83058         0     46730    252187   5317489    129.56    125.45
237.82/60.09	c  S st   971    158526     19439     83058         0     47233    252187   5383833    129.56   no data
238.22/60.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
238.62/60.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
238.62/60.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.62/60.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
238.62/60.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
238.62/60.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
238.62/60.26	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
239.02/60.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
240.22/60.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.63/62.76	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.08 s
248.63/62.77	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
249.01/62.85	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.09
249.40/62.99	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
249.80/63.00	c calculated reachability. Time: 0.00
249.80/63.00	c  N dy   971    158526     19439     83058         0     47227    252187   5381719    129.56   no data
264.57/66.73	c  N dy  1045    168746     19439     83058         0     32592    252187   2155760    129.67    138.05
280.53/70.72	c  N dy  1121    179571     19439     83058         0     43417    252187   4349259    129.67    153.88
298.10/75.13	c  N dy  1206    191049     19439     83058         0     28973    252187   1149731    129.86    138.08
316.06/79.61	c  N dy  1292    203352     19439     83058         0     41274    252187   3666138    129.99    136.84
336.45/84.73	c  N dy  1384    216542     19439     83058         0     27499    252187    590210    130.15    139.46
356.79/89.84	c  N dy  1477    230618     19439     83058         0     41574    252187   3522214    130.19    137.64
367.97/92.60	c  S st  1523    237789     19439     83058         0     48744    252187   5003422    130.14    112.47
368.77/92.81	c  S st  1523    238294     19439     83058         0     49249    252187   5083316    130.14   no data
368.77/92.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
369.17/92.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
369.17/92.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
369.17/92.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
369.17/92.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
369.17/92.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
369.17/92.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
369.97/93.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
370.76/93.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
379.14/95.47	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.11 s
379.14/95.48	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
379.55/95.56	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.08
380.36/95.70	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
380.36/95.71	c calculated reachability. Time: 0.00
380.36/95.71	c  N dy  1523    238294     19439     83058         0     49246    252187   5081798    130.14   no data
403.10/101.44	c  N dy  1622    253606     19439     83058         0     36583    252187   2254226    130.15    137.22
427.86/107.61	c  N dy  1726    269914     19439     83058         0     52891    252187   5591464    130.12    147.42
454.21/114.22	c  N dy  1841    287223     19439     83058         0     41201    252187   2985127    130.18    160.36
482.94/121.41	c  N dy  1962    305643     19439     83058         0     59616    252187   6760495    130.19    140.60
483.74/121.69	c  F st  1968    306250     19439     83058         0     30230    252187    496435    130.21   no data
512.88/128.94	c  N dy  2065    325251     19439     83058         0     49228    252187   4996284    130.22    138.97
544.03/136.78	c  N dy  2196    345556     19439     83058         0     38542    252187   2010958    130.18    138.16
562.40/141.30	c  S st  2273    357443     19439     83058         0     50426    252187   4436986    130.12   no data
563.19/141.51	c  S st  2273    357949     19439     83058         0     50932    252187   4510125    130.12   no data
563.19/141.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
563.60/141.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
563.60/141.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
563.60/141.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
563.60/141.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
563.60/141.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
563.60/141.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
564.41/141.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
565.19/142.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
576.78/144.93	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.90 s
576.78/144.94	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
577.18/145.01	c vivif2 --  cl tried    50925 cl shrink        0 lits rem          0 time: 0.07
577.59/145.16	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
577.59/145.16	c calculated reachability. Time: 0.00
577.59/145.16	c  N dy  2273    357949     19439     83058         0     50925    252187   4507452    130.12   no data
609.52/153.10	c  N dy  2408    378043     19439     83058         0     39020    252187   1920477    130.20    138.29
641.45/161.11	c  N dy  2536    398101     19439     83058         0     59077    252187   6041942    130.19    143.88
672.59/168.98	c  N dy  2668    418213     19439     83058         0     46186    252187   3169978    130.25    143.18
705.36/177.11	c  N dy  2792    438326     19439     83058         0     66298    252187   7330834    130.21    138.77
736.10/184.84	c  N dy  2928    458360     19439     83058         0     52339    252187   4209068    130.25    146.77
769.22/193.15	c  N dy  3060    478490     19439     83058         0     37472    252187    956979    130.29    146.00
800.38/200.96	c  N dy  3192    498511     19439     83058         0     57492    252187   5127920    130.36    137.49
833.12/209.16	c  N dy  3316    518589     19439     83058         0     41574    252187   1579109    130.32    145.04
861.87/216.37	c  S st  3435    536923     19439     83058         0     59907    252187   5290894    130.26   no data
862.67/216.59	c  S st  3435    537426     19439     83058         0     60410    252187   5362604    130.26   no data
862.67/216.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
863.49/216.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
863.49/216.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
863.49/216.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
863.49/216.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
863.49/216.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
863.49/216.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
864.27/216.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
865.07/217.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
875.85/219.88	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.71 s
875.85/219.89	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
876.26/219.98	c vivif2 --  cl tried    60404 cl shrink        0 lits rem          0 time: 0.09
877.04/220.14	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.16
877.04/220.14	c calculated reachability. Time: 0.00
877.04/220.14	c  N dy  3435    537426     19439     83058         0     60404    252187   5360842    130.26   no data
910.58/228.52	c  N dy  3571    557639     19439     83058         0     43617    252187   1805769    130.32    138.53
942.55/236.56	c  N dy  3704    577688     19439     83058         0     63665    252187   5985967    130.37    138.84
975.67/244.87	c  N dy  3838    597693     19439     83058         0     45671    252187   2061824    130.39    137.68
1008.43/253.05	c  N dy  3975    617753     19439     83058         0     65730    252187   6276025    130.49    138.21
1041.95/261.40	c  N dy  4115    637786     19439     83058         0     46768    252187   2069634    130.53    147.04
1071.70/269.45	c  N dy  4255    657787     19439     83058         0     66767    252187   6264899    130.61    140.57
1106.02/278.04	c  N dy  4391    677840     19439     83058         0     46819    252187   1874471    130.65    137.81
1140.36/286.63	c  N dy  4529    697949     19439     83058         0     66924    252187   6026778    130.69    138.03
1175.09/295.34	c  N dy  4669    717979     19439     83058         0     45957    252187   1471349    130.78    210.12
1207.84/303.55	c  N dy  4811    737990     19439     83058         0     65967    252187   5588419    130.80    145.21
1243.37/312.41	c  N dy  4938    758096     19439     83058         0     44072    252187    875313    130.77    140.25
1275.72/320.52	c  N dy  5073    778255     19439     83058         0     64230    252187   5034770    130.77    139.08
1311.25/329.49	c  N dy  5207    798302     19439     83058         0     84276    252187   9200805    130.80    140.33
1324.04/332.67	c  S st  5261    806140     19439     83058         0     49128    252187   1706869    130.80   no data
1324.84/332.88	c  S st  5261    806645     19439     83058         0     49633    252187   1777167    130.80   no data
1324.84/332.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1325.24/332.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1325.64/333.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1325.64/333.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1325.64/333.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1325.64/333.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
1325.64/333.04	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1326.05/333.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1326.45/333.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1328.83/333.86	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.62 s
1328.83/333.87	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
1329.23/333.90	c vivif2 --  cl tried    49632 cl shrink        0 lits rem          0 time: 0.03
1329.63/334.04	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
1329.63/334.05	c calculated reachability. Time: 0.00
1329.63/334.05	c  N dy  5261    806645     19439     83058         0     49632    252187   1777124    130.80   no data
1363.16/342.46	c  N dy  5396    826677     19439     83058         0     69662    252187   6003535    130.86    145.83
1399.49/351.59	c  N dy  5528    846939     19439     83058         0     45920    252187    864972    130.86    145.32
1433.03/359.93	c  N dy  5660    867046     19439     83058         0     66026    252187   5032828    130.88    141.66
1469.78/369.12	c  N dy  5799    887314     19439     83058         0     86291    252187   9234026    130.90    138.47
1503.32/377.51	c  N dy  5929    907529     19439     83058         0     61506    252187   3848643    130.89    139.97
1539.27/386.53	c  N dy  6065    927797     19439     83058         0     81773    252187   8078765    130.91    140.44
1574.40/395.31	c  N dy  6202    947837     19439     83058         0     55812    252187   2485030    130.95    137.99
1609.14/404.04	c  N dy  6347    967975     19439     83058         0     75948    252187   6673953    131.01    139.91
1646.28/413.31	c  N dy  6479    988078     19439     83058         0     49057    252187    893614    131.00    139.10
1679.41/421.62	c  N dy  6611   1008261     19439     83058         0     69239    252187   5112860    131.01    139.01
1716.56/430.90	c  N dy  6751   1028430     19439     83058         0     89406    252187   9405954    131.07    138.52
1750.89/439.59	c  N dy  6888   1048530     19439     83058         0     61505    252187   3292676    131.11    150.33
1786.04/448.39	c  N dy  7018   1068574     19439     83058         0     81547    252187   7480786    131.12    138.22
1792.43/449.95	c  F st  7041   1071875     19439     83058         0     84848    252187   8156673    131.12   no data
1823.56/457.77	c  N dy  7121   1088662     19439     83058         0     52641    252187   1243133    131.11    140.25
1857.53/466.26	c  N dy  7255   1108760     19439     83058         0     72738    252187   5456394    131.14    139.34
1895.05/475.66	c  N dy  7391   1128805     19439     83058         0     92783    252187   9628726    131.17    141.90
1930.54/484.55	c  N dy  7529   1148903     19439     83058         0     62882    252187   3214839    131.18    161.44
1966.48/493.51	c  N dy  7664   1169038     19439     83058         0     83016    252187   7415791    131.19    138.74
2005.21/503.28	c  N dy  7803   1189111     19439     83058         0     52087    252187    714256    131.19    138.53
2039.54/511.81	c  N dy  7936   1209193     19439     83058         0     72167    252187   4927938    131.21    139.67
2040.74/512.16	c  S st  7942   1209968     19439     83058         0     72942    252187   5089224    131.21    109.17
2041.54/512.40	c  S st  7942   1210471     19439     83058         0     73445    252187   5168042    131.21   no data
2041.96/512.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2042.36/512.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
2042.36/512.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2042.36/512.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2042.36/512.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2042.36/512.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
2042.36/512.59	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2043.13/512.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2043.94/512.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2056.31/516.00	c lits-rem:         5  cl-subs:        8  v-elim:      0  v-fix:    0  time:  3.01 s
2056.31/516.01	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
2056.31/516.09	c vivif2 --  cl tried    73437 cl shrink        0 lits rem          0 time: 0.09
2057.10/516.27	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.18
2057.10/516.28	c calculated reachability. Time: 0.00
2057.10/516.28	c  N dy  7942   1210471     19439     83058         0     73437    252187   5164351    131.21   no data
2095.44/525.80	c  N dy  8078   1230594     19439     83058         0     93557    252187   9313353    131.22    139.20
2131.78/534.98	c  N dy  8211   1250777     19439     83058         0     61746    252187   2553516    131.22    138.37
2167.32/543.80	c  N dy  8344   1270889     19439     83058         0     81857    252187   6759335    131.23    139.91
2206.86/553.70	c  N dy  8482   1290952     19439     83058         0    101920    252187  10934637    131.25    138.32
2242.01/562.51	c  N dy  8614   1311025     19439     83058         0     68991    252187   3822065    131.25    138.93
2278.34/571.69	c  N dy  8742   1331119     19439     83058         0     89085    252187   7984852    131.25    140.13
2318.69/581.75	c  N dy  8879   1351248     19439     83058         0     55220    252187    760249    131.28    143.59
2353.83/590.51	c  N dy  9024   1371449     19439     83058         0     75418    252187   4993393    131.32    140.05
2391.76/600.07	c  N dy  9163   1391482     19439     83058         0     95450    252187   9194045    131.34    138.96
2431.28/609.96	c  N dy  9306   1411595     19439     83058         0     60569    252187   1698708    131.39    139.62
2466.82/618.83	c  N dy  9444   1431654     19439     83058         0     80627    252187   5842444    131.40    140.58
2505.95/628.68	c  N dy  9590   1451655     19439     83058         0    100624    252187  10034066    131.42    140.30
2544.28/638.25	c  N dy  9725   1471848     19439     83058         0     64817    252187   2350012    131.42    138.50
2579.82/647.16	c  N dy  9856   1491890     19439     83058         0     84858    252187   6503810    131.43    142.83
2619.76/657.12	c  N dy  9992   1511985     19439     83058         0    104952    252187  10727327    131.46    138.85
2657.30/666.56	c  N dy 10127   1532023     19439     83058         0     67991    252187   2796807    131.46    144.35
2694.03/675.78	c  N dy 10271   1552202     19439     83058         0     88166    252187   7031930    131.48    140.25
2734.76/685.91	c  N dy 10407   1572220     19439     83058         0    108183    252187  11202110    131.50    138.59
2772.70/695.41	c  N dy 10549   1592336     19439     83058         0     70305    252187   3141678    131.53    139.86
2809.84/704.72	c  N dy 10687   1612360     19439     83058         0     90329    252187   7342634    131.54    139.94
2850.59/714.93	c  N dy 10821   1632620     19439     83058         0    110589    252187  11553151    131.54    142.64
2888.49/724.44	c  N dy 10949   1652924     19439     83058         0     71892    252187   3197167    131.53    142.21
2925.63/733.70	c  N dy 11083   1672974     19439     83058         0     91940    252187   7378610    131.54    175.42
2966.37/743.95	c  N dy 11209   1692984     19439     83058         0    111948    252187  11582788    131.55    147.93
3000.31/752.44	c  S st 11324   1710471     19439     83058         0     69450    252187   2498491    131.55    133.19
3001.10/752.69	c  S st 11324   1710978     19439     83058         0     69957    252187   2581971    131.55   no data
3001.50/752.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3001.91/752.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3001.91/752.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3001.91/752.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3001.91/752.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3001.91/752.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
3001.91/752.87	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3002.31/752.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3003.11/753.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3009.49/754.73	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.61 s
3009.49/754.74	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
3009.49/754.79	c vivif2 --  cl tried    69951 cl shrink        0 lits rem          0 time: 0.05
3010.30/754.96	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.17
3010.30/754.97	c calculated reachability. Time: 0.00
3010.30/754.97	c  N dy 11324   1710978     19439     83058         0     69951    252187   2578481    131.55   no data
3047.42/764.30	c  N dy 11463   1731025     19439     83058         0     89996    252187   6783196    131.56    149.98
3088.53/774.54	c  N dy 11600   1751207     19439     83058         0    110176    252187  10970941    131.56    139.62
3127.93/784.53	c  N dy 11733   1771277     19439     83058         0     69240    252187   2275150    131.56    140.81
3163.88/793.68	c  N dy 11870   1791374     19439     83058         0     89337    252187   6446556    131.57    138.95
3204.96/803.92	c  N dy 12009   1811699     19439     83058         0    109661    252187  10749149    131.60    138.72
3245.81/814.30	c  N dy 12146   1831730     19439     83058         0     67696    252187   1742466    131.63    141.01
3282.54/823.45	c  N dy 12284   1851953     19439     83058         0     87919    252187   5988709    131.64    139.30
3323.29/833.62	c  N dy 12427   1872044     19439     83058         0    108007    252187  10194367    131.68    148.48
3367.20/844.69	c  N dy 12552   1892077     19439     83058         0     65045    252187    978304    131.67    138.63
3403.52/853.70	c  N dy 12686   1912159     19439     83058         0     85126    252187   5225892    131.69    146.71
3443.46/863.75	c  N dy 12828   1932256     19439     83058         0    105221    252187   9525825    131.73    142.67
3486.99/874.64	c  N dy 12958   1952345     19439     83058         0    125309    252187  13640165    131.72    143.41
3524.12/883.98	c  N dy 13098   1972356     19439     83058         0     81319    252187   4241763    131.75    193.82
3562.85/893.60	c  N dy 13229   1992369     19439     83058         0    101331    252187   8337457    131.74    141.54
3605.18/904.23	c  N dy 13359   2012383     19439     83058         0    121344    252187  12507281    131.74    145.21
3645.09/914.24	c  N dy 13495   2032464     19439     83058         0     76438    252187   2946642    131.74    142.62
3683.03/923.71	c  N dy 13627   2052481     19439     83058         0     96455    252187   7149136    131.75    139.44
3724.56/934.13	c  N dy 13765   2072578     19439     83058         0    116550    252187  11347404    131.76    143.10
3766.89/944.78	c  N dy 13892   2092629     19439     83058         0     70601    252187   1538301    131.76    140.48
3803.61/953.96	c  N dy 14030   2112631     19439     83058         0     90603    252187   5740016    131.76    153.24
3844.33/964.13	c  N dy 14165   2132727     19439     83058         0    110695    252187   9918869    131.76    140.92
3889.88/975.53	c  N dy 14318   2152818     19439     83058         0    130786    252187  14205194    131.81    139.81
3928.19/985.10	c  N dy 14457   2172925     19439     83058         0     83887    252187   4103743    131.84    146.98
3967.33/994.95	c  N dy 14590   2192950     19439     83058         0    103911    252187   8302865    131.85    141.93
4006.86/1004.85	c  S st 14717   2210978     19439     83058         0    121938    252187  12083159    131.86   no data
4008.47/1005.22	c  S st 14717   2211481     19439     83058         0    122441    252187  12166757    131.86   no data
4008.47/1005.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4009.25/1005.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.18
4009.25/1005.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4009.25/1005.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4009.25/1005.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4009.25/1005.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
4009.25/1005.49	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4010.46/1005.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4013.26/1006.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4041.20/1013.44	c lits-rem:         5  cl-subs:        7  v-elim:      0  v-fix:    0  time:  6.95 s
4041.20/1013.45	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
4042.00/1013.66	c vivif2 --  cl tried   122434 cl shrink        0 lits rem          0 time: 0.21
4043.20/1013.92	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.26
4043.20/1013.93	c calculated reachability. Time: 0.00
4043.20/1013.93	c  N dy 14717   2211481     19439     83058         0    122434    252187  12165027    131.86   no data
4088.31/1025.21	c  N dy 14848   2231555     19439     83058         0     74509    252187   1963063    131.87    165.47
4125.45/1034.53	c  N dy 14983   2251603     19439     83058         0     94556    252187   6190071    131.88    143.15
4166.59/1044.90	c  N dy 15123   2271631     19439     83058         0    114584    252187  10394598    131.90    147.84
4211.69/1056.15	c  N dy 15256   2291637     19439     83058         0    134589    252187  14605664    131.91    141.60
4250.44/1065.84	c  N dy 15394   2311659     19439     83058         0     85611    252187   4127129    131.93    139.28
4289.98/1075.76	c  N dy 15530   2331681     19439     83058         0    105632    252187   8336177    131.94    144.43
4333.50/1086.67	c  N dy 15667   2351687     19439     83058         0    125637    252187  12578076    131.96    141.89
4377.43/1097.70	c  N dy 15807   2371734     19439     83058         0     75685    252187   1782592    131.97    141.19
4415.75/1107.20	c  N dy 15944   2391911     19439     83058         0     95860    252187   6031852    131.99    142.99
4456.90/1117.55	c  N dy 16076   2412014     19439     83058         0    115962    252187  10252038    131.99    140.18
4503.20/1129.11	c  N dy 16216   2432334     19439     83058         0    136279    252187  14505185    132.00    140.39
4543.12/1139.14	c  N dy 16356   2452430     19439     83058         0     85379    252187   3556986    132.01    143.39
4582.65/1149.00	c  N dy 16488   2472500     19439     83058         0    105448    252187   7761379    132.01    139.56
4626.58/1160.02	c  N dy 16634   2492597     19439     83058         0    125543    252187  12064854    132.04    146.33
4672.90/1171.66	c  N dy 16773   2512767     19439     83058         0     73720    252187    942434    132.05    144.92
4710.04/1180.97	c  N dy 16908   2532781     19439     83058         0     93734    252187   5126888    132.06    142.22
4751.19/1191.22	c  N dy 17047   2552822     19439     83058         0    113774    252187   9342418    132.06    141.49
4796.30/1202.57	c  N dy 17183   2573021     19439     83058         0    133970    252187  13567528    132.07    142.14

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-3173778-1304031183/watcher-3173778-1304031183 -o /tmp/evaluation-result-3173778-1304031183/solver-3173778-1304031183 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173778-1304031183.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: 8.15 8.11 7.57 7/178 18369
/proc/meminfo: memFree=24030248/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=20344 CPUtime=0 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4194304 278 0 0 0 0 0 0 0 25 0 1 0 514717962 20832256 220 33554432000 4194304 4627427 140733267689920 18446744073709551615 274676626992 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18369/statm: 5086 228 189 106 0 57 0

[startup+0.071027 s]
/proc/loadavg: 8.15 8.11 7.57 7/178 18369
/proc/meminfo: memFree=24030248/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=300368 CPUtime=0.17 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 12467 0 0 0 16 1 0 0 18 0 4 0 514717962 307576832 10925 33554432000 4194304 4627427 140733267689920 18446744073709551615 274664913390 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 75092 10926 339 106 0 70063 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 300368

[startup+0.10369 s]
/proc/loadavg: 8.15 8.11 7.57 7/178 18369
/proc/meminfo: memFree=24030248/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=302420 CPUtime=0.27 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 13872 0 0 0 25 2 0 0 17 0 4 0 514717962 309678080 12330 33554432000 4194304 4627427 140733267689920 18446744073709551615 4522957 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 75605 12331 364 106 0 70576 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 302420

[startup+0.336237 s]
/proc/loadavg: 8.15 8.11 7.57 7/178 18369
/proc/meminfo: memFree=24030248/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=319184 CPUtime=0.95 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 19107 0 0 0 93 2 0 0 18 0 4 0 514717962 326844416 17156 33554432000 4194304 4627427 140733267689920 18446744073709551615 274664476863 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 79796 17156 381 106 0 74767 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 319184

[startup+0.700592 s]
/proc/loadavg: 8.15 8.11 7.57 7/178 18369
/proc/meminfo: memFree=24030248/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=321812 CPUtime=2.31 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 28622 0 0 0 228 3 0 0 18 0 4 0 514717962 329535488 23054 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 80453 23054 385 106 0 75424 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 321812

[startup+1.50045 s]
/proc/loadavg: 8.15 8.11 7.57 9/182 18373
/proc/meminfo: memFree=23930396/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=321812 CPUtime=5.49 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 31241 0 0 0 545 4 0 0 19 0 4 0 514717962 329535488 25661 33554432000 4194304 4627427 140733267689920 18446744073709551615 4330039 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 80453 25661 385 106 0 75424 0
[pid=18369/tid=18371] ppid=18367 vsize=321812 CPUtime=1.32 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 8528 0 0 0 131 1 0 0 19 0 4 0 514717962 329535488 25661 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=321812 CPUtime=1.21 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 8930 0 0 0 121 0 0 0 25 0 4 0 514717962 329535488 25661 33554432000 4194304 4627427 140733267689920 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=321812 CPUtime=1.47 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 4940 0 0 0 147 0 0 0 19 0 4 0 514717962 329535488 25661 33554432000 4194304 4627427 140733267689920 18446744073709551615 274664476879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 321812

[startup+3.10118 s]
/proc/loadavg: 8.14 8.10 7.57 9/182 18373
/proc/meminfo: memFree=23910060/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=453076 CPUtime=11.87 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 36129 0 0 0 1181 6 0 0 25 0 4 0 514717962 463949824 30549 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 113269 30549 385 106 0 108240 0
[pid=18369/tid=18371] ppid=18367 vsize=453076 CPUtime=2.9 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 9636 0 0 0 288 2 0 0 24 0 4 0 514717962 463949824 30549 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=453076 CPUtime=2.8 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 10112 0 0 0 280 0 0 0 25 0 4 0 514717962 463949824 30549 33554432000 4194304 4627427 140733267689920 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=453076 CPUtime=3.08 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 6399 0 0 0 307 1 0 0 25 0 4 0 514717962 463949824 30549 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 453076

[startup+6.30062 s]
/proc/loadavg: 8.14 8.10 7.57 9/182 18373
/proc/meminfo: memFree=23853584/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=425356 CPUtime=23.55 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 44982 0 0 0 2332 23 0 0 18 0 4 0 514717962 435564544 34716 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 106339 34716 386 106 0 101310 0
[pid=18369/tid=18371] ppid=18367 vsize=425356 CPUtime=5.56 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 11238 0 0 0 550 6 0 0 25 0 4 0 514717962 435564544 34716 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=425356 CPUtime=5.93 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 12353 0 0 0 592 1 0 0 25 0 4 0 514717962 435564544 34716 33554432000 4194304 4627427 140733267689920 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=425356 CPUtime=5.79 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 8208 0 0 0 569 10 0 0 25 0 4 0 514717962 435564544 34716 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.55
Current children cumulated vsize (KiB) 425356

[startup+12.7005 s]
/proc/loadavg: 8.12 8.10 7.57 9/182 18373
/proc/meminfo: memFree=23740372/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=615808 CPUtime=48.99 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 80396 0 0 0 4866 33 0 0 25 0 4 0 514717962 630587392 56230 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 153952 56230 390 106 0 148923 0
[pid=18369/tid=18371] ppid=18367 vsize=615808 CPUtime=11.95 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 16663 0 0 0 1188 7 0 0 25 0 4 0 514717962 630587392 56230 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=615808 CPUtime=12.29 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 18119 0 0 0 1226 3 0 0 25 0 4 0 514717962 630587392 56230 33554432000 4194304 4627427 140733267689920 18446744073709551615 4310445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=615808 CPUtime=12.07 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 13721 0 0 0 1194 13 0 0 25 0 4 0 514717962 630587392 56230 33554432000 4194304 4627427 140733267689920 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.99
Current children cumulated vsize (KiB) 615808

[startup+25.5003 s]
/proc/loadavg: 8.10 8.10 7.58 9/182 18373
/proc/meminfo: memFree=23650108/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=459088 CPUtime=100.09 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 160015 0 0 0 9956 53 0 0 25 0 4 0 514717962 470106112 86439 33554432000 4194304 4627427 140733267689920 18446744073709551615 4427974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 114772 86439 390 106 0 109743 0
[pid=18369/tid=18371] ppid=18367 vsize=459088 CPUtime=24.74 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 47177 0 0 0 2459 15 0 0 25 0 4 0 514717962 470106112 86439 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=459088 CPUtime=25.02 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 34282 0 0 0 2494 8 0 0 25 0 4 0 514717962 470106112 86439 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=459088 CPUtime=24.86 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 33272 0 0 0 2468 18 0 0 25 0 4 0 514717962 470106112 86439 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.09
Current children cumulated vsize (KiB) 459088

[startup+51.1009 s]
/proc/loadavg: 8.06 8.09 7.59 9/182 18374
/proc/meminfo: memFree=23384272/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=797844 CPUtime=202.29 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 244883 0 0 0 20153 76 0 0 25 0 4 0 514717962 816992256 136258 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 199461 136258 390 106 0 194432 0
[pid=18369/tid=18371] ppid=18367 vsize=797844 CPUtime=50.3 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 64420 0 0 0 5010 20 0 0 25 0 4 0 514717962 816992256 136258 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=797844 CPUtime=50.47 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 53193 0 0 0 5034 13 0 0 25 0 4 0 514717962 816992256 136258 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=797844 CPUtime=50.45 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 61367 0 0 0 5019 26 0 0 25 0 4 0 514717962 816992256 136258 33554432000 4194304 4627427 140733267689920 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.29
Current children cumulated vsize (KiB) 797844

[startup+102.307 s]
/proc/loadavg: 8.08 8.08 7.61 9/182 18375
/proc/meminfo: memFree=23339112/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=868076 CPUtime=406.71 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 341200 0 0 0 40563 108 0 0 25 0 4 0 514717962 888909824 159193 33554432000 4194304 4627427 140733267689920 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 217019 159193 390 106 0 211990 0
[pid=18369/tid=18371] ppid=18367 vsize=868076 CPUtime=101.46 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 83718 0 0 0 10121 25 0 0 25 0 4 0 514717962 888909824 159193 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=868076 CPUtime=101.37 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 77782 0 0 0 10113 24 0 0 25 0 4 0 514717962 888909824 159193 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=868076 CPUtime=101.63 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 85199 0 0 0 10129 34 0 0 25 0 4 0 514717962 888909824 159193 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.71
Current children cumulated vsize (KiB) 868076

[startup+162.301 s]
/proc/loadavg: 8.08 8.08 7.64 9/182 18377
/proc/meminfo: memFree=23134980/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1062632 CPUtime=646.24 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 465025 0 0 0 64477 147 0 0 25 0 4 0 514717962 1088135168 189301 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 265658 189301 390 106 0 260629 0
[pid=18369/tid=18371] ppid=18367 vsize=1062632 CPUtime=161.43 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 119151 0 0 0 16108 35 0 0 25 0 4 0 514717962 1088135168 189301 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1062632 CPUtime=160.97 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 103692 0 0 0 16065 32 0 0 25 0 4 0 514717962 1088135168 189301 33554432000 4194304 4627427 140733267689920 18446744073709551615 4302426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1062632 CPUtime=161.59 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 123621 0 0 0 16113 46 0 0 25 0 4 0 514717962 1088135168 189301 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.24
Current children cumulated vsize (KiB) 1062632

[startup+222.3 s]
/proc/loadavg: 8.07 8.08 7.66 9/182 18379
/proc/meminfo: memFree=23032548/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1063424 CPUtime=885.82 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 570232 0 0 0 88402 180 0 0 25 0 4 0 514717962 1088946176 191737 33554432000 4194304 4627427 140733267689920 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 265856 191738 390 106 0 260827 0
[pid=18369/tid=18371] ppid=18367 vsize=1063424 CPUtime=221.42 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 148345 0 0 0 22098 44 0 0 25 0 4 0 514717962 1088946176 191738 33554432000 4194304 4627427 140733267689920 18446744073709551615 4299619 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1063424 CPUtime=220.58 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 131290 0 0 0 22017 41 0 0 25 0 4 0 514717962 1088946176 191738 33554432000 4194304 4627427 140733267689920 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1063424 CPUtime=221.57 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 152093 0 0 0 22102 55 0 0 25 0 4 0 514717962 1088946176 191738 33554432000 4194304 4627427 140733267689920 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 885.82
Current children cumulated vsize (KiB) 1063424

[startup+282.301 s]

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

[pid=18369] ppid=18367 vsize=1417488 CPUtime=2560.67 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1335195 0 0 0 255629 438 0 0 25 0 4 0 514717962 1451507712 262355 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 354372 262355 390 106 0 349343 0
[pid=18369/tid=18371] ppid=18367 vsize=1417488 CPUtime=641.34 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 346591 0 0 0 64025 109 0 0 25 0 4 0 514717962 1451507712 262355 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1417488 CPUtime=638.85 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 320309 0 0 0 63771 114 0 0 25 0 4 0 514717962 1451507712 262355 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1417488 CPUtime=638.25 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 350884 0 0 0 63708 117 0 0 25 0 4 0 514717962 1451507712 262355 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.67
Current children cumulated vsize (KiB) 1417488

[startup+702.301 s]
/proc/loadavg: 8.09 8.11 7.84 9/182 18431
/proc/meminfo: memFree=23224380/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1339432 CPUtime=2800.24 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1438550 0 0 0 279555 469 0 0 25 0 4 0 514717962 1371578368 259499 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327381 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 334858 259499 390 106 0 329829 0
[pid=18369/tid=18371] ppid=18367 vsize=1339432 CPUtime=701.33 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 371542 0 0 0 70016 117 0 0 25 0 4 0 514717962 1371578368 259499 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1339432 CPUtime=698.6 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 348570 0 0 0 69738 122 0 0 25 0 4 0 514717962 1371578368 259499 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1339432 CPUtime=698.1 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 376013 0 0 0 69685 125 0 0 25 0 4 0 514717962 1371578368 259499 33554432000 4194304 4627427 140733267689920 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.24
Current children cumulated vsize (KiB) 1339432

[startup+762.301 s]
/proc/loadavg: 8.08 8.10 7.85 9/182 18433
/proc/meminfo: memFree=23220148/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1419936 CPUtime=3039.83 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1535876 0 0 0 303483 500 0 0 25 0 4 0 514717962 1454014464 261083 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 354984 261083 390 106 0 349955 0
[pid=18369/tid=18371] ppid=18367 vsize=1419936 CPUtime=761.32 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 394152 0 0 0 76007 125 0 0 25 0 4 0 514717962 1454014464 261083 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1419936 CPUtime=758.23 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 376475 0 0 0 75693 130 0 0 25 0 4 0 514717962 1454014464 261083 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1419936 CPUtime=758.07 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 399186 0 0 0 75674 133 0 0 25 0 4 0 514717962 1454014464 261083 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.83
Current children cumulated vsize (KiB) 1419936

[startup+822.3 s]
/proc/loadavg: 8.31 8.17 7.89 9/182 18437
/proc/meminfo: memFree=23187856/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1304576 CPUtime=3278.14 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1639318 0 0 0 327257 557 0 0 25 0 4 0 514717962 1335885824 244366 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 326144 244366 390 106 0 321115 0
[pid=18369/tid=18371] ppid=18367 vsize=1304576 CPUtime=821.31 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 421810 0 0 0 81997 134 0 0 25 0 4 0 514717962 1335885824 244366 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1304576 CPUtime=817.38 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 400158 0 0 0 81599 139 0 0 25 0 4 0 514717962 1335885824 244366 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1304576 CPUtime=817.24 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 426856 0 0 0 81560 164 0 0 25 0 4 0 514717962 1335885824 244366 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.14
Current children cumulated vsize (KiB) 1304576

[startup+882.301 s]
/proc/loadavg: 8.10 8.13 7.89 9/182 18439
/proc/meminfo: memFree=23163908/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1372168 CPUtime=3517.73 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1765452 0 0 0 351179 594 0 0 25 0 4 0 514717962 1405100032 267796 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 343042 267796 390 106 0 338013 0
[pid=18369/tid=18371] ppid=18367 vsize=1372168 CPUtime=881.3 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 449146 0 0 0 87987 143 0 0 25 0 4 0 514717962 1405100032 267796 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1372168 CPUtime=877.03 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 444209 0 0 0 87552 151 0 0 25 0 4 0 514717962 1405100032 267796 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1372168 CPUtime=877.2 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 454469 0 0 0 87546 174 0 0 25 0 4 0 514717962 1405100032 267796 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3517.73
Current children cumulated vsize (KiB) 1372168

[startup+942.3 s]
/proc/loadavg: 8.08 8.12 7.90 9/182 18441
/proc/meminfo: memFree=23012848/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1316728 CPUtime=3757.29 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1871667 0 0 0 375099 630 0 0 25 0 4 0 514717962 1348329472 284026 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 329182 284026 390 106 0 324153 0
[pid=18369/tid=18371] ppid=18367 vsize=1316728 CPUtime=941.28 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 475091 0 0 0 93977 151 0 0 25 0 4 0 514717962 1348329472 284026 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1316728 CPUtime=936.66 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 471441 0 0 0 93507 159 0 0 25 0 4 0 514717962 1348329472 284026 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1316728 CPUtime=937.16 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 481798 0 0 0 93531 185 0 0 25 0 4 0 514717962 1348329472 284026 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.29
Current children cumulated vsize (KiB) 1316728

[startup+1002.3 s]
/proc/loadavg: 8.06 8.11 7.91 9/182 18442
/proc/meminfo: memFree=23071228/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1374888 CPUtime=3996.87 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 1978781 0 0 0 399024 663 0 0 25 0 4 0 514717962 1407885312 284029 33554432000 4194304 4627427 140733267689920 18446744073709551615 4333037 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 343722 284029 390 106 0 338693 0
[pid=18369/tid=18371] ppid=18367 vsize=1374888 CPUtime=1001.27 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 502297 0 0 0 99968 159 0 0 25 0 4 0 514717962 1407885312 284029 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1374888 CPUtime=996.29 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 498197 0 0 0 99463 166 0 0 25 0 4 0 514717962 1407885312 284030 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1374888 CPUtime=997.13 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 507558 0 0 0 99518 195 0 0 25 0 4 0 514717962 1407885312 284030 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.87
Current children cumulated vsize (KiB) 1374888

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 7.92 9/182 18444
/proc/meminfo: memFree=22756872/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1540536 CPUtime=4236.45 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 2144696 0 0 0 422935 710 0 0 25 0 4 0 514717962 1577508864 338362 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 385134 338362 390 106 0 380105 0
[pid=18369/tid=18371] ppid=18367 vsize=1540536 CPUtime=1061.26 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 554917 0 0 0 105952 174 0 0 25 0 4 0 514717962 1577508864 338362 33554432000 4194304 4627427 140733267689920 18446744073709551615 4321656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1540536 CPUtime=1055.93 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 522665 0 0 0 105419 174 0 0 25 0 4 0 514717962 1577508864 338362 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1540536 CPUtime=1057.08 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 554153 0 0 0 105500 208 0 0 25 0 4 0 514717962 1577508864 338362 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.45
Current children cumulated vsize (KiB) 1540536

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 7.93 9/182 18446
/proc/meminfo: memFree=22728592/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1655644 CPUtime=4476.04 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 2248320 0 0 0 446860 744 0 0 25 0 4 0 514717962 1695379456 361041 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 413911 361041 390 106 0 408882 0
[pid=18369/tid=18371] ppid=18367 vsize=1655644 CPUtime=1121.25 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 580842 0 0 0 111942 183 0 0 25 0 4 0 514717962 1695379456 361041 33554432000 4194304 4627427 140733267689920 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1655644 CPUtime=1115.57 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 549090 0 0 0 111375 182 0 0 25 0 4 0 514717962 1695379456 361041 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1655644 CPUtime=1117.05 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 579824 0 0 0 111488 217 0 0 25 0 4 0 514717962 1695379456 361041 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.04
Current children cumulated vsize (KiB) 1655644

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 7.93 9/182 18447
/proc/meminfo: memFree=22747664/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1657048 CPUtime=4715.65 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 2352635 0 0 0 470784 781 0 0 25 0 4 0 514717962 1696817152 350654 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 414262 350654 390 106 0 409233 0
[pid=18369/tid=18371] ppid=18367 vsize=1657048 CPUtime=1181.24 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 607408 0 0 0 117932 192 0 0 25 0 4 0 514717962 1696817152 350654 33554432000 4194304 4627427 140733267689920 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1657048 CPUtime=1175.21 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 573279 0 0 0 117330 191 0 0 25 0 4 0 514717962 1696817152 350654 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1657048 CPUtime=1177.02 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 606965 0 0 0 117474 228 0 0 25 0 4 0 514717962 1696817152 350654 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.65
Current children cumulated vsize (KiB) 1657048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.06 8.10 7.93 10/182 18448
/proc/meminfo: memFree=22701660/32951132 swapFree=67111524/67111528
[pid=18369] ppid=18367 vsize=1657224 CPUtime=4800.29 cores=0,2,4,6
/proc/18369/stat : 18369 (strangenight2-m) R 18367 18369 18108 0 -1 4202496 2387206 0 0 0 479238 791 0 0 25 0 4 0 514717962 1696997376 368812 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18369/statm: 414306 368812 390 106 0 409277 0
[pid=18369/tid=18371] ppid=18367 vsize=1657224 CPUtime=1202.44 cores=0,2,4,6
/proc/18369/task/18371/stat : 18371 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 615838 0 0 0 120049 195 0 0 25 0 4 0 514717962 1696997376 368812 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18369/tid=18372] ppid=18367 vsize=1657224 CPUtime=1196.28 cores=0,2,4,6
/proc/18369/task/18372/stat : 18372 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 583307 0 0 0 119434 194 0 0 25 0 4 0 514717962 1696997376 368812 33554432000 4194304 4627427 140733267689920 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18369/tid=18373] ppid=18367 vsize=1657224 CPUtime=1198.2 cores=0,2,4,6
/proc/18369/task/18373/stat : 18373 (strangenight2-m) R 18367 18369 18108 0 -1 4202560 614933 0 0 0 119590 230 0 0 25 0 4 0 514717962 1696997376 368812 33554432000 4194304 4627427 140733267689920 18446744073709551615 4309082 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1657224

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.58
CPU time (s): 4800.39
CPU user time (s): 4792.41
CPU system time (s): 7.98479
CPU usage (%): 398.842
Max. virtual memory (cumulated for all children) (KiB): 1670612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.41
system time used= 7.98479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2387211
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= 2374
involuntary context switches= 34971

runsolver used 1.9837 second user time and 4.66829 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 00:53:03
IDJOB=3173778
IDBENCH=82596
IDSOLVER=1586
FILE ID=node131/3173778-1304031183
RUNJOBID= node131-1304028687-18126
PBS_JOBID= 13170321
Free space on /tmp= 71376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173778-1304031183/watcher-3173778-1304031183 -o /tmp/evaluation-result-3173778-1304031183/solver-3173778-1304031183 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173778-1304031183.cnf

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

MD5SUM BENCH= 425b4c5e5535f7d6b9d17ca8feb0ac3e
RANDOM SEED=1593747427

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24031396 kB
Buffers:        933660 kB
Cached:        6201520 kB
SwapCached:          4 kB
Active:        1392152 kB
Inactive:      7038192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24031396 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7420 kB
Writeback:           4 kB
AnonPages:     1294060 kB
Mapped:          15756 kB
Slab:           423068 kB
PageTables:       7552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1668032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 01:13:09