Trace number 3366160

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366160-1305397468.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.17/0.22	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.17/0.22	c -- vars added      25000
0.17/0.22	c Parsing time:  0.06 s
0.17/0.22	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.17/0.22	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.17/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.81/0.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.81/0.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.81/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.81/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
0.81/0.31	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.52/1.13	c lits-rem:         0  cl-subs:        0  v-elim:    658  v-fix:    0  time:  0.17 s
1.52/1.13	c Finding binary XORs  T:     0.01 s  found:       0
1.52/1.13	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.52/1.13	c calculated reachability. Time: 0.00
1.52/1.13	c Calc default polars -  time:   0.01 s pos:   11139 undec:    2751 neg:   11110
1.52/1.13	c =========================================================================================
1.52/1.13	c types(t): F = full restart, N = normal restart
1.52/1.13	c types(t): S = simplification begin/end, E = solution found
1.52/1.13	c restart types(rt): st = static, dy = dynamic
1.52/1.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.52/1.13	c  B st     0         0     24342    104318         0         0    317030         0   no data   no data
7.51/1.90	c  N dy    23      4080     24342    104318         0      4080    317030    944907    140.18    155.01
12.74/3.29	c  N dy    53      8113     24342    104318         0      8113    317030   1839192    141.40    148.91
18.68/4.72	c  N dy    83     12118     24342    104318         0     12118    317030   2742991    143.06    155.94
24.27/6.19	c  N dy   110     16152     24342    104318         0     16152    317030   3655616    143.81    155.08
30.64/7.77	c  N dy   138     20310     24342    104318         0     10312    317030    641497    143.40    151.08
36.63/9.23	c  N dy   169     24380     24342    104318         0     14382    317030   1621174    144.78    158.85
37.44/9.46	c  F st   174     25001     24342    104318         0     15003    317030   1765242    144.72   no data
45.81/11.53	c  N dy   180     30001     24342    104318         0     20001    317030   3440021    144.72   no data
45.81/11.53	c  S st   180     30001     24342    104318         0     20001    317030   3440021    144.72   no data
46.61/11.73	c  S st   180     30510     24342    104318         0     20510    317030   3529301    144.72   no data
46.61/11.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.01/11.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
47.01/11.84	c blocked clauses removed:      416 vars:     71 tried:       24342 T: 0.01 s
47.01/11.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.01/11.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.01/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24271 time:  0.01 s
47.01/11.87	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.42/11.97	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.10 s
48.60/12.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.24/13.13	c lits-rem:        30  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.84 s
52.60/13.25	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.12
52.60/13.26	c calculated reachability. Time: 0.00
52.60/13.26	c  N dy   180     30510     24265    103896         0     19890    315804   3208993    144.72   no data
59.38/14.91	c  N dy   208     34617     24265    103896         0     23997    315804   4137849    145.29    160.81
66.16/16.61	c  N dy   237     38800     24265    103896         0     28180    315804   5089327    145.57    158.73
72.55/18.28	c  N dy   265     42888     24265    103896         0     17077    315804   1122689    145.45    156.01
76.93/19.37	c  S st   282     45765     24265    103896         0     19954    315804   1749334    144.92   no data
77.74/19.56	c  S st   282     46273     24265    103896         0     20462    315804   1819774    144.92   no data
77.74/19.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
78.16/19.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
78.16/19.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.16/19.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.16/19.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.16/19.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
78.58/19.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.93/19.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
79.32/19.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.13/20.17	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
80.13/20.18	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
80.53/20.21	c vivif2 --  cl tried    20462 cl shrink        0 lits rem          0 time: 0.03
80.93/20.34	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.12
80.93/20.35	c calculated reachability. Time: 0.00
80.93/20.35	c  N dy   282     46273     24265    103896         0     20462    315804   1819772    144.92   no data
87.35/21.96	c  N dy   312     50447     24265    103896         0     24636    315804   2737999    144.77    154.51
93.70/23.58	c  N dy   342     54459     24265    103896         0     28648    315804   3674780    145.08    187.84
100.52/25.25	c  N dy   369     58530     24265    103896         0     32719    315804   4602292    144.89    154.47
107.26/26.92	c  N dy   397     62537     24265    103896         0     36726    315804   5505617    144.89    154.13
113.69/28.59	c  N dy   424     66729     24265    103896         0     22323    315804   1556999    144.97    161.32
118.07/29.65	c  S st   443     69409     24265    103896         0     25003    315804   2146024    144.85   no data
118.83/29.87	c  S st   443     69912     24265    103896         0     25506    315804   2244756    144.85   no data
118.83/29.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.23/29.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
119.23/29.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.23/29.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
119.23/30.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.63/30.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
119.63/30.01	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.03/30.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
120.43/30.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.05/30.65	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.39 s
122.05/30.66	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
122.05/30.70	c vivif2 --  cl tried    25504 cl shrink        0 lits rem          0 time: 0.04
122.82/30.83	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.13
122.82/30.84	c calculated reachability. Time: 0.00
122.82/30.84	c  N dy   443     69912     24265    103896         0     25504    315804   2242799    144.85   no data
130.01/32.64	c  N dy   470     74452     24265    103896         0     30043    315804   3258806    144.49    153.01
137.60/34.58	c  N dy   499     79262     24265    103896         0     34853    315804   4303293    144.14    153.75
145.97/36.68	c  N dy   532     84346     24265    103896         0     39937    315804   5464935    144.21    162.35
151.56/38.02	c  F st   555     87500     24265    103896         0     22294    315804    967521    144.12   no data
157.17/39.47	c  N st   560     90797     24265    103896         0     25590    315804   2036325    144.12   no data
166.72/41.89	c  N dy   588     96726     24265    103896         0     31518    315804   3546597    144.17    152.10
177.50/44.50	c  N dy   626    103041     24265    103896         0     37833    315804   4946343    143.96    152.20
180.30/45.27	c  S st   638    104868     24265    103896         0     39660    315804   5338227    143.89    123.55
181.10/45.49	c  S st   638    105369     24265    103896         0     40161    315804   5410028    143.89   no data
181.50/45.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
181.50/45.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
181.89/45.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
181.89/45.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
181.89/45.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
181.89/45.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
181.89/45.65	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
182.29/45.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
183.50/46.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
189.87/47.68	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.56 s
189.87/47.69	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
190.27/47.78	c vivif2 --  cl tried    40155 cl shrink        0 lits rem          0 time: 0.09
191.06/47.94	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.16
191.06/47.95	c calculated reachability. Time: 0.00
191.06/47.95	c  N dy   638    105369     24265    103896         0     40155    315804   5406319    143.89   no data
202.64/50.88	c  N dy   685    112122     24265    103896         0     24513    315804   1056168    143.96    156.90
215.00/53.93	c  N dy   738    119510     24265    103896         0     31899    315804   2740589    144.10    152.49
227.81/57.18	c  N dy   788    127150     24265    103896         0     39539    315804   4455541    143.98    153.73
242.14/60.77	c  N dy   844    135292     24265    103896         0     23978    315804    634504    144.09    155.12
256.50/64.35	c  N dy   906    143965     24265    103896         0     32651    315804   2634526    144.31    152.35
272.07/68.26	c  N dy   968    153175     24265    103896         0     41860    315804   4715846    144.31    160.95
280.85/70.42	c  S st  1003    158055     24265    103896         0     46739    315804   5837428    144.41   no data
281.65/70.65	c  S st  1003    158556     24265    103896         0     47240    315804   5928358    144.41   no data
281.65/70.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.05/70.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
282.05/70.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.05/70.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.45/70.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.45/70.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
282.45/70.82	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
282.85/70.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
284.05/71.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
293.24/73.59	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.26 s
293.24/73.60	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
294.01/73.70	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.10
294.41/73.87	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
294.41/73.87	c calculated reachability. Time: 0.00
294.41/73.87	c  N dy  1003    158556     24265    103896         0     47235    315804   5926425    144.41   no data
311.98/78.25	c  N dy  1077    168775     24265    103896         0     32611    315804   2314303    144.61    152.44
330.33/82.89	c  N dy  1149    179644     24265    103896         0     43479    315804   4763765    144.50    153.72
350.73/87.93	c  N dy  1222    191134     24265    103896         0     29046    315804   1235343    144.33    152.55
371.44/93.17	c  N dy  1305    203444     24265    103896         0     41356    315804   4043308    144.41    155.67
394.98/99.08	c  N dy  1393    216465     24265    103896         0     27418    315804    621813    144.40    156.34
418.52/104.97	c  N dy  1484    230333     24265    103896         0     41286    315804   3779520    144.48    154.34
432.10/108.31	c  S st  1536    237835     24265    103896         0     48787    315804   5504745    144.56   no data
432.89/108.54	c  S st  1536    238335     24265    103896         0     49287    315804   5578054    144.56   no data
432.89/108.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
433.29/108.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
433.29/108.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
433.29/108.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
433.29/108.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
433.29/108.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
433.71/108.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
434.13/108.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
435.28/109.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
444.47/111.44	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.28 s
444.47/111.45	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
444.87/111.55	c vivif2 --  cl tried    49284 cl shrink        0 lits rem          0 time: 0.09
445.67/111.72	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
445.67/111.73	c calculated reachability. Time: 0.00
445.67/111.73	c  N dy  1536    238335     24265    103896         0     49284    315804   5577365    144.56   no data
472.41/118.45	c  N dy  1646    253604     24265    103896         0     36568    315804   2484674    144.64    179.83
501.14/125.66	c  N dy  1755    269885     24265    103896         0     52846    315804   6110374    144.53    156.27
531.86/133.34	c  N dy  1866    287266     24265    103896         0     41242    315804   3270537    144.45    152.15
565.00/141.66	c  N dy  1989    305703     24265    103896         0     59679    315804   7462558    144.58    153.01
566.18/141.95	c  F st  1994    306252     24265    103896         0     30234    315804    524633    144.58   no data
600.10/150.43	c  N dy  2092    325310     24265    103896         0     49291    315804   5486509    144.60    156.63
636.05/159.42	c  N dy  2225    345330     24265    103896         0     38315    315804   2109471    144.58    154.22
657.58/164.88	c  S st  2307    357502     24265    103896         0     50485    315804   4874715    144.56   no data
658.76/165.12	c  S st  2307    358005     24265    103896         0     50988    315804   4976283    144.56   no data
658.76/165.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
659.16/165.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
659.16/165.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
659.16/165.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
659.16/165.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
659.16/165.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
659.16/165.29	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
659.96/165.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
660.76/165.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.53/167.84	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.15 s
669.53/167.86	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
669.93/167.94	c vivif2 --  cl tried    50986 cl shrink        0 lits rem          0 time: 0.08
670.76/168.11	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
670.76/168.12	c calculated reachability. Time: 0.00
670.76/168.12	c  N dy  2307    358005     24265    103896         0     50986    315804   4976087    144.56   no data
707.05/177.29	c  N dy  2441    378105     24265    103896         0     39086    315804   2069149    144.52    152.32
744.57/186.64	c  N dy  2586    398192     24265    103896         0     59171    315804   6605945    144.62    164.39
780.91/195.75	c  N dy  2714    418257     24265    103896         0     46235    315804   3492005    144.67    155.21
818.38/205.16	c  N dy  2851    438312     24265    103896         0     66290    315804   8028496    144.70    152.50
855.11/214.37	c  N dy  2985    458574     24265    103896         0     52557    315804   4680759    144.72    154.09
893.40/223.90	c  N dy  3119    478610     24265    103896         0     37594    315804   1053828    144.74    172.80
930.15/233.16	c  N dy  3268    498771     24265    103896         0     57752    315804   5703260    144.90    155.30
968.03/242.64	c  N dy  3404    518847     24265    103896         0     41834    315804   1753248    144.84    153.92
1001.55/251.01	c  S st  3530    537008     24265    103896         0     59995    315804   5907007    144.90    137.44
1002.34/251.27	c  S st  3530    537513     24265    103896         0     60500    315804   5985246    144.90   no data
1002.34/251.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1002.74/251.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1003.14/251.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1003.14/251.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1003.14/251.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1003.14/251.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
1003.14/251.45	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1003.54/251.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1005.14/251.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1017.11/254.95	c lits-rem:        12  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.03 s
1017.11/254.96	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
1017.53/255.06	c vivif2 --  cl tried    60498 cl shrink        0 lits rem          0 time: 0.10
1018.31/255.25	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.19
1018.31/255.26	c calculated reachability. Time: 0.00
1018.31/255.26	c  N dy  3530    537513     24265    103896         0     60498    315804   5983731    144.90   no data
1056.63/264.89	c  N dy  3669    557702     24265    103896         0     43687    315804   1957538    144.96    153.07
1094.53/274.33	c  N dy  3807    578038     24265    103896         0     64022    315804   6620193    144.99    154.63
1132.44/283.89	c  N dy  3938    598072     24265    103896         0     46059    315804   2282066    144.94    153.27
1170.75/293.41	c  N dy  4085    618079     24265    103896         0     66066    315804   6818989    145.00    153.85
1209.06/303.07	c  N dy  4226    638083     24265    103896         0     47066    315804   2335714    145.04    154.99
1247.36/312.67	c  N dy  4366    658236     24265    103896         0     67219    315804   6944064    145.12    155.30
1287.27/322.64	c  N dy  4503    678319     24265    103896         0     47304    315804   2153823    145.19    156.23
1325.57/332.26	c  N dy  4636    698322     24265    103896         0     67303    315804   6737834    145.22    168.07
1365.88/342.31	c  N dy  4775    718570     24265    103896         0     46554    315804   1743655    145.23    158.97
1403.81/351.82	c  N dy  4911    738643     24265    103896         0     66626    315804   6245342    145.23    154.12
1444.49/362.04	c  N dy  5052    758689     24265    103896         0     44670    315804   1111588    145.27    153.04
1482.01/371.48	c  N dy  5187    778717     24265    103896         0     64696    315804   5722213    145.30    156.55
1523.90/381.90	c  N dy  5324    798905     24265    103896         0     84883    315804  10415320    145.37    156.48
1537.87/385.41	c  S st  5379    806272     24265    103896         0     49255    315804   1929337    145.41    140.70
1538.68/385.65	c  S st  5379    806774     24265    103896         0     49757    315804   2016024    145.41   no data
1538.68/385.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1539.07/385.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1539.07/385.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1539.07/385.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1539.47/385.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1539.47/385.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
1539.47/385.82	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1539.89/385.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1540.31/386.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1543.46/386.81	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
1543.46/386.83	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
1543.46/386.86	c vivif2 --  cl tried    49757 cl shrink        0 lits rem          0 time: 0.04
1544.28/387.03	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.17
1544.28/387.04	c calculated reachability. Time: 0.00
1544.28/387.04	c  N dy  5379    806774     24265    103896         0     49757    315804   2016023    145.41   no data
1582.97/396.73	c  N dy  5510    826866     24265    103896         0     69848    315804   6583394    145.43    159.16
1625.26/407.33	c  N dy  5653    847023     24265    103896         0     46006    315804    929414    145.43    155.10
1663.57/416.91	c  N dy  5791    867148     24265    103896         0     66128    315804   5565149    145.46    153.80
1704.67/427.29	c  N dy  5935    887180     24265    103896         0     86160    315804  10128399    145.50    154.18
1743.39/436.98	c  N dy  6073    907236     24265    103896         0     61218    315804   4178798    145.51    208.30
1783.69/447.06	c  N dy  6200    927248     24265    103896         0     81230    315804   8754853    145.50    176.54
1824.00/457.17	c  N dy  6331    947345     24265    103896         0     55330    315804   2569241    145.47    188.01
1864.29/467.29	c  N dy  6469    967713     24265    103896         0     75697    315804   7201022    145.49    154.11
1906.60/477.88	c  N dy  6607    987815     24265    103896         0     48802    315804    883500    145.50    159.05
1945.70/487.66	c  N dy  6744   1007960     24265    103896         0     68946    315804   5548964    145.53    153.81
1988.04/498.22	c  N dy  6885   1028050     24265    103896         0     89035    315804  10158378    145.57    155.75
2028.30/508.31	c  N dy  7022   1048119     24265    103896         0     61099    315804   3551816    145.61    155.86
2069.01/518.59	c  N dy  7159   1068220     24265    103896         0     81197    315804   8223063    145.66    159.80
2076.99/520.56	c  F st  7187   1071876     24265    103896         0     84853    315804   9065223    145.67   no data
2111.70/529.20	c  N dy  7265   1088269     24265    103896         0     52252    315804   1263558    145.64    174.35
2150.46/539.00	c  N dy  7392   1108366     24265    103896         0     72348    315804   5852737    145.62    168.27
2193.11/549.61	c  N dy  7531   1128403     24265    103896         0     92384    315804  10440738    145.65    199.34
2234.21/560.00	c  N dy  7668   1148693     24265    103896         0     62677    315804   3527946    145.69    156.90
2275.32/570.24	c  N dy  7801   1168756     24265    103896         0     82739    315804   8095116    145.70    153.97
2320.81/581.60	c  N dy  7939   1189058     24265    103896         0     52042    315804    750576    145.72    157.32
2360.33/591.56	c  N dy  8081   1209083     24265    103896         0     72065    315804   5291584    145.73    166.16
2362.72/592.10	c  S st  8088   1210161     24265    103896         0     73143    315804   5526044    145.73   no data
2363.52/592.38	c  S st  8088   1210667     24265    103896         0     73649    315804   5611280    145.73   no data
2363.91/592.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2364.31/592.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2364.31/592.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2364.31/592.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2364.31/592.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2364.31/592.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
2364.31/592.57	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2365.12/592.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2366.30/593.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2379.07/596.29	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.27 s
2379.46/596.31	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
2379.86/596.40	c vivif2 --  cl tried    73645 cl shrink        0 lits rem          0 time: 0.10
2380.66/596.62	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.21
2380.66/596.62	c calculated reachability. Time: 0.00
2380.66/596.62	c  N dy  8088   1210667     24265    103896         0     73645    315804   5609869    145.73   no data
2423.76/607.45	c  N dy  8233   1230708     24265    103896         0     93685    315804  10332895    145.81    158.82
2466.08/618.07	c  N dy  8374   1250899     24265    103896         0     61881    315804   2804258    145.84    154.21
2506.76/628.27	c  N dy  8509   1270951     24265    103896         0     81933    315804   7417515    145.86    156.42
2551.45/639.42	c  N dy  8655   1291110     24265    103896         0    102089    315804  12110260    145.90    159.20
2591.35/649.47	c  N dy  8785   1311128     24265    103896         0     69111    315804   4214007    145.89    155.77
2633.66/660.07	c  N dy  8923   1331169     24265    103896         0     89151    315804   8869871    145.91    156.13
2679.55/671.54	c  N dy  9066   1351250     24265    103896         0     55232    315804    796957    145.94    153.64
2719.06/681.43	c  N dy  9196   1371263     24265    103896         0     75244    315804   5296815    145.92    159.89
2762.55/692.31	c  N dy  9333   1391352     24265    103896         0     95332    315804   9921973    145.94    157.04
2806.05/703.24	c  N dy  9465   1411372     24265    103896         0     60352    315804   1788724    145.97    155.29
2847.15/713.57	c  N dy  9609   1431572     24265    103896         0     80551    315804   6445391    145.99    155.88
2891.06/724.59	c  N dy  9738   1451657     24265    103896         0    100633    315804  11081250    145.99    154.19
2934.55/735.46	c  N dy  9873   1471749     24265    103896         0     64729    315804   2538703    146.00    186.64
2976.04/745.88	c  N dy 10011   1491793     24265    103896         0     84771    315804   7189809    146.02    155.24
3019.94/756.85	c  N dy 10133   1511809     24265    103896         0    104787    315804  11733857    146.00    153.87
3062.65/767.50	c  N dy 10258   1531887     24265    103896         0     67866    315804   3049449    145.98    158.04
3104.54/778.02	c  N dy 10392   1552031     24265    103896         0     88010    315804   7699730    145.98    154.62
3149.23/789.29	c  N dy 10524   1572079     24265    103896         0    108057    315804  12256639    145.96    175.93
3192.73/800.10	c  N dy 10660   1592260     24265    103896         0     70239    315804   3341020    145.97    153.94
3235.43/810.88	c  N dy 10807   1612313     24265    103896         0     90288    315804   8029194    146.02    156.88
3281.71/822.48	c  N dy 10946   1632504     24265    103896         0    110479    315804  12691999    146.05    155.55
3325.21/833.31	c  N dy 11082   1652624     24265    103896         0     71602    315804   3508080    146.08    155.30
3367.91/844.04	c  N dy 11217   1672723     24265    103896         0     91700    315804   8087954    146.08    161.66
3414.22/855.64	c  N dy 11348   1692894     24265    103896         0    111871    315804  12670360    146.06    153.75
3452.90/865.38	c  S st 11469   1710667     24265    103896         0     69645    315804   2796203    146.07    129.26
3454.14/865.65	c  S st 11469   1711176     24265    103896         0     70154    315804   2878091    146.07   no data
3454.14/865.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3454.50/865.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3454.90/865.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3454.90/865.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3454.90/865.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3454.90/865.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
3454.90/865.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3455.30/865.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3456.10/866.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3463.68/868.09	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.96 s
3464.08/868.10	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
3464.08/868.15	c vivif2 --  cl tried    70153 cl shrink        0 lits rem          0 time: 0.05
3464.88/868.36	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.20
3464.88/868.37	c calculated reachability. Time: 0.00
3464.88/868.37	c  N dy 11469   1711176     24265    103896         0     70153    315804   2877909    146.07   no data
3507.18/878.90	c  N dy 11600   1731202     24265    103896         0     90176    315804   7445329    146.06    155.47
3552.68/890.35	c  N dy 11735   1751261     24265    103896         0    110234    315804  12058286    146.08    165.64
3597.37/901.55	c  N dy 11866   1771326     24265    103896         0     69302    315804   2472031    146.08    154.38
3640.06/912.21	c  N dy 11997   1791455     24265    103896         0     89430    315804   7086696    146.09    155.79
3685.96/923.75	c  N dy 12134   1811548     24265    103896         0    109522    315804  11686925    146.11    154.09
3732.25/935.33	c  N dy 12266   1831649     24265    103896         0     67621    315804   1832679    146.10    163.18
3774.17/945.86	c  N dy 12399   1851751     24265    103896         0     87722    315804   6465828    146.11    160.33
3821.24/957.63	c  N dy 12531   1871871     24265    103896         0    107840    315804  11015443    146.10    157.80
3869.12/969.67	c  N dy 12667   1891882     24265    103896         0     64853    315804    991729    146.11    154.24
3910.66/980.09	c  N dy 12805   1911990     24265    103896         0     84957    315804   5678720    146.15    154.51
3956.12/991.48	c  N dy 12946   1932101     24265    103896         0    105063    315804  10356540    146.17    162.15
4004.39/1003.58	c  N dy 13080   1952186     24265    103896         0    125147    315804  14994725    146.17    155.29
4046.73/1014.17	c  N dy 13216   1972218     24265    103896         0     81185    315804   4555183    146.19    155.02
4090.99/1025.27	c  N dy 13346   1992384     24265    103896         0    101350    315804   9193573    146.20    156.18
4138.49/1037.15	c  N dy 13477   2012455     24265    103896         0    121420    315804  13792135    146.19    155.31
4183.95/1048.55	c  N dy 13618   2032708     24265    103896         0     76680    315804   3292666    146.21    155.02
4227.46/1059.40	c  N dy 13755   2052723     24265    103896         0     96694    315804   7910792    146.23    157.45
4274.57/1071.30	c  N dy 13890   2072981     24265    103896         0    116950    315804  12501794    146.21    154.13
4322.03/1083.12	c  N dy 14019   2093028     24265    103896         0     70999    315804   1705372    146.21    154.34
4364.31/1093.75	c  N dy 14154   2113068     24265    103896         0     91038    315804   6352217    146.22    157.53
4410.21/1105.26	c  N dy 14289   2133141     24265    103896         0    111110    315804  10909717    146.22    155.98
4460.08/1117.75	c  N dy 14430   2153188     24265    103896         0    131156    315804  15543893    146.25    193.00
4502.81/1128.45	c  N dy 14562   2173231     24265    103896         0     84207    315804   4569489    146.26    156.48
4548.68/1139.94	c  N dy 14697   2193295     24265    103896         0    104271    315804   9163387    146.27    197.09
4592.98/1151.02	c  S st 14825   2211176     24265    103896         0    122152    315804  13333883    146.30   no data
4594.18/1151.38	c  S st 14825   2211682     24265    103896         0    122658    315804  13413731    146.30   no data
4594.58/1151.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4594.99/1151.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
4594.99/1151.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4595.41/1151.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4595.41/1151.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4595.41/1151.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24265 time:  0.01 s
4595.41/1151.64	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4596.17/1151.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4600.15/1152.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4630.52/1160.46	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.63 s
4630.52/1160.47	c vivif2 --  cl tried   103896 cl shrink        0 lits rem          0 time: 0.01
4631.68/1160.70	c vivif2 --  cl tried   122650 cl shrink        0 lits rem          0 time: 0.23
4632.48/1161.00	c asymm  cl-useful: 0/103896/103896 lits-rem:0 time: 0.29
4632.88/1161.00	c calculated reachability. Time: 0.00
4632.88/1161.01	c  N dy 14825   2211682     24265    103896         0    122650    315804  13409915    146.30   no data
4680.36/1172.95	c  N dy 14961   2231807     24265    103896         0     74778    315804   2145153    146.31    154.45
4723.05/1183.65	c  N dy 15087   2251830     24265    103896         0     94799    315804   6689915    146.28    154.82
4770.14/1195.42	c  N dy 15230   2271852     24265    103896         0    114820    315804  11310658    146.29    174.84

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366160-1305397468/watcher-3366160-1305397468 -o /tmp/evaluation-result-3366160-1305397468/solver-3366160-1305397468 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366160-1305397468.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: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 651345343 52396032 347 33554432000 4194304 4580107 140733900826912 18446744073709551615 47842286753714 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20059/statm: 12792 347 299 95 0 7774 0
[pid=20059/tid=20060] ppid=20057 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651345343 52396032 347 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651345343 52396032 347 33554432000 4194304 4580107 140733900826912 18446744073709551615 47842286753714 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651345343 52396032 347 33554432000 4194304 4580107 140733900826912 18446744073709551615 47842286753714 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0565449 s]
/proc/loadavg: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=303800 CPUtime=0.17 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 14160 0 0 0 14 3 0 0 18 0 4 0 651345343 311091200 12035 33554432000 4194304 4580107 140733900826912 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20059/statm: 75950 12038 337 95 0 70932 0
[pid=20059/tid=20060] ppid=20057 vsize=303800 CPUtime=0.03 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 3437 0 0 0 3 0 0 0 18 0 4 0 651345343 311091200 12040 33554432000 4194304 4580107 140733900826912 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=303800 CPUtime=0.04 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 3441 0 0 0 4 0 0 0 18 0 4 0 651345343 311091200 12041 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204308165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=303800 CPUtime=0.03 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 3444 0 0 0 3 0 0 0 18 0 4 0 651345343 311091200 12041 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 303800

