Trace number 3366287

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.51 1205.79

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
MD5SUMdd49a0090ce99bfddfd58615449391d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.1482
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.02	c Using 4 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3366287-1305400740.cnf'
0.00/0.04	c -- header says num vars:          25000
0.00/0.04	c -- header says num clauses:      105000
0.73/0.25	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.73/0.25	c -- vars added      25000
0.73/0.25	c Parsing time:  0.07 s
0.73/0.25	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.73/0.25	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.73/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
1.13/0.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.13/0.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.13/0.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.13/0.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.13/0.34	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.13/0.52	c lits-rem:         0  cl-subs:        0  v-elim:    613  v-fix:    0  time:  0.17 s
1.13/0.52	c Finding binary XORs  T:     0.00 s  found:       0
1.13/0.56	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.13/0.56	c calculated reachability. Time: 0.00
1.13/0.57	c Calc default polars -  time:   0.01 s pos:   11240 undec:    2731 neg:   11029
1.13/0.57	c =========================================================================================
1.13/0.57	c types(t): F = full restart, N = normal restart
1.13/0.57	c types(t): S = simplification begin/end, E = solution found
1.13/0.57	c restart types(rt): st = static, dy = dynamic
1.13/0.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.13/0.57	c  B st     0         0     24387    104354         0         0    316853         0   no data   no data
8.30/2.17	c  N dy    18      4422     24387    104354         0      4421    316853   1281945    157.31    183.49
13.89/3.59	c  N dy    41      8479     24387    104354         0      8478    316853   2215129    148.18    161.13
18.68/5.43	c  N dy    67     12533     24387    104354         0     12531    316853   3122868    146.47    171.92
18.68/7.81	c  N dy    94     16584     24387    104354         0     16582    316853   4031113    145.63    154.36
32.46/9.27	c  N dy   119     20751     24387    104354         0     10753    316853    760368    144.44    152.88
38.43/10.75	c  N dy   147     24820     24387    104354         0     14822    316853   1669829    144.48    154.08
38.83/10.82	c  F st   149     25000     24387    104354         0     15002    316853   1708425    144.46   no data
46.40/12.77	c  N dy   155     30000     24387    104354         0     20001    316853   3166217    144.46   no data
46.40/12.77	c  S st   155     30000     24387    104354         0     20001    316853   3166217    144.46   no data
47.20/12.96	c  S st   155     30501     24387    104354         0     20502    316853   3244232    144.46   no data
47.20/12.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.60/13.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
47.60/13.07	c blocked clauses removed:      458 vars:     76 tried:       24387 T: 0.01 s
47.60/13.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.60/13.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.60/13.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24311 time:  0.01 s
48.00/13.11	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.40/13.21	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.10 s
49.23/13.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.79/14.36	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.84 s
53.19/14.50	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.14
53.62/14.51	c calculated reachability. Time: 0.00
53.62/14.51	c  N dy   155     30501     24301    103886         0     20315    315509   3142366    144.46   no data
59.94/16.19	c  N dy   187     34565     24301    103886         0     24378    315509   4077976    145.14    153.25
66.76/17.86	c  N dy   214     38669     24301    103886         0     28482    315509   4993718    144.89    157.73
73.09/19.49	c  N dy   240     42775     24301    103886         0     17188    315509   1096306    144.61    153.63
77.87/20.62	c  S st   260     45751     24301    103886         0     20164    315509   1778124    144.60   no data
78.67/20.82	c  S st   260     46252     24301    103886         0     20665    315509   1865948    144.60   no data
78.67/20.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.67/20.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
79.07/20.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.07/20.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
79.07/20.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.07/20.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
79.07/20.95	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
79.47/21.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
79.90/21.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
81.05/21.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
81.05/21.44	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
81.05/21.47	c vivif2 --  cl tried    20665 cl shrink        0 lits rem          0 time: 0.03
81.45/21.59	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.13
81.85/21.60	c calculated reachability. Time: 0.00
81.85/21.60	c  N dy   260     46252     24301    103886         0     20665    315509   1865948    144.60   no data
88.24/23.24	c  N dy   286     50441     24301    103886         0     24853    315509   2814954    144.44    156.69
94.61/24.89	c  N dy   315     54483     24301    103886         0     28895    315509   3746671    144.90    155.20
101.37/26.58	c  N dy   341     58587     24301    103886         0     32999    315509   4701882    144.90    159.06
108.14/28.27	c  N dy   365     62674     24301    103886         0     37086    315509   5665555    144.93    158.57
114.53/29.89	c  N dy   392     66757     24301    103886         0     22465    315509   1532072    144.75    176.89
118.92/30.92	c  S st   409     69378     24301    103886         0     25086    315509   2100740    144.57    105.40
119.76/31.11	c  S st   409     69883     24301    103886         0     25591    315509   2179467    144.57   no data
119.76/31.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.76/31.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
120.10/31.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.10/31.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.10/31.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.10/31.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
120.10/31.25	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.50/31.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
120.90/31.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.48/31.86	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.37 s
122.48/31.87	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
122.88/31.91	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.03
123.28/32.04	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.13
123.28/32.05	c calculated reachability. Time: 0.00
123.28/32.05	c  N dy   409     69883     24301    103886         0     25590    315509   2178764    144.57   no data
130.46/33.87	c  N dy   441     74375     24301    103886         0     30082    315509   3205770    144.79    181.05
138.43/35.84	c  N dy   471     79162     24301    103886         0     34869    315509   4297500    144.79    154.82
147.18/38.01	c  N dy   504     84301     24301    103886         0     40008    315509   5435598    144.76    176.69
152.36/39.35	c  F st   524     87500     24301    103886         0     22357    315509    977440    144.56   no data
157.94/40.70	c  N st   529     90801     24301    103886         0     25658    315509   1950118    144.56   no data
167.12/43.04	c  N dy   557     96618     24301    103886         0     31475    315509   3296383    144.62    152.49
177.47/45.63	c  N dy   596    102785     24301    103886         0     37642    315509   4686594    144.49    155.25
180.70/46.51	c  S st   612    104824     24301    103886         0     39681    315509   5147537    144.46   no data
181.85/46.73	c  S st   612    105326     24301    103886         0     40183    315509   5226939    144.46   no data
181.85/46.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
182.25/46.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
182.25/46.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.25/46.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
182.25/46.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
182.25/46.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
182.25/46.89	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
183.06/47.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
184.25/47.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
190.22/48.89	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.54 s
190.62/48.91	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
190.62/48.99	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.08
191.42/49.15	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.16
191.42/49.15	c calculated reachability. Time: 0.00
191.42/49.16	c  N dy   612    105326     24301    103886         0     40177    315509   5223520    144.46   no data
203.03/52.09	c  N dy   659    112136     24301    103886         0     24561    315509   1095393    144.59    220.51
215.34/55.15	c  N dy   709    119379     24301    103886         0     31804    315509   2721998    144.76    152.90
228.10/58.39	c  N dy   756    127049     24301    103886         0     39474    315509   4448545    144.68    156.77
242.82/62.02	c  N dy   814    135236     24301    103886         0     23948    315509    636663    144.76    154.43
256.77/65.56	c  N dy   872    143902     24301    103886         0     32614    315509   2590914    144.73    152.77
272.76/69.56	c  N dy   938    153273     24301    103886         0     41985    315509   4751911    144.85    157.09
281.09/71.64	c  S st   972    157989     24301    103886         0     46701    315509   5793386    144.85   no data
281.94/71.87	c  S st   972    158490     24301    103886         0     47202    315509   5870278    144.85   no data
281.94/71.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.28/71.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
282.68/72.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.68/72.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.68/72.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.68/72.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
282.68/72.03	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
283.08/72.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
284.27/72.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
293.45/74.75	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.24 s
293.45/74.77	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
293.85/74.86	c vivif2 --  cl tried    47198 cl shrink        0 lits rem          0 time: 0.09
294.68/75.03	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
294.68/75.04	c calculated reachability. Time: 0.00
294.68/75.04	c  N dy   972    158490     24301    103886         0     47198    315509   5869033    144.85   no data
311.77/79.30	c  N dy  1038    168683     24301    103886         0     32535    315509   2285690    144.79    153.22
330.14/83.99	c  N dy  1105    179801     24301    103886         0     43652    315509   4699417    144.51    152.85
350.42/89.03	c  N dy  1181    191325     24301    103886         0     29246    315509   1256304    144.42    154.70
371.13/94.23	c  N dy  1264    203614     24301    103886         0     41535    315509   4039889    144.52    152.66
394.65/100.13	c  N dy  1357    216611     24301    103886         0     27566    315509    638793    144.67    152.77
418.56/106.10	c  N dy  1450    230834     24301    103886         0     41788    315509   3821760    144.54    153.66
430.96/109.22	c  S st  1501    237735     24301    103886         0     48688    315509   5398110    144.65   no data
431.71/109.46	c  S st  1501    238237     24301    103886         0     49190    315509   5483148    144.65   no data
431.71/109.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
432.11/109.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
432.11/109.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.51/109.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
432.51/109.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
432.51/109.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
432.51/109.63	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
432.90/109.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
434.10/110.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
443.27/112.30	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.23 s
443.27/112.31	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
443.27/112.40	c vivif2 --  cl tried    49187 cl shrink        0 lits rem          0 time: 0.09
444.11/112.57	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
444.11/112.58	c calculated reachability. Time: 0.00
444.11/112.58	c  N dy  1501    238237     24301    103886         0     49187    315509   5481109    144.65   no data
470.75/119.27	c  N dy  1604    253471     24301    103886         0     36438    315509   2398268    144.78    156.30
499.45/126.40	c  N dy  1708    269664     24301    103886         0     52631    315509   6102158    144.84    169.66
529.74/134.08	c  N dy  1823    286967     24301    103886         0     40945    315509   3224464    144.91    153.41
562.81/142.38	c  N dy  1945    305392     24301    103886         0     59369    315509   7425807    145.00    161.18
564.80/142.82	c  F st  1952    306250     24301    103886         0     30235    315509    531871    144.99   no data
598.26/151.23	c  N dy  2051    324950     24301    103886         0     48935    315509   5442611    145.06    153.25
634.54/160.36	c  N dy  2192    345020     24301    103886         0     38007    315509   2067331    145.18    154.11
656.45/165.86	c  S st  2281    357355     24301    103886         0     50341    315509   4941484    145.28    132.88
657.25/166.09	c  S st  2281    357858     24301    103886         0     50844    315509   5019961    145.28   no data
657.65/166.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
658.05/166.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
658.05/166.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
658.05/166.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
658.05/166.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
658.05/166.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
658.05/166.26	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
658.48/166.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
659.63/166.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
668.40/168.83	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.17 s
668.40/168.84	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
668.80/168.92	c vivif2 --  cl tried    50843 cl shrink        0 lits rem          0 time: 0.08
669.60/169.10	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
669.60/169.11	c calculated reachability. Time: 0.00
669.60/169.11	c  N dy  2281    357858     24301    103886         0     50843    315509   5019055    145.28   no data
706.69/178.50	c  N dy  2425    378023     24301    103886         0     39012    315509   2030185    145.39    153.95
743.31/187.68	c  N dy  2558    398043     24301    103886         0     59032    315509   6620546    145.46    156.44
779.58/196.78	c  N dy  2694    418069     24301    103886         0     46061    315509   3406676    145.49    154.46
817.43/206.20	c  N dy  2831    438082     24301    103886         0     66072    315509   7998779    145.47    169.05
853.31/215.28	c  N dy  2970    458122     24301    103886         0     52113    315509   4633909    145.53    155.57
891.21/224.76	c  N dy  3095    478190     24301    103886         0     37182    315509    933484    145.49    153.21
927.43/233.83	c  N dy  3225    498352     24301    103886         0     57343    315509   5512420    145.46    155.95
964.89/243.22	c  N dy  3353    518387     24301    103886         0     41376    315509   1674659    145.38    163.50
998.37/251.69	c  S st  3479    536787     24301    103886         0     59776    315509   5783272    145.35   no data
999.57/251.95	c  S st  3479    537291     24301    103886         0     60280    315509   5863484    145.35   no data
999.57/251.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
999.97/252.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
999.97/252.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
999.97/252.10	c bin-w-bin subsume rem            0 bins  time:  0.01 s
999.97/252.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1000.40/252.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
1000.40/252.12	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1000.81/252.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1001.95/252.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1013.97/255.55	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.96 s
1013.97/255.56	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
1014.31/255.66	c vivif2 --  cl tried    60278 cl shrink        0 lits rem          0 time: 0.10
1015.10/255.85	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.19
1015.10/255.86	c calculated reachability. Time: 0.00
1015.10/255.86	c  N dy  3479    537291     24301    103886         0     60278    315509   5862586    145.35   no data
1052.98/265.40	c  N dy  3607    557322     24301    103886         0     43310    315509   1921474    145.37    155.77
1090.40/274.70	c  N dy  3741    577381     24301    103886         0     63369    315509   6533789    145.41    154.36
1128.66/284.32	c  N dy  3877    597418     24301    103886         0     45403    315509   2141326    145.51    153.86
1166.12/293.71	c  N dy  4011    617428     24301    103886         0     65412    315509   6668209    145.54    156.53
1204.78/303.46	c  N dy  4154    637657     24301    103886         0     46643    315509   2235587    145.63    154.01
1243.04/313.00	c  N dy  4297    657704     24301    103886         0     66689    315509   6932060    145.74    158.12
1282.09/322.88	c  N dy  4431    677832     24301    103886         0     46820    315509   2041210    145.74    157.12
1321.13/332.62	c  N dy  4561    697906     24301    103886         0     66894    315509   6630259    145.75    156.43
1360.99/342.61	c  N dy  4691    718031     24301    103886         0     46019    315509   1645042    145.77    171.72
1398.45/352.00	c  N dy  4819    738109     24301    103886         0     66094    315509   6167385    145.75    156.77
1438.73/362.14	c  N dy  4950    758132     24301    103886         0     44119    315509    948426    145.77    159.53
1476.15/371.54	c  N dy  5082    778286     24301    103886         0     64271    315509   5482934    145.78    153.78
1517.63/381.99	c  N dy  5226    798396     24301    103886         0     84378    315509  10096175    145.84    156.25
1532.32/385.60	c  S st  5283    805937     24301    103886         0     48927    315509   1874494    145.86    137.29
1533.12/385.84	c  S st  5283    806440     24301    103886         0     49430    315509   1960350    145.86   no data
1533.12/385.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1533.52/385.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1533.52/385.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1533.52/385.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1533.52/385.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1533.52/385.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
1533.92/386.00	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1534.32/386.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1534.72/386.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1537.51/386.93	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.70 s
1537.51/386.94	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
1537.51/386.98	c vivif2 --  cl tried    49430 cl shrink        0 lits rem          0 time: 0.04
1538.31/387.15	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.17
1538.31/387.16	c calculated reachability. Time: 0.00
1538.31/387.16	c  N dy  5283    806440     24301    103886         0     49430    315509   1960347    145.86   no data
1576.55/396.78	c  N dy  5422    826511     24301    103886         0     69499    315509   6606189    145.87    153.72
1618.00/407.18	c  N dy  5551    846542     24301    103886         0     45530    315509    815807    145.83    156.36
1655.46/416.59	c  N dy  5680    866636     24301    103886         0     65623    315509   5446843    145.82    160.31
1696.10/426.79	c  N dy  5801    886695     24301    103886         0     85681    315509   9975705    145.78    154.70
1735.16/436.52	c  N dy  5935    906870     24301    103886         0     60859    315509   4070571    145.76    153.72
1775.40/446.64	c  N dy  6065    927046     24301    103886         0     81033    315509   8642358    145.74    154.03
1816.09/456.84	c  N dy  6208    947117     24301    103886         0     55104    315509   2617241    145.80    153.89
1855.87/466.88	c  N dy  6347    967296     24301    103886         0     75283    315509   7161488    145.79    156.22
1898.53/477.54	c  N dy  6490    987374     24301    103886         0     48362    315509    812400    145.85    157.04
1936.78/487.17	c  N dy  6632   1007410     24301    103886         0     68396    315509   5468062    145.92    153.77
1977.86/497.48	c  N dy  6764   1027413     24301    103886         0     88395    315509  10032776    145.91    160.48
2018.08/507.52	c  N dy  6900   1047462     24301    103886         0     60448    315509   3325480    145.94    154.62
2057.92/517.55	c  N dy  7037   1067522     24301    103886         0     80506    315509   7944854    145.95    170.96
2067.09/519.85	c  F st  7065   1071878     24301    103886         0     84860    315509   8948177    145.95    146.80
2101.35/528.45	c  N dy  7145   1087625     24301    103886         0     51609    315509   1124502    145.99    153.85
2140.45/538.25	c  N dy  7284   1107698     24301    103886         0     71681    315509   5709109    146.00    155.81
2182.65/548.84	c  N dy  7418   1127825     24301    103886         0     91807    315509  10224605    145.98    154.79
2223.33/559.01	c  N dy  7557   1147894     24301    103886         0     61882    315509   3178601    145.98    162.34
2263.55/569.17	c  N dy  7694   1167966     24301    103886         0     81953    315509   7759580    145.99    155.07
2308.17/580.38	c  N dy  7830   1188282     24301    103886         0     51273    315509    573141    145.98    158.25
2347.62/590.25	c  N dy  7967   1208449     24301    103886         0     71440    315509   5180136    145.99    157.77
2350.02/590.87	c  S st  7976   1209661     24301    103886         0     72652    315509   5455348    145.99   no data
2351.20/591.14	c  S st  7976   1210163     24301    103886         0     73154    315509   5535495    145.99   no data
2351.20/591.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2351.60/591.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2351.60/591.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2352.00/591.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2352.00/591.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2352.00/591.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
2352.00/591.33	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2352.40/591.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2353.60/591.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2366.37/594.95	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.18 s
2366.37/594.97	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.02
2366.77/595.07	c vivif2 --  cl tried    73148 cl shrink        0 lits rem          0 time: 0.10
2367.57/595.28	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.21
2367.57/595.29	c calculated reachability. Time: 0.00
2367.57/595.29	c  N dy  7976   1210163     24301    103886         0     73148    315509   5532221    145.99   no data
2410.58/606.01	c  N dy  8112   1230199     24301    103886         0     93183    315509  10158175    146.01    155.02
2452.01/616.45	c  N dy  8245   1250279     24301    103886         0     61261    315509   2642139    146.01    185.37
2492.26/626.58	c  N dy  8387   1270299     24301    103886         0     81278    315509   7284816    146.05    179.68
2535.69/637.41	c  N dy  8513   1290303     24301    103886         0    101280    315509  11822653    146.02    175.94
2575.53/647.48	c  N dy  8636   1310458     24301    103886         0     68436    315509   4057525    146.01    157.92
2617.40/657.98	c  N dy  8769   1330529     24301    103886         0     88504    315509   8714388    146.03    154.26
2662.82/669.32	c  N dy  8895   1350674     24301    103886         0     54650    315509    676489    146.02    157.98
2701.84/679.14	c  N dy  9034   1370748     24301    103886         0     74724    315509   5244452    146.02    156.92
2744.93/689.96	c  N dy  9174   1390834     24301    103886         0     94808    315509   9837047    146.04    156.16
2789.17/701.05	c  N dy  9309   1410880     24301    103886         0     59860    315509   1654153    146.06    223.45
2828.98/711.05	c  N dy  9437   1430891     24301    103886         0     79871    315509   6208272    146.05    157.02
2873.61/722.21	c  N dy  9582   1451006     24301    103886         0     99986    315509  10815993    146.07    154.45
2916.65/733.06	c  N dy  9713   1471094     24301    103886         0     64083    315509   2444257    146.06    160.27
2957.68/743.33	c  N dy  9851   1491142     24301    103886         0     84130    315509   7041295    146.08    165.39
3001.92/754.47	c  N dy  9990   1511144     24301    103886         0    104132    315509  11639186    146.08    153.97
3045.34/765.35	c  N dy 10129   1531197     24301    103886         0     67182    315509   2846348    146.09    169.64
3086.82/775.81	c  N dy 10271   1551304     24301    103886         0     87287    315509   7439989    146.11    154.11
3132.21/787.16	c  N dy 10408   1571345     24301    103886         0    107327    315509  12059980    146.13    153.87
3175.64/798.03	c  N dy 10551   1591573     24301    103886         0     69551    315509   3144236    146.14    156.66
3217.89/808.63	c  N dy 10698   1611674     24301    103886         0     89652    315509   7819646    146.18    161.10
3263.71/820.16	c  N dy 10834   1631841     24301    103886         0    109819    315509  12480810    146.17    163.38
3306.75/830.98	c  N dy 10964   1651909     24301    103886         0     70891    315509   3305830    146.17    169.63
3349.41/841.62	c  N dy 11101   1672014     24301    103886         0     90995    315509   7921543    146.19    155.78
3394.82/853.07	c  N dy 11236   1692106     24301    103886         0    111085    315509  12482840    146.19    179.10
3434.67/863.10	c  S st 11352   1710163     24301    103886         0     69146    315509   2605300    146.17   no data
3435.87/863.35	c  S st 11352   1710666     24301    103886         0     69649    315509   2685883    146.17   no data
3435.87/863.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3436.27/863.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3436.67/863.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3436.67/863.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3436.67/863.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3436.67/863.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
3436.67/863.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3437.08/863.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3437.51/863.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3444.24/865.47	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.65 s
3444.24/865.48	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
3444.64/865.53	c vivif2 --  cl tried    69648 cl shrink        0 lits rem          0 time: 0.05
3445.44/865.73	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.20
3445.44/865.74	c calculated reachability. Time: 0.00
3445.44/865.74	c  N dy 11352   1710666     24301    103886         0     69648    315509   2685869    146.17   no data
3487.27/876.23	c  N dy 11485   1730680     24301    103886         0     89660    315509   7322475    146.18    157.95
3532.71/887.64	c  N dy 11616   1750770     24301    103886         0    109749    315509  11875394    146.17    163.54
3577.78/898.91	c  N dy 11745   1770962     24301    103886         0     68942    315509   2380998    146.16    158.72
3619.59/909.47	c  N dy 11883   1791051     24301    103886         0     89031    315509   6979768    146.17    158.67
3665.02/920.88	c  N dy 12015   1811171     24301    103886         0    109148    315509  11546689    146.16    163.15
3711.25/932.48	c  N dy 12153   1831343     24301    103886         0     67325    315509   1754721    146.16    154.31
3752.70/942.87	c  N dy 12290   1851350     24301    103886         0     87330    315509   6332861    146.17    175.08
3799.73/954.66	c  N dy 12434   1871656     24301    103886         0    107636    315509  11034148    146.19    164.07
3847.94/966.72	c  N dy 12572   1891664     24301    103886         0     64640    315509    944888    146.22    155.60
3889.02/977.04	c  N dy 12711   1911719     24301    103886         0     84692    315509   5581831    146.22    175.57
3932.85/988.07	c  N dy 12838   1931798     24301    103886         0    104771    315509  10087020    146.21    157.57
3981.06/1000.20	c  N dy 12969   1951954     24301    103886         0    124925    315509  14715339    146.22    159.86
4023.67/1010.82	c  N dy 13103   1972005     24301    103886         0     80978    315509   4511326    146.24    205.85
4067.52/1021.84	c  N dy 13234   1992124     24301    103886         0    101094    315509   9134210    146.24    157.87
4115.33/1033.88	c  N dy 13370   2012185     24301    103886         0    121153    315509  13789215    146.27    156.09
4159.56/1044.97	c  N dy 13497   2032283     24301    103886         0     76260    315509   3155459    146.26    163.26
4203.00/1055.89	c  N dy 13630   2052534     24301    103886         0     96510    315509   7803111    146.26    155.38
4250.01/1067.65	c  N dy 13762   2072694     24301    103886         0    116668    315509  12408568    146.26    166.80
4297.84/1079.64	c  N dy 13898   2092850     24301    103886         0     70831    315509   1679830    146.25    160.05
4340.08/1090.21	c  N dy 14029   2113021     24301    103886         0     91002    315509   6320321    146.26    161.32
4385.89/1101.70	c  N dy 14170   2133089     24301    103886         0    111069    315509  10931649    146.29    236.29
4435.32/1114.11	c  N dy 14302   2153109     24301    103886         0    131087    315509  15495559    146.29    156.12
4477.95/1124.88	c  N dy 14441   2173153     24301    103886         0     84131    315509   4548234    146.31    171.62
4522.58/1136.09	c  N dy 14581   2193289     24301    103886         0    104267    315509   9194540    146.32    160.55
4564.84/1146.63	c  S st 14702   2210666     24301    103886         0    121644    315509  13196047    146.33    109.67
4566.03/1146.99	c  S st 14702   2211169     24301    103886         0    122147    315509  13270452    146.33   no data
4566.43/1147.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4566.83/1147.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
4567.23/1147.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4567.23/1147.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4567.23/1147.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4567.23/1147.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24301 time:  0.01 s
4567.23/1147.24	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4568.03/1147.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4571.61/1148.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4601.10/1155.74	c lits-rem:         2  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.41 s
4601.10/1155.76	c vivif2 --  cl tried   103886 cl shrink        0 lits rem          0 time: 0.01
4602.29/1156.00	c vivif2 --  cl tried   122139 cl shrink        0 lits rem          0 time: 0.23
4603.09/1156.29	c asymm  cl-useful: 0/103886/103886 lits-rem:0 time: 0.29
4603.09/1156.30	c calculated reachability. Time: 0.00
4603.09/1156.30	c  N dy 14702   2211169     24301    103886         0    122139    315509  13266608    146.33   no data
4652.90/1168.74	c  N dy 14833   2231264     24301    103886         0     74243    315509   1993100    146.32    156.43
4695.58/1179.48	c  N dy 14964   2251366     24301    103886         0     94342    315509   6637556    146.33    160.27
4741.77/1191.06	c  N dy 15089   2271522     24301    103886         0    114496    315509  11263054    146.32    154.64
4792.03/1203.66	c  N dy 15232   2291641     24301    103886         0    134615    315509  15903356    146.34    155.78

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-3366287-1305400740/watcher-3366287-1305400740 -o /tmp/evaluation-result-3366287-1305400740/solver-3366287-1305400740 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366287-1305400740.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.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=51168 CPUtime=0.1 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 412 0 0 0 10 0 0 0 22 0 4 0 651672715 52396032 352 33554432000 4194304 4580107 140733292908832 18446744073709551615 47897438824370 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28449/statm: 12792 352 302 95 0 7774 0
[pid=28449/tid=28450] ppid=28447 vsize=51168 CPUtime=0.03 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 4 0 651672716 52396032 352 33554432000 4194304 4580107 140733292908832 18446744073709551615 47897438823965 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 4 0 651672716 52396032 352 33554432000 4194304 4580107 140733292908832 18446744073709551615 47897438823961 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=51168 CPUtime=0.03 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 4 0 651672716 52396032 352 33554432000 4194304 4580107 140733292908832 18446744073709551615 47897438823961 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.139271 s]
/proc/loadavg: 6.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=310376 CPUtime=0.49 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 18213 0 0 0 46 3 0 0 23 0 4 0 651672715 317825024 16101 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 77594 16101 358 95 0 72576 0
[pid=28449/tid=28450] ppid=28447 vsize=310376 CPUtime=0.12 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4443 0 0 0 12 0 0 0 18 0 4 0 651672716 317825024 16101 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=310376 CPUtime=0.1 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4454 0 0 0 10 0 0 0 18 0 4 0 651672716 317825024 16101 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=310376 CPUtime=0.12 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4453 0 0 0 12 0 0 0 18 0 4 0 651672716 317825024 16101 33554432000 4194304 4580107 140733292908832 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 310376

