Trace number 3173751

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.47 1201.89

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
MD5SUM1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark312.282
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173751-1304030380.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.32/0.12	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.32/0.12	c -- vars added      25000
0.32/0.12	c Parsing time:  0.07 s
0.32/0.12	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.32/0.25	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.32/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.12/0.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.12/0.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.12/0.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.12/0.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.12/0.35	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.12/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    658  v-fix:    0  time:  0.17 s
1.12/1.05	c Finding binary XORs  T:     0.00 s  found:       0
1.12/1.05	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.12/1.05	c calculated reachability. Time: 0.00
1.12/1.05	c Calc default polars -  time:   0.01 s pos:   11139 undec:    2751 neg:   11110
1.12/1.05	c =========================================================================================
1.12/1.05	c types(t): F = full restart, N = normal restart
1.12/1.05	c types(t): S = simplification begin/end, E = solution found
1.12/1.05	c restart types(rt): st = static, dy = dynamic
1.12/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.12/1.05	c  B st     0         0     24342    104318         0         0    317030         0   no data   no data
7.49/1.93	c  N dy    23      4080     24342    104318         0      4080    317030    944907    140.18    155.01
13.08/3.33	c  N dy    53      8113     24342    104318         0      8113    317030   1839192    141.40    148.91
18.67/4.76	c  N dy    83     12118     24342    104318         0     12118    317030   2742991    143.06    155.94
24.69/6.24	c  N dy   110     16152     24342    104318         0     16152    317030   3655616    143.81    155.08
31.06/7.82	c  N dy   138     20310     24342    104318         0     10312    317030    641497    143.40    151.08
37.05/9.30	c  N dy   169     24380     24342    104318         0     14382    317030   1621174    144.78    158.85
37.87/9.52	c  F st   174     25001     24342    104318         0     15003    317030   1765242    144.72   no data
46.26/11.61	c  N dy   180     30001     24342    104318         0     20001    317030   3440021    144.72   no data
46.26/11.61	c  S st   180     30001     24342    104318         0     20001    317030   3440021    144.72   no data
47.03/11.80	c  S st   180     30510     24342    104318         0     20510    317030   3529301    144.72   no data
47.03/11.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.43/11.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
47.43/11.96	c blocked clauses removed:      416 vars:     71 tried:       24342 T: 0.01 s
47.43/11.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.43/11.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.43/11.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24271 time:  0.01 s
47.43/12.00	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.23/12.11	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.12 s
49.44/12.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.03/13.30	c lits-rem:        30  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.86 s
53.43/13.42	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.12
53.43/13.43	c calculated reachability. Time: 0.00
53.43/13.43	c  N dy   180     30510     24265    103896         0     19890    315804   3208993    144.72   no data
59.84/15.04	c  N dy   208     34617     24265    103896         0     23997    315804   4137849    145.29    160.81
66.61/16.76	c  N dy   237     38800     24265    103896         0     28180    315804   5089327    145.57    158.73
73.39/18.42	c  N dy   265     42888     24265    103896         0     17077    315804   1122689    145.45    156.01
77.79/19.50	c  S st   282     45765     24265    103896         0     19954    315804   1749334    144.92   no data
78.19/19.68	c  S st   282     46273     24265    103896         0     20462    315804   1819774    144.92   no data
78.19/19.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.99/19.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
78.99/19.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.99/19.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.99/19.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.99/19.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
78.99/19.87	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
79.39/19.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
79.79/20.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.99/20.37	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
80.99/20.39	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
81.40/20.42	c vivif2 --  cl tried    20462 cl shrink        0 lits rem          0 time: 0.03
81.80/20.54	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.12
81.80/20.55	c calculated reachability. Time: 0.00
81.80/20.55	c  N dy   282     46273     24265    103896         0     20462    315804   1819772    144.92   no data
88.17/22.15	c  N dy   312     50447     24265    103896         0     24636    315804   2737999    144.77    154.51
94.58/23.76	c  N dy   342     54459     24265    103896         0     28648    315804   3674780    145.08    187.84
101.35/25.42	c  N dy   369     58530     24265    103896         0     32719    315804   4602292    144.89    154.47
107.77/27.08	c  N dy   397     62537     24265    103896         0     36726    315804   5505617    144.89    154.13
114.54/28.74	c  N dy   424     66729     24265    103896         0     22323    315804   1556999    144.97    161.32
118.54/29.79	c  S st   443     69409     24265    103896         0     25003    315804   2146024    144.85   no data
119.33/29.99	c  S st   443     69912     24265    103896         0     25506    315804   2244756    144.85   no data
119.73/30.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.13/30.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
120.13/30.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.13/30.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.13/30.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.13/30.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
120.13/30.18	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.53/30.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
121.35/30.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.93/30.86	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.41 s
122.93/30.88	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
123.33/30.92	c vivif2 --  cl tried    25504 cl shrink        0 lits rem          0 time: 0.04
123.73/31.05	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.13
123.73/31.05	c calculated reachability. Time: 0.00
123.73/31.05	c  N dy   443     69912     24265    103896         0     25504    315804   2242799    144.85   no data
130.92/32.83	c  N dy   470     74452     24265    103896         0     30043    315804   3258806    144.49    153.01
138.53/34.75	c  N dy   499     79262     24265    103896         0     34853    315804   4303293    144.14    153.75
146.90/36.84	c  N dy   532     84346     24265    103896         0     39937    315804   5464935    144.21    162.35
152.11/38.17	c  F st   555     87500     24265    103896         0     22294    315804    967521    144.12   no data
158.08/39.61	c  N st   560     90797     24265    103896         0     25590    315804   2036325    144.12   no data
167.66/42.01	c  N dy   588     96726     24265    103896         0     31518    315804   3546597    144.17    152.10
177.66/44.60	c  N dy   626    103041     24265    103896         0     37833    315804   4946343    143.96    152.20
180.85/45.36	c  S st   638    104868     24265    103896         0     39660    315804   5338227    143.89    123.55
181.65/45.59	c  S st   638    105369     24265    103896         0     40161    315804   5410028    143.89   no data
182.04/45.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
182.46/45.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
182.46/45.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.46/45.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
182.46/45.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
182.46/45.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
182.46/45.79	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
183.24/45.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
184.44/46.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
191.25/47.91	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.61 s
191.25/47.93	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
191.65/48.02	c vivif2 --  cl tried    40155 cl shrink        0 lits rem          0 time: 0.09
192.02/48.17	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.15
192.02/48.18	c calculated reachability. Time: 0.00
192.02/48.18	c  N dy   638    105369     24265    103896         0     40155    315804   5406319    143.89   no data
203.62/51.07	c  N dy   685    112122     24265    103896         0     24513    315804   1056168    143.96    156.90
215.61/54.08	c  N dy   738    119510     24265    103896         0     31899    315804   2740589    144.10    152.49
228.78/57.33	c  N dy   788    127150     24265    103896         0     39539    315804   4455541    143.98    153.73
243.16/60.90	c  N dy   844    135292     24265    103896         0     23978    315804    634504    144.09    155.12
257.16/64.44	c  N dy   906    143965     24265    103896         0     32651    315804   2634526    144.31    152.35
272.73/68.30	c  N dy   968    153175     24265    103896         0     41860    315804   4715846    144.31    160.95
281.12/70.45	c  S st  1003    158055     24265    103896         0     46739    315804   5837428    144.41   no data
281.92/70.68	c  S st  1003    158556     24265    103896         0     47240    315804   5928358    144.41   no data
282.31/70.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.71/70.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
282.71/70.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.71/70.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.71/70.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.71/70.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
283.11/70.90	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
283.53/71.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
285.11/71.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
294.29/73.73	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.31 s
294.29/73.74	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
294.69/73.84	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.10
295.49/74.01	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.16
295.49/74.01	c calculated reachability. Time: 0.00
295.49/74.01	c  N dy  1003    158556     24265    103896         0     47235    315804   5926425    144.41   no data
312.67/78.32	c  N dy  1077    168775     24265    103896         0     32611    315804   2314303    144.61    152.44
331.05/82.92	c  N dy  1149    179644     24265    103896         0     43479    315804   4763765    144.50    153.72
350.62/87.88	c  N dy  1222    191134     24265    103896         0     29046    315804   1235343    144.33    152.55
371.41/93.06	c  N dy  1305    203444     24265    103896         0     41356    315804   4043308    144.41    155.67
394.56/98.87	c  N dy  1393    216465     24265    103896         0     27418    315804    621813    144.40    156.34
417.74/104.68	c  N dy  1484    230333     24265    103896         0     41286    315804   3779520    144.48    154.34
431.32/108.00	c  S st  1536    237835     24265    103896         0     48787    315804   5504745    144.56   no data
432.12/108.23	c  S st  1536    238335     24265    103896         0     49287    315804   5578054    144.56   no data
432.12/108.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
432.52/108.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
432.94/108.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.94/108.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
432.94/108.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
432.94/108.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
432.94/108.44	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
433.34/108.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
434.91/108.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
444.10/111.26	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.33 s
444.10/111.27	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
444.50/111.36	c vivif2 --  cl tried    49284 cl shrink        0 lits rem          0 time: 0.09
445.30/111.53	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
445.30/111.54	c calculated reachability. Time: 0.00
445.30/111.54	c  N dy  1536    238335     24265    103896         0     49284    315804   5577365    144.56   no data
471.66/118.17	c  N dy  1646    253604     24265    103896         0     36568    315804   2484674    144.64    179.83
500.02/125.29	c  N dy  1755    269885     24265    103896         0     52846    315804   6110374    144.53    156.27
530.37/132.85	c  N dy  1866    287266     24265    103896         0     41242    315804   3270537    144.45    152.15
563.53/141.10	c  N dy  1989    305703     24265    103896         0     59679    315804   7462558    144.58    153.01
564.34/141.38	c  F st  1994    306252     24265    103896         0     30234    315804    524633    144.58   no data
597.88/149.74	c  N dy  2092    325310     24265    103896         0     49291    315804   5486509    144.60    156.63
633.44/158.61	c  N dy  2225    345330     24265    103896         0     38315    315804   2109471    144.58    154.22
654.60/163.99	c  S st  2307    357502     24265    103896         0     50485    315804   4874715    144.56   no data
655.80/164.23	c  S st  2307    358005     24265    103896         0     50988    315804   4976283    144.56   no data
655.80/164.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
656.20/164.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
656.60/164.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
656.60/164.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
656.60/164.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
656.60/164.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
656.60/164.45	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
657.02/164.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
658.20/164.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
666.98/167.08	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.20 s
666.98/167.09	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
667.38/167.18	c vivif2 --  cl tried    50986 cl shrink        0 lits rem          0 time: 0.08
668.18/167.35	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
668.18/167.36	c calculated reachability. Time: 0.00
668.18/167.36	c  N dy  2307    358005     24265    103896         0     50986    315804   4976087    144.56   no data
704.14/176.38	c  N dy  2441    378105     24265    103896         0     39086    315804   2069149    144.52    152.32
740.92/185.56	c  N dy  2586    398192     24265    103896         0     59171    315804   6605945    144.62    164.39
776.84/194.55	c  N dy  2714    418257     24265    103896         0     46235    315804   3492005    144.67    155.21
814.00/203.84	c  N dy  2851    438312     24265    103896         0     66290    315804   8028496    144.70    152.50
849.95/212.88	c  N dy  2985    458574     24265    103896         0     52557    315804   4680759    144.72    154.09
887.89/222.30	c  N dy  3119    478610     24265    103896         0     37594    315804   1053828    144.74    172.80
923.84/231.39	c  N dy  3268    498771     24265    103896         0     57752    315804   5703260    144.90    155.30
961.39/240.73	c  N dy  3404    518847     24265    103896         0     41834    315804   1753248    144.84    153.92
994.15/248.96	c  S st  3530    537008     24265    103896         0     59995    315804   5907007    144.90    137.44
995.37/249.21	c  S st  3530    537513     24265    103896         0     60500    315804   5985246    144.90   no data
995.37/249.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
995.77/249.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
996.15/249.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
996.15/249.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
996.15/249.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
996.15/249.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
996.15/249.44	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
996.95/249.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
998.15/249.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1010.52/253.04	c lits-rem:        12  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.09 s
1010.52/253.05	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
1010.92/253.16	c vivif2 --  cl tried    60498 cl shrink        0 lits rem          0 time: 0.10
1011.72/253.34	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.18
1011.72/253.35	c calculated reachability. Time: 0.00
1011.72/253.35	c  N dy  3530    537513     24265    103896         0     60498    315804   5983731    144.90   no data
1049.27/262.78	c  N dy  3669    557702     24265    103896         0     43687    315804   1957538    144.96    153.07
1086.83/272.13	c  N dy  3807    578038     24265    103896         0     64022    315804   6620193    144.99    154.63
1124.37/281.51	c  N dy  3938    598072     24265    103896         0     46059    315804   2282066    144.94    153.27
1161.92/290.90	c  N dy  4085    618079     24265    103896         0     66066    315804   6818989    145.00    153.85
1199.47/300.39	c  N dy  4226    638083     24265    103896         0     47066    315804   2335714    145.04    154.99
1237.44/309.88	c  N dy  4366    658236     24265    103896         0     67219    315804   6944064    145.12    155.30
1276.16/319.54	c  N dy  4503    678319     24265    103896         0     47304    315804   2153823    145.19    156.23
1313.71/328.94	c  N dy  4636    698322     24265    103896         0     67303    315804   6737834    145.22    168.07
1353.66/338.99	c  N dy  4775    718570     24265    103896         0     46554    315804   1743655    145.23    158.97
1390.82/348.27	c  N dy  4911    738643     24265    103896         0     66626    315804   6245342    145.23    154.12
1431.15/358.37	c  N dy  5052    758689     24265    103896         0     44670    315804   1111588    145.27    153.04
1467.90/367.57	c  N dy  5187    778717     24265    103896         0     64696    315804   5722213    145.30    156.55
1509.05/377.87	c  N dy  5324    798905     24265    103896         0     84883    315804  10415320    145.37    156.48
1523.04/381.31	c  S st  5379    806272     24265    103896         0     49255    315804   1929337    145.41    140.70
1523.82/381.54	c  S st  5379    806774     24265    103896         0     49757    315804   2016024    145.41   no data
1523.82/381.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1524.22/381.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
1524.63/381.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1524.63/381.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1524.63/381.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1524.63/381.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
1524.63/381.75	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1525.03/381.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1525.42/381.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1528.61/382.77	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.78 s
1528.61/382.79	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
1529.01/382.82	c vivif2 --  cl tried    49757 cl shrink        0 lits rem          0 time: 0.04
1529.41/382.99	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.16
1529.41/382.99	c calculated reachability. Time: 0.00
1529.41/382.99	c  N dy  5379    806774     24265    103896         0     49757    315804   2016023    145.41   no data
1567.37/392.45	c  N dy  5510    826866     24265    103896         0     69848    315804   6583394    145.43    159.16
1608.90/402.80	c  N dy  5653    847023     24265    103896         0     46006    315804    929414    145.43    155.10
1646.07/412.11	c  N dy  5791    867148     24265    103896         0     66128    315804   5565149    145.46    153.80
1687.18/422.48	c  N dy  5935    887180     24265    103896         0     86160    315804  10128399    145.50    154.18
1725.16/431.96	c  N dy  6073    907236     24265    103896         0     61218    315804   4178798    145.51    208.30
1764.70/441.85	c  N dy  6200    927248     24265    103896         0     81230    315804   8754853    145.50    176.54
1804.62/451.86	c  N dy  6331    947345     24265    103896         0     55330    315804   2569241    145.47    188.01
1844.17/461.70	c  N dy  6469    967713     24265    103896         0     75697    315804   7201022    145.49    154.11
1886.11/472.21	c  N dy  6607    987815     24265    103896         0     48802    315804    883500    145.50    159.05
1924.05/481.70	c  N dy  6744   1007960     24265    103896         0     68946    315804   5548964    145.53    153.81
1965.20/492.06	c  N dy  6885   1028050     24265    103896         0     89035    315804  10158378    145.57    155.75
2005.14/502.01	c  N dy  7022   1048119     24265    103896         0     61099    315804   3551816    145.61    155.86
2045.08/512.04	c  N dy  7159   1068220     24265    103896         0     81197    315804   8223063    145.66    159.80
2053.08/514.01	c  F st  7187   1071876     24265    103896         0     84853    315804   9065223    145.67   no data
2087.03/522.55	c  N dy  7265   1088269     24265    103896         0     52252    315804   1263558    145.64    174.35
2124.99/532.08	c  N dy  7392   1108366     24265    103896         0     72348    315804   5852737    145.62    168.27
2166.90/542.54	c  N dy  7531   1128403     24265    103896         0     92384    315804  10440738    145.65    199.34
2207.65/552.77	c  N dy  7668   1148693     24265    103896         0     62677    315804   3527946    145.69    156.90
2247.19/562.66	c  N dy  7801   1168756     24265    103896         0     82739    315804   8095116    145.70    153.97
2291.55/573.74	c  N dy  7939   1189058     24265    103896         0     52042    315804    750576    145.72    157.32
2329.87/583.33	c  N dy  8081   1209083     24265    103896         0     72065    315804   5291584    145.73    166.16
2331.86/583.86	c  S st  8088   1210161     24265    103896         0     73143    315804   5526044    145.73   no data
2333.06/584.12	c  S st  8088   1210667     24265    103896         0     73649    315804   5611280    145.73   no data
2333.06/584.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2333.86/584.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
2333.86/584.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2333.86/584.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2333.86/584.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2333.86/584.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
2333.86/584.36	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2334.66/584.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2335.88/584.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2349.06/588.14	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.31 s
2349.06/588.16	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
2349.44/588.26	c vivif2 --  cl tried    73645 cl shrink        0 lits rem          0 time: 0.10
2350.24/588.46	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.20
2350.24/588.47	c calculated reachability. Time: 0.00
2350.24/588.47	c  N dy  8088   1210667     24265    103896         0     73645    315804   5609869    145.73   no data
2393.78/599.37	c  N dy  8233   1230708     24265    103896         0     93685    315804  10332895    145.81    158.82
2436.13/609.91	c  N dy  8374   1250899     24265    103896         0     61881    315804   2804258    145.84    154.21
2475.67/619.87	c  N dy  8509   1270951     24265    103896         0     81933    315804   7417515    145.86    156.42
2520.43/631.01	c  N dy  8655   1291110     24265    103896         0    102089    315804  12110260    145.90    159.20
2559.96/640.99	c  N dy  8785   1311128     24265    103896         0     69111    315804   4214007    145.89    155.77
2601.48/651.31	c  N dy  8923   1331169     24265    103896         0     89151    315804   8869871    145.91    156.13
2646.62/662.64	c  N dy  9066   1351250     24265    103896         0     55232    315804    796957    145.94    153.64
2685.76/672.43	c  N dy  9196   1371263     24265    103896         0     75244    315804   5296815    145.92    159.89
2728.50/683.19	c  N dy  9333   1391352     24265    103896         0     95332    315804   9921973    145.94    157.04
2772.44/694.11	c  N dy  9465   1411372     24265    103896         0     60352    315804   1788724    145.97    155.29
2813.17/704.33	c  N dy  9609   1431572     24265    103896         0     80551    315804   6445391    145.99    155.88
2856.31/715.18	c  N dy  9738   1451657     24265    103896         0    100633    315804  11081250    145.99    154.19
2899.85/726.06	c  N dy  9873   1471749     24265    103896         0     64729    315804   2538703    146.00    186.64
2940.59/736.28	c  N dy 10011   1491793     24265    103896         0     84771    315804   7189809    146.02    155.24
2983.73/747.08	c  N dy 10133   1511809     24265    103896         0    104787    315804  11733857    146.00    153.87
3026.47/757.72	c  N dy 10258   1531887     24265    103896         0     67866    315804   3049449    145.98    158.04
3067.60/768.08	c  N dy 10392   1552031     24265    103896         0     88010    315804   7699730    145.98    154.62
3111.95/779.19	c  N dy 10524   1572079     24265    103896         0    108057    315804  12256639    145.96    175.93
3155.09/789.99	c  N dy 10660   1592260     24265    103896         0     70239    315804   3341020    145.97    153.94
3197.42/800.54	c  N dy 10807   1612313     24265    103896         0     90288    315804   8029194    146.02    156.88
3242.96/811.97	c  N dy 10946   1632504     24265    103896         0    110479    315804  12691999    146.05    155.55
3286.10/822.77	c  N dy 11082   1652624     24265    103896         0     71602    315804   3508080    146.08    155.30
3328.04/833.27	c  N dy 11217   1672723     24265    103896         0     91700    315804   8087954    146.08    161.66
3373.18/844.59	c  N dy 11348   1692894     24265    103896         0    111871    315804  12670360    146.06    153.75
3411.95/854.22	c  S st 11469   1710667     24265    103896         0     69645    315804   2796203    146.07    129.26
3412.72/854.49	c  S st 11469   1711176     24265    103896         0     70154    315804   2878091    146.07   no data
3413.12/854.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3413.52/854.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3413.52/854.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3413.52/854.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3413.92/854.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3413.92/854.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
3413.92/854.72	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3414.32/854.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3415.12/855.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3423.12/857.04	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.00 s
3423.12/857.06	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
3423.52/857.11	c vivif2 --  cl tried    70153 cl shrink        0 lits rem          0 time: 0.05
3424.32/857.31	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.20
3424.32/857.32	c calculated reachability. Time: 0.00
3424.32/857.32	c  N dy 11469   1711176     24265    103896         0     70153    315804   2877909    146.07   no data
3465.84/867.74	c  N dy 11600   1731202     24265    103896         0     90176    315804   7445329    146.06    155.47
3510.99/879.08	c  N dy 11735   1751261     24265    103896         0    110234    315804  12058286    146.08    165.64
3555.72/890.25	c  N dy 11866   1771326     24265    103896         0     69302    315804   2472031    146.08    154.38
3597.65/900.76	c  N dy 11997   1791455     24265    103896         0     89430    315804   7086696    146.09    155.79
3642.40/911.99	c  N dy 12134   1811548     24265    103896         0    109522    315804  11686925    146.11    154.09
3688.75/923.50	c  N dy 12266   1831649     24265    103896         0     67621    315804   1832679    146.10    163.18
3730.27/933.97	c  N dy 12399   1851751     24265    103896         0     87722    315804   6465828    146.11    160.33
3775.00/945.12	c  N dy 12531   1871871     24265    103896         0    107840    315804  11015443    146.10    157.80
3822.53/957.06	c  N dy 12667   1891882     24265    103896         0     64853    315804    991729    146.11    154.24
3865.27/967.75	c  N dy 12805   1911990     24265    103896         0     84957    315804   5678720    146.15    154.51
3910.01/978.91	c  N dy 12946   1932101     24265    103896         0    105063    315804  10356540    146.17    162.15
3957.54/990.85	c  N dy 13080   1952186     24265    103896         0    125147    315804  14994725    146.17    155.29
3999.88/1001.41	c  N dy 13216   1972218     24265    103896         0     81185    315804   4555183    146.19    155.02
4043.42/1012.33	c  N dy 13346   1992384     24265    103896         0    101350    315804   9193573    146.20    156.18
4090.15/1024.00	c  N dy 13477   2012455     24265    103896         0    121420    315804  13792135    146.19    155.31
4135.28/1035.36	c  N dy 13618   2032708     24265    103896         0     76680    315804   3292666    146.21    155.02
4178.42/1046.11	c  N dy 13755   2052723     24265    103896         0     96694    315804   7910792    146.23    157.45
4224.78/1057.79	c  N dy 13890   2072981     24265    103896         0    116950    315804  12501794    146.21    154.13
4271.89/1069.54	c  N dy 14019   2093028     24265    103896         0     70999    315804   1705372    146.21    154.34
4314.23/1080.10	c  N dy 14154   2113068     24265    103896         0     91038    315804   6352217    146.22    157.53
4358.96/1091.34	c  N dy 14289   2133141     24265    103896         0    111110    315804  10909717    146.22    155.98
4408.10/1103.62	c  N dy 14430   2153188     24265    103896         0    131156    315804  15543893    146.25    193.00
4450.43/1114.28	c  N dy 14562   2173231     24265    103896         0     84207    315804   4569489    146.26    156.48
4494.76/1125.33	c  N dy 14697   2193295     24265    103896         0    104271    315804   9163387    146.27    197.09
4537.50/1136.03	c  S st 14825   2211176     24265    103896         0    122152    315804  13333883    146.30   no data
4538.71/1136.37	c  S st 14825   2211682     24265    103896         0    122658    315804  13413731    146.30   no data
4539.10/1136.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4539.90/1136.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.20
4539.90/1136.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4539.90/1136.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4539.90/1136.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4539.90/1136.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
4539.90/1136.67	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4541.11/1136.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4544.29/1137.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4575.46/1145.51	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.66 s
4575.46/1145.52	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
4576.27/1145.76	c vivif2 --  cl tried   122650 cl shrink        0 lits rem          0 time: 0.23
4577.46/1146.05	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.29
4577.46/1146.06	c calculated reachability. Time: 0.00
4577.46/1146.06	c  N dy 14825   2211682     24265    103896         0    122650    315804  13409915    146.30   no data
4625.78/1158.11	c  N dy 14961   2231807     24265    103896         0     74778    315804   2145153    146.31    154.45
4671.32/1169.54	c  N dy 15087   2251830     24265    103896         0     94799    315804   6689915    146.28    154.82
4717.27/1181.05	c  N dy 15230   2271852     24265    103896         0    114820    315804  11310658    146.29    174.84
4767.18/1193.59	c  N dy 15372   2292037     24265    103896         0    135003    315804  15981514    146.31    154.10

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

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 495453948 52441088 348 33554432000 4194304 4627427 140736330453168 18446744073709551615 47388811634604 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 12803 348 299 106 0 7774 0
[pid=27308/tid=27309] ppid=27306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495453948 52441088 348 33554432000 4194304 4627427 140736330453168 18446744073709551615 47388811634610 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495453948 52441088 348 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495453948 52441088 348 33554432000 4194304 4627427 140736330453168 18446744073709551615 47388811634608 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.062108 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=369140 CPUtime=0.19 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) S 27306 27308 27036 0 -1 4202496 13917 0 0 0 15 4 0 0 18 0 4 0 495453948 377999360 11909 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 92285 11909 339 106 0 87256 0
[pid=27308/tid=27309] ppid=27306 vsize=369140 CPUtime=0.04 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 3129 0 0 0 3 1 0 0 18 0 4 0 495453948 377999360 11909 33554432000 4194304 4627427 140736330453168 18446744073709551615 220815885409 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=369140 CPUtime=0.04 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) S 27306 27308 27036 0 -1 4202560 3802 0 0 0 3 1 0 0 18 0 4 0 495453948 377999360 11913 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=369140 CPUtime=0.04 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 3160 0 0 0 4 0 0 0 18 0 4 0 495453948 377999360 11929 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816236347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 369140