[startup+0.221844 s]
/proc/loadavg: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=315656 CPUtime=0.81 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 18643 0 0 0 77 4 0 0 18 0 4 0 651345343 323231744 16518 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204690615 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 79130 17030 363 95 0 74112 0
[pid=20059/tid=20060] ppid=20057 vsize=317176 CPUtime=0.2 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) D 20057 20059 20027 0 -1 4202560 4968 0 0 0 19 1 0 0 18 0 4 0 651345343 324788224 17571 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204344717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=318076 CPUtime=0.2 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) D 20057 20059 20027 0 -1 4202560 5178 0 0 0 20 0 0 0 18 0 4 0 651345343 325709824 18198 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204344707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=319524 CPUtime=0.22 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 4550 0 0 0 21 1 0 0 18 0 4 0 651345343 327192576 19165 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 315656

[startup+0.403902 s]
/proc/loadavg: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=333724 CPUtime=1.52 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 34099 0 0 0 146 6 0 0 18 0 4 0 651345343 341733376 25461 33554432000 4194304 4580107 140733900826912 18446744073709551615 210204705194 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 83431 25461 373 95 0 78413 0
[pid=20059/tid=20060] ppid=20057 vsize=333724 CPUtime=0.37 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) D 20057 20059 20027 0 -1 4202560 9765 0 0 0 35 2 0 0 18 0 4 0 651345343 341733376 25461 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=333724 CPUtime=0.38 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) D 20057 20059 20027 0 -1 4202560 9611 0 0 0 37 1 0 0 18 0 4 0 651345343 341733376 25461 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=333724 CPUtime=0.38 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 4656 0 0 0 37 1 0 0 18 0 4 0 651345343 341733376 25461 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 333724