[startup+0.20126 s]
/proc/loadavg: 6.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=310376 CPUtime=0.73 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 18257 0 0 0 70 3 0 0 23 0 4 0 651672715 317825024 16145 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 77594 16145 358 95 0 72576 0
[pid=28449/tid=28450] ppid=28447 vsize=310376 CPUtime=0.18 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4443 0 0 0 18 0 0 0 18 0 4 0 651672716 317825024 16145 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=310376 CPUtime=0.16 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4454 0 0 0 16 0 0 0 18 0 4 0 651672716 317825024 16145 33554432000 4194304 4580107 140733292908832 18446744073709551615 4504357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=310376 CPUtime=0.18 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4497 0 0 0 18 0 0 0 18 0 4 0 651672716 317825024 16145 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 310376

[startup+0.300241 s]
/proc/loadavg: 6.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=325440 CPUtime=1.13 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 24773 0 0 0 109 4 0 0 24 0 4 0 651672715 333250560 22661 33554432000 4194304 4580107 140733292908832 18446744073709551615 4401578 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 81360 22663 363 95 0 76342 0
[pid=28449/tid=28450] ppid=28447 vsize=325440 CPUtime=0.29 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 6607 0 0 0 28 1 0 0 18 0 4 0 651672716 333250560 22664 33554432000 4194304 4580107 140733292908832 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=325440 CPUtime=0.25 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 6649 0 0 0 25 0 0 0 18 0 4 0 651672716 333250560 22664 33554432000 4194304 4580107 140733292908832 18446744073709551615 242970199244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=325572 CPUtime=0.28 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 4562 0 0 0 28 0 0 0 18 0 4 0 651672716 333385728 22668 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 325440