[startup+0.102201 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=374092 CPUtime=0.32 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 16812 0 0 0 25 7 0 0 18 0 4 0 495453948 383070208 14804 33554432000 4194304 4627427 140736330453168 18446744073709551615 4530587 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 93523 14822 339 106 0 88494 0
[pid=27308/tid=27309] ppid=27306 vsize=374092 CPUtime=0.07 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 4046 0 0 0 6 1 0 0 18 0 4 0 495453948 383070208 14837 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=374092 CPUtime=0.07 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) S 27306 27308 27036 0 -1 4202560 4325 0 0 0 5 2 0 0 17 0 4 0 495453948 383070208 14851 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=374092 CPUtime=0.07 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) S 27306 27308 27036 0 -1 4202560 3766 0 0 0 6 1 0 0 17 0 4 0 495453948 383070208 14866 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 374092

[startup+0.301652 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=384784 CPUtime=1.12 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 24262 0 0 0 103 9 0 0 18 0 4 0 495453948 394018816 22254 33554432000 4194304 4627427 140736330453168 18446744073709551615 4415723 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 96196 22254 371 106 0 91167 0
[pid=27308/tid=27309] ppid=27306 vsize=384784 CPUtime=0.27 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 6408 0 0 0 25 2 0 0 18 0 4 0 495453948 394018816 22254 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816294314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=384784 CPUtime=0.27 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) S 27306 27308 27036 0 -1 4202560 5884 0 0 0 24 3 0 0 18 0 4 0 495453948 394018816 22254 33554432000 4194304 4627427 140736330453168 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=384784 CPUtime=0.27 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 4487 0 0 0 26 1 0 0 18 0 4 0 495453948 394018816 22254 33554432000 4194304 4627427 140736330453168 18446744073709551615 220815885516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 384784