[startup+1.34149 s]
/proc/loadavg: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=335264 CPUtime=5.28 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 38778 0 0 0 520 8 0 0 19 0 4 0 651345343 343310336 28579 33554432000 4194304 4580107 140733900826912 18446744073709551615 4301634 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 83816 28579 377 95 0 78798 0
[pid=20059/tid=20060] ppid=20057 vsize=335264 CPUtime=1.3 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 11341 0 0 0 128 2 0 0 19 0 4 0 651345343 343310336 28579 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=335264 CPUtime=1.31 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 10432 0 0 0 130 1 0 0 19 0 4 0 651345343 343310336 28579 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=335264 CPUtime=1.32 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 5301 0 0 0 131 1 0 0 19 0 4 0 651345343 343310336 28579 33554432000 4194304 4580107 140733900826912 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 335264

[startup+1.54145 s]
/proc/loadavg: 6.93 7.85 7.83 3/292 20059
/proc/meminfo: memFree=27781748/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=335264 CPUtime=6.08 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 39288 0 0 0 600 8 0 0 19 0 4 0 651345343 343310336 29089 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293797 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 83816 29089 377 95 0 78798 0
[pid=20059/tid=20060] ppid=20057 vsize=335264 CPUtime=1.5 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 11474 0 0 0 148 2 0 0 19 0 4 0 651345343 343310336 29089 33554432000 4194304 4580107 140733900826912 18446744073709551615 4318525 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=335264 CPUtime=1.51 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 10550 0 0 0 150 1 0 0 19 0 4 0 651345343 343310336 29089 33554432000 4194304 4580107 140733900826912 18446744073709551615 4301912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=335264 CPUtime=1.51 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 5438 0 0 0 150 1 0 0 20 0 4 0 651345343 343310336 29089 33554432000 4194304 4580107 140733900826912 18446744073709551615 4320885 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 335264