[startup+1.15909 s]
/proc/loadavg: 6.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=334876 CPUtime=4.55 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 38288 0 0 0 447 8 0 0 19 0 4 0 651672715 342913024 27984 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 83719 27984 377 95 0 78701 0
[pid=28449/tid=28450] ppid=28447 vsize=334876 CPUtime=1.15 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 11234 0 0 0 113 2 0 0 18 0 4 0 651672716 342913024 27984 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=334876 CPUtime=1.11 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 10270 0 0 0 110 1 0 0 19 0 4 0 651672716 342913024 27984 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=334876 CPUtime=1.15 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 5187 0 0 0 114 1 0 0 19 0 4 0 651672716 342913024 27984 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 334876

[startup+1.50104 s]
/proc/loadavg: 6.68 7.81 7.90 8/401 28449
/proc/meminfo: memFree=24236560/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=334876 CPUtime=5.92 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 39442 0 0 0 584 8 0 0 19 0 4 0 651672715 342913024 29138 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 83719 29138 377 95 0 78701 0
[pid=28449/tid=28450] ppid=28447 vsize=334876 CPUtime=1.49 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 11557 0 0 0 147 2 0 0 19 0 4 0 651672716 342913024 29138 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=334876 CPUtime=1.46 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 10552 0 0 0 145 1 0 0 20 0 4 0 651672716 342913024 29138 33554432000 4194304 4580107 140733292908832 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=334876 CPUtime=1.49 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 5419 0 0 0 148 1 0 0 20 0 4 0 651672716 342913024 29138 33554432000 4194304 4580107 140733292908832 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 334876