[startup+1.27988 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=395276 CPUtime=5.01 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 37641 0 0 0 489 12 0 0 19 0 4 0 495453948 404762624 28466 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 98819 28466 385 106 0 93790 0
[pid=27308/tid=27309] ppid=27306 vsize=395276 CPUtime=1.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 10837 0 0 0 122 3 0 0 19 0 4 0 495453948 404762624 28466 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=395276 CPUtime=1.24 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 10240 0 0 0 120 4 0 0 19 0 4 0 495453948 404762624 28466 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=395276 CPUtime=1.24 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 5219 0 0 0 123 1 0 0 19 0 4 0 495453948 404762624 28466 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 395276

[startup+1.50084 s]
/proc/loadavg: 7.42 7.81 6.61 6/180 27308
/proc/meminfo: memFree=25266232/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=395276 CPUtime=5.9 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 38250 0 0 0 578 12 0 0 19 0 4 0 495453948 404762624 29043 33554432000 4194304 4627427 140736330453168 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 98819 29043 385 106 0 93790 0
[pid=27308/tid=27309] ppid=27306 vsize=395276 CPUtime=1.47 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 11002 0 0 0 144 3 0 0 19 0 4 0 495453948 404762624 29043 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=395276 CPUtime=1.46 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 10405 0 0 0 142 4 0 0 19 0 4 0 495453948 404762624 29043 33554432000 4194304 4627427 140736330453168 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=395276 CPUtime=1.47 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 5365 0 0 0 145 2 0 0 19 0 4 0 495453948 404762624 29043 33554432000 4194304 4627427 140736330453168 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 395276

[startup+3.10055 s]
/proc/loadavg: 7.46 7.82 6.62 9/184 27312
/proc/meminfo: memFree=25130660/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=526540 CPUtime=12.28 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 42793 0 0 0 1215 13 0 0 23 0 4 0 495453948 539176960 33586 33554432000 4194304 4627427 140736330453168 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 131635 33586 385 106 0 126606 0
[pid=27308/tid=27309] ppid=27306 vsize=526540 CPUtime=3.06 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 12052 0 0 0 303 3 0 0 23 0 4 0 495453948 539176960 33586 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=526540 CPUtime=3.05 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 11448 0 0 0 301 4 0 0 23 0 4 0 495453948 539176960 33586 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=526540 CPUtime=3.06 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 6785 0 0 0 304 2 0 0 25 0 4 0 495453948 539176960 33586 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 526540

[startup+6.30096 s]
/proc/loadavg: 7.46 7.82 6.62 9/184 27312
/proc/meminfo: memFree=25100692/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=526540 CPUtime=25.07 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 50869 0 0 0 2492 15 0 0 25 0 4 0 495453948 539176960 41662 33554432000 4194304 4627427 140736330453168 18446744073709551615 4332968 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 131635 41662 385 106 0 126606 0
[pid=27308/tid=27309] ppid=27306 vsize=526540 CPUtime=6.26 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 14065 0 0 0 623 3 0 0 25 0 4 0 495453948 539176960 41662 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=526540 CPUtime=6.23 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 13467 0 0 0 619 4 0 0 25 0 4 0 495453948 539176960 41662 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=526540 CPUtime=6.26 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 8836 0 0 0 624 2 0 0 25 0 4 0 495453948 539176960 41662 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 526540

[startup+12.7008 s]
/proc/loadavg: 7.54 7.82 6.64 9/184 27312
/proc/meminfo: memFree=25016024/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=708120 CPUtime=50.65 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 90606 0 0 0 5041 24 0 0 25 0 4 0 495453948 725114880 59319 33554432000 4194304 4627427 140736330453168 18446744073709551615 4428390 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 177030 59319 390 106 0 172001 0
[pid=27308/tid=27309] ppid=27306 vsize=708120 CPUtime=12.67 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 19533 0 0 0 1263 4 0 0 25 0 4 0 495453948 725114880 59319 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=708120 CPUtime=12.6 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 18770 0 0 0 1255 5 0 0 25 0 4 0 495453948 725114880 59319 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=708120 CPUtime=12.67 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 15505 0 0 0 1264 3 0 0 25 0 4 0 495453948 725114880 59319 33554432000 4194304 4627427 140736330453168 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 708120

[startup+25.5004 s]
/proc/loadavg: 7.61 7.83 6.65 9/184 27312
/proc/meminfo: memFree=24865344/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=792520 CPUtime=101.75 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 167233 0 0 0 10131 44 0 0 25 0 4 0 495453948 811540480 104875 33554432000 4194304 4627427 140736330453168 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 198130 104876 390 106 0 193101 0
[pid=27308/tid=27309] ppid=27306 vsize=792520 CPUtime=25.46 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 50963 0 0 0 2534 12 0 0 25 0 4 0 495453948 811540480 104876 33554432000 4194304 4627427 140736330453168 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=792520 CPUtime=25.33 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 33499 0 0 0 2523 10 0 0 25 0 4 0 495453948 811540480 104876 33554432000 4194304 4627427 140736330453168 18446744073709551615 4322569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=792520 CPUtime=25.46 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 35384 0 0 0 2537 9 0 0 25 0 4 0 495453948 811540480 104876 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 792520

[startup+51.1007 s]
/proc/loadavg: 7.80 7.86 6.69 9/184 27313
/proc/meminfo: memFree=24720352/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=876680 CPUtime=204.02 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 275561 0 0 0 20331 71 0 0 25 0 4 0 495453948 897720320 146622 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 219170 146622 390 106 0 214141 0
[pid=27308/tid=27309] ppid=27306 vsize=876680 CPUtime=51.07 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 69584 0 0 0 5090 17 0 0 25 0 4 0 495453948 897720320 146622 33554432000 4194304 4627427 140736330453168 18446744073709551615 4310395 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=876680 CPUtime=50.79 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 56907 0 0 0 5064 15 0 0 25 0 4 0 495453948 897720320 146622 33554432000 4194304 4627427 140736330453168 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=876680 CPUtime=51.05 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 71183 0 0 0 5088 17 0 0 25 0 4 0 495453948 897720320 146622 33554432000 4194304 4627427 140736330453168 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 876680

[startup+102.3 s]
/proc/loadavg: 7.91 7.88 6.76 9/184 27314
/proc/meminfo: memFree=24571644/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=986324 CPUtime=408.54 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 368328 0 0 0 40757 97 0 0 25 0 4 0 495453948 1009995776 172746 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27308/statm: 246581 172746 390 106 0 241552 0
[pid=27308/tid=27309] ppid=27306 vsize=986324 CPUtime=102.26 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 101048 0 0 0 10202 24 0 0 25 0 4 0 495453948 1009995776 172747 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=986324 CPUtime=101.73 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 73018 0 0 0 10153 20 0 0 25 0 4 0 495453948 1009995776 172747 33554432000 4194304 4627427 140736330453168 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=986324 CPUtime=102.25 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 91114 0 0 0 10201 24 0 0 25 0 4 0 495453948 1009995776 172747 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 986324

[startup+162.301 s]

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

[pid=27308] ppid=27306 vsize=1422964 CPUtime=2805.19 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 1489589 0 0 0 280094 425 0 0 25 0 4 0 495453948 1457115136 286218 33554432000 4194304 4627427 140736330453168 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 355741 286218 390 106 0 350712 0
[pid=27308/tid=27309] ppid=27306 vsize=1422964 CPUtime=702.26 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 395404 0 0 0 70115 111 0 0 25 0 4 0 495453948 1457115136 286218 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1422964 CPUtime=698.98 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 334922 0 0 0 69803 95 0 0 25 0 4 0 495453948 1457115136 286218 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1422964 CPUtime=702.21 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 400367 0 0 0 70104 117 0 0 25 0 4 0 495453948 1457115136 286218 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.19
Current children cumulated vsize (KiB) 1422964

[startup+762.301 s]
/proc/loadavg: 8.06 8.06 7.43 9/184 27332
/proc/meminfo: memFree=24011216/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1357924 CPUtime=3044.84 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 1591030 0 0 0 304024 460 0 0 25 0 4 0 495453948 1390514176 276960 33554432000 4194304 4627427 140736330453168 18446744073709551615 4327362 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 339481 276961 390 106 0 334452 0
[pid=27308/tid=27309] ppid=27306 vsize=1357924 CPUtime=762.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 420643 0 0 0 76107 118 0 0 25 0 4 0 495453948 1390514176 276961 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1357924 CPUtime=758.97 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 362957 0 0 0 75792 105 0 0 25 0 4 0 495453948 1390514176 276961 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1357924 CPUtime=762.21 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 427380 0 0 0 76095 126 0 0 25 0 4 0 495453948 1390514176 276961 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.84
Current children cumulated vsize (KiB) 1357924

[startup+822.3 s]
/proc/loadavg: 7.76 8.00 7.44 9/184 27364
/proc/meminfo: memFree=24308896/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1474556 CPUtime=3284.52 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 1691094 0 0 0 327962 490 0 0 25 0 4 0 495453948 1509945344 299422 33554432000 4194304 4627427 140736330453168 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 368639 299422 390 106 0 363610 0
[pid=27308/tid=27309] ppid=27306 vsize=1474556 CPUtime=822.26 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 446020 0 0 0 82101 125 0 0 25 0 4 0 495453948 1509945344 299422 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1474556 CPUtime=818.97 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 383371 0 0 0 81786 111 0 0 25 0 4 0 495453948 1509945344 299422 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1474556 CPUtime=822.21 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 453602 0 0 0 82086 135 0 0 25 0 4 0 495453948 1509945344 299422 33554432000 4194304 4627427 140736330453168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.52
Current children cumulated vsize (KiB) 1474556

[startup+882.3 s]
/proc/loadavg: 8.00 8.03 7.48 9/184 27366
/proc/meminfo: memFree=23918968/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1451260 CPUtime=3524.17 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 1792363 0 0 0 351895 522 0 0 25 0 4 0 495453948 1486090240 291810 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 362815 291810 390 106 0 357786 0
[pid=27308/tid=27309] ppid=27306 vsize=1451260 CPUtime=882.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 468070 0 0 0 88094 131 0 0 25 0 4 0 495453948 1486090240 291810 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1451260 CPUtime=878.96 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 410994 0 0 0 87776 120 0 0 25 0 4 0 495453948 1486090240 291810 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1451260 CPUtime=882.19 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 479207 0 0 0 88075 144 0 0 25 0 4 0 495453948 1486090240 291810 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.17
Current children cumulated vsize (KiB) 1451260

[startup+942.306 s]
/proc/loadavg: 8.15 8.06 7.53 9/184 27368
/proc/meminfo: memFree=23824644/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1534308 CPUtime=3763.83 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 1894302 0 0 0 375828 555 0 0 25 0 4 0 495453948 1571131392 287637 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 383577 287637 390 106 0 378548 0
[pid=27308/tid=27309] ppid=27306 vsize=1534308 CPUtime=942.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 495343 0 0 0 94087 138 0 0 25 0 4 0 495453948 1571131392 287637 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1534308 CPUtime=938.95 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 434246 0 0 0 93766 129 0 0 25 0 4 0 495453948 1571131392 287637 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1534308 CPUtime=942.21 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 506390 0 0 0 94066 155 0 0 25 0 4 0 495453948 1571131392 287637 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.83
Current children cumulated vsize (KiB) 1534308

[startup+1002.3 s]
/proc/loadavg: 8.06 8.05 7.56 9/184 27369
/proc/meminfo: memFree=23537076/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1657592 CPUtime=4003.48 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2004509 0 0 0 399760 588 0 0 25 0 4 0 495453948 1697374208 335660 33554432000 4194304 4627427 140736330453168 18446744073709551615 4305808 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 414398 335660 390 106 0 409369 0
[pid=27308/tid=27309] ppid=27306 vsize=1657592 CPUtime=1002.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 520469 0 0 0 100079 146 0 0 25 0 4 0 495453948 1697374208 335660 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1657592 CPUtime=998.94 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 470287 0 0 0 99757 137 0 0 25 0 4 0 495453948 1697374208 335660 33554432000 4194304 4627427 140736330453168 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1657592 CPUtime=1002.19 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 531665 0 0 0 100055 164 0 0 25 0 4 0 495453948 1697374208 335660 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.48
Current children cumulated vsize (KiB) 1657592

[startup+1062.3 s]
/proc/loadavg: 8.09 8.06 7.59 9/184 27371
/proc/meminfo: memFree=23579036/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1659604 CPUtime=4243.13 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2104050 0 0 0 423691 622 0 0 25 0 4 0 495453948 1699434496 324575 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 414901 324575 390 106 0 409872 0
[pid=27308/tid=27309] ppid=27306 vsize=1659604 CPUtime=1062.24 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 544069 0 0 0 106071 153 0 0 25 0 4 0 495453948 1699434496 324575 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1659604 CPUtime=1058.94 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 493450 0 0 0 105749 145 0 0 25 0 4 0 495453948 1699434496 324575 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1659604 CPUtime=1062.19 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 558868 0 0 0 106046 173 0 0 25 0 4 0 495453948 1699434496 324575 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.13
Current children cumulated vsize (KiB) 1659604

[startup+1122.3 s]
/proc/loadavg: 8.11 8.06 7.61 9/184 27372
/proc/meminfo: memFree=23467596/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1542012 CPUtime=4482.78 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2205031 0 0 0 447622 656 0 0 25 0 4 0 495453948 1579020288 312134 33554432000 4194304 4627427 140736330453168 18446744073709551615 4305865 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 385503 312134 390 106 0 380474 0
[pid=27308/tid=27309] ppid=27306 vsize=1542012 CPUtime=1122.25 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 570386 0 0 0 112063 162 0 0 25 0 4 0 495453948 1579020288 312134 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1542012 CPUtime=1118.92 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 518605 0 0 0 111738 154 0 0 25 0 4 0 495453948 1579020288 312134 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1542012 CPUtime=1122.18 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 584913 0 0 0 112036 182 0 0 25 0 4 0 495453948 1579020288 312134 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.78
Current children cumulated vsize (KiB) 1542012

[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 7.64 9/184 27374
/proc/meminfo: memFree=23133848/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=2005900 CPUtime=4722.44 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2371195 0 0 0 471544 700 0 0 25 0 4 0 495453948 2054041600 394437 33554432000 4194304 4627427 140736330453168 18446744073709551615 4305416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 501475 394437 390 106 0 496446 0
[pid=27308/tid=27309] ppid=27306 vsize=2005900 CPUtime=1182.24 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 621902 0 0 0 118051 173 0 0 25 0 4 0 495453948 2054041600 394437 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=2005900 CPUtime=1178.92 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 544345 0 0 0 117729 163 0 0 25 0 4 0 495453948 2054041600 394437 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=2005900 CPUtime=1182.18 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 628204 0 0 0 118024 194 0 0 25 0 4 0 495453948 2054041600 394437 33554432000 4194304 4627427 140736330453168 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 2005900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.07 8.06 7.65 9/184 27375
/proc/meminfo: memFree=23060532/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1991164 CPUtime=4800.37 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2399454 0 0 0 479326 711 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 497791 405402 390 106 0 492762 0
[pid=27308/tid=27309] ppid=27306 vsize=1991164 CPUtime=1201.75 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 629577 0 0 0 119999 176 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1991164 CPUtime=1198.43 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 552067 0 0 0 119678 165 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1991164 CPUtime=1201.68 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 635855 0 0 0 119971 197 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1991164

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

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

[startup+1201.8 s]
/proc/loadavg: 8.07 8.06 7.65 9/184 27375
/proc/meminfo: memFree=23060532/32951124 swapFree=67111524/67111528
[pid=27308] ppid=27306 vsize=1991164 CPUtime=4800.37 cores=0,2,4,6
/proc/27308/stat : 27308 (strangenight2-m) R 27306 27308 27036 0 -1 4202496 2399454 0 0 0 479326 711 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27308/statm: 497791 405402 390 106 0 492762 0
[pid=27308/tid=27309] ppid=27306 vsize=1991164 CPUtime=1201.75 cores=0,2,4,6
/proc/27308/task/27309/stat : 27309 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 629577 0 0 0 119999 176 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27308/tid=27310] ppid=27306 vsize=1991164 CPUtime=1198.43 cores=0,2,4,6
/proc/27308/task/27310/stat : 27310 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 552067 0 0 0 119678 165 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27308/tid=27311] ppid=27306 vsize=1991164 CPUtime=1201.68 cores=0,2,4,6
/proc/27308/task/27311/stat : 27311 (strangenight2-m) R 27306 27308 27036 0 -1 4202560 635855 0 0 0 119971 197 0 0 25 0 4 0 495453948 2038951936 405402 33554432000 4194304 4627427 140736330453168 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1991164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.47
CPU user time (s): 4793.28
CPU system time (s): 7.18891
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 2005900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.28
system time used= 7.18891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2399460
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= 8979
involuntary context switches= 22993

runsolver used 1.92271 second user time and 4.55731 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 00:39:40
IDJOB=3173751
IDBENCH=82569
IDSOLVER=1586
FILE ID=node147/3173751-1304030380
RUNJOBID= node147-1304028687-27054
PBS_JOBID= 13170305
Free space on /tmp= 72652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173751-1304030380/watcher-3173751-1304030380 -o /tmp/evaluation-result-3173751-1304030380/solver-3173751-1304030380 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173751-1304030380.cnf

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

MD5SUM BENCH= 1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
RANDOM SEED=127918540

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25266512 kB
Buffers:       1018392 kB
Cached:        5779432 kB
SwapCached:          4 kB
Active:        1627508 kB
Inactive:      5612476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25266512 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7820 kB
Writeback:           0 kB
AnonPages:      442016 kB
Mapped:          15504 kB
Slab:           380964 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   653476 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= 72644 MiB
End job on node147 at 2011-04-29 00:59:44