[startup+3.1002 s]
/proc/loadavg: 7.25 7.90 7.84 9/302 20072
/proc/meminfo: memFree=27460036/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=466528 CPUtime=12.32 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 43743 0 0 0 1223 9 0 0 23 0 4 0 651345343 477724672 33544 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 116632 33544 377 95 0 111614 0
[pid=20059/tid=20060] ppid=20057 vsize=466528 CPUtime=3.07 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 12511 0 0 0 305 2 0 0 24 0 4 0 651345343 477724672 33553 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=466528 CPUtime=3.06 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 11509 0 0 0 305 1 0 0 23 0 4 0 651345343 477724672 33553 33554432000 4194304 4580107 140733900826912 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=466528 CPUtime=3.07 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 6826 0 0 0 306 1 0 0 25 0 4 0 651345343 477724672 33553 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 466528

[startup+6.30066 s]
/proc/loadavg: 7.25 7.90 7.84 9/302 20072
/proc/meminfo: memFree=27418248/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=466528 CPUtime=25.07 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 51954 0 0 0 2497 10 0 0 25 0 4 0 651345343 477724672 41755 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 116632 41755 377 95 0 111614 0
[pid=20059/tid=20060] ppid=20057 vsize=466528 CPUtime=6.27 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 14580 0 0 0 624 3 0 0 25 0 4 0 651345343 477724672 41755 33554432000 4194304 4580107 140733900826912 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=466528 CPUtime=6.24 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 13421 0 0 0 622 2 0 0 25 0 4 0 651345343 477724672 41755 33554432000 4194304 4580107 140733900826912 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=466528 CPUtime=6.27 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 8909 0 0 0 625 2 0 0 25 0 4 0 651345343 477724672 41755 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 466528