[startup+3.10076 s]
/proc/loadavg: 6.68 7.81 7.90 9/405 28453
/proc/meminfo: memFree=24062476/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=466140 CPUtime=12.29 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 44081 0 0 0 1220 9 0 0 23 0 4 0 651672715 477327360 33777 33554432000 4194304 4580107 140733292908832 18446744073709551615 4321348 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28449/statm: 116535 33777 377 95 0 111517 0
[pid=28449/tid=28450] ppid=28447 vsize=466140 CPUtime=3.08 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 12665 0 0 0 306 2 0 0 23 0 4 0 651672716 477327360 33777 33554432000 4194304 4580107 140733292908832 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=466140 CPUtime=3.06 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 11555 0 0 0 305 1 0 0 25 0 4 0 651672716 477327360 33777 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=466140 CPUtime=3.08 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 6805 0 0 0 307 1 0 0 25 0 4 0 651672716 477327360 33777 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 466140

[startup+8.89821 s]
/proc/loadavg: 6.68 7.81 7.90 9/405 28453
/proc/meminfo: memFree=24011500/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=412700 CPUtime=31.27 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 59576 0 0 0 3114 13 0 0 25 0 4 0 651672715 422604800 38747 33554432000 4194304 4580107 140733292908832 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 103175 38747 377 95 0 98157 0
[pid=28449/tid=28450] ppid=28447 vsize=412700 CPUtime=8.87 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 18032 0 0 0 883 4 0 0 25 0 4 0 651672716 422604800 38747 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=412700 CPUtime=8.17 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 16083 0 0 0 815 2 0 0 25 0 4 0 651672716 422604800 38747 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=412700 CPUtime=6.79 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 9350 0 0 0 678 1 0 0 25 0 4 0 651672716 422604800 38747 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.27
Current children cumulated vsize (KiB) 412700