[startup+12.7006 s]
/proc/loadavg: 7.37 7.90 7.84 9/302 20072
/proc/meminfo: memFree=27409056/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=648108 CPUtime=50.6 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 90576 0 0 0 5040 20 0 0 25 0 4 0 651345343 663662592 59551 33554432000 4194304 4580107 140733900826912 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 162027 59551 379 95 0 157009 0
[pid=20059/tid=20060] ppid=20057 vsize=648108 CPUtime=12.66 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 20099 0 0 0 1262 4 0 0 25 0 4 0 651345343 663662592 59551 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=648108 CPUtime=12.56 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 18576 0 0 0 1253 3 0 0 25 0 4 0 651345343 663662592 59551 33554432000 4194304 4580107 140733900826912 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=648108 CPUtime=12.67 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 14433 0 0 0 1264 3 0 0 25 0 4 0 651345343 663662592 59551 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 648108

[startup+25.5005 s]
/proc/loadavg: 7.54 7.92 7.85 9/302 20073
/proc/meminfo: memFree=26928412/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=678992 CPUtime=101.68 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 169077 0 0 0 10126 42 0 0 25 0 4 0 651345343 695287808 100933 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 169748 100933 379 95 0 164730 0
[pid=20059/tid=20060] ppid=20057 vsize=678992 CPUtime=25.46 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 51959 0 0 0 2533 13 0 0 25 0 4 0 651345343 695287808 100933 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=678992 CPUtime=25.25 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 33005 0 0 0 2518 7 0 0 25 0 4 0 651345343 695287808 100933 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=678992 CPUtime=25.47 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 35927 0 0 0 2539 8 0 0 25 0 4 0 651345343 695287808 100933 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 678992

[startup+51.1002 s]
/proc/loadavg: 7.76 7.94 7.86 9/302 20073
/proc/meminfo: memFree=26651660/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=841352 CPUtime=203.84 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 261658 0 0 0 20318 66 0 0 25 0 4 0 651345343 861544448 141412 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 210338 141412 379 95 0 205320 0
[pid=20059/tid=20060] ppid=20057 vsize=841352 CPUtime=51.06 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 67579 0 0 0 5089 17 0 0 25 0 4 0 651345343 861544448 141412 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=841352 CPUtime=50.61 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 53530 0 0 0 5050 11 0 0 25 0 4 0 651345343 861544448 141412 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=841352 CPUtime=51.07 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 64213 0 0 0 5091 16 0 0 25 0 4 0 651345343 861544448 141412 33554432000 4194304 4580107 140733900826912 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 841352

[startup+102.301 s]
/proc/loadavg: 8.09 8.00 7.88 9/302 20075
/proc/meminfo: memFree=26338908/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=966080 CPUtime=408.15 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 363596 0 0 0 40720 95 0 0 25 0 4 0 651345343 989265920 164847 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 241520 164847 379 95 0 236502 0
[pid=20059/tid=20060] ppid=20057 vsize=966080 CPUtime=102.25 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 96166 0 0 0 10200 25 0 0 25 0 4 0 651345343 989265920 164847 33554432000 4194304 4580107 140733900826912 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=966080 CPUtime=101.34 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 71650 0 0 0 10117 17 0 0 25 0 4 0 651345343 989265920 164847 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=966080 CPUtime=102.27 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 88808 0 0 0 10204 23 0 0 25 0 4 0 651345343 989265920 164847 33554432000 4194304 4580107 140733900826912 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 966080