[startup+12.7011 s]
/proc/loadavg: 7.18 7.88 7.93 9/405 28453
/proc/meminfo: memFree=23939636/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=584240 CPUtime=46.4 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 72505 0 0 0 4623 17 0 0 25 0 4 0 651672715 598261760 41148 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 146060 41148 378 95 0 141042 0
[pid=28449/tid=28450] ppid=28447 vsize=584240 CPUtime=12.67 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 20650 0 0 0 1262 5 0 0 25 0 4 0 651672716 598261760 41148 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=584240 CPUtime=11.97 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 18574 0 0 0 1194 3 0 0 25 0 4 0 651672716 598261760 41148 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=584240 CPUtime=10.53 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 13268 0 0 0 1050 3 0 0 25 0 4 0 651672716 598261760 41148 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.4
Current children cumulated vsize (KiB) 584240

[startup+25.5009 s]
/proc/loadavg: 7.36 7.88 7.93 9/405 28453
/proc/meminfo: memFree=23641840/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=753948 CPUtime=97.44 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 166580 0 0 0 9704 40 0 0 25 0 4 0 651672715 772042752 103851 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 188487 103851 379 95 0 183469 0
[pid=28449/tid=28450] ppid=28447 vsize=753948 CPUtime=25.48 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 52628 0 0 0 2535 13 0 0 25 0 4 0 651672716 772042752 103859 33554432000 4194304 4580107 140733292908832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=753948 CPUtime=24.77 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 33096 0 0 0 2471 6 0 0 25 0 4 0 651672716 772042752 103859 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=753948 CPUtime=23.17 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 33392 0 0 0 2309 8 0 0 25 0 4 0 651672716 772042752 103859 33554432000 4194304 4580107 140733292908832 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.44
Current children cumulated vsize (KiB) 753948