[startup+162.301 s]

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

[pid=20059] ppid=20057 vsize=1438312 CPUtime=2802.46 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1430868 0 0 0 279804 442 0 0 25 0 4 0 651345343 1472831488 281753 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293208 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 359578 281753 379 95 0 354560 0
[pid=20059/tid=20060] ppid=20057 vsize=1438312 CPUtime=702.1 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 385049 0 0 0 70096 114 0 0 25 0 4 0 651345343 1472831488 281753 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1438312 CPUtime=695.87 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 305630 0 0 0 69491 96 0 0 25 0 4 0 651345343 1472831488 281753 33554432000 4194304 4580107 140733900826912 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1438312 CPUtime=702.24 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 359747 0 0 0 70116 108 0 0 25 0 4 0 651345343 1472831488 281753 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.46
Current children cumulated vsize (KiB) 1438312

[startup+762.301 s]
/proc/loadavg: 8.15 8.14 8.01 9/302 20092
/proc/meminfo: memFree=25208580/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1453488 CPUtime=3041.89 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1523968 0 0 0 303715 474 0 0 25 0 4 0 651345343 1488371712 281167 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 363372 281167 379 95 0 358354 0
[pid=20059/tid=20060] ppid=20057 vsize=1453488 CPUtime=762.09 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 409638 0 0 0 76087 122 0 0 25 0 4 0 651345343 1488371712 281167 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1453488 CPUtime=755.31 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 329953 0 0 0 75427 104 0 0 25 0 4 0 651345343 1488371712 281167 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1453488 CPUtime=762.23 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 380670 0 0 0 76109 114 0 0 25 0 4 0 651345343 1488371712 281167 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.89
Current children cumulated vsize (KiB) 1453488

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 8.01 9/302 20094
/proc/meminfo: memFree=25178024/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1396744 CPUtime=3281.31 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1617045 0 0 0 327624 507 0 0 25 0 4 0 651345343 1430265856 295983 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 349186 295983 379 95 0 344168 0
[pid=20059/tid=20060] ppid=20057 vsize=1396744 CPUtime=822.07 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 437156 0 0 0 82077 130 0 0 25 0 4 0 651345343 1430265856 295983 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1396744 CPUtime=814.76 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 350532 0 0 0 81365 111 0 0 25 0 4 0 651345343 1430265856 295983 33554432000 4194304 4580107 140733900826912 18446744073709551615 4316600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1396744 CPUtime=822.23 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 401360 0 0 0 82101 122 0 0 25 0 4 0 651345343 1430265856 295983 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.31
Current children cumulated vsize (KiB) 1396744

[startup+882.301 s]
/proc/loadavg: 8.12 8.12 8.00 9/302 20096
/proc/meminfo: memFree=25089204/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1513924 CPUtime=3520.75 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1703102 0 0 0 351537 538 0 0 25 0 4 0 651345343 1550258176 310224 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 378481 310225 379 95 0 373463 0
[pid=20059/tid=20060] ppid=20057 vsize=1513924 CPUtime=882.06 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 457807 0 0 0 88068 138 0 0 25 0 4 0 651345343 1550258176 310225 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1513924 CPUtime=874.21 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 372694 0 0 0 87302 119 0 0 25 0 4 0 651345343 1550258176 310225 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1513924 CPUtime=882.23 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 421820 0 0 0 88095 128 0 0 25 0 4 0 651345343 1550258176 310225 33554432000 4194304 4580107 140733900826912 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.75
Current children cumulated vsize (KiB) 1513924

[startup+942.301 s]
/proc/loadavg: 8.17 8.13 8.01 9/302 20097
/proc/meminfo: memFree=25137264/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1515608 CPUtime=3760.18 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1794799 0 0 0 375446 572 0 0 25 0 4 0 651345343 1551982592 299913 33554432000 4194304 4580107 140733900826912 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 378902 299913 379 95 0 373884 0
[pid=20059/tid=20060] ppid=20057 vsize=1515608 CPUtime=942.05 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 485347 0 0 0 94057 148 0 0 25 0 4 0 651345343 1551982592 299913 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1515608 CPUtime=933.67 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 392904 0 0 0 93241 126 0 0 25 0 4 0 651345343 1551982592 299913 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1515608 CPUtime=942.22 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 442332 0 0 0 94085 137 0 0 25 0 4 0 651345343 1551982592 299913 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.18
Current children cumulated vsize (KiB) 1515608

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 8.01 9/302 20099
/proc/meminfo: memFree=25034688/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1500132 CPUtime=3999.6 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 1905312 0 0 0 399353 607 0 0 25 0 4 0 651345343 1536135168 302194 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 375033 302194 379 95 0 370015 0
[pid=20059/tid=20060] ppid=20057 vsize=1500132 CPUtime=1002.03 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 508356 0 0 0 100046 157 0 0 25 0 4 0 651345343 1536135168 302194 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1500132 CPUtime=993.11 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 427891 0 0 0 99177 134 0 0 25 0 4 0 651345343 1536135168 302194 33554432000 4194304 4580107 140733900826912 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1500132 CPUtime=1002.22 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 469552 0 0 0 100076 146 0 0 25 0 4 0 651345343 1536135168 302194 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.6
Current children cumulated vsize (KiB) 1500132

[startup+1062.3 s]
/proc/loadavg: 8.17 8.14 8.02 9/302 20100
/proc/meminfo: memFree=25044444/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1560008 CPUtime=4239.03 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 2009897 0 0 0 423260 643 0 0 25 0 4 0 651345343 1597448192 324452 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 390002 324452 379 95 0 384984 0
[pid=20059/tid=20060] ppid=20057 vsize=1560008 CPUtime=1062.01 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 534135 0 0 0 106036 165 0 0 25 0 4 0 651345343 1597448192 324452 33554432000 4194304 4580107 140733900826912 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1560008 CPUtime=1052.58 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 453937 0 0 0 105114 144 0 0 25 0 4 0 651345343 1597448192 324452 33554432000 4194304 4580107 140733900826912 18446744073709551615 4301877 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1560008 CPUtime=1062.21 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 494919 0 0 0 106065 156 0 0 25 0 4 0 651345343 1597448192 324452 33554432000 4194304 4580107 140733900826912 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.03
Current children cumulated vsize (KiB) 1560008

[startup+1122.3 s]
/proc/loadavg: 8.16 8.14 8.02 9/302 20102
/proc/meminfo: memFree=25136756/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1502124 CPUtime=4478.44 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 2116587 0 0 0 447164 680 0 0 25 0 4 0 651345343 1538174976 297090 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 375531 297090 379 95 0 370513 0
[pid=20059/tid=20060] ppid=20057 vsize=1502124 CPUtime=1122 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 560868 0 0 0 112026 174 0 0 25 0 4 0 651345343 1538174976 297090 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1502124 CPUtime=1112.01 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 480231 0 0 0 111048 153 0 0 25 0 4 0 651345343 1538174976 297090 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1502124 CPUtime=1122.2 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 522193 0 0 0 112056 164 0 0 25 0 4 0 651345343 1538174976 297090 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.44
Current children cumulated vsize (KiB) 1502124

[startup+1182.3 s]
/proc/loadavg: 8.15 8.14 8.03 9/302 20104
/proc/meminfo: memFree=24739792/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1891540 CPUtime=4717.89 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 2289462 0 0 0 471058 731 0 0 25 0 4 0 651345343 1936936960 399171 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 472885 399171 379 95 0 467867 0
[pid=20059/tid=20060] ppid=20057 vsize=1891540 CPUtime=1181.99 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 615996 0 0 0 118011 188 0 0 25 0 4 0 651345343 1936936960 399178 33554432000 4194304 4580107 140733900826912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1891540 CPUtime=1171.47 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 505043 0 0 0 116985 162 0 0 25 0 4 0 651345343 1936936960 399178 33554432000 4194304 4580107 140733900826912 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1891540 CPUtime=1182.21 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 568500 0 0 0 118043 178 0 0 25 0 4 0 651345343 1936936960 399178 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.89
Current children cumulated vsize (KiB) 1891540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.18 8.15 8.03 9/302 20104
/proc/meminfo: memFree=24695640/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1832208 CPUtime=4800.09 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 2323695 0 0 0 479268 741 0 0 25 0 4 0 651345343 1876180992 398595 33554432000 4194304 4580107 140733900826912 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 458052 398595 379 95 0 453034 0
[pid=20059/tid=20060] ppid=20057 vsize=1832208 CPUtime=1202.59 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 623662 0 0 0 120069 190 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1832208 CPUtime=1191.88 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 514252 0 0 0 119024 164 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1832208 CPUtime=1202.81 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 578011 0 0 0 120100 181 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1832208

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

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

[startup+1202.9 s]
/proc/loadavg: 8.18 8.15 8.03 9/302 20104
/proc/meminfo: memFree=24695640/32951124 swapFree=63649232/67111528
[pid=20059] ppid=20057 vsize=1832208 CPUtime=4800.09 cores=0,2,4,6
/proc/20059/stat : 20059 (strangenight2-m) R 20057 20059 20027 0 -1 4202496 2323695 0 0 0 479268 741 0 0 25 0 4 0 651345343 1876180992 398595 33554432000 4194304 4580107 140733900826912 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20059/statm: 458052 398595 379 95 0 453034 0
[pid=20059/tid=20060] ppid=20057 vsize=1832208 CPUtime=1202.59 cores=0,2,4,6
/proc/20059/task/20060/stat : 20060 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 623662 0 0 0 120069 190 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20059/tid=20061] ppid=20057 vsize=1832208 CPUtime=1191.88 cores=0,2,4,6
/proc/20059/task/20061/stat : 20061 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 514252 0 0 0 119024 164 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20059/tid=20062] ppid=20057 vsize=1832208 CPUtime=1202.81 cores=0,2,4,6
/proc/20059/task/20062/stat : 20062 (strangenight2-m) R 20057 20059 20027 0 -1 4202560 578011 0 0 0 120100 181 0 0 25 0 4 0 651345343 1876180992 398601 33554432000 4194304 4580107 140733900826912 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1832208

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.99
CPU time (s): 4800.21
CPU user time (s): 4792.72
CPU system time (s): 7.49586
CPU usage (%): 399.022
Max. virtual memory (cumulated for all children) (KiB): 1971156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.72
system time used= 7.49586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2323708
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= 3681
involuntary context switches= 21075

runsolver used 3.11153 second user time and 7.84381 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 20:24:28
IDJOB=3366160
IDBENCH=82569
IDSOLVER=1844
FILE ID=node130/3366160-1305397468
RUNJOBID= node130-1305397468-20045
PBS_JOBID= 13324461
Free space on /tmp= 73424 MiB

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

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

MD5SUM BENCH= 1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
RANDOM SEED=68161590

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27781904 kB
Buffers:        251432 kB
Cached:        3589584 kB
SwapCached:      10248 kB
Active:        1138632 kB
Inactive:      3759676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27781904 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            9084 kB
Writeback:           0 kB
AnonPages:     1055076 kB
Mapped:          13108 kB
Slab:           182916 kB
PageTables:      25480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51463388 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= 73412 MiB
End job on node130 at 2011-05-14 20:44:33