[startup+51.1005 s]
/proc/loadavg: 7.58 7.89 7.93 9/405 28454
/proc/meminfo: memFree=23478604/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=780040 CPUtime=199.39 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 252443 0 0 0 19877 62 0 0 25 0 4 0 651672715 798760960 130946 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 195010 130946 379 95 0 189992 0
[pid=28449/tid=28450] ppid=28447 vsize=780040 CPUtime=51.04 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 68070 0 0 0 5088 16 0 0 25 0 4 0 651672716 798760960 130946 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=780040 CPUtime=50.32 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 58020 0 0 0 5020 12 0 0 25 0 4 0 651672716 798760960 130946 33554432000 4194304 4580107 140733292908832 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=780040 CPUtime=48.41 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 51802 0 0 0 4828 13 0 0 25 0 4 0 651672716 798760960 130946 33554432000 4194304 4580107 140733292908832 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (KiB) 780040

[startup+102.301 s]
/proc/loadavg: 7.81 7.91 7.93 9/405 28455
/proc/meminfo: memFree=23355440/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=967052 CPUtime=403.42 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 367326 0 0 0 40247 95 0 0 25 0 4 0 651672715 990261248 160887 33554432000 4194304 4580107 140733292908832 18446744073709551615 4320663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 241763 160887 379 95 0 236745 0
[pid=28449/tid=28450] ppid=28447 vsize=967052 CPUtime=102.21 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 96699 0 0 0 10198 23 0 0 25 0 4 0 651672716 990261248 160887 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=967052 CPUtime=101.48 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 75606 0 0 0 10129 19 0 0 25 0 4 0 651672716 990261248 160887 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=967052 CPUtime=98.94 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 87089 0 0 0 9872 22 0 0 25 0 4 0 651672716 990261248 160887 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 403.42
Current children cumulated vsize (KiB) 967052

[startup+162.3 s]

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

[pid=28449] ppid=28447 vsize=1423372 CPUtime=2555.22 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1330904 0 0 0 255124 398 0 0 25 0 4 0 651672715 1457532928 289934 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 355843 289934 379 95 0 350825 0
[pid=28449/tid=28450] ppid=28447 vsize=1423372 CPUtime=641.96 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 359556 0 0 0 64096 100 0 0 25 0 4 0 651672716 1457532928 289934 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1423372 CPUtime=641.02 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 287190 0 0 0 64017 85 0 0 25 0 4 0 651672716 1457532928 289934 33554432000 4194304 4580107 140733292908832 18446744073709551615 4301784 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1423372 CPUtime=631.77 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 358850 0 0 0 63073 104 0 0 25 0 4 0 651672716 1457532928 289934 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2555.22
Current children cumulated vsize (KiB) 1423372

[startup+702.3 s]
/proc/loadavg: 8.14 8.11 8.02 9/405 28471
/proc/meminfo: memFree=22618048/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1438996 CPUtime=2794.3 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1423145 0 0 0 279001 429 0 0 25 0 4 0 651672715 1473531904 289650 33554432000 4194304 4580107 140733292908832 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 359749 289650 379 95 0 354731 0
[pid=28449/tid=28450] ppid=28447 vsize=1438996 CPUtime=701.93 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 384306 0 0 0 70086 107 0 0 25 0 4 0 651672716 1473531904 289650 33554432000 4194304 4580107 140733292908832 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1438996 CPUtime=700.98 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 309646 0 0 0 70005 93 0 0 25 0 4 0 651672716 1473531904 289650 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1438996 CPUtime=690.96 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 383259 0 0 0 68985 111 0 0 25 0 4 0 651672716 1473531904 289650 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2794.3
Current children cumulated vsize (KiB) 1438996

[startup+762.301 s]
/proc/loadavg: 8.16 8.12 8.02 9/405 28473
/proc/meminfo: memFree=22614188/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1440148 CPUtime=3033.4 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1517673 0 0 0 302882 458 0 0 25 0 4 0 651672715 1474711552 291707 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 360037 291707 379 95 0 355019 0
[pid=28449/tid=28450] ppid=28447 vsize=1440148 CPUtime=761.9 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 408685 0 0 0 76075 115 0 0 25 0 4 0 651672716 1474711552 291707 33554432000 4194304 4580107 140733292908832 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1440148 CPUtime=760.93 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 330460 0 0 0 75992 101 0 0 25 0 4 0 651672716 1474711552 291707 33554432000 4194304 4580107 140733292908832 18446744073709551615 4318294 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1440148 CPUtime=750.17 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 411083 0 0 0 74899 118 0 0 25 0 4 0 651672716 1474711552 291707 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3033.4
Current children cumulated vsize (KiB) 1440148

[startup+822.301 s]
/proc/loadavg: 8.28 8.15 8.04 9/405 28475
/proc/meminfo: memFree=22568768/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1499204 CPUtime=3272.48 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1611263 0 0 0 326757 491 0 0 25 0 4 0 651672715 1535184896 300429 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 374801 300429 379 95 0 369783 0
[pid=28449/tid=28450] ppid=28447 vsize=1499204 CPUtime=821.88 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 436402 0 0 0 82063 125 0 0 25 0 4 0 651672716 1535184896 300429 33554432000 4194304 4580107 140733292908832 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1499204 CPUtime=820.88 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 350993 0 0 0 81979 109 0 0 25 0 4 0 651672716 1535184896 300429 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1499204 CPUtime=809.36 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 435047 0 0 0 80811 125 0 0 25 0 4 0 651672716 1535184896 300429 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3272.48
Current children cumulated vsize (KiB) 1499204

[startup+882.3 s]
/proc/loadavg: 8.10 8.12 8.03 9/405 28476
/proc/meminfo: memFree=22451084/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1442316 CPUtime=3511.6 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1695191 0 0 0 350634 526 0 0 25 0 4 0 651672715 1476931584 289232 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 360579 289232 379 95 0 355561 0
[pid=28449/tid=28450] ppid=28447 vsize=1442316 CPUtime=881.85 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 456867 0 0 0 88052 133 0 0 25 0 4 0 651672716 1476931584 289232 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1442316 CPUtime=880.83 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 372906 0 0 0 87964 119 0 0 25 0 4 0 651672716 1476931584 289232 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1442316 CPUtime=868.58 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 457119 0 0 0 86725 133 0 0 25 0 4 0 651672716 1476931584 289232 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3511.6
Current children cumulated vsize (KiB) 1442316

[startup+942.301 s]
/proc/loadavg: 8.10 8.12 8.03 9/405 28478
/proc/meminfo: memFree=22383724/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1443320 CPUtime=3750.7 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1789720 0 0 0 374510 560 0 0 25 0 4 0 651672715 1477959680 300952 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 360830 300952 379 95 0 355812 0
[pid=28449/tid=28450] ppid=28447 vsize=1443320 CPUtime=941.82 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 484323 0 0 0 94040 142 0 0 25 0 4 0 651672716 1477959680 300952 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1443320 CPUtime=940.79 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 393294 0 0 0 93953 126 0 0 25 0 4 0 651672716 1477959680 300952 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1443320 CPUtime=927.78 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 483970 0 0 0 92636 142 0 0 25 0 4 0 651672716 1477959680 300952 33554432000 4194304 4580107 140733292908832 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3750.7
Current children cumulated vsize (KiB) 1443320

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.03 9/405 28479
/proc/meminfo: memFree=22400704/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1471244 CPUtime=3989.83 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1893589 0 0 0 398385 598 0 0 25 0 4 0 651672715 1506553856 304145 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292947 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 367811 304145 379 95 0 362793 0
[pid=28449/tid=28450] ppid=28447 vsize=1471244 CPUtime=1001.8 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 507612 0 0 0 100030 150 0 0 25 0 4 0 651672716 1506553856 304147 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1471244 CPUtime=1000.76 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 426821 0 0 0 99940 136 0 0 25 0 4 0 651672716 1506553856 304147 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1471244 CPUtime=986.99 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 505843 0 0 0 98547 152 0 0 25 0 4 0 651672716 1506553856 304147 33554432000 4194304 4580107 140733292908832 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3989.83
Current children cumulated vsize (KiB) 1471244

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.04 9/405 28481
/proc/meminfo: memFree=22345740/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1502972 CPUtime=4228.9 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 1991855 0 0 0 422260 630 0 0 25 0 4 0 651672715 1539043328 320678 33554432000 4194304 4580107 140733292908832 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 375743 320678 379 95 0 370725 0
[pid=28449/tid=28450] ppid=28447 vsize=1502972 CPUtime=1061.76 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 533321 0 0 0 106017 159 0 0 25 0 4 0 651672716 1539043328 320678 33554432000 4194304 4580107 140733292908832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1502972 CPUtime=1060.7 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 448798 0 0 0 105928 142 0 0 25 0 4 0 651672716 1539043328 320678 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1502972 CPUtime=1046.19 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 532637 0 0 0 104459 160 0 0 25 0 4 0 651672716 1539043328 320678 33554432000 4194304 4580107 140733292908832 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4228.9
Current children cumulated vsize (KiB) 1502972

[startup+1122.32 s]
/proc/loadavg: 8.16 8.12 8.04 9/405 28483
/proc/meminfo: memFree=22377596/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1488676 CPUtime=4468.03 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 2093050 0 0 0 446138 665 0 0 25 0 4 0 651672715 1524404224 304835 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294080 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 372169 304835 379 95 0 367151 0
[pid=28449/tid=28450] ppid=28447 vsize=1488676 CPUtime=1121.74 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 560106 0 0 0 112006 168 0 0 25 0 4 0 651672716 1524404224 304835 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1488676 CPUtime=1120.67 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 471826 0 0 0 111917 150 0 0 25 0 4 0 651672716 1524404224 304835 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1488676 CPUtime=1105.41 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 557538 0 0 0 110372 169 0 0 25 0 4 0 651672716 1524404224 304835 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4468.03
Current children cumulated vsize (KiB) 1488676

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/405 28484
/proc/meminfo: memFree=21999876/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1824924 CPUtime=4707.11 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 2265957 0 0 0 469996 715 0 0 25 0 4 0 651672715 1868722176 389632 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 456231 389632 379 95 0 451213 0
[pid=28449/tid=28450] ppid=28447 vsize=1824924 CPUtime=1181.71 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 614383 0 0 0 117990 181 0 0 25 0 4 0 651672716 1868722176 389632 33554432000 4194304 4580107 140733292908832 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1824924 CPUtime=1180.61 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 496282 0 0 0 117900 161 0 0 25 0 4 0 651672716 1868722176 389632 33554432000 4194304 4580107 140733292908832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1824924 CPUtime=1164.61 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 605965 0 0 0 116280 181 0 0 25 0 4 0 651672716 1868722176 389632 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4707.11
Current children cumulated vsize (KiB) 1824924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.7 s]
/proc/loadavg: 7.81 8.05 8.02 5/400 28486
/proc/meminfo: memFree=22681668/32951132 swapFree=67093844/67111528
[pid=28449] ppid=28447 vsize=1810328 CPUtime=4800.41 cores=0,2,4,6
/proc/28449/stat : 28449 (strangenight2-m) R 28447 28449 28111 0 -1 4202496 2301184 0 0 0 479314 727 0 0 25 0 4 0 651672715 1853775872 390072 33554432000 4194304 4580107 140733292908832 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28449/statm: 452582 390072 379 95 0 447564 0
[pid=28449/tid=28450] ppid=28447 vsize=1810328 CPUtime=1205.12 cores=0,2,4,6
/proc/28449/task/28450/stat : 28450 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 624594 0 0 0 120328 184 0 0 25 0 4 0 651672716 1853775872 390078 33554432000 4194304 4580107 140733292908832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28449/tid=28451] ppid=28447 vsize=1810328 CPUtime=1204.02 cores=0,2,4,6
/proc/28449/task/28451/stat : 28451 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 503151 0 0 0 120238 164 0 0 25 0 4 0 651672716 1853775872 390078 33554432000 4194304 4580107 140733292908832 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28449/tid=28452] ppid=28447 vsize=1810328 CPUtime=1187.7 cores=0,2,4,6
/proc/28449/task/28452/stat : 28452 (strangenight2-m) R 28447 28449 28111 0 -1 4202560 615349 0 0 0 118585 185 0 0 25 0 4 0 651672716 1853775872 390078 33554432000 4194304 4580107 140733292908832 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1810328

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.79
CPU time (s): 4800.51
CPU user time (s): 4793.17
CPU system time (s): 7.33988
CPU usage (%): 398.122
Max. virtual memory (cumulated for all children) (KiB): 1899196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.17
system time used= 7.33988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2301197
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= 2348
involuntary context switches= 21890

runsolver used 4.15137 second user time and 12.0562 second system time

The end

Launcher Data

Begin job on node128 at 2011-05-14 21:19:01
IDJOB=3366287
IDBENCH=82696
IDSOLVER=1844
FILE ID=node128/3366287-1305400740
RUNJOBID= node128-1305400740-28426
PBS_JOBID= 13324451
Free space on /tmp= 73600 MiB

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

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

MD5SUM BENCH= dd49a0090ce99bfddfd58615449391d9
RANDOM SEED=1389980854

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24236716 kB
Buffers:        262848 kB
Cached:        2893892 kB
SwapCached:       1440 kB
Active:        6333932 kB
Inactive:      2089736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24236716 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           13440 kB
Writeback:           0 kB
AnonPages:     5265320 kB
Mapped:          31724 kB
Slab:           187996 kB
PageTables:      38384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100756548 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73596 MiB
End job on node128 at 2011-05-14 21:39